1. Forum
  2. USENET
  3. sci.math
The halting problem is self-contradictory

By olcott on Tue Oct 14 21:17:50 2025

Latest reply by olcott on Wed Oct 15 07:32:55 2025
"experiments that revealed quantum physics in action",

By The Starmaker on Tue Oct 7 23:27:11 2025

Latest reply by nospam on Wed Oct 15 10:35:43 2025
Re: The problem of simultaneity

By Dan Wawrzaszek on Wed Oct 1 13:10:17 2025

Latest reply by Dusty Wronski on Wed Oct 15 10:26:29 2025
primes.pl mainly tests the Prolog ALU [mod/2 vs rem/2]

By Mild Shock on Wed Oct 15 04:34:57 2025

Latest reply by Mild Shock on Wed Oct 15 04:37:23 2025
hello

By Suresh __NoJunkMail Devanathan on Tue Oct 14 15:23:46 2025

Latest reply by Ross Finlayson on Tue Oct 14 11:45:47 2025
Fundamentals of parsing, an AI conversation and definition of "protophora" (by way of Rossy Boy)

By Mild Shock on Tue Oct 14 12:37:32 2025

Latest reply by Mild Shock on Tue Oct 14 13:54:07 2025
Google Gemini '25 on "F-Continuum A-Theory"

By Ross Finlayson on Mon Oct 13 22:22:59 2025

Latest reply by Ross Finlayson on Tue Oct 14 11:16:06 2025
Re: ChatGPT seems to understand that HHH(DD) is correct and not contradicted by DD()

By olcott on Mon Oct 13 12:51:16 2025

Latest reply by olcott on Mon Oct 13 12:51:16 2025
Re: The halting problem proof question is incorrect --- Outside the domain

By olcott on Mon Oct 13 08:29:02 2025

Latest reply by olcott on Mon Oct 13 08:29:02 2025
Some problems I worked on

By banjo Jon on Sun Oct 12 20:51:54 2025

Latest reply by banjo Jon on Sun Oct 12 20:51:54 2025
About the continuum and Vitali, Hausdorff, Banach-Tarski, the measure problem, and Foundations

By Ross Finlayson on Sun Oct 12 20:10:56 2025

Latest reply by Ross Finlayson on Sun Oct 12 20:17:58 2025
=?UTF-8?Q?Re:_Banach=e2=80=93Tarski_paradox?=

By Ross Finlayson on Sun Oct 12 16:55:05 2025

Latest reply by Ross Finlayson on Sun Oct 12 16:55:05 2025
Halting problem proof converted to Liar Paradox --- never resolves to a truth value

By olcott on Sun Oct 12 10:09:08 2025

Latest reply by olcott on Sun Oct 12 10:09:08 2025
Re: Question to one of "the best logician Humanity" ever had

By Haynh Kowalski on Sat Oct 11 21:59:44 2025

Latest reply by Haynh Kowalski on Sat Oct 11 21:59:44 2025
=?UTF-8?Q?Defeating_the_Tarski_Undefinability_Theorem_and_G=C3=B6de?= =?UTF-8?Q?l?=

By olcott on Sat Oct 11 08:34:42 2025

Latest reply by olcott on Sat Oct 11 08:34:42 2025
ANN: Go Fund Me for ISO Core Standard of Prolog (Re: An ISO term_variables/2 for Cyclic Terms)

By Mild Shock on Thu Oct 9 18:13:22 2025

Latest reply by Ross Finlayson on Fri Oct 10 20:32:08 2025
Re: Meta: a usenet server just for sci.math

By Ross Finlayson on Fri Oct 3 18:48:33 2025

Latest reply by Ross Finlayson on Fri Oct 10 17:28:58 2025
Re: Defeating the Tarski Undefinability Theorem

By olcott on Mon Oct 6 08:23:10 2025

Latest reply by olcott on Fri Oct 10 10:02:34 2025
=?UTF-8?Q?Wer_m=C3=B6chte_sich_hier_noch_=C3=BCber_=22mathematische?= =?UTF-8?Q?_Themen=22_austauschen=3F?=

By Moebius on Wed Oct 8 02:16:24 2025

Latest reply by invalid on Wed Oct 8 00:16:49 2025
=?UTF-8?Q?=f0=9f=98=82_=22Plog-like=22_-_that_should_be_the_officia?= =?UTF-8?Q?l_term!?=

By Mild Shock on Wed Oct 8 01:15:44 2025

Latest reply by Chris M. Thomasson on Tue Oct 7 18:30:26 2025
Try https://mathstodon.xyz by Christian Lawson-Perfect (Was: Meta: a usenet server just for sci.math)

By Mild Shock on Tue Oct 7 19:43:58 2025

Latest reply by Ross Finlayson on Tue Oct 7 11:23:36 2025
User @false is exaggerating as usual

By Mild Shock on Tue Oct 7 19:08:59 2025

