1. Forum
  2. Newsgroups
  3. comp.theory
D simulated by H never halts no matter what H does

By olcott on Fri Apr 26 12:05:00 2024

Latest reply by olcott on Fri Apr 26 20:43:59 2024
Re: Undecidability based on epistemological antinomies V2 --Mendelson--

By olcott on Sat Apr 20 11:37:27 2024

Latest reply by Ross Finlayson on Fri Apr 26 13:07:52 2024
Re: Undecidability based on epistemological antinomies V2 --H(D,D)--

By olcott on Wed Apr 24 10:33:12 2024

Latest reply by Richard Damon on Fri Apr 26 12:19:06 2024
Re: Undecidability based on epistemological antinomies V2 --correctreasoning--

By olcott on Sun Apr 21 14:34:35 2024

Latest reply by Richard Damon on Thu Apr 25 21:51:29 2024
Rule of operations of infinite series -- Euler's formula is anapproximate

By wij on Thu Apr 25 02:29:44 2024

Latest reply by wij on Thu Apr 25 02:29:44 2024
Undecidability based on epistemological antinomies V2

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

Latest reply by olcott on Mon Apr 22 09:10:54 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 Richard Damon on Thu Mar 28 07:46:29 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
Re: No one can correctly refute that simulating abort decider A(D,D)is correct

By Richard Damon on Thu Mar 28 08:01:58 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 Mikko on Thu Mar 28 14:30:56 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 olcott on Thu Mar 28 10:24:43 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 anypathological input?

By Richard Damon on Thu Mar 28 07:59:06 2024

Latest reply by Richard Damon on Fri Mar 29 13:01:37 2024