The proper way to use LLMs to aid primary research into foundations

By olcott on Thu Mar 5 10:20:05 2026

Latest reply by Tristan Wibberley on Tue Mar 10 22:57:42 2026

Re: Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Eraof Vibe Proving is Here)

By Tristan Wibberley on Tue Mar 10 12:09:06 2026

Latest reply by Tristan Wibberley on Tue Mar 10 12:09:06 2026

Replacing the foundations of math, logic, computation and linguistics

By olcott on Fri Mar 6 13:18:22 2026

Latest reply by Ross Finlayson on Tue Mar 10 08:32:14 2026

Biobrain cannot digest "Artificial" in AI (Re: Aristotle: The Era ofVibe Proving is Here )

By Mild Shock on Mon Mar 9 11:30:19 2026

Latest reply by Mild Shock on Mon Mar 9 11:30:19 2026

Visual Perception helps reading Matrices, Fractions, etc.. (Re:Amazing Visual Perception, even for ASCII Input [GPT 5.3])

By Mild Shock on Sun Mar 8 20:19:17 2026

Latest reply by Mild Shock on Sun Mar 8 20:19:17 2026

Re: energy and mass

By Ross Finlayson on Sun Mar 1 11:25:52 2026

Latest reply by Ross Finlayson on Sun Mar 1 19:39:17 2026

=?UTF-8?Q?Re=3A_Boiling_G=C3=B6del=27s_1931_Incompleteness_down_to_?==?UTF-8?Q?its_essence?=

By Richard Damon on Fri Feb 13 11:01:15 2026

Latest reply by Richard Damon on Fri Feb 13 11:01:15 2026

Making all knowledge expressed in language computable

By olcott on Tue Feb 10 07:37:02 2026

Latest reply by Richard Damon on Thu Feb 12 23:11:32 2026

When halt provers are allowed to reject bad inputs the remainingdomain is decidable

By olcott on Wed Feb 4 10:47:50 2026

Latest reply by Mikko on Thu Feb 5 12:45:28 2026

Halting Problem and Proof Theoretic Semantics --- VALIDATED

By olcott on Sun Feb 1 21:59:46 2026

Latest reply by olcott on Sun Feb 1 21:59:46 2026

Re: The Halting Problem asks for too much

By olcott on Sun Jan 11 08:18:11 2026

Latest reply by olcott on Fri Jan 30 20:10:47 2026

Re: Proof that the halting problem itself is a category error

By Oleksiy Gapotchenko on Tue Jan 6 01:24:39 2026

Latest reply by dart200 on Wed Jan 28 13:37:49 2026

"true on the basis of meaning expressed in language"

By olcott on Mon Jan 26 21:28:20 2026

Latest reply by olcott on Mon Jan 26 21:28:20 2026

Re: a subset of Turing machines can still be Turing complete PLO

By olcott on Thu Jan 22 17:58:46 2026

Latest reply by dart200 on Sun Jan 25 13:07:35 2026

=?UTF-8?Q?Re=3A_G=C3=B6del=27s_G_has_never_actually_been_true_in_ar?= =?UTF-8?Q?ithmetic?=

By olcott on Sun Jan 18 22:28:04 2026

Latest reply by olcott on Thu Jan 22 19:38:40 2026

=?UTF-8?Q?G=C3=B6del=27s_G_has_never_actually_been_true_in_arithmet?==?UTF-8?Q?ic?=

By olcott on Sat Jan 17 15:08:22 2026

Latest reply by Richard Damon on Thu Jan 22 21:48:21 2026

Re: Back in 2020 I proved that Wittgenstein was correct all along

By olcott on Wed Jan 21 21:24:33 2026

Latest reply by olcott on Wed Jan 21 21:24:33 2026

"true on the basis of meaning expressed in language" as the ultimateanchor

By olcott on Mon Jan 19 13:11:39 2026

Latest reply by Richard Damon on Tue Jan 20 23:00:33 2026

Proof of original authorship

By olcott on Mon Jan 19 10:49:24 2026

Latest reply by Richard Damon on Tue Jan 20 00:29:19 2026

"true on the basis of meaning expressed in language" as the anchor ofall my work

By olcott on Mon Jan 19 14:39:25 2026

Latest reply by olcott on Mon Jan 19 14:39:25 2026

Re: Analytic Truth-makers

By olcott on Mon Jan 19 12:50:10 2026

Latest reply by olcott on Mon Jan 19 12:50:10 2026

=?UTF-8?Q?Closing_the_gap_of_G=C3=B6del_Incompleteness_with_Proof-T?==?UTF-8?Q?heoretic_Semantics?=

By olcott on Wed Jan 14 15:36:14 2026

Latest reply by Mikko on Mon Jan 19 10:35:15 2026

Re: What formal logical systems resolve the Liar Paradox?

By olcott on Sun Jan 18 07:45:37 2026

Latest reply by Mikko on Mon Jan 19 10:24:03 2026

=?UTF-8?Q?Re=3A_Simply_defining_G=C3=B6del_Incompleteness_and_Tarsk?==?UTF-8?Q?i_Undefinability_away_V24_=28Mapping_to_Boolean=29?=

By olcott on Mon Jan 19 09:59:12 2026

Latest reply by olcott on Mon Jan 19 09:59:12 2026

Proof Theoretic Semantics Blocks Pathological Self-Reference

By olcott on Fri Jan 16 11:47:53 2026

Latest reply by Mikko on Sun Jan 18 11:51:43 2026

Systems such as PA with proof-theoretic semantics

By olcott on Thu Jan 15 18:24:12 2026

Latest reply by Richard Damon on Fri Jan 16 11:46:52 2026

The halting problem proof fails under operational semantics

By olcott on Wed Jan 14 18:14:25 2026

Latest reply by olcott on Wed Jan 14 18:14:25 2026

Re: Prolog formally resolves the Liar Paradox

By olcott on Sat Jan 10 10:11:17 2026

Latest reply by Richard Damon on Mon Jan 12 22:16:53 2026

Re: Computation and Undecidability

By olcott on Sun Jan 11 12:12:42 2026

Latest reply by olcott on Sun Jan 11 15:50:30 2026

=?UTF-8?Q?Why_do_people_ignore_how_G=C3=B6del_simplified_his_own_pr?==?UTF-8?Q?oof=3F?=

By olcott on Mon Jan 5 18:06:15 2026

Latest reply by Richard Damon on Sun Jan 11 07:37:57 2026

=?UTF-8?Q?Why_do_people_ignore_the_simplifications_that_G=C3=B6del_?= =?UTF-8?Q?admitted_to_=3F?=

By olcott on Mon Jan 5 08:04:28 2026

Latest reply by olcott on Mon Jan 5 08:54:07 2026

Re: Computing truth values from finite strings --- no buts

By Richard Damon on Sun Jan 4 15:58:46 2026

Latest reply by olcott on Mon Jan 5 08:30:57 2026

Re: The ultimate foundation of [a priori] Truth

By Richard Damon on Sun Jan 4 15:56:00 2026

Latest reply by olcott on Mon Jan 5 08:59:50 2026