Latest reply by Mild Shock on Tue Oct 7 19:09:57 2025
Re: Should we synchronize clocks

By Lemuel Sniegowski on Thu Sep 18 14:36:19 2025

Latest reply by Mylowe Babineaux on Mon Oct 6 21:40:34 2025
Entry: Finlayson, Ross A., and Gemini. 2025. "The Certification of the Finlaysonian A-Theory and the Resolution of the Foundational Crisis: A Dialogue."

By Ross Finlayson on Sun Oct 5 21:57:43 2025

Latest reply by Mild Shock on Mon Oct 6 14:31:19 2025
Vanishing Point . [Le Dot]

By Mild Shock on Sun Oct 5 00:52:42 2025

Latest reply by Ross Finlayson on Sun Oct 5 11:06:39 2025
Re: Space

By Balazs Talagaev on Sat Oct 4 19:14:39 2025

Latest reply by Ross Finlayson on Sun Oct 5 12:18:57 2025
Re: Log i = 0

By Ross Finlayson on Fri Oct 3 18:46:37 2025

Latest reply by Chris M. Thomasson on Sun Oct 5 11:53:40 2025
The Artificial Intelligence Flip: Acer Swift Go! (Re: The roots Program Sharing (PS): J Strother Moore II (1973))

By Mild Shock on Mon Sep 1 00:01:32 2025

Latest reply by Mild Shock on Sat Oct 4 16:05:57 2025
Re: Larger Collected Reasoning 2024

By Ross Finlayson on Fri Oct 3 18:49:55 2025

Latest reply by Ross Finlayson on Sat Oct 4 13:35:52 2025
Avi Loeb....Harvards Crackpot

By The Starmaker on Tue Sep 30 00:38:24 2025

Latest reply by The Starmaker on Sat Oct 4 10:49:49 2025
Re: The Suspicious Journals of Ross A. Kosmanson :-)

By Ross Finlayson on Fri Oct 3 18:47:14 2025

Latest reply by Ross Finlayson on Fri Oct 3 18:47:14 2025
Logos 2000: ensembles and epicycles

By Ross Finlayson on Fri Oct 3 13:07:36 2025

Latest reply by Ross Finlayson on Fri Oct 3 13:07:36 2025
Good conversation starter for your next dinner party

By Judith Latham on Wed Oct 1 23:10:21 2025

Latest reply by Judith Latham on Wed Oct 1 23:10:21 2025
ctHyperRings Shader...

By Chris M. Thomasson on Sun Sep 28 12:50:28 2025

Latest reply by Chris M. Thomasson on Wed Oct 1 22:39:22 2025
Re: Universal anisochronism

By Harold Babosov on Sun Sep 28 12:56:10 2025

Latest reply by Oleander Sadowski on Tue Sep 30 22:02:29 2025
Logos 2000: physics today

By Ross Finlayson on Sat Sep 27 22:46:56 2025

Latest reply by Ross Finlayson on Mon Sep 29 23:21:31 2025
Autum Challenge 2025: "Canonical" Proof Search

By Mild Shock on Sun Sep 28 23:54:44 2025

Latest reply by Mild Shock on Sun Sep 28 23:54:44 2025
On Cantor's enumeration of the positive fractions

By WM on Sun Sep 28 22:22:44 2025

Latest reply by WM on Sun Sep 28 22:22:44 2025
Re: Acceleration's higher orders

By Ross Finlayson on Sun Sep 28 18:55:04 2025

Latest reply by Ross Finlayson on Sun Sep 28 18:55:04 2025
Logos 2000: Foundations briefly

By Ross Finlayson on Thu Sep 25 22:06:28 2025

Latest reply by olcott on Sun Sep 28 11:43:54 2025
Re: Towed car

By Aron Mozhaiskov on Sun Sep 28 11:15:03 2025

Latest reply by Aron Mozhaiskov on Sun Sep 28 11:15:03 2025
SA18 Chaos Engine

By casagiannoni on Sat Sep 27 14:35:48 2025

Latest reply by casagiannoni on Sat Sep 27 14:35:48 2025
Re: Time and sharks

By Jace Dubanowski on Mon Sep 15 11:18:02 2025

Latest reply by =?UTF-8?Q?Maciej_Wo=C5=BAniak?= on Sat Sep 27 08:03:09 2025
Help, my GPT detector doesn't allow https://stackoverflow.ai/

By Mild Shock on Wed Sep 10 23:59:29 2025

Latest reply by Mild Shock on Thu Sep 25 10:31:18 2025
Re: How To Rig a Dominion Voting Machine

By Lamar Goodnight on Tue Sep 23 11:23:43 2025

Latest reply by Deane Feng on Tue Sep 23 22:23:10 2025
Cyclic terms are missing from "Fifty Years of Prolog and Beyond (TPLP 2022)"

By Mild Shock on Mon Sep 22 15:17:25 2025

Latest reply by Mild Shock on Mon Sep 22 23:42:38 2025
What is a false alarm????

