Groups | Search | Server Info | Login | Register
Groups > comp.theory > #139632
| 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.
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.theory | Previous | Next — Previous in thread | Find similar
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