1. Forum
  2. Newsgroups
  3. comp.theory
Re: Church-Turing and computable functions

By Mikko on Fri Oct 9 11:18:51 2026

Latest reply by Mikko on Sun Oct 25 12:37:40 2026
Re: Church-Turing and computable functions --- Python dialogue

By Python on Thu Oct 8 09:54:33 2026

Latest reply by Mikko on Sun Oct 25 11:39:31 2026
Correcting the errors in the foundation of computation

By olcott on Fri Oct 23 13:10:12 2026

Latest reply by Chris M. Thomasson on Sat Oct 24 22:36:21 2026
Re: Tarski Undefinability Theorem is refuted

By Ross Finlayson on Thu Oct 8 15:41:00 2026

Latest reply by Ross Finlayson on Sat Oct 24 19:16:22 2026
Tristan Buckmaster was too quick? [Navier Stockes OpenAI] (Was: New!P(tao) versus the Euler Turbine)

By Mild Shock on Tue Oct 13 23:21:37 2026

Latest reply by Mild Shock on Sat Oct 24 12:56:30 2026
【20261022: FREE, PROFITABLE, AI-BASED Stock Price Forecasts】

By forecast on Fri Oct 23 23:39:23 2026

Latest reply by forecast on Fri Oct 23 23:39:23 2026
Re: Church-Turing and computable functions --- best dialogue ever

By olcott on Thu Oct 22 08:12:47 2026

Latest reply by dart200 on Thu Oct 22 16:24:35 2026
Succinct proof that the Halting Problem Theorem is incorrect

By olcott on Sat Oct 10 15:17:12 2026

Latest reply by olcott on Wed Oct 21 09:22:47 2026
Computation inherently requires relevant rather than arbitrary finitestring transformations

By olcott on Mon Oct 19 23:50:48 2026

Latest reply by Mikko on Wed Oct 21 10:16:34 2026
Math is the premier AI Victim [Billions of $USD later] (Re: So it wasa race against Buzzard. Well done! [Langlands FML and SML])

By Mild Shock on Thu Oct 8 13:12:16 2026

Latest reply by Ross Finlayson on Thu Oct 15 12:59:35 2026
Lean 4: Basically just Microsoft Advertising (Was: Lean versusNatural Language)

By Mild Shock on Thu Oct 15 11:29:42 2026

Latest reply by Mild Shock on Thu Oct 15 11:29:42 2026
Re: The latest slew of prompted lemmas, "almost-quite" (verum/certum)

By sobriquet on Thu Oct 8 04:20:09 2026

Latest reply by Ross Finlayson on Wed Oct 14 11:41:32 2026
Re: Mass Transit Tech Talk

By Dude on Mon Oct 12 13:15:51 2026

Latest reply by Dude on Mon Oct 12 13:15:51 2026
wrap = (m) -> () -> { m(); noop }

By dart200 on Mon Oct 12 01:38:42 2026

Latest reply by dart200 on Mon Oct 12 10:55:26 2026
capitalism is when the banks take ur land thru racist predatorylending practices:

By dart200 on Fri Oct 9 01:13:04 2026

Latest reply by Dude on Fri Oct 9 10:49:30 2026
wtf = () -> if (halts(wtf)) halt

By dart200 on Fri Oct 9 00:59:07 2026

Latest reply by dart200 on Fri Oct 9 00:59:07 2026
Re: on the nature of undecidability within computing and refuting thechurch-turing thesis

By dart200 on Wed Oct 7 18:51:35 2026

Latest reply by dart200 on Wed Oct 7 18:51:35 2026