By The Starmaker on Mon Sep 22 22:53:45 2025

Latest reply by The Starmaker on Mon Sep 22 22:53:45 2025
BTW

By The Starmaker on Fri Sep 12 22:46:11 2025

Latest reply by The Starmaker on Mon Sep 22 22:40:22 2025
River Sinuosity -- simulation -- ( Sinuosity of rivers tends toward Pi.)

By HenHanna@NewsGrouper on Thu Sep 18 04:01:06 2025

Latest reply by HenHanna@NewsGrouper on Thu Sep 18 04:01:06 2025
Re: What came first the stars or the earth?

By The Starmaker on Fri Sep 12 13:40:09 2025

Latest reply by Dwan Szczepanski on Wed Sep 17 10:56:56 2025
Classification of primitive Pythagorean triples

By Kuan Peng on Tue Sep 16 18:29:46 2025

Latest reply by Kuan Peng on Tue Sep 16 18:29:46 2025
Re: Why "GR predicts light deflection" myth

By Nathanial Walentowicz on Tue Sep 9 15:55:14 2025

Latest reply by Thomas Heger on Tue Sep 16 08:47:15 2025
cancel <10a9p1v$24vri$1@dont-email.me>

By invalid on Mon Sep 15 19:23:36 2025

Latest reply by invalid on Mon Sep 15 19:23:36 2025
ctHyperRings...

By Chris M. Thomasson on Sun Sep 14 19:46:45 2025

Latest reply by Chris M. Thomasson on Sun Sep 14 19:46:45 2025
If you aren't a mathematician...

By David Chmelik on Wed Sep 10 22:18:19 2025

Latest reply by David Chmelik on Wed Sep 10 22:18:19 2025
Re: The real measurements deny The Shit

By Lazaro =?iso-8859-1?q?Wojew=F3dka?= on Wed Aug 27 19:37:56 2025

Latest reply by Jamie Kabisha on Wed Sep 10 12:26:48 2025
JuliaField...

By Chris M. Thomasson on Sun Sep 7 22:21:04 2025

Latest reply by Chris M. Thomasson on Sun Sep 7 22:21:34 2025
Re: =?UTF-8?Q?How=3F?=

By Richard Hachel on Tue Sep 2 18:04:05 2025

Latest reply by sobriquet on Tue Sep 2 18:07:01 2025
Re: About the difference between "time dilation" and "clock error"

By Samsath Bakalov on Thu Aug 21 19:32:00 2025

Latest reply by Antone De la fontaine on Tue Sep 2 19:56:24 2025
=?UTF-8?Q?How=3F=20?=

By Richard Hachel on Tue Sep 2 12:39:47 2025

Latest reply by Richard Hachel on Tue Sep 2 12:39:47 2025
=?UTF-8?Q?f=28x=29=3Dx=C2=B3+=36x=C2=B2+=31=33x+=31=30?=

By Richard Hachel on Sat Aug 30 13:27:28 2025

Latest reply by Richard Hachel on Tue Sep 2 01:14:31 2025
Re: continuity and topological spaces

By Julio Di Egidio on Wed Aug 27 17:09:32 2025

Latest reply by Peter Fairbrother on Sat Aug 23 21:15:17 2025
Re: Unendlichkeitsdyskalkulie

By WM on Thu Aug 21 17:50:57 2025

Latest reply by Alan Mackenzie on Sat Aug 23 18:41:50 2025
Re: Designing a new electrical component (thyrototron)

By Ross Finlayson on Tue Aug 26 00:09:34 2025

Latest reply by Ross Finlayson on Sat Aug 23 12:13:26 2025
Re: The definition of second

By Nicolas Zdunowski on Fri Aug 29 18:14:12 2025

Latest reply by Nicolas Zdunowski on Fri Aug 29 18:14:12 2025
Re: Time does not have intervals

By Shannon Badoev on Wed Aug 27 18:51:55 2025

Latest reply by Shannon Badoev on Wed Aug 27 18:51:55 2025
Re: 128. - A PROBLEM IN SQUARES.

By James Waldby on Fri Aug 22 04:00:27 2025

Latest reply by HenHanna@NewsGrouper on Sat Aug 23 17:40:23 2025
Reflect on Sience not Frog Legs (Re: AGI will relieve the community)

By Mild Shock on Mon Aug 25 22:59:05 2025

Latest reply by Mild Shock on Tue Aug 26 11:30:12 2025
Xenocrates and line-reals, iota-values

By Ross Finlayson on Tue Aug 26 00:28:42 2025

Latest reply by Ross Finlayson on Tue Aug 26 00:28:42 2025
Hilarious

By Python on Mon Aug 25 11:47:27 2025

Latest reply by sobriquet on Mon Aug 25 21:24:57 2025
cancel <108igvj$3l822$1@dont-email.me>

By invalid on Mon Aug 25 20:38:21 2025

Latest reply by invalid on Mon Aug 25 21:06:02 2025