Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #132986
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, comp.ai.philosophy |
| Subject | Re: The Halting Problem is Incoherent |
| Date | 2025-10-19 10:03 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <10d2uk8$2j470$1@dont-email.me> (permalink) |
| References | (7 earlier) <10csuv6$vhfr$1@dont-email.me> <10ctm24$168c9$1@dont-email.me> <10cvmne$1ni4l$1@dont-email.me> <10cvrs7$1ovl7$3@dont-email.me> <10d28cf$2cfeb$2@dont-email.me> |
Cross-posted to 4 groups.
On 10/19/2025 3:44 AM, Mikko wrote: > On 2025-10-18 10:58:15 +0000, olcott said: > >> On 10/18/2025 4:30 AM, Mikko wrote: >>> >>> That is not a sense of "proof". >> >> That is the correct way to do a proof. > > A way to do is not a sense. > The conventional way to do proofs concludes that within its rules if the Moon is made from green cheese and the Moon is not made from green cheese this proves that Donald Trump is the Lord and savior Jesus Christ. https://liarparadox.org/Meaning_Postulates_Rudolf_Carnap_1952.pdf Formalizing ALL semantics syntactically and allowing semantic logical entailment as the only rule of inference prevents nonsense like this: https://en.wikipedia.org/wiki/Principle_of_explosion -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
The halting problem breaks with reality olcott <polcott333@gmail.com> - 2025-10-13 19:37 -0500
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 19:21 -0700
Re: The halting problem breaks with reality olcott <polcott333@gmail.com> - 2025-10-13 21:26 -0500
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 19:31 -0700
Re: The halting problem breaks with reality olcott <polcott333@gmail.com> - 2025-10-13 21:48 -0500
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 19:55 -0700
Re: The halting problem breaks with reality olcott <polcott333@gmail.com> - 2025-10-13 22:02 -0500
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 20:10 -0700
Re: The halting problem breaks with reality olcott <polcott333@gmail.com> - 2025-10-13 22:17 -0500
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 20:54 -0700
Re: The halting problem breaks with reality olcott <polcott333@gmail.com> - 2025-10-13 23:37 -0500
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 22:45 -0700
Re: The halting problem breaks with reality dart200 <user7160@newsgrouper.org.invalid> - 2025-10-13 22:52 -0700
Re: The halting problem breaks with reality Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-14 18:12 +0000
Re: The halting problem breaks with reality Mikko <mikko.levanto@iki.fi> - 2025-10-14 12:53 +0300
Re: The halting problem breaks with reality --- confirmed olcott <polcott333@gmail.com> - 2025-10-14 11:29 -0500
Re: The halting problem breaks with reality --- confirmed Mikko <mikko.levanto@iki.fi> - 2025-10-15 11:49 +0300
Re: The halting problem breaks with reality --- confirmed olcott <polcott333@gmail.com> - 2025-10-15 07:21 -0500
Re: The halting problem breaks with reality --- confirmed Mikko <mikko.levanto@iki.fi> - 2025-10-16 11:38 +0300
The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-16 08:57 -0500
Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-16 14:07 -0700
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-17 11:32 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-17 10:06 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-18 12:30 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-18 05:58 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-19 11:44 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-19 10:03 -0500
Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-19 12:55 -0700
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-20 11:55 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-20 11:24 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-21 12:31 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 10:11 -0500
Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-21 13:38 -0700
Re: The Halting Problem is Incoherent Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-21 22:13 +0000
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-21 20:46 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-22 12:23 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-22 07:39 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-23 13:02 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-23 10:39 -0500
Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-23 11:57 -0700
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-24 10:48 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-24 12:41 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-25 14:57 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-25 14:53 -0500
Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-25 13:03 -0700
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-26 13:34 +0200
Re: The Halting Problem is Incoherent "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-25 11:24 -0700
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-24 10:46 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-24 12:37 -0500
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-25 14:59 +0300
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-25 14:57 -0500
Re: The Halting Problem is Incoherent Richard Damon <Richard@Damon-Family.org> - 2025-10-25 21:27 -0400
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-26 13:44 +0200
Re: The Halting Problem is Incoherent Richard Damon <Richard@Damon-Family.org> - 2025-10-26 13:57 -0400
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-27 11:45 +0200
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-27 08:56 -0500
Re: The Halting Problem is Incoherent Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-27 17:15 +0000
Re: The Halting Problem is Incoherent olcott <polcott333@gmail.com> - 2025-10-27 12:22 -0500
Re: The Halting Problem is Incoherent Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-27 18:54 +0000
Re: The Halting Problem is Incoherent Richard Damon <Richard@Damon-Family.org> - 2025-10-27 21:26 -0400
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-28 11:54 +0200
Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-10-28 10:07 -0500
Re: Gödel's G := (F ⊬ G) Richard Damon <Richard@Damon-Family.org> - 2025-10-28 21:57 -0400
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-10-29 12:43 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-10-29 11:22 -0500
Re: Gödel's G := (F ⊬ G) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-29 12:47 -0700
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-10-30 12:37 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-10-30 07:54 -0500
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-10-31 13:02 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-10-31 07:09 -0500
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-01 11:10 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-01 08:50 -0500
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-02 14:41 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-03 17:40 -0600
Re: Gödel's G := (F ⊬ G) Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-04 00:29 +0000
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-03 18:32 -0600
Re: Gödel's G := (F ⊬ G) Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-04 01:59 +0000
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-04 11:51 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-04 11:45 -0600
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-05 12:46 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-05 05:55 -0600
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-06 10:35 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-06 05:03 -0600
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-07 10:14 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-07 07:00 -0600
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-08 10:34 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-08 07:47 -0600
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-09 12:19 +0200
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-04 11:46 +0200
Re: Gödel's G := (F ⊬ G) olcott <polcott333@gmail.com> - 2025-11-04 10:29 -0600
Re: Gödel's G := (F ⊬ G) Mikko <mikko.levanto@iki.fi> - 2025-11-05 12:47 +0200
Re: The Halting Problem is Incoherent Richard Damon <Richard@Damon-Family.org> - 2025-10-27 21:22 -0400
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-28 11:58 +0200
Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-28 10:12 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Richard Damon <Richard@Damon-Family.org> - 2025-10-28 21:57 -0400
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-10-29 12:53 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-29 11:26 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Richard Damon <Richard@Damon-Family.org> - 2025-10-29 21:46 -0400
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-10-30 12:44 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-30 08:01 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-10-31 13:10 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-31 07:18 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-01 11:16 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-01 08:52 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-02 14:43 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-03 17:41 -0600
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-04 11:53 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-10-29 12:45 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-29 11:25 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-29 12:46 -0700
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-10-30 12:50 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-30 08:03 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-10-31 13:15 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-10-31 07:20 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-01 11:18 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-01 08:54 -0500
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-02 14:45 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-03 17:45 -0600
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-04 11:56 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-04 12:05 -0600
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-05 12:49 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-05 05:52 -0600
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-06 10:39 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-06 05:08 -0600
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-07 10:21 +0200
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence olcott <polcott333@gmail.com> - 2025-11-07 07:31 -0600
Re: Gödel's G := (F ⊬ G) specifies a cycle in the directed graph of its evaluation sequence Mikko <mikko.levanto@iki.fi> - 2025-11-08 10:37 +0200
Re: The Halting Problem is Incoherent Richard Damon <Richard@Damon-Family.org> - 2025-10-28 21:57 -0400
Re: The Halting Problem is Incoherent Mikko <mikko.levanto@iki.fi> - 2025-10-29 12:56 +0200
Re: The halting problem breaks with reality Kaz Kylheku <643-408-1753@kylheku.com> - 2025-10-14 18:09 +0000
Re: The halting problem breaks with reality Richard Damon <Richard@Damon-Family.org> - 2025-10-17 12:13 -0400
csiph-web