Groups | Search | Server Info | Login | Register

Groups > sci.logic > #345595

Re: Halting Problem within Proof Theoretic Semantics

From Mikko <mikko.levanto@iki.fi>
Newsgroups sci.logic, sci.math, sci.math.symbolic, comp.theory, comp.ai.philosophy
Subject Re: Halting Problem within Proof Theoretic Semantics
Followup-To sci.logic
Date 2026-04-21 10:03 +0300
Organization A noiseless patient Spider
Message-ID <10s77gg$1aeap$1@dont-email.me> (permalink)
References (16 earlier) <10s0178$382fl$1@dont-email.me> <10s27i9$3sb4j$1@dont-email.me> <10s32vu$4jfl$2@dont-email.me> <10s4pvg$jo5b$1@dont-email.me> <10s5lq2$sv0r$1@dont-email.me>

Cross-posted to 5 groups.

Followups directed to: sci.logic

Show all headers | View raw

On 20/04/2026 19:55, olcott wrote:
> On 4/20/2026 4:00 AM, Mikko wrote:
>> On 19/04/2026 20:22, olcott wrote:
>>> On 4/19/2026 4:33 AM, Mikko wrote:
>>>> On 18/04/2026 16:33, olcott wrote:
>>>>> On 4/18/2026 4:48 AM, Mikko wrote:
>>>>>> On 17/04/2026 17:40, olcott wrote:
>>>>>>> On 4/17/2026 1:54 AM, Mikko wrote:
>>>>>>>> On 16/04/2026 15:38, olcott wrote:
>>>>>>>>> On 4/16/2026 3:20 AM, Mikko wrote:
>>>>>>>>>> On 15/04/2026 14:52, olcott wrote:
>>>>>>>>>>>
>>>>>>>>>>> The first incompleteness theorem states that in
>>>>>>>>>>> any consistent formal system F within which a
>>>>>>>>>>> certain amount of arithmetic can be carried out,
>>>>>>>>>>> there are statements of the language of F which
>>>>>>>>>>> can neither be proved nor disproved in F.
>>>>>>>>>>> https://plato.stanford.edu/entries/goedel-incompleteness/
>>>>>>>>>>
>>>>>>>>>> That's right. You did no not use the word "true" above so its 
>>>>>>>>>> definition
>>>>>>>>>> is irrelevant to the first incompletness theorem.
>>>>>>>>>
>>>>>>>>> Olcott's Minimal Type Theory
>>>>>>>>> G ↔ ¬Prov[PA](⌜G⌝)
>>>>>>>>> Directed Graph of evaluation sequence
>>>>>>>>> 00 ↔               01 02
>>>>>>>>> 01 G
>>>>>>>>> 02 ¬               03
>>>>>>>>> 03 Prov[PA]        04
>>>>>>>>> 04 Gödel_Number_of 01  // cycle
>>>>>>>>>
>>>>>>>>> % This sentence cannot be proven in F
>>>>>>>>> ?- G = not(provable(F, G)).
>>>>>>>>> G = not(provable(F, G)).
>>>>>>>>> ?- unify_with_occurs_check(G, not(provable(F, G))).
>>>>>>>>> false.
>>>>>>>>>
>>>>>>>>> The first incompleteness theorem sentence
>>>>>>>>> has a cycle in the directed graph of its
>>>>>>>>> evaluation sequence making it semantically
>>>>>>>>> incoherent.
>>>>>>>>>
>>>>>>>>> This kind of semantically incoherence is
>>>>>>>>> foundational in proof theoretic semantics.
>>>>>>>>
>>>>>>>> Nice to see that you don't disagree.
>>>>>>>
>>>>>>> Gödel's G is merely semantically incoherent when
>>>>>>> examined within the foundation of Proof Theoretic
>>>>>>> Semantics.
>>>>>>
>>>>>> As a sentence of natural number arithmetic it only needs be 
>>>>>> meaningful
>>>>>> in the sempantics of natural number arithmetic.
>>>>>
>>>>> Yes and Proof Theoretic Semantics defines its notion
>>>>> of truth only within the finite inference steps of
>>>>> the formal system. This means that anything that is
>>>>> unprovable in PA is untrue in PA.
>>>>
>>>> By the rules of PA the sentence G ∨ ¬G where G is Gödel's sentence
>>>> is a theorem.
>>>>
>>>> It is provable (and actually proven by Gödel( in the metatheory
>>>> that neither G nor ¬G is provable in Peano arithmetic. This follows
>>>> from the way G is constructed.
>>>
>>> Yet switching to a meta-theory is cheating in PTS.
>>
>> As PTS is a metatheory, switching to PTS is cheating.
>>
>> Use of metatheory is needed in order to answer qeusstions about a
>> theory, for example whether G is a theorem of Peano arithmetic, and 
>> questions about two or more theories, for example whether two theories
>> are equivalent.
>>
>>> When G and ~G cannot be proven directly in PA then in
>>> the standard conventional PTS G has no meaning in PA.
>> Regardless what PTS says, as an arithmetic sentence G has an arithmetic
>> meaning.
>>
> 
> Proof-theoretic semantics is inherently inferential, as
> it is inferential activity which manifests itself in proofs.
> ...inferences and the rules of inference establish the
> meaning of expressions.
> 
> Schroeder-Heister, Peter, 2024 "Proof-Theoretic Semantics"
> https://plato.stanford.edu/entries/proof-theoretic-semantics/ 
> #InfeIntuAntiReal
> 
> Provable(PA, φ) := ∃Γ ⊂ PA(Γ ⊣ φ)
> There exists a finite set Γ of inference steps of PA such that φ
> is back-chained to PA can ALWAYS be resolved in directly in SOL.
> Has_Meaning_PTS(PA, φ) := Provable(PA, φ)

The arithmetic semantics assigns meanings to symbols like 0 or + as
well as tems and formulas. Does proof-theoretic semantics do that?

-- 
Mikko

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