Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #133067
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: The Halting Problem is Incoherent |
| Date | 2025-10-20 11:55 +0300 |
| Organization | - |
| Message-ID | <10d4tdl$339m3$1@dont-email.me> (permalink) |
| References | (8 earlier) <10ctm24$168c9$1@dont-email.me> <10cvmne$1ni4l$1@dont-email.me> <10cvrs7$1ovl7$3@dont-email.me> <10d28cf$2cfeb$2@dont-email.me> <10d2uk8$2j470$1@dont-email.me> |
On 2025-10-19 15:03:34 +0000, olcott said: > 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. Right, and the empirical falct that nobody has verified all of 1. the Moon is made from green cheese 2. the Moon is not made from grenn cheese 3. Donald Trump is not the Lord and saviour Jesus Christ at the same time supports the idea that the conventiona wya to do proofs is correct and trustworthy. -- Mikko
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