Newsgroup:
sci.logic
Add New Display Options
259
replies
Undecidability based on epistemological antinomies V2
started 2024-04-18 02:34:56 UTC
2024-05-02 13:22:29 UTC
olcott
91
replies
Can D simulated by H terminate normally?
started 2024-04-28 00:17:48 UTC
2024-05-02 04:17:23 UTC
Richard Damon
8
replies
Self-evidently I am not my grandpa
started 2024-04-27 04:43:12 UTC
2024-05-02 00:34:17 UTC
Mild Shock
18
replies
Proving my 2004 claim that some decider/input pairs are incorrect questions
started 2024-03-12 14:45:51 UTC
2024-04-30 10:37:28 UTC
Alan Mackenzie
31
replies
Can there be a truth without a truthmaker?
started 2024-04-02 16:50:50 UTC
2024-04-27 19:00:18 UTC
olcott
9
replies
Undecidability based on epistemological antinomies
started 2024-04-17 19:27:54 UTC
2024-04-18 03:59:12 UTC
Ross Finlayson
9
replies
What is the interval between ℕ and ω when doubled?
started 2024-04-07 08:38:56 UTC
2024-04-17 23:49:19 UTC
Richard Damon
1
reply
How does the philosophical foundation of analytical truth defeat the Tarski Undefinability Theorem?
started 2024-04-16 14:11:14 UTC
2024-04-17 01:16:36 UTC
Richard Damon
2
replies
Bayes in your Luggage
started 2024-04-11 00:35:48 UTC
2024-04-11 21:48:07 UTC
Mild Shock
1
reply
Definition of real number ℝ --infinitesimal-- --abort decider--
started 2024-04-03 20:46:53 UTC
2024-04-03 22:07:19 UTC
Richard Damon
1
reply
Does Tarski Undefinability apply to HOL ?
started 2024-04-01 16:15:01 UTC
2024-04-01 23:18:20 UTC
Richard Damon
39
replies
No one can correctly refute that simulating abort decider A(D,D) is correct
started 2024-03-27 19:04:13 UTC
2024-03-30 02:40:37 UTC
Richard Damon
26
replies
Categorically exhaustive reasoning applied to the decision to abort
started 2024-03-27 19:36:31 UTC
2024-03-29 17:02:07 UTC
Richard Damon
92
replies
Can any pathological input thwart a simulating abort decider?
started 2024-03-22 18:41:35 UTC
2024-03-29 17:01:44 UTC
Richard Damon
40
replies
Can an abort decider be defined that cannot be fooled by any pathological input?
started 2024-03-24 04:55:38 UTC
2024-03-29 17:01:37 UTC
Richard Damon
506
replies
Proof that H(D,D) meets its abort criteria
started 2024-03-15 16:20:35 UTC
2024-03-23 23:01:10 UTC
immibis
7
replies
The behavior of D(D) varies between its correct simulation by H1(D,D) and H(D,D)
started 2024-03-22 15:34:11 UTC
2024-03-23 17:08:12 UTC
Richard Damon
5
replies
Olcott has proved that the biggest number is 5.
started 2024-03-18 23:19:26 UTC
2024-03-22 03:45:22 UTC
immibis
22
replies
Analytical truth redefined so that Quine can understand that bachelors are unmarried
started 2024-03-19 00:30:41 UTC
2024-03-22 02:14:42 UTC
Ross Finlayson
233
replies
ZFC solution to incorrect questions: reject them
started 2024-03-12 18:12:42 UTC
2024-03-20 14:23:45 UTC
Richard Damon
62
replies
We finally know exactly how H1(D,D) derives a different result than H(D,D)
started 2024-03-07 21:05:45 UTC
2024-03-15 18:38:54 UTC
immibis
38
replies
Incorrect questions and halt deciders
started 2024-03-13 23:20:00 UTC
2024-03-15 17:02:53 UTC
Richard Damon
11
replies
A paradox about Cantor's set theory
started 2024-03-09 11:45:18 UTC
2024-03-13 03:02:57 UTC
Ross Finlayson
181
replies
Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior
started 2024-03-09 18:33:50 UTC
2024-03-12 22:50:51 UTC
Ross Finlayson
2
replies
Massacre as Israel steps up Gaza bombardment for Christmas
started 2023-12-25 15:25:57 UTC
2024-03-12 06:13:18 UTC
Ṃᴆ
62
replies
Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn
started 2024-03-08 21:34:30 UTC
2024-03-10 17:59:57 UTC
Richard Damon
113
replies
Refutation of the Peter Linz Halting Problem proof 2024-03-05
started 2024-03-06 04:47:49 UTC
2024-03-09 17:50:15 UTC
Richard Damon
129
replies
Why does H1(D,D) actually get a different result than H(D,D) ???
started 2024-03-02 22:28:44 UTC
2024-03-08 03:46:28 UTC
Richard Damon
18
replies
Olcott machines (now fully defined) might be more powerful than Turing Machines
started 2024-03-07 02:46:48 UTC
2024-03-08 03:01:52 UTC
olcott
201
replies
Linz's proofs [ignore epistemological antinomies]
started 2024-02-19 19:36:06 UTC
2024-03-07 21:08:48 UTC
olcott
Click to Load More...
Loading...