Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
120580 articles (numbers 2784 – 125745) — threaded view
| Advanced| Subject | Author | Date [asc] |
|---|---|---|
| Re: Alan Turing's Halting Problem is incorrectly formed --- My first post on the halting problem | olcott <NoOne@NoWhere.com> | 2025-08-24 16:56 -0500 |
| Re: Alan Turing's Halting Problem is incorrectly formed --- My first post on the halting problem WHOLE THREAD | olcott <polcott333@gmail.com> | 2025-08-24 17:19 -0500 |
| Re: Inlining of auto generated move constructor/assignment failed | David Brown <david.brown@hesbynett.no> | 2025-08-25 08:19 +0200 |
| Re: Inlining of auto generated move constructor/assignment failed | Ike Naar <ike@sdf.org> | 2025-08-25 06:52 +0000 |
| Re: How is this answer not self-evident ? --- Recursive simulation | Bonita Montero <Bonita.Montero@gmail.com> | 2025-08-25 12:09 +0200 |
| Re: Inlining of auto generated move constructor/assignment failed | scott@slp53.sl.home (Scott Lurndal) | 2025-08-25 14:27 +0000 |
| How do you prove Halting Problem in C/C++? | wij <wyniijj5@gmail.com> | 2025-08-25 22:27 +0800 |
| Re: How is this answer not self-evident ? --- Recursive simulation | wij <wyniijj5@gmail.com> | 2025-08-25 22:29 +0800 |
| Re: Inlining of auto generated move constructor/assignment failed | David Brown <david.brown@hesbynett.no> | 2025-08-25 16:36 +0200 |
| Re: How do you prove Halting Problem in C/C++? | Bonita Montero <Bonita.Montero@gmail.com> | 2025-08-25 16:47 +0200 |
| Re: How do you prove Halting Problem in C/C++? | Gerald Tubin <Tubin@invalid.invalid> | 2025-08-25 14:57 +0000 |
| Re: How do you prove Halting Problem in C/C++? | wij <wyniijj5@gmail.com> | 2025-08-25 23:07 +0800 |
| Re: How do you prove Halting Problem in C/C++? | wij <wyniijj5@gmail.com> | 2025-08-25 23:10 +0800 |
| Re: How do you prove Halting Problem in C/C++? | Wuns Haerst <Wuns.Haerst@wurstfabrik.at> | 2025-08-25 17:11 +0200 |
| DD correctly simulated by HHH proves that it never stops running | olcott <polcott333@gmail.com> | 2025-08-25 10:13 -0500 |
| Re: How do you prove Halting Problem in C/C++? | Gerald Tubin <Tubin@invalid.invalid> | 2025-08-25 15:51 +0000 |
| Re: How do you prove Halting Problem in C/C++? | wij <wyniijj5@gmail.com> | 2025-08-26 00:16 +0800 |
| Re: How do you prove Halting Problem in C/C++? | Gerald Tubin <Tubin@invalid.invalid> | 2025-08-25 16:47 +0000 |
| Re: How do you prove Halting Problem in C/C++? | Bonita Montero <Bonita.Montero@gmail.com> | 2025-08-25 18:54 +0200 |
| All rebuttals to this have been proven to be counter-factual | olcott <polcott333@gmail.com> | 2025-08-25 12:07 -0500 |
| Re: Inlining of auto generated move constructor/assignment failed | boltar@battlestar-galactica.com | 2025-08-25 20:01 +0000 |
| Re: "My C++ on Sea talk video posted: “Three Cool Things in C++26”" by Herb Sutter | legalize+jeeves@mail.xmission.com (Richard) | 2025-08-25 20:59 +0000 |
| Re: Inlining of auto generated move constructor/assignment failed | David Brown <david.brown@hesbynett.no> | 2025-08-26 09:06 +0200 |
| Re: Inlining of auto generated move constructor/assignment failed | boltar@battlestar-galactica.com | 2025-08-26 18:30 +0000 |
| Re: Inlining of auto generated move constructor/assignment failed | David Brown <david.brown@hesbynett.no> | 2025-08-26 22:49 +0200 |
| P!=NP proof (using C/C++) for review | wij <wyniijj5@gmail.com> | 2025-08-27 11:21 +0800 |
| Re: Inlining of auto generated move constructor/assignment failed | boltar@battlestar-galactica.com | 2025-08-27 15:39 +0000 |
| Re: Inlining of auto generated move constructor/assignment failed | "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> | 2025-08-27 16:34 -0700 |
| Complete proof that the input to HHH(DD)==0 --- The HP proof is wrong | olcott <polcott333@gmail.com> | 2025-08-27 21:24 -0500 |
| Re: Why Is it correct for HHH(DD) to reject its input as non-halting when DD() halts? === | olcott <polcott333@gmail.com> | 2025-08-28 19:49 -0500 |
| Re: Measuring the actual behavior of the actual input to HHH(DD) | olcott <polcott333@gmail.com> | 2025-08-30 10:08 -0500 |
| Re: [OT] Linking against a static library | Jack <Jack@invalid.invalid> | 2025-08-31 18:16 +0000 |
| "Brian Kernigan speaks. 83 and still teaching." | Lynn McGuire <lynnmcguire5@gmail.com> | 2025-09-01 23:39 -0500 |
| Five different LLM systems agree with my rebuttal of the HP proofs. | olcott <polcott333@gmail.com> | 2025-09-02 13:18 -0500 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Lynn McGuire <lynnmcguire5@gmail.com> | 2025-09-02 20:34 -0500 |
| Five LLM systems use my framework to refute the halting problem proofs | olcott <polcott333@gmail.com> | 2025-09-03 08:07 -0500 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Pierre <null@void.net> | 2025-09-03 22:20 +0000 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Bonita Montero <Bonita.Montero@gmail.com> | 2025-09-04 02:10 +0200 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | scott@slp53.sl.home (Scott Lurndal) | 2025-09-04 00:12 +0000 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Kaz Kylheku <643-408-1753@kylheku.com> | 2025-09-04 02:30 +0000 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | boltar@caprica.universe | 2025-09-04 08:36 +0000 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Janis Papanagnou <janis_papanagnou+ng@hotmail.com> | 2025-09-04 12:40 +0200 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | boltar@caprica.universe | 2025-09-04 15:57 +0000 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | 🇵🇱Jacek Marcin Jaworski🇵🇱 <jaworski1978@adres.pl> | 2025-09-04 18:33 +0200 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Michael S <already5chosen@yahoo.com> | 2025-09-05 00:36 +0300 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Bonita Montero <Bonita.Montero@gmail.com> | 2025-09-04 23:40 +0200 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | Janis Papanagnou <janis_papanagnou+ng@hotmail.com> | 2025-09-05 05:42 +0200 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | scott@slp53.sl.home (Scott Lurndal) | 2025-09-05 14:08 +0000 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | David Brown <david.brown@hesbynett.no> | 2025-09-05 16:51 +0200 |
| Re: "Brian Kernigan speaks. 83 and still teaching." | boltar@caprica.universe | 2025-09-05 15:17 +0000 |
« Previous 1 ... 60 61 62 63 64 ... 2412 Next »
csiph-web