Groups | Search | Server Info | Login | Register

Groups > comp.software-eng > #3938

Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED

Subject Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED
Newsgroups comp.theory, sci.logic, sci.math, comp.theory, comp.lang.prolog, comp.software-eng
References <10lp5t3$angq$2@dont-email.me> <10ls1qn$186tk$1@dont-email.me>
From Richard Damon <Richard@Damon-Family.org>
Message-ID <ZHlgR.28239$skXf.212@fx12.iad> (permalink)
Organization Forte - www.forteinc.com
Date 2026-02-03 07:18 -0500

Cross-posted to 6 groups.

Show all headers | View raw

On 2/3/26 12:41 AM, olcott wrote:
> On 2/1/2026 9:32 PM, olcott wrote:
>> int DD()
>> {
>>   int Halt_Status = HHH(DD);
>>   if (Halt_Status)
>>   HERE: goto HERE;
>>   return Halt_Status;
>> }
>>
>> HHH simulates DD step-by-step according to the
>> semantics of the C programming language.
>>
>> HHH correctly determines that DD does not have
>> a well-founded justification tree within Proof
>> theoretic semantics.
>>
>> When HHH is construed as a proof theoretic halting
>> prover HHH detects the pathological self-reference
>> of its input and rejects DD as non-well-founded on
>> this basis.
>>
>> % This sentence is not true.
>> ?- LP = not(true(LP)).
>> LP = not(true(LP)).
>> ?- unify_with_occurs_check(LP, not(true(LP))).
>> false.
>>
>> The Liar Paradox is formally rejected by Prolog
>> occurs_check for this same reason.
>>
>> occurs_check correctly determines that LP does not
>> have a well-founded justification tree within Proof
>> theoretic semantics
>>
>> *Halting Problem and Proof Theoretic Semantics*
>> https://philpapers.org/archive/OLCHPA.pdf
>>
> 
> The above three page page includes the above material
> on its first page and two more pages by Gemini proving
> how and why I am correct.
> 
> 

Nope, since you premise is flawed, as explained elsewhere.

All you are proving is you are so stupid you can't think.

Sorry, you are just proving yourself to be a moron.

Back to comp.software-eng | Previous | Next — Previous in thread | Find similar

Thread

Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-01 21:32 -0600
  Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-02 06:48 -0500
    Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-02 07:49 -0600
      Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-02 18:46 -0500
        Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-02 17:55 -0600
          Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-02 23:11 -0500
            Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-02 22:30 -0600
              Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-03 07:18 -0500
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-03 09:26 -0600
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-03 21:33 -0500
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-03 20:48 -0600
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-03 22:45 -0500
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-03 22:51 -0600
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-04 07:29 -0500
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-04 08:40 -0600
                Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-04 21:29 -0500
  Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED olcott <polcott333@gmail.com> - 2026-02-02 23:41 -0600
    Re: Halting Problem and Proof Theoretic Semantics --- VALIDATED Richard Damon <Richard@Damon-Family.org> - 2026-02-03 07:18 -0500

csiph-web