Groups | Search | Server Info | Login | Register

Groups > sci.logic > #345345

Re: Halting Problem within Proof Theoretic Semantics

From olcott <polcott333@gmail.com>
Newsgroups sci.logic, comp.theory, sci.logic, comp.ai.philosophy
Subject Re: Halting Problem within Proof Theoretic Semantics
Date 2026-04-13 04:27 -0500
Organization A noiseless patient Spider
Message-ID <10rictr$36ll6$1@dont-email.me> (permalink)
References (19 earlier) <10rhnb4$30ii2$2@dont-email.me> <10rhqg4$31gpc$1@dont-email.me> <10rhsnb$321ji$1@dont-email.me> <10rhufs$32m4h$1@dont-email.me> <10ri0pl$339es$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 4/13/2026 1:00 AM, dart200 wrote:
> On 4/12/26 10:21 PM, olcott wrote:
>> On 4/12/2026 11:50 PM, dart200 wrote:
>>> On 4/12/26 9:12 PM, olcott wrote:
>>>> On 4/12/2026 10:19 PM, dart200 wrote:
>>>>> On 4/12/26 6:13 PM, olcott wrote:
>>>>>> On 4/12/2026 5:35 PM, dart200 wrote:
>>>>>>> On 4/12/26 3:20 PM, olcott wrote:
>>>>>>>> On 4/12/2026 2:01 PM, dart200 wrote:
>>>>>>>>> On 4/12/26 6:14 AM, olcott wrote:
>>>>>>>>>> On 4/12/2026 3:46 AM, dart200 wrote:
>>>>>>>>>>>
>>>>>>>>>>> ofc my understanding is likely incorrect,
>>>>>>>>>>>
>>>>>>>>>>> i'm literally asking the question to further my understanding 
>>>>>>>>>>> of what you are proposing, as my intuition dictates ... which 
>>>>>>>>>>> is really the only way i know how to learn things like this. 
>>>>>>>>>>> i'm sorry.
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>> typedef int (*ptr)();
>>>>>>>>>> int HHH(ptr P);
>>>>>>>>>>
>>>>>>>>>> int DD()
>>>>>>>>>> {
>>>>>>>>>>    int Halt_Status = HHH(DD);
>>>>>>>>>>    if (Halt_Status)
>>>>>>>>>>      HERE: goto HERE;
>>>>>>>>>>    return Halt_Status;
>>>>>>>>>> }
>>>>>>>>>>
>>>>>>>>>> int main()
>>>>>>>>>> {
>>>>>>>>>>    HHH(DD);
>>>>>>>>>> }
>>>>>>>>>>
>>>>>>>>>> When DD is simulated by proof theoretic halt prover
>>>>>>>>>> Then HHH simulates that call HHH(DD)
>>>>>>>>>>   Then HHH simulates that call HHH(DD)
>>>>>>>>>>     Then HHH simulates that call HHH(DD)
>>>>>>>>>> that rejects DD as semantically incoherent
>>>>>>>>>> because this inference steps never reach
>>>>>>>>>> DD.return Halt_Status;
>>>>>>>>>>
>>>>>>>>>> HHH the recursive simulation that HHH detects
>>>>>>>>>> allows DD to be rejected as not having a well-founded
>>>>>>>>>> justification tree within PTS.
>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>> it's still not answering my question...
>>>>>>>>>
>>>>>>>>
>>>>>>>> Your question proves that you are stupidly incorrect.
>>>>>>>
>>>>>>> what am i incorrect about???
>>>>>>>
>>>>>>
>>>>>> Unless you becomes an expert at proof theoretic semantics
>>>>>> you cannot possibly ever know. Until then it is like
>>>>>> trying to explain modern virology to someone convinced
>>>>>> that disease is caused by evil spirits and have made up
>>>>>> their mind on this and closed it.
>>>>>
>>>>> i'm sorry asking whether DD is a valid executable machine is akin 
>>>>> to ascribing disease to spirits???
>>>>>
>>>>> bro it's a true/false question in regards to the objective nature 
>>>>> of DD. 
>>>>
>>>> *THAT IS NOT HOW PROOF THEORETIC SEMANTICS WORKS*
>>>> *THAT IS NOT HOW PROOF THEORETIC SEMANTICS WORKS*
>>>> *THAT IS NOT HOW PROOF THEORETIC SEMANTICS WORKS*
>>>>
>>>> It is like I ask you to read the exact words
>>>> that text says and you take that to mean to say
>>>> what you want the words to mean that has nothing
>>>> to do with exactly what they actually say.
>>>
>>> regurgitating words isn't the same thing as understanding polcott.
>> That is why you must become an expert in proof theoretic
>> semantics before you will understand me. Changing the
>> subject REALLY WILL NOT HELP !!!
>>
> 
> how is asking about the executable nature of DD changing the subject?
> 

A proof theoretic ANYTHING prover does not give a
rat's ass about anything else in the universe besides
its own sequence of inference steps.


-- 
Copyright 2026 Olcott

My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.
The complete structure of this system is now defined.

