Groups | Search | Server Info | Login | Register
| From | dart200 <user7160@newsgrouper.org.invalid> |
|---|---|
| Newsgroups | sci.logic, comp.theory, sci.logic, comp.ai.philosophy |
| Subject | Re: Halting Problem within Proof Theoretic Semantics -- RU nuts ??? |
| Date | 2026-04-16 19:59 -0700 |
| Organization | A noiseless patient Spider |
| Message-ID | <10rs7nb$25edd$1@dont-email.me> (permalink) |
| References | (26 earlier) <10rr999$1stel$1@dont-email.me> <10rr9q1$1rskm$5@dont-email.me> <10rrb4l$1tg9o$1@dont-email.me> <10rs4f8$24j9f$3@dont-email.me> <10rs5ek$24vpe$1@dont-email.me> |
Cross-posted to 4 groups.
On 4/16/26 7:21 PM, olcott wrote: > On 4/16/2026 9:04 PM, dart200 wrote: >> On 4/16/26 11:52 AM, olcott wrote: >>> On 4/16/2026 1:29 PM, dart200 wrote: >>>> On 4/16/26 11:20 AM, olcott wrote: >>>>> On 4/16/2026 12:41 PM, dart200 wrote: >>>>>> On 4/15/26 8:51 PM, olcott wrote: >>>>>>> On 4/15/2026 10:23 PM, dart200 wrote: >>>>>>>> On 4/15/26 8:18 PM, olcott wrote: >>>>>>>>> On 4/15/2026 9:37 PM, dart200 wrote: >>>>>>>>>> On 4/15/26 8:19 AM, olcott wrote: >>>>>>>>>>> On 4/14/2026 10:30 PM, dart200 wrote: >>>>>>>>>>>> On 4/14/26 7:15 PM, olcott wrote: >>>>>>>>>>>>> On 4/14/2026 8:27 PM, dart200 wrote: >>>>>>>>>>>>>> On 4/14/26 6:11 PM, olcott wrote: >>>>>>>>>>>>>>> On 4/14/2026 7:26 PM, dart200 wrote: >>>>>>>>>>>>>>>> On 4/14/26 5:14 PM, olcott wrote: >>>>>>>>>>>>>>>>> On 4/14/2026 6:44 PM, dart200 wrote: >>>>>>>>>>>>>>>>>> On 4/14/26 4:01 PM, olcott wrote: >>>>>>>>>>>>>>>>>>> On 4/14/2026 3:53 PM, dart200 wrote: >>>>>>>>>>>>>>>>>>>> On 4/14/26 6:30 AM, olcott wrote: >>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>> It has always been nuts to think that an input >>>>>>>>>>>>>>>>>>>>> that does the opposite of whatever value a halt >>>>>>>>>>>>>>>>>>>>> decider returns is a valid input. Ordinary >>>>>>>>>>>>>>>>>>>>> unadulterated proof theoretic semantics already >>>>>>>>>>>>>>>>>>>>> has the complete and perfect foundational basis >>>>>>>>>>>>>>>>>>>>> to reject these inputs as semantically incoherent. >>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>> 1.2 Inferentialism, intuitionism, anti-realism >>>>>>>>>>>>>>>>>>>>> Proof-theoretic semantics is inherently inferential, >>>>>>>>>>>>>>>>>>>>> as it is inferential activity which manifests itself >>>>>>>>>>>>>>>>>>>>> in proofs. It thus belongs to inferentialism (a term >>>>>>>>>>>>>>>>>>>>> coined by Brandom, see his 1994; 2000) according to >>>>>>>>>>>>>>>>>>>>> which 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 >>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>> so you do agree DD halts when executed??? or not??? >>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> At this point that question becomes pure trolling >>>>>>>>>>>>>>>>>>> with zero honest dialogue intent. >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> It has ALWAYS been 100% TOTALLY NUTS to not reject >>>>>>>>>>>>>>>>>>> an input that does the opposite of whatever its >>>>>>>>>>>>>>>>>>> decider reports. >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> Proof theoretic semantics provides the complete >>>>>>>>>>>>>>>>>>> foundational basis for this rejection to be >>>>>>>>>>>>>>>>>>> accomplished algorithmically. >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>> right but that machine DD _does_ halt... >>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> Sew UR nuts. >>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>> i'm nuts for suggesting that a halting machine halts??? >>>>>>>>>>>>>>>> >>>>>>>>>>>>>>> >>>>>>>>>>>>>>> Everyone has been nuts to require a machine to >>>>>>>>>>>>>>> report on an input that was intentionally designed >>>>>>>>>>>>>>> to do the opposite of whatever it reports. >>>>>>>>>>>>>> >>>>>>>>>>>>>> but it's not "intentional", it just happens to be part of >>>>>>>>>>>>>> the total possible ways a machine can be constructed, >>>>>>>>>>>>>> >>>>>>>>>>>>>> specifically because the possibility for machines >>>>>>>>>>>>>> referencing themselves (proven by kleene's second >>>>>>>>>>>>>> recursion theorem): >>>>>>>>>>>>>> >>>>>>>>>>>>>> because machines can self-reference their own result, this >>>>>>>>>>>>>> kind of circular analytical paradox _is_ possible >>>>>>>>>>>>>> >>>>>>>>>>>>>>> >>>>>>>>>>>>>>> THIS IS A CLEAR CASE OF BAD DATA TO BE REJECTED. >>>>>>>>>>>>>>> Proof Theoretic Semantics does this very cleanly >>>>>>>>>>>>>>> it rejects all such inputs as semantically incoherent. >>>>>>>>>>>>>> >>>>>>>>>>>>>> except DD _is_ a valid machine, that _does_ halt, no??? >>>>>>>>>>>>>> >>>>>>>>>>>>> >>>>>>>>>>>>> IT WAS MODELED AFTER THE LIAR PARADOX. >>>>>>>>>>>> >>>>>>>>>>>> it happens to fit that form much of the time, but >>>>>>>>>>>> decidability problems within computing are _not_ >>>>>>>>>>>> intentionally modeled after the liar's paradox... >>>>>>>>>>>> >>>>>>>>>>>> turing when he stumbled on the first undecidable situation >>>>>>>>>>>> within computing was not considering the liar's paradox or >>>>>>>>>>>> even godel's incompleteness directly. he was considering >>>>>>>>>>>> cantor's diagonal formed across all circle-free machines. >>>>>>>>>>>> and without certain fixes, the problem arises when the >>>>>>>>>>>> diagonal machine is deciding on itself as circle-free... >>>>>>>>>>>> this was not an intention constructional, but an artifact of >>>>>>>>>>>> self- references within turing machine logic, >>>>>>>>>>>> >>>>>>>>>>>> they just _are_ a possible construction within all >>>>>>>>>>>> permutations of turing machine definitions >>>>>>>>>>>> >>>>>>>>>>>>> It also seems completely psychotic that even the >>>>>>>>>>>>> Liar Paradox has not been OFFICIALLY ruled to >>>>>>>>>>>>> have always been incoherent nonsense AFTER 2000 YEARS. >>>>>>>>>>>>> >>>>>>>>>>>>> % This sentence is not true. >>>>>>>>>>>>> ?- LP = not(true(LP)). >>>>>>>>>>>>> LP = not(true(LP)). >>>>>>>>>>>>> ?- unify_with_occurs_check(LP, not(true(LP))). >>>>>>>>>>>>> false. >>>>>>>>>>>>> >>>>>>>>>>>>> The above unequivocally proves that the Liar >>>>>>>>>>>>> Paradox exactly and precisely within the framework >>>>>>>>>>>>> of Proof Theoretic Semantics is semantically >>>>>>>>>>>>> incoherent. >>>>>>>>>>>>> >>>>>>>>>>>> >>>>>>>>>>>> i agree something fishy is going on, but we cannot just >>>>>>>>>>>> declare a machine that certainly halts as incoherent input >>>>>>>>>>>> to a halting prover (without some further explanation of how >>>>>>>>>>>> the truth of it being halting is ascertained) >>>>>>>>>>>> >>>>>>>>>>> >>>>>>>>>>> Unless UR nuts (or so indoctrinated to drink the >>>>>>>>>>> Kool-Aid of the conventional view that you can't >>>>>>>>>>> think clearly) you would realize that *NOT REJECTING* >>>>>>>>>>> an input that does the opposite of whatever value >>>>>>>>>>> its decider returns *HAS ALWAYS BEEN COMPLETELY NUTS* >>>>>>>>>>> >>>>>>>>>>> Proof Theoretic Semantics inherently does this for >>>>>>>>>>> every aspect of any input that does not have a >>>>>>>>>>> finite back-chained sequence of inference steps >>>>>>>>>>> to valid closure. >>>>>>>>>>> >>>>>>>>>>> DD simulated by HHH according to the semantics of >>>>>>>>>>> the C programming language cannot possibly reach >>>>>>>>>>> its own return instruction in any finite number >>>>>>>>>>> of steps. With PTS these inference steps are >>>>>>>>>>> THE WHOLE GAME. Absolutely nothing else is allowed >>>>>>>>>>> to be considered. >>>>>>>>>>> >>>>>>>>>> >>>>>>>>>> i don't need to insult you to point out the fact DD is a valid >>>>>>>>>> machine that halts when executed, >>>>>>>>>> >>>>>>>>>> why do u think u need to insult me back when i point that out? >>>>>>>>>> >>>>>>>>> >>>>>>>>> You keep changing the subject away from the >>>>>>>>> fact that DD has always been a bad input to >>>>>>>>> any halt decider. >>>>>>>> >>>>>>>> i thought we agreed an HHH1 which is not named in DD could >>>>>>>> correctly decide on it... >>>>>>>> >>>>>>> >>>>>>> Can Carol correctly answer “no” to this (yes/no) question? >>>>>>> E C R Hehner. Objective and Subjective Specifications >>>>>>> WST Workshop on Termination, Oxford. 2018 July 18. >>>>>>> See https://www.cs.toronto.edu/~hehner/OSS.pdf >>>>>> >>>>>> yes i know that, truth can be defined relative to a reference >>>>>> point. same is true in physical too, >>>>>> >>>>>> but u keep repeating on and on about bad input instead of >>>>>> explaining both perspectives at the same time >>>>>> >>>>> >>>>> I don't allocate equal weight to falsehoods. >>>>> The HP counter-example input has always been >>>>> bad and the only reason this is not universally >>>>> understood is that sheeple herd together in >>>>> the conventional views. >>>> >>>> no, turing's diagonal counter-example, the _original_ problem, is >>>> not a trivial program that produces no output. >>>> >>>> it actually performs a computation and deciding on that computation >>>> is an issue. >>>> >>> >>> Any input that does the opposite of whatever value its >>> decider returns should have been rejected as bad input >>> is dead obvious. >> >> the computation doesn't _try_ to contradict itself, it necessarily >> does it as an artifact of it's construction of applying the decider to >> all input... >> > > It is isomorphic to the Liar Paradox and the sheeple is it not "isomorhpic" to the liar's paradox, it an infinitely running computation that tests the entire enumeration of machines, and in doing so stumbles on trying to decide on itself as either a circular or circle-free machine, both of which are infinitely running results. the liar's paradox does no such thing even remotely the circle-free paradox is not an intentional construction to deceive a decider ... it just is a result of trying to universally apply a true/false circle-free decider to all machines, causing the decider to fail on deciding itself. > of humanity never figured that out because the would > rather herd together than know the truth. > >>> >>> I am not sure how far back PTS has generically >>> rejected every expression that specifies cycles >>> in the directed graph of inference steps it may >>> be as far back as 1930. >>> >>> The key relevant thing is that ALL PTS experts >>> now universally agree that such expressions >>> lack any semantic meaning because all PTS >>> experts universally agree that ALL semantic >>> meaning ONLY comes from finite sequences of >>> inference steps. >> >> what the difference between a "finite sequence of inference steps" and >> a computation??? >> > > What is wrong with a payroll system that gets > stuck in an infinite loop so that no one ever > gets paid? (same thing) > > Unless the other paragraphs below are over-your-head > they provide the crucial foundational basis for how I > have been correct all along: > > In analytic philosophy, anti-realism is the position > that the truth of a statement rests on its demonstrability > through internal logic mechanisms... > https://en.wikipedia.org/wiki/Anti-realism > > All that "anti-realism" is really saying is that truth > is computable even though the compositional meaning of > "anti-realism" says something like a psychotic break > from reality. > >>> >>> This article was written by the guy that coined >>> the term "proof theoretic semantics" >>> >>> 1.2 Inferentialism, intuitionism, anti-realism >>> Proof-theoretic semantics is inherently inferential, >>> as it is inferential activity which manifests itself >>> in proofs. >>> >>> It thus belongs to inferentialism (a term coined by >>> Brandom, see his 1994; 2000) according to which >>> 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 >>> >> >> > > -- 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
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