Groups | Search | Server Info | Login | Register

Groups > sci.logic > #345243

Re: Halting Problem within Proof Theoretic Semantics

From dart200 <user7160@newsgrouper.org.invalid>
Newsgroups sci.logic, comp.theory, sci.logic, comp.ai.philosophy
Subject Re: Halting Problem within Proof Theoretic Semantics
Date 2026-04-08 13:09 -0700
Organization A noiseless patient Spider
Message-ID <10r6cle$3rh0o$3@dont-email.me> (permalink)
References <10r6724$3q4o5$1@dont-email.me>

Cross-posted to 4 groups.

Show all headers | View raw

On 4/8/26 11:33 AM, olcott wrote:
> 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
> HHH the recursive simulation that HHH detects allows
> DD to be rejected as not having a well-founded justification
> tree. The only inputs left out are semantically unsound.
> 

yeah i ran into the same problem,

simulating the recursion with an action after the detection feeds back 
into making the detection invalid...

it's a rather weird measurement paradox, like the measurement of the 
fact of infinite recursion gets invalidate by actions taken after the 
measurement itself happened

how do we frame this as a certain contradiction?

rick tried to dismiss it with the claim the simulating the machine with 
an external detector isn't the same as just running the machine...

-- 
arising us out of the computing dark ages,
please excuse my pseudo-pyscript,
~ the lil crank that could

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