This required establishing a new foundation

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-08 13:33 -0500
  Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-08 13:09 -0700
    Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-08 15:30 -0500
    Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-10 10:14 -0400
      Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-10 15:47 -0700
        Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-10 18:03 -0500
          Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-10 17:47 -0600
            Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-10 20:52 -0500
          Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-10 20:05 -0700
            Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-10 22:19 -0500
              Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-10 22:07 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-11 08:54 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-11 15:31 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-11 17:43 -0500
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-11 23:18 -0400
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-11 21:41 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-12 00:28 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-12 01:46 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-12 08:14 -0500
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-12 14:24 -0400
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-12 12:01 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-12 17:20 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-12 15:35 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-12 20:13 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-12 20:19 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-12 23:12 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-12 21:50 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-13 00:21 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-12 23:00 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-13 04:27 -0500
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-13 07:41 -0400
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-13 22:14 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-14 08:30 -0500
                Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-14 13:53 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-14 18:01 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-14 16:44 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-14 19:14 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-14 17:26 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-14 20:11 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-14 18:27 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-14 21:15 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? Richard Damon <Richard@Damon-Family.org> - 2026-04-14 22:57 -0400
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-14 20:30 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-15 10:19 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-15 19:37 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-15 22:18 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-15 20:23 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-15 22:51 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-16 10:41 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-16 13:20 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-16 11:29 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-16 13:52 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-16 19:04 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-16 21:21 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-16 19:59 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-16 22:15 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-16 20:21 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-16 23:29 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-17 18:03 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-17 21:05 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-17 23:30 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-18 07:25 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-18 11:27 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-18 13:41 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-18 12:00 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-18 14:10 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-18 12:38 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-18 14:48 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-18 16:25 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-18 21:28 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? Richard Damon <Richard@Damon-Family.org> - 2026-04-19 06:39 -0400
                Halting Problem within Proof Theoretic Semantics -- olcott <polcott333@gmail.com> - 2026-04-19 11:25 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- Richard Damon <Richard@Damon-Family.org> - 2026-04-19 13:57 -0400
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-19 12:46 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? Richard Damon <Richard@Damon-Family.org> - 2026-04-19 21:02 -0400
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? olcott <polcott333@gmail.com> - 2026-04-19 21:25 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? Richard Damon <Richard@Damon-Family.org> - 2026-04-20 07:14 -0400
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-20 15:31 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct olcott <polcott333@gmail.com> - 2026-04-20 19:58 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct dart200 <user7160@newsgrouper.org.invalid> - 2026-04-20 21:50 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct olcott <polcott333@gmail.com> - 2026-04-20 23:55 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct dart200 <user7160@newsgrouper.org.invalid> - 2026-04-20 22:26 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct olcott <polcott333@gmail.com> - 2026-04-21 07:45 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct dart200 <user7160@newsgrouper.org.invalid> - 2026-04-21 11:32 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct olcott <polcott333@gmail.com> - 2026-04-21 14:04 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct dart200 <user7160@newsgrouper.org.invalid> - 2026-04-21 13:27 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct olcott <polcott333@gmail.com> - 2026-04-21 17:05 -0500
                Re: Halting Problem within Proof Theoretic Semantics -- I am correct dart200 <user7160@newsgrouper.org.invalid> - 2026-04-21 20:48 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? Richard Damon <Richard@Damon-Family.org> - 2026-04-17 08:55 -0400
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-15 22:07 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? dart200 <user7160@newsgrouper.org.invalid> - 2026-04-16 10:37 -0700
                Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? Richard Damon <Richard@Damon-Family.org> - 2026-04-16 07:10 -0400
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-14 22:57 -0400
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-12 20:21 -0400
          Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:49 -0400
        Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-11 12:39 -0400
          Re: Halting Problem within Proof Theoretic Semantics dart200 <user7160@newsgrouper.org.invalid> - 2026-04-11 21:23 -0700
            Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-12 06:57 -0400
  Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-10 10:07 -0400
  Re: Halting Problem within Proof Theoretic Semantics Mr Flibble <flibble@red-dwarf.jmc.corp> - 2026-04-11 01:08 +0000
  Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-11 10:42 +0300
    Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-11 09:03 -0500
      Re: Halting Problem within Proof Theoretic Semantics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-11 07:10 -0700
        Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-11 10:05 -0500
      Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-12 12:38 +0300
        Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-13 10:01 -0500
          Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-13 19:12 -0400
          Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-14 09:04 +0300
            Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-14 08:41 -0500
              Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-15 10:11 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-15 06:52 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-16 11:20 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-16 07:31 -0500
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-16 07:38 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-17 09:54 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-17 09:40 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-18 12:48 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-18 08:33 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-19 12:33 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-19 12:22 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-20 12:00 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-20 11:55 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-21 10:03 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 08:43 -0500
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 13:48 -0600
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 16:37 -0500
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 16:03 -0600
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 16:06 -0600
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 18:14 -0500
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 17:31 -0600
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 18:52 -0500
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 18:01 -0600
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 20:36 -0500
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 19:59 -0600
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 21:11 -0500
                Re: Halting Problem within Proof Theoretic Semantics André G. Isaak <agisaak@gm.invalid> - 2026-04-21 20:25 -0600
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 21:59 -0500
                Re: Halting Problem within Proof Theoretic Semantics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-22 00:02 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-22 02:42 -0500
                Re: Halting Problem within Proof Theoretic Semantics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-22 00:00 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-22 02:39 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-19 12:36 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-19 11:51 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-20 12:10 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-20 12:22 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-21 10:09 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 08:47 -0500
                Re: Halting Problem within Proof Theoretic Semantics Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-04-21 15:18 -0700
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-21 18:18 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-22 10:40 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-22 02:58 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-23 10:01 +0300
                Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-23 08:42 -0500
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-24 09:25 +0300
                Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-24 09:50 +0300
                Re: Halting Problem within Proof Theoretic Semantics "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-04-24 20:37 -0700
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-16 07:10 -0400
                Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-16 07:29 -0400
  Re: Halting Problem within Proof Theoretic Semantics olcott <polcott333@gmail.com> - 2026-04-11 13:35 -0500
    Re: Halting Problem within Proof Theoretic Semantics Richard Damon <Richard@Damon-Family.org> - 2026-04-11 14:53 -0400
    Re: Halting Problem within Proof Theoretic Semantics Mikko <mikko.levanto@iki.fi> - 2026-04-24 09:26 +0300

csiph-web