1. Forum
  2. Newsgroups
  3. comp.theory
Undecidability based on epistemological antinomies V2

By olcott on Wed Apr 17 21:34:56 2024

Latest reply by Richard Damon on Fri Apr 19 19:20:49 2024
Undecidability based on epistemological antinomies

By olcott on Wed Apr 17 14:27:54 2024

Latest reply by Ross Finlayson on Wed Apr 17 20:59:17 2024
Can there be a truth without a truthmaker?

By olcott on Tue Apr 2 11:50:50 2024

Latest reply by Ross Finlayson on Sat Apr 13 08:40:06 2024
=?UTF-8?Q?Re:_Definition_of_real_number_=e2=84=9d_--infinitesimal--?=

By Ross Finlayson on Fri Mar 29 15:59:10 2024

Latest reply by Ross Finlayson on Thu Apr 4 20:50:26 2024
Definition of real number =?UTF-8?Q?=E2=84=9D?=

By wij on Thu Mar 28 20:29:24 2024

Latest reply by Richard Damon on Thu Apr 4 16:50:25 2024
Re: Definition of real number =?utf-8?Q?=E2=84=9D?= --infinitesimal--

By Ben Bacarisse on Tue Apr 2 00:00:26 2024

Latest reply by Ben Bacarisse on Wed Apr 3 23:12:57 2024
Re: Definition of real number =?utf-8?Q?=E2=84=9D?=--infinitesimal--

By Keith Thompson on Thu Mar 28 20:36:22 2024

Latest reply by Ben Bacarisse on Wed Apr 3 22:56:03 2024
=?UTF-8?Q?Re=3A_Definition_of_real_number_=E2=84=9D_--infinitesimal?==?UTF-8?Q?--_--abort_decider_liars--?=

By olcott on Wed Apr 3 18:52:54 2024

Latest reply by Richard Damon on Wed Apr 3 20:32:54 2024
Re: Categorically exhaustive reasoning applied to the decision to abort

By Mikko on Wed Mar 27 11:32:11 2024

Latest reply by Richard Damon on Wed Apr 3 18:07:27 2024
Does Tarski Undefinability apply to HOL ?

By olcott on Mon Apr 1 11:15:01 2024

Latest reply by Richard Damon on Mon Apr 1 19:18:20 2024
No one can correctly refute that simulating abort decider A(D,D) is correct

By olcott on Wed Mar 27 14:04:13 2024

Latest reply by Richard Damon on Fri Mar 29 22:40:37 2024
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--

By Richard Damon on Tue Mar 26 22:17:58 2024

Latest reply by Richard Damon on Fri Mar 29 13:22:11 2024
Re: Can any pathological input thwart a simulating abort decider?

By Richard Damon on Tue Mar 26 22:18:05 2024

Latest reply by Richard Damon on Fri Mar 29 13:01:44 2024
Re: Can an abort decider be defined that cannot be fooled by any pathological input?

By Richard Damon on Tue Mar 26 22:18:08 2024

Latest reply by Richard Damon on Fri Mar 29 13:01:37 2024
Re: Repeating decimals are irrational

By Keith Thompson on Tue Mar 26 16:22:48 2024

Latest reply by Richard Damon on Wed Mar 27 23:02:49 2024
Re: Real Number & Restoring Interpretation of Calculus

By Ross Finlayson on Tue Mar 26 19:44:53 2024

Latest reply by Ross Finlayson on Wed Mar 27 15:03:41 2024
Re: Repeating decimals are irrational --agree--

By olcott on Tue Mar 26 20:20:45 2024

Latest reply by wij on Wed Mar 27 09:25:33 2024