Welcome to novaBBS (click a section below)

mail files register newsreader groups login

Message-ID:

[A computer is] like an Old Testament god, with a lot of rules and no mercy. -- Joseph Campbell

tech / sci.logic

Pages:12 3

Subject	Replies	Last Message
Undecidability based on epistemological antinomies V2 By: olcott on Thu, 18 Apr 2024	173	11 Minutes ago By: Richard Damon
Can there be a truth without a truthmaker? By: olcott on Tue, 2 Apr 2024	25	3 Hours 40 Minutes ago By: Lawrence D'Oliv
Self-evidently I am not my grandpa By: Mild Shock on Sat, 27 Apr 2024	0	7 Hours 13 Minutes ago By: Mild Shock
Undecidability based on epistemological antinomies By: olcott on Wed, 17 Apr 2024	9	9 Days 7 Hours ago By: Ross Finlayson
What is the interval between ℕ and ω when doubled? By: WM on Sun, 7 Apr 2024	9	9 Days 12 Hours ago By: Richard Damon
How does the philosophical foundation of analytical truth defeat the Tarski Unde By: olcott on Tue, 16 Apr 2024	1	10 Days 10 Hours ago By: Richard Damon
Bayes in your Luggage By: Mild Shock on Thu, 11 Apr 2024	2	15 Days 14 Hours ago By: Mild Shock
Re: Definition of real number ℝ --infinitesimal-- --abort decider-- By: olcott on Wed, 3 Apr 2024	1	23 Days 13 Hours ago By: Richard Damon
Does Tarski Undefinability apply to HOL ? By: olcott on Mon, 1 Apr 2024	1	25 Days 12 Hours ago By: Richard Damon
Is it common knowledge that Tarski Undefinability does not apply to HOL ? By: olcott on Mon, 1 Apr 2024	0	26 Days 9 Hours ago By: olcott
No one can correctly refute that simulating abort decider A(D,D) is correct By: olcott on Wed, 27 Mar 2024	39	28 Days 9 Hours ago By: Richard Damon
Re: Categorically exhaustive reasoning applied to the decision to abort By: olcott on Wed, 27 Mar 2024	26	28 Days 18 Hours ago By: Richard Damon
Can any pathological input thwart a simulating abort decider? By: olcott on Fri, 22 Mar 2024	92	28 Days 18 Hours ago By: Richard Damon
Can an abort decider be defined that cannot be fooled by any pathological input? By: olcott on Sun, 24 Mar 2024	40	28 Days 18 Hours ago By: Richard Damon
Proof that H(D,D) meets its abort criteria By: olcott on Fri, 15 Mar 2024	508	1 Month 3 Days ago By: immibis
The behavior of D(D) varies between its correct simulation by H1(D,D) and H(D,D) By: olcott on Fri, 22 Mar 2024	7	1 Month 3 Days ago By: Richard Damon
Olcott has proved that the biggest number is 5. By: immibis on Mon, 18 Mar 2024	5	1 Month 5 Days ago By: immibis
Re: Analytical truth redefined so that Quine can understand that bachelors are u By: olcott on Tue, 19 Mar 2024	15	1 Month 5 Days ago By: Ross Finlayson
Re: Analytical truth redefined By: olcott on Tue, 19 Mar 2024	1	1 Month 6 Days ago By: Richard Damon
ZFC solution to incorrect questions: reject them By: olcott on Tue, 12 Mar 2024	234	1 Month 6 Days ago By: Richard Damon
Re: Analytical truth redefined so that Quine can understand that bachelors are u By: Ross Finlayson on Tue, 19 Mar 2024	4	1 Month 7 Days ago By: olcott
Proving my 2004 claim that some decider/input pairs are incorrect questions By: olcott on Tue, 12 Mar 2024	15	1 Month 8 Days ago By: Mikko
We finally know exactly how H1(D,D) derives a different result than H(D,D) By: olcott on Thu, 7 Mar 2024	62	1 Month 11 Days ago By: immibis
Incorrect questions and halt deciders By: olcott on Wed, 13 Mar 2024	38	1 Month 11 Days ago By: Richard Damon
A paradox about Cantor's set theory By: wij on Sat, 9 Mar 2024	11	1 Month 14 Days ago By: Ross Finlayson
Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior By: olcott on Sat, 9 Mar 2024	167	1 Month 14 Days ago By: Ross Finlayson
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC --n By: Richard Damon on Mon, 11 Mar 2024	13	1 Month 14 Days ago By: olcott
Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn By: olcott on Fri, 8 Mar 2024	62	1 Month 16 Days ago By: Richard Damon
Refutation of the Peter Linz Halting Problem proof 2024-03-05 By: olcott on Wed, 6 Mar 2024	113	1 Month 17 Days ago By: Richard Damon
Why does H1(D,D) actually get a different result than H(D,D) ??? By: olcott on Sat, 2 Mar 2024	129	1 Month 19 Days ago By: Richard Damon
Olcott machines (now fully defined) might be more powerful than Turing Machines By: olcott on Thu, 7 Mar 2024	18	1 Month 19 Days ago By: olcott
Re: Linz's proofs. --- Good catch ! By: olcott on Thu, 7 Mar 2024	6	1 Month 19 Days ago By: olcott
Why can large natural numbers not been hit straight away? By: WM on Sun, 3 Mar 2024	8	1 Month 20 Days ago By: WM
Re: Linz's proofs. By: olcott on Thu, 29 Feb 2024	82	1 Month 20 Days ago By: olcott
Re: Linz's proofs. (is the best one) I just refuted it and its isomorphisms By: olcott on Thu, 29 Feb 2024	82	1 Month 20 Days ago By: olcott
Does Ĥ applied to ⟨Ĥ⟩ specify self-contradiction? V2 By: olcott on Wed, 28 Feb 2024	43	1 Month 20 Days ago By: immibis
How Linz H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the right answer because Linz Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong By: olcott on Tue, 5 Mar 2024	4	1 Month 21 Days ago By: Richard Damon
Here is how Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ gets the correct answer By: olcott on Sun, 3 Mar 2024	18	1 Month 21 Days ago By: Richard Damon
The Science of Genius by DEAN KEITH SIMONTON By: olcott on Sun, 3 Mar 2024	15	1 Month 21 Days ago By: Richard Damon
Peter Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ gets the correct answer By: olcott on Wed, 28 Feb 2024	34	1 Month 21 Days ago By: olcott
Does Ĥ applied to ⟨Ĥ⟩ specify self-contradiction? By: olcott on Tue, 27 Feb 2024	33	1 Month 24 Days ago By: Richard Damon
Re: Linz's proofs. By: olcott on Fri, 1 Mar 2024	5	1 Month 25 Days ago By: Richard Damon
Re: I also got a reply from Professor Hehner... By: olcott on Mon, 26 Feb 2024	42	1 Month 26 Days ago By: immibis
Terence Tao, "Machine Assisted Proof" By: Mild Shock on Tue, 27 Feb 2024	0	1 Month 30 Days ago By: Mild Shock
A halting decidability decider that can't be fooled By: olcott on Tue, 27 Feb 2024	9	2 Months ago By: immibis
There is something wrong with the halting problem By: olcott on Mon, 26 Feb 2024	19	2 Months ago By: immibis
Re: Halting Problem proofs appear to be bogus! By: olcott on Sat, 24 Feb 2024	16	2 Months 1 Day ago By: immibis
Why can't the halting problem be solved? By: olcott on Sun, 25 Feb 2024	37	2 Months 1 Day ago By: immibis
Converting Linz H applied to ⟨H⟩ ⟨H⟩ to its self contradictory version By: polcot2 on Tue, 20 Feb 2024	73	2 Months 1 Day ago By: immibis
PhD computer science professors Hehner and Stoddart agree with my 2004 position By: olcott on Wed, 21 Feb 2024	47	2 Months 1 Day ago By: immibis
Richard cannot say exactly why Ȟ applied to ⟨Ȟ⟩ ⟨Ȟ⟩ gets the wrong answer By: olcott on Sun, 25 Feb 2024	4	2 Months 1 Day ago By: immibis
Defining a truth predicate that correctly rejects epistemological antinomies By: olcott on Sun, 25 Feb 2024	7	2 Months 1 Day ago By: immibis
Re: Theoretical suggestion ---Richard finally agrees with my view of how a corre By: olcott on Sat, 24 Feb 2024	32	2 Months 1 Day ago By: immibis
Re: Linz's proofs. By: Ross Finlayson on Sun, 25 Feb 2024	4	2 Months 1 Day ago By: Richard Damon
Richard reverse-engineer of my decider applied to Wittgenstein's rebuttal of Göd By: olcott on Sun, 25 Feb 2024	1	2 Months 1 Day ago By: Richard Damon
Re: Linz's proofs. By: olcott on Sun, 25 Feb 2024	3	2 Months 1 Day ago By: Richard Damon
Re: I also got a reply from Professor Hehner... By: olcott on Sun, 25 Feb 2024	1	2 Months 1 Day ago By: Richard Damon
Re: Linz's proofs. By: olcott on Sat, 24 Feb 2024	1	2 Months 2 Days ago By: Richard Damon
Re: Banach–Tarski paradox By: Ross Finlayson on Sat, 10 Feb 2024	16	2 Months 2 Days ago By: Ben there done that
Re: Linz's proofs. By: olcott on Sat, 24 Feb 2024	0	2 Months 2 Days ago By: olcott
Todays idiocracy in computer science By: Mild Shock on Sat, 24 Feb 2024	0	2 Months 2 Days ago By: Mild Shock
Its so peaceful now! By: Mild Shock on Sat, 24 Feb 2024	0	2 Months 3 Days ago By: Mild Shock
A Paradox of Equality? By: Dan Christensen on Sat, 3 Jun 2023	100	2 Months 3 Days ago By: Ross Finlayson
2022-10-10 By: Ross Finlayson on Tue, 23 Jan 2024	2	2 Months 4 Days ago By: Mild Shock
Pulverizer against Delhi Belly? (Was: ChatGPT: 1 = 0 implies 1 = 0?) By: Mild Shock on Thu, 22 Feb 2024	0	2 Months 4 Days ago By: Mild Shock
Re: Arithmoquining By: Mikko on Thu, 22 Feb 2024	0	2 Months 5 Days ago By: Mikko
2020-11-09 By: Ross Finlayson on Thu, 21 Dec 2023	5	2 Months 5 Days ago By: Ross Finlayson
2020-12-20 By: Ross Finlayson on Sat, 23 Dec 2023	1	2 Months 5 Days ago By: Ross Finlayson
2020-12-07 By: Ross Finlayson on Fri, 22 Dec 2023	2	2 Months 5 Days ago By: Ross Finlayson
Re: Well-Order the Reals with only aleph-0 Predecessors? By: Ross Finlayson on Fri, 9 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: 0's and 1's, logic and physical principles By: Ross Finlayson on Thu, 22 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: Outline: A Program to establish the continuity of points in a line By: Ross Finlayson on Thu, 22 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: CHAITANS OMEGA PSEUDO COMPUTABLE! By: Ross Finlayson on Thu, 22 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: Correct presentation of the diagonal argument By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: Einsteinians Want to Become Newtonians By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: How would you salvage Hilbert’s Program ? [this is how] By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Godel numbering. By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Hierarchy of Arithmetics By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Curry's Paradox in propositional logic? By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Arithmoquining By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Barrow, 2000, "The Book of Nothing, ..." By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Zeno's dichotomy paradox, supertasks and the failure of classical infinitary By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Shech's "Assume a Spherical Cow..." By: Ross Finlayson on Wed, 21 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: The set of natural numbers By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: 21'st century natural deduction for foundations By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: How many different paths can exist in the Complete Infinite Binary Tree? By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: Few questions on forcing, large cardinals By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: The diagonal argument depends on representation. By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: What are the Axioms for the Surreal Numbers? By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: Richard Feynman's Fraudulent Logic By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: Goedel and was Order Theory in Foundations Re: identity, equality, substitut By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: The correct definition of true cardinality of a set! By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: . By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: The significance of CH ( Was: Re: identity, equality, ... ) By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: (0, ϵ) By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: a geometric metamathematics By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 5 Days ago By: Ross Finlayson
Re: Proof assistant. How does yours compare? By: Ross Finlayson on Wed, 21 Jun 2023	1	2 Months 5 Days ago By: Ross Finlayson
Relevance logic and the relevance condition By: Ross Finlayson on Sun, 20 Aug 2023	24	2 Months 5 Days ago By: Ross Finlayson
Re: Theory By: Ross Finlayson on Tue, 31 Oct 2023	3	2 Months 5 Days ago By: Ross Finlayson
If you love Pythagoras and hate Trigonometry [Loomis] By: Mild Shock on Mon, 27 Nov 2023	3	2 Months 5 Days ago By: Ross Finlayson
Foundations of Logic By: Ross Finlayson on Fri, 15 Dec 2023	6	2 Months 5 Days ago By: Ross Finlayson
Re: ω-consistency By: Ross Finlayson on Fri, 9 Feb 2024	2	2 Months 5 Days ago By: Ross Finlayson
Re: Formal Definition of Set By: Ross Finlayson on Fri, 9 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: Question words, and what's an answer By: Ross Finlayson on Thu, 8 Jun 2023	9	2 Months 5 Days ago By: Ross Finlayson
Re: Quantifier swapping in set theory By: Ross Finlayson on Mon, 12 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
The syllogism proves that the Principle of Explosion is nonsense By: olcott on Thu, 14 Dec 2023	58	2 Months 5 Days ago By: olcott
Ben Bacarisse inaccurate disparagement of my work By: olcott on Tue, 20 Feb 2024	5	2 Months 5 Days ago By: olcott
Dana Scott fan club By: Ross Finlayson on Sun, 9 Jul 2023	101	2 Months 5 Days ago By: Ross Finlayson
Strawson on the Liar Paradox By: olcott on Sun, 20 Aug 2023	65	2 Months 5 Days ago By: Ross Finlayson
Grelling–Nelson Paradox (in Coq) By: Julio Di Egidio on Fri, 25 Aug 2023	59	2 Months 5 Days ago By: Ross Finlayson
What is the official response to this falsification of Godel's incompleteness? By: Zuhair on Sun, 13 Aug 2023	25	2 Months 5 Days ago By: Ross Finlayson
Re: Herbrand logic By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: the unity of opposites and differential ontology By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: On some quotes from Struick, an historian By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: On some quotes from P. Mancuso's "From Brouwer to Hilbert: The debate on the By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: Smullyan's Proof of the Drinker's Principle. By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: Binets Formula Computer Proof Challenge By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: Bergelson and Oprocha, dynamically invariant measure theory By: Ross Finlayson on Wed, 21 Feb 2024	1	2 Months 5 Days ago By: Ross Finlayson
Re: Linz's proofs. [ ZFC like solution applied to the halting problem ] By: olcott on Tue, 20 Feb 2024	7	2 Months 5 Days ago By: immibis
Re: Cantor's Great Magic Trick By: Ross Finlayson on Wed, 21 Feb 2024	0	2 Months 6 Days ago By: Ross Finlayson
Re: On some quotes from Cirlot, a phenomenologist By: Ross Finlayson on Sun, 23 Jul 2023	1	2 Months 6 Days ago By: Ross Finlayson
Re: John Norton : Theoretical Physicists Are Liars By: Pentcho Valev on Tue, 22 Aug 2023	2	2 Months 6 Days ago By: Ross Finlayson
Re: Regularity vis-a-vis Well-Foundedness, was Re: Singular Infinity ? By: Ross Finlayson on Sun, 8 Oct 2023	1	2 Months 6 Days ago By: Ross Finlayson
Re: Purpose of this group? (Welcome back Ben) By: olcott on Tue, 13 Feb 2024	136	2 Months 6 Days ago By: Richard Damon
Re: Linz's proofs [ignore epistemological antinomies] By: olcott on Mon, 19 Feb 2024	4	2 Months 6 Days ago By: immibis
Re: Zorn's Lemma, how formalize it in DC Proof By: Mild Shock on Tue, 20 Feb 2024	0	2 Months 6 Days ago By: Mild Shock
Linz H' is merely the self-contradictory form of Linz H applied to ⟨H⟩ By: olcott on Fri, 16 Feb 2024	35	2 Months 7 Days ago By: olcott
Linz Ĥ applied to ⟨Ĥ⟩ is the self-contradictory form of Olcott Ȟ applied to ⟨Ȟ⟩ By: olcott on Fri, 16 Feb 2024	68	2 Months 8 Days ago By: immibis
When the Linz Ĥ is required to report on its own behavior both answers are wrong By: olcott on Thu, 8 Feb 2024	183	2 Months 10 Days ago By: Richard Damon
Re: Purpose of this group? By: olcott on Mon, 12 Feb 2024	5	2 Months 13 Days ago By: immibis
Re: Purpose of this group? By: olcott on Mon, 12 Feb 2024	14	2 Months 13 Days ago By: immibis
Re: Purpose of this group? (Welcome back Ben) By: olcott on Tue, 13 Feb 2024	1	2 Months 13 Days ago By: immibis
Refuting the Tarski Undefinability Theorem By: olcott on Sun, 4 Feb 2024	65	2 Months 14 Days ago By: Richard Damon
Re: Purpose of this group? (Welcome back Ben) By: olcott on Tue, 13 Feb 2024	0	2 Months 14 Days ago By: olcott
Re: Purpose of this group? [-Dan Cross commits libel-] By: olcott on Mon, 12 Feb 2024	3	2 Months 14 Days ago By: immibis
Systems of Functions By: Charlie-Boo on Sun, 11 Feb 2024	0	2 Months 15 Days ago By: Charlie-Boo
Re: The key mistake of the Peter Linz HP proof By: Ross Finlayson on Sat, 10 Feb 2024	0	2 Months 17 Days ago By: Ross Finlayson
Ok, sci.logic is dead By: Fritz Feldhase on Wed, 4 Oct 2023	49	2 Months 17 Days ago By: Ross Finlayson
Re: Languages of Primitive Recusrive Arithmetic By: Ross Finlayson on Fri, 9 Feb 2024	0	2 Months 17 Days ago By: Ross Finlayson
Re: Z-chains By: Ross Finlayson on Fri, 9 Feb 2024	0	2 Months 17 Days ago By: Ross Finlayson
To understand the misconception of mathematical incompleteness... By: olcott on Sun, 4 Feb 2024	26	2 Months 21 Days ago By: Richard Damon
Re: Another rebuttal of Halting Problem? [Mikko is correct] [tautology] By: olcott on Wed, 31 Jan 2024	2	2 Months 21 Days ago By: Ross Finlayson
Re: Another rebuttal of Halting Problem? [Mikko is correct] [rices theorem] By: olcott on Wed, 31 Jan 2024	14	2 Months 21 Days ago By: immibis
Re: Another rebuttal of Halting Problem? [Mikko is correct] [tautology] By: olcott on Wed, 31 Jan 2024	7	2 Months 21 Days ago By: immibis
Re: The Psychology of Self-Reference By: olcott on Sun, 28 Jan 2024	67	2 Months 21 Days ago By: immibis
H correctly rejects D as non-halting By: olcott on Sat, 3 Feb 2024	14	2 Months 21 Days ago By: immibis
Re: Does this criteria prove that Y calls X in infinite recursion? By: olcott on Fri, 2 Feb 2024	6	2 Months 21 Days ago By: immibis
Re: Why does Olcott continue to ignore the finite/infinite sequence formulation By: olcott on Thu, 1 Feb 2024	4	2 Months 21 Days ago By: immibis
Re: Why does Olcott continue to ignore the finite/infinite sequence formulation By: olcott on Wed, 31 Jan 2024	19	2 Months 21 Days ago By: immibis
Hey, I used to post here By: george dark on Tue, 30 Jan 2024	1	2 Months 23 Days ago By: Ross Finlayson
H is necessarily correct to reject D as non-halting [tautology] By: olcott on Wed, 31 Jan 2024	9	2 Months 26 Days ago By: Richard Damon
Re: Another rebuttal of Halting Problem? By: olcott on Sun, 21 Jan 2024	308	2 Months 28 Days ago By: Mikko
Re: Michael Sipser of MIT validates the notion of a simulating halt decider By: olcott on Fri, 26 Jan 2024	16	2 Months 28 Days ago By: Mikko
On the Liar's Paradox By: Mikko on Mon, 29 Jan 2024	0	2 Months 29 Days ago By: Mikko
The directly executed D(D) does not halt even though it looks like it does By: olcott on Sat, 27 Jan 2024	23	2 Months 29 Days ago By: immibis
Tarski anchors his whole proof in the Liar Paradox By: olcott on Wed, 24 Jan 2024	12	2 Months 30 Days ago By: Mikko
Re: Another rebuttal of Halting Problem? [Tarski] By: olcott on Tue, 23 Jan 2024	19	2 Months 30 Days ago By: olcott
Meta spam By: Ross Finlayson on Thu, 25 Jan 2024	0	3 Months 1 Day ago By: Ross Finlayson
The directly executed D(D) does not halt By: olcott on Wed, 24 Jan 2024	13	3 Months 1 Day ago By: immibis
Re: Another rebuttal of Halting Problem? [Mikko] By: olcott on Wed, 24 Jan 2024	2	3 Months 2 Days ago By: Richard Damon
Re: Another rebuttal of Halting Problem? By: olcott on Sun, 21 Jan 2024	29	3 Months 5 Days ago By: immibis
Correcting the definition of the terms of the halting problem By: olcott on Fri, 19 Jan 2024	225	3 Months 5 Days ago By: immibis
Re: Why is it called x86utm if it's not a utm? By: olcott on Sun, 21 Jan 2024	2	3 Months 6 Days ago By: Richard Damon
The ultimate measure of a correct simulation By: olcott on Thu, 18 Jan 2024	50	3 Months 6 Days ago By: immibis
The HP is merely a self-contradictory question By: olcott on Fri, 29 Dec 2023	552	3 Months 7 Days ago By: Mikko
Re: Potential vs actual infinity By: Ross Finlayson on Sat, 20 Jan 2024	0	3 Months 7 Days ago By: Ross Finlayson
DD correctly simulated by HH By: olcott on Thu, 18 Jan 2024	7	3 Months 8 Days ago By: Richard Damon
Correction to of the error in the halting problem specification By: olcott on Sun, 14 Jan 2024	81	3 Months 9 Days ago By: Richard Damon
Re: It's been 2 days and Olcott still hasn't said what "correctly simulated by H By: olcott on Wed, 17 Jan 2024	2	3 Months 9 Days ago By: olcott
Re: The HP is merely a self-contradictory question [correcting faulty definition By: Ross Finlayson on Wed, 17 Jan 2024	3	3 Months 9 Days ago By: olcott
Re: The halting problem can't be solved By: olcott on Tue, 9 Jan 2024	43	3 Months 10 Days ago By: immibis
Re: Some definitions for Olcott By: olcott on Wed, 10 Jan 2024	32	3 Months 10 Days ago By: immibis
iMagiNe a full list of sequences - the AD differs (for some finite length) at di By: Graham Cooper on Sun, 14 Jan 2024	3	3 Months 12 Days ago By: Ross Finlayson
Re: Address differences By: olcott on Sun, 14 Jan 2024	5	3 Months 12 Days ago By: Richard Damon
Execution trace of D correctly simulated by H By: olcott on Thu, 11 Jan 2024	28	3 Months 12 Days ago By: immibis
Re: Bob is a barber By: olcott on Sun, 14 Jan 2024	1	3 Months 12 Days ago By: Richard Damon
World Logic Day By: David Dalton on Sun, 14 Jan 2024	2	3 Months 12 Days ago By: Ross Finlayson
Try and show how D correctly simulated by H reaches its own line 09 By: olcott on Thu, 11 Jan 2024	23	3 Months 12 Days ago By: olcott
Re: Bob is a barber By: olcott on Sat, 13 Jan 2024	2	3 Months 13 Days ago By: immibis
Re: Some definitions for Olcott By: olcott on Fri, 12 Jan 2024	18	3 Months 13 Days ago By: Richard Damon
Re: Olcott rejects the existence of true but unprovable facts By: olcott on Fri, 12 Jan 2024	4	3 Months 13 Days ago By: Richard Damon
Re: Some definitions for Olcott By: olcott on Fri, 12 Jan 2024	6	3 Months 14 Days ago By: Richard Damon
AmateurGate: DC Proof is subject to Grelling's antinomy By: Mild Shock on Tue, 22 Aug 2023	51	3 Months 14 Days ago By: Mild Shock
A correct simulation of D by H cannot possibly terminate normally By: olcott on Tue, 9 Jan 2024	13	3 Months 17 Days ago By: Richard Damon
The HP is isomorphic the Russell's Paradox and RP is Solved! By: olcott on Wed, 3 Jan 2024	17	3 Months 20 Days ago By: Richard Damon
A possible solution to the Biggest Number Problem By: immibis on Sun, 7 Jan 2024	1	3 Months 20 Days ago By: Ross Finlayson
Re: A game like billards By: WM on Thu, 14 Dec 2023	164	3 Months 22 Days ago By: Ross Finlayson
Visible evidence for dark natural numbers By: WM on Tue, 21 Nov 2023	161	3 Months 22 Days ago By: Richard Damon
The Halting problem is an incorrect question V2 By: olcott on Wed, 27 Dec 2023	27	3 Months 22 Days ago By: Richard Damon
Re: The Halting problem is an incorrect question By: olcott on Sun, 31 Dec 2023	44	3 Months 24 Days ago By: Richard Damon
The BNP is merely a self-contradictory question By: immibis on Tue, 2 Jan 2024	4	3 Months 24 Days ago By: immibis
Bard gives gambling advice By: Rich D on Sat, 30 Dec 2023	4	3 Months 27 Days ago By: Richard Damon
Muy Thai, the Pagodas of Cambodians, Cambodians from Space By: Ross Finlayson on Tue, 19 Dec 2023	4	3 Months 27 Days ago By: Ross Finlayson
Winter Challenge 2023 By: WM on Mon, 13 Nov 2023	163	3 Months 30 Days ago By: Richard Damon
2022-04 By: Ross Finlayson on Wed, 27 Dec 2023	0	3 Months 30 Days ago By: Ross Finlayson
Undecidable decision problems are abolished By: olcott on Sat, 18 Nov 2023	226	4 Months 1 Day ago By: olcott
2021-09-27 By: Ross Finlayson on Sun, 24 Dec 2023	0	4 Months 2 Days ago By: Ross Finlayson
The Halting problem is an incorrect question By: olcott on Sun, 24 Dec 2023	6	4 Months 2 Days ago By: Richard Damon
2020-12-26 By: Ross Finlayson on Sun, 24 Dec 2023	0	4 Months 2 Days ago By: Ross Finlayson
The BOAK formal system excludes Gödel's 1931 Incompleteness and Tarski's Undefin By: olcott on Sat, 23 Dec 2023	19	4 Months 2 Days ago By: Richard Damon

Pages:12 3

There are currently 181 users online
Total messages: 2,301,256

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor

[A computer is] like an Old Testament god, with a lot of rules and no mercy. -- Joseph Campbell

tech / sci.logic

There are currently 181 users online Total messages: 2,301,256

There are currently 181 users online
Total messages: 2,301,256