Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Chemist who falls in acid is absorbed in work.


tech / sci.logic

Pages:123
SubjectRepliesLast Message
o True on the basis of meaning

By: olcott on Sat, 11 May 2024

198

2 Hours 49 Minutes ago

By: Mikko

o D correctly simulated by H cannot possibly halt --- templates and infinite sets

By: olcott on Tue, 28 May 2024

42

5 Hours 43 Minutes ago

By: olcott

o Every D(D) simulated by H presents non-halting behavior to H

By: olcott on Sun, 5 May 2024

399

1 Day 6 Hours ago

By: Richard Damon

o Re: A simulating halt decider applied to the The Peter Linz Turing Machine descr

By: Richard Damon on Mon, 27 May 2024

9

1 Day 7 Hours ago

By: Richard Damon

o Can you see that D correctly simulated by H remains stuck in recursive simulatio

By: olcott on Thu, 23 May 2024

130

1 Day 18 Hours ago

By: olcott

o Re: Linz's proofs.

By: olcott on Thu, 29 Feb 2024

100

3 Days 17 Hours ago

By: Richard Damon

o Tarski Undefinability and the correctly formalized Liar Paradox

By: olcott on Sat, 25 May 2024

11

3 Days 19 Hours ago

By: olcott

o Addressing the only rebuttal of my proof in the last two years (correction)

By: olcott on Sat, 25 May 2024

1

4 Days 12 Hours ago

By: Richard Damon

o Addressing the only rebuttal of my proof in the last two years

By: olcott on Sat, 25 May 2024

1

4 Days 12 Hours ago

By: Richard Damon

o No decider is ever allowed to report on the behavior of the computation that its

By: olcott on Wed, 22 May 2024

12

6 Days 7 Hours ago

By: Richard Damon

o Can D simulated by H terminate normally?

By: olcott on Sun, 28 Apr 2024

170

7 Days 7 Hours ago

By: Richard Damon

o Every D correctly simulated by H never reaches its final state and halts

By: olcott on Fri, 17 May 2024

13

10 Days 14 Hours ago

By: Richard Damon

o Re: universal quantification, because g⤨(g⁻¹(x)) = g(y) [1/2] Re: how

By: Ross Finlayson on Sun, 19 May 2024

0

10 Days 19 Hours ago

By: Ross Finlayson

o Termination analyzer defined

By: olcott on Sat, 11 May 2024

47

11 Days 18 Hours ago

By: Richard Damon

o A computable function that reports on the behavior of its actual self is not all

By: olcott on Sun, 12 May 2024

41

16 Days 7 Hours ago

By: Richard Damon

o Unconventional termination analyzer D correctly reports halt status of HP input

By: olcott on Sat, 11 May 2024

1

18 Days 10 Hours ago

By: Richard Damon

o Unconventional termination analyzer H correctly reports halt status of HP input

By: olcott on Sat, 11 May 2024

1

18 Days 10 Hours ago

By: Richard Damon

o Undecidability based on epistemological antinomies V2

By: olcott on Thu, 18 Apr 2024

330

23 Days 8 Hours ago

By: immibis

o D(D) simulated by H cannot possibly reach past its own line 03

By: olcott on Fri, 3 May 2024

11

25 Days 20 Hours ago

By: Richard Damon

o Self-evidently I am not my grandpa

By: Mild Shock on Sat, 27 Apr 2024

8

28 Days 9 Hours ago

By: Mild Shock

o Proving my 2004 claim that some decider/input pairs are incorrect questions

By: olcott on Tue, 12 Mar 2024

18

29 Days 23 Hours ago

By: Alan Mackenzie

o Can there be a truth without a truthmaker?

By: olcott on Tue, 2 Apr 2024

31

1 Month 2 Days ago

By: olcott

o Undecidability based on epistemological antinomies

By: olcott on Wed, 17 Apr 2024

9

1 Month 12 Days ago

By: Ross Finlayson

o What is the interval between ℕ and ω when doubled?

By: WM on Sun, 7 Apr 2024

9

1 Month 12 Days ago

By: Richard Damon

o How does the philosophical foundation of analytical truth defeat the Tarski Unde

By: olcott on Tue, 16 Apr 2024

1

1 Month 13 Days ago

By: Richard Damon

o Bayes in your Luggage

By: Mild Shock on Thu, 11 Apr 2024

2

1 Month 18 Days ago

By: Mild Shock

o Re: Definition of real number ℝ --infinitesimal-- --abort decider--

By: olcott on Wed, 3 Apr 2024

1

1 Month 26 Days ago

By: Richard Damon

o Does Tarski Undefinability apply to HOL ?

By: olcott on Mon, 1 Apr 2024

1

1 Month 28 Days ago

By: Richard Damon

o Is it common knowledge that Tarski Undefinability does not apply to HOL ?

By: olcott on Mon, 1 Apr 2024

0

1 Month 29 Days ago

By: olcott

o No one can correctly refute that simulating abort decider A(D,D) is correct

By: olcott on Wed, 27 Mar 2024

39

2 Months ago

By: Richard Damon

o Re: Categorically exhaustive reasoning applied to the decision to abort

By: olcott on Wed, 27 Mar 2024

26

2 Months ago

By: Richard Damon

o Can any pathological input thwart a simulating abort decider?

By: olcott on Fri, 22 Mar 2024

92

2 Months ago

By: Richard Damon

o Can an abort decider be defined that cannot be fooled by any pathological input?

By: olcott on Sun, 24 Mar 2024

40

2 Months ago

By: Richard Damon

o Proof that H(D,D) meets its abort criteria

By: olcott on Fri, 15 Mar 2024

508

2 Months 6 Days ago

By: immibis

o 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

2 Months 6 Days ago

By: Richard Damon

o Olcott has proved that the biggest number is 5.

By: immibis on Mon, 18 Mar 2024

5

2 Months 8 Days ago

By: immibis

o Re: Analytical truth redefined so that Quine can understand that bachelors are u

By: olcott on Tue, 19 Mar 2024

15

2 Months 8 Days ago

By: Ross Finlayson

o Re: Analytical truth redefined

By: olcott on Tue, 19 Mar 2024

1

2 Months 9 Days ago

By: Richard Damon

o ZFC solution to incorrect questions: reject them

By: olcott on Tue, 12 Mar 2024

234

2 Months 9 Days ago

By: Richard Damon

o Re: Analytical truth redefined so that Quine can understand that bachelors are u

By: Ross Finlayson on Tue, 19 Mar 2024

4

2 Months 10 Days ago

By: olcott

o We finally know exactly how H1(D,D) derives a different result than H(D,D)

By: olcott on Thu, 7 Mar 2024

62

2 Months 14 Days ago

By: immibis

o Incorrect questions and halt deciders

By: olcott on Wed, 13 Mar 2024

38

2 Months 14 Days ago

By: Richard Damon

o A paradox about Cantor's set theory

By: wij on Sat, 9 Mar 2024

11

2 Months 17 Days ago

By: Ross Finlayson

o Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior

By: olcott on Sat, 9 Mar 2024

167

2 Months 17 Days ago

By: Ross Finlayson

o Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC --n

By: Richard Damon on Mon, 11 Mar 2024

13

2 Months 17 Days ago

By: olcott

o Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn

By: olcott on Fri, 8 Mar 2024

62

2 Months 19 Days ago

By: Richard Damon

o Refutation of the Peter Linz Halting Problem proof 2024-03-05

By: olcott on Wed, 6 Mar 2024

113

2 Months 20 Days ago

By: Richard Damon

o Why does H1(D,D) actually get a different result than H(D,D) ???

By: olcott on Sat, 2 Mar 2024

129

2 Months 22 Days ago

By: Richard Damon

o Olcott machines (now fully defined) might be more powerful than Turing Machines

By: olcott on Thu, 7 Mar 2024

18

2 Months 22 Days ago

By: olcott

o Re: Linz's proofs. --- Good catch !

By: olcott on Thu, 7 Mar 2024

6

2 Months 22 Days ago

By: olcott

o Why can large natural numbers not been hit straight away?

By: WM on Sun, 3 Mar 2024

8

2 Months 22 Days ago

By: WM

o Re: Linz's proofs. (is the best one) I just refuted it and its isomorphisms

By: olcott on Thu, 29 Feb 2024

82

2 Months 23 Days ago

By: olcott

o Does Ĥ applied to ⟨Ĥ⟩ specify self-contradiction? V2

By: olcott on Wed, 28 Feb 2024

43

2 Months 23 Days ago

By: immibis

o How Linz H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the right answer because Linz Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ gets the wrong

By: olcott on Tue, 5 Mar 2024

4

2 Months 24 Days ago

By: Richard Damon

o Here is how Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ gets the correct answer

By: olcott on Sun, 3 Mar 2024

18

2 Months 24 Days ago

By: Richard Damon

o The Science of Genius by DEAN KEITH SIMONTON

By: olcott on Sun, 3 Mar 2024

15

2 Months 24 Days ago

By: Richard Damon

o Peter Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ gets the correct answer

By: olcott on Wed, 28 Feb 2024

34

2 Months 24 Days ago

By: olcott

o Does Ĥ applied to ⟨Ĥ⟩ specify self-contradiction?

By: olcott on Tue, 27 Feb 2024

33

2 Months 27 Days ago

By: Richard Damon

o Re: Linz's proofs.

By: olcott on Fri, 1 Mar 2024

5

2 Months 28 Days ago

By: Richard Damon

o Re: I also got a reply from Professor Hehner...

By: olcott on Mon, 26 Feb 2024

42

2 Months 28 Days ago

By: immibis

o Terence Tao, "Machine Assisted Proof"

By: Mild Shock on Tue, 27 Feb 2024

0

3 Months 2 Days ago

By: Mild Shock

o A halting decidability decider that can't be fooled

By: olcott on Tue, 27 Feb 2024

9

3 Months 2 Days ago

By: immibis

o There is something wrong with the halting problem

By: olcott on Mon, 26 Feb 2024

19

3 Months 2 Days ago

By: immibis

o Re: Halting Problem proofs appear to be bogus!

By: olcott on Sat, 24 Feb 2024

16

3 Months 3 Days ago

By: immibis

o Why can't the halting problem be solved?

By: olcott on Sun, 25 Feb 2024

37

3 Months 3 Days ago

By: immibis

o Converting Linz H applied to ⟨H⟩ ⟨H⟩ to its self contradictory version

By: polcot2 on Tue, 20 Feb 2024

73

3 Months 4 Days ago

By: immibis

o PhD computer science professors Hehner and Stoddart agree with my 2004 position

By: olcott on Wed, 21 Feb 2024

47

3 Months 4 Days ago

By: immibis

o Richard cannot say exactly why Ȟ applied to ⟨Ȟ⟩ ⟨Ȟ⟩ gets the wrong answer

By: olcott on Sun, 25 Feb 2024

4

3 Months 4 Days ago

By: immibis

o Defining a truth predicate that correctly rejects epistemological antinomies

By: olcott on Sun, 25 Feb 2024

7

3 Months 4 Days ago

By: immibis

o Re: Theoretical suggestion ---Richard finally agrees with my view of how a corre

By: olcott on Sat, 24 Feb 2024

32

3 Months 4 Days ago

By: immibis

o Re: Linz's proofs.

By: Ross Finlayson on Sun, 25 Feb 2024

4

3 Months 4 Days ago

By: Richard Damon

o Richard reverse-engineer of my decider applied to Wittgenstein's rebuttal of Göd

By: olcott on Sun, 25 Feb 2024

1

3 Months 4 Days ago

By: Richard Damon

o Re: Linz's proofs.

By: olcott on Sun, 25 Feb 2024

3

3 Months 4 Days ago

By: Richard Damon

o Re: I also got a reply from Professor Hehner...

By: olcott on Sun, 25 Feb 2024

1

3 Months 4 Days ago

By: Richard Damon

o Re: Linz's proofs.

By: olcott on Sat, 24 Feb 2024

1

3 Months 5 Days ago

By: Richard Damon

o Re: Banach–Tarski paradox

By: Ross Finlayson on Sat, 10 Feb 2024

16

3 Months 5 Days ago

By: Ben there done that

o Re: Linz's proofs.

By: olcott on Sat, 24 Feb 2024

0

3 Months 5 Days ago

By: olcott

o Todays idiocracy in computer science

By: Mild Shock on Sat, 24 Feb 2024

0

3 Months 5 Days ago

By: Mild Shock

o Its so peaceful now!

By: Mild Shock on Sat, 24 Feb 2024

0

3 Months 6 Days ago

By: Mild Shock

o A Paradox of Equality?

By: Dan Christensen on Sat, 3 Jun 2023

100

3 Months 6 Days ago

By: Ross Finlayson

o 2022-10-10

By: Ross Finlayson on Tue, 23 Jan 2024

2

3 Months 7 Days ago

By: Mild Shock

o Pulverizer against Delhi Belly? (Was: ChatGPT: 1 = 0 implies 1 = 0?)

By: Mild Shock on Thu, 22 Feb 2024

0

3 Months 7 Days ago

By: Mild Shock

o Re: Arithmoquining

By: Mikko on Thu, 22 Feb 2024

0

3 Months 7 Days ago

By: Mikko

o 2020-11-09

By: Ross Finlayson on Thu, 21 Dec 2023

5

3 Months 8 Days ago

By: Ross Finlayson

o 2020-12-20

By: Ross Finlayson on Sat, 23 Dec 2023

1

3 Months 8 Days ago

By: Ross Finlayson

o 2020-12-07

By: Ross Finlayson on Fri, 22 Dec 2023

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Well-Order the Reals with only aleph-0 Predecessors?

By: Ross Finlayson on Fri, 9 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: 0's and 1's, logic and physical principles

By: Ross Finlayson on Thu, 22 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: Outline: A Program to establish the continuity of points in a line

By: Ross Finlayson on Thu, 22 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: CHAITANS OMEGA PSEUDO COMPUTABLE!

By: Ross Finlayson on Thu, 22 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: Correct presentation of the diagonal argument

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: Einsteinians Want to Become Newtonians

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: How would you salvage Hilbert’s Program ? [this is how]

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Godel numbering.

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Hierarchy of Arithmetics

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Curry's Paradox in propositional logic?

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Arithmoquining

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Barrow, 2000, "The Book of Nothing, ..."

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Zeno's dichotomy paradox, supertasks and the failure of classical infinitary

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Shech's "Assume a Spherical Cow..."

By: Ross Finlayson on Wed, 21 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: The set of natural numbers

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: 21'st century natural deduction for foundations

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: How many different paths can exist in the Complete Infinite Binary Tree?

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: Few questions on forcing, large cardinals

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: The diagonal argument depends on representation.

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: What are the Axioms for the Surreal Numbers?

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: Richard Feynman's Fraudulent Logic

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: Goedel and was Order Theory in Foundations Re: identity, equality, substitut

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: The correct definition of true cardinality of a set!

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: .

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: The significance of CH ( Was: Re: identity, equality, ... )

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: (0, ϵ)

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: a geometric metamathematics

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 8 Days ago

By: Ross Finlayson

o Re: Proof assistant. How does yours compare?

By: Ross Finlayson on Wed, 21 Jun 2023

1

3 Months 8 Days ago

By: Ross Finlayson

o Relevance logic and the relevance condition

By: Ross Finlayson on Sun, 20 Aug 2023

24

3 Months 8 Days ago

By: Ross Finlayson

o Re: Theory

By: Ross Finlayson on Tue, 31 Oct 2023

3

3 Months 8 Days ago

By: Ross Finlayson

o If you love Pythagoras and hate Trigonometry [Loomis]

By: Mild Shock on Mon, 27 Nov 2023

3

3 Months 8 Days ago

By: Ross Finlayson

o Foundations of Logic

By: Ross Finlayson on Fri, 15 Dec 2023

6

3 Months 8 Days ago

By: Ross Finlayson

o Re: ω-consistency

By: Ross Finlayson on Fri, 9 Feb 2024

2

3 Months 8 Days ago

By: Ross Finlayson

o Re: Formal Definition of Set

By: Ross Finlayson on Fri, 9 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: Question words, and what's an answer

By: Ross Finlayson on Thu, 8 Jun 2023

9

3 Months 8 Days ago

By: Ross Finlayson

o Re: Quantifier swapping in set theory

By: Ross Finlayson on Mon, 12 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o The syllogism proves that the Principle of Explosion is nonsense

By: olcott on Thu, 14 Dec 2023

58

3 Months 8 Days ago

By: olcott

o Ben Bacarisse inaccurate disparagement of my work

By: olcott on Tue, 20 Feb 2024

5

3 Months 8 Days ago

By: olcott

o Dana Scott fan club

By: Ross Finlayson on Sun, 9 Jul 2023

101

3 Months 8 Days ago

By: Ross Finlayson

o Strawson on the Liar Paradox

By: olcott on Sun, 20 Aug 2023

65

3 Months 8 Days ago

By: Ross Finlayson

o Grelling–Nelson Paradox (in Coq)

By: Julio Di Egidio on Fri, 25 Aug 2023

59

3 Months 8 Days ago

By: Ross Finlayson

o What is the official response to this falsification of Godel's incompleteness?

By: Zuhair on Sun, 13 Aug 2023

25

3 Months 8 Days ago

By: Ross Finlayson

o Re: Herbrand logic

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: the unity of opposites and differential ontology

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: On some quotes from Struick, an historian

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o 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

3 Months 8 Days ago

By: Ross Finlayson

o Re: Smullyan's Proof of the Drinker's Principle.

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: Binets Formula Computer Proof Challenge

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: Bergelson and Oprocha, dynamically invariant measure theory

By: Ross Finlayson on Wed, 21 Feb 2024

1

3 Months 8 Days ago

By: Ross Finlayson

o Re: Linz's proofs. [ ZFC like solution applied to the halting problem ]

By: olcott on Tue, 20 Feb 2024

7

3 Months 8 Days ago

By: immibis

o Re: Cantor's Great Magic Trick

By: Ross Finlayson on Wed, 21 Feb 2024

0

3 Months 9 Days ago

By: Ross Finlayson

o Re: On some quotes from Cirlot, a phenomenologist

By: Ross Finlayson on Sun, 23 Jul 2023

1

3 Months 9 Days ago

By: Ross Finlayson

o Re: John Norton : Theoretical Physicists Are Liars

By: Pentcho Valev on Tue, 22 Aug 2023

2

3 Months 9 Days ago

By: Ross Finlayson

o Re: Regularity vis-a-vis Well-Foundedness, was Re: Singular Infinity ?

By: Ross Finlayson on Sun, 8 Oct 2023

1

3 Months 9 Days ago

By: Ross Finlayson

o Re: Purpose of this group? (Welcome back Ben)

By: olcott on Tue, 13 Feb 2024

136

3 Months 9 Days ago

By: Richard Damon

o Re: Linz's proofs [ignore epistemological antinomies]

By: olcott on Mon, 19 Feb 2024

4

3 Months 9 Days ago

By: immibis

o Re: Zorn's Lemma, how formalize it in DC Proof

By: Mild Shock on Tue, 20 Feb 2024

0

3 Months 9 Days ago

By: Mild Shock

o Linz H' is merely the self-contradictory form of Linz H applied to ⟨H⟩

By: olcott on Fri, 16 Feb 2024

35

3 Months 10 Days ago

By: olcott

o Linz Ĥ applied to ⟨Ĥ⟩ is the self-contradictory form of Olcott Ȟ applied to ⟨Ȟ⟩

By: olcott on Fri, 16 Feb 2024

68

3 Months 11 Days ago

By: immibis

o When the Linz Ĥ is required to report on its own behavior both answers are wrong

By: olcott on Thu, 8 Feb 2024

183

3 Months 13 Days ago

By: Richard Damon

o Re: Purpose of this group?

By: olcott on Mon, 12 Feb 2024

5

3 Months 16 Days ago

By: immibis

o Re: Purpose of this group?

By: olcott on Mon, 12 Feb 2024

14

3 Months 16 Days ago

By: immibis

o Re: Purpose of this group? (Welcome back Ben)

By: olcott on Tue, 13 Feb 2024

1

3 Months 16 Days ago

By: immibis

o Refuting the Tarski Undefinability Theorem

By: olcott on Sun, 4 Feb 2024

65

3 Months 17 Days ago

By: Richard Damon

o Re: Purpose of this group? (Welcome back Ben)

By: olcott on Tue, 13 Feb 2024

0

3 Months 17 Days ago

By: olcott

o Re: Purpose of this group? [-Dan Cross commits libel-]

By: olcott on Mon, 12 Feb 2024

3

3 Months 17 Days ago

By: immibis

o Systems of Functions

By: Charlie-Boo on Sun, 11 Feb 2024

0

3 Months 18 Days ago

By: Charlie-Boo

o Re: The key mistake of the Peter Linz HP proof

By: Ross Finlayson on Sat, 10 Feb 2024

0

3 Months 20 Days ago

By: Ross Finlayson

o Ok, sci.logic is dead

By: Fritz Feldhase on Wed, 4 Oct 2023

49

3 Months 20 Days ago

By: Ross Finlayson

o Re: Languages of Primitive Recusrive Arithmetic

By: Ross Finlayson on Fri, 9 Feb 2024

0

3 Months 20 Days ago

By: Ross Finlayson

o Re: Z-chains

By: Ross Finlayson on Fri, 9 Feb 2024

0

3 Months 20 Days ago

By: Ross Finlayson

o To understand the misconception of mathematical incompleteness...

By: olcott on Sun, 4 Feb 2024

26

3 Months 24 Days ago

By: Richard Damon

o Re: Another rebuttal of Halting Problem? [Mikko is correct] [tautology]

By: olcott on Wed, 31 Jan 2024

2

3 Months 24 Days ago

By: Ross Finlayson

o Re: Another rebuttal of Halting Problem? [Mikko is correct] [rices theorem]

By: olcott on Wed, 31 Jan 2024

14

3 Months 24 Days ago

By: immibis

o Re: Another rebuttal of Halting Problem? [Mikko is correct] [tautology]

By: olcott on Wed, 31 Jan 2024

7

3 Months 24 Days ago

By: immibis

o Re: The Psychology of Self-Reference

By: olcott on Sun, 28 Jan 2024

67

3 Months 24 Days ago

By: immibis

o H correctly rejects D as non-halting

By: olcott on Sat, 3 Feb 2024

14

3 Months 24 Days ago

By: immibis

o Re: Does this criteria prove that Y calls X in infinite recursion?

By: olcott on Fri, 2 Feb 2024

6

3 Months 24 Days ago

By: immibis

o Re: Why does Olcott continue to ignore the finite/infinite sequence formulation

By: olcott on Thu, 1 Feb 2024

4

3 Months 24 Days ago

By: immibis

o Re: Why does Olcott continue to ignore the finite/infinite sequence formulation

By: olcott on Wed, 31 Jan 2024

19

3 Months 24 Days ago

By: immibis

o Hey, I used to post here

By: george dark on Tue, 30 Jan 2024

1

3 Months 26 Days ago

By: Ross Finlayson

o H is necessarily correct to reject D as non-halting [tautology]

By: olcott on Wed, 31 Jan 2024

9

3 Months 29 Days ago

By: Richard Damon

o Re: Another rebuttal of Halting Problem?

By: olcott on Sun, 21 Jan 2024

308

3 Months 29 Days ago

By: Mikko

o Re: Michael Sipser of MIT validates the notion of a simulating halt decider

By: olcott on Fri, 26 Jan 2024

16

4 Months ago

By: Mikko

o On the Liar's Paradox

By: Mikko on Mon, 29 Jan 2024

0

4 Months ago

By: Mikko

o The directly executed D(D) does not halt even though it looks like it does

By: olcott on Sat, 27 Jan 2024

23

4 Months 1 Day ago

By: immibis

o Tarski anchors his whole proof in the Liar Paradox

By: olcott on Wed, 24 Jan 2024

12

4 Months 1 Day ago

By: Mikko

o Re: Another rebuttal of Halting Problem? [Tarski]

By: olcott on Tue, 23 Jan 2024

19

4 Months 2 Days ago

By: olcott

o Meta spam

By: Ross Finlayson on Thu, 25 Jan 2024

0

4 Months 4 Days ago

By: Ross Finlayson

o The directly executed D(D) does not halt

By: olcott on Wed, 24 Jan 2024

13

4 Months 4 Days ago

By: immibis

o Re: Another rebuttal of Halting Problem? [Mikko]

By: olcott on Wed, 24 Jan 2024

2

4 Months 5 Days ago

By: Richard Damon

o Re: Another rebuttal of Halting Problem?

By: olcott on Sun, 21 Jan 2024

29

4 Months 8 Days ago

By: immibis

o Correcting the definition of the terms of the halting problem

By: olcott on Fri, 19 Jan 2024

225

4 Months 8 Days ago

By: immibis

o Re: Why is it called x86utm if it's not a utm?

By: olcott on Sun, 21 Jan 2024

2

4 Months 9 Days ago

By: Richard Damon

o The ultimate measure of a correct simulation

By: olcott on Thu, 18 Jan 2024

50

4 Months 9 Days ago

By: immibis

o The HP is merely a self-contradictory question

By: olcott on Fri, 29 Dec 2023

552

4 Months 10 Days ago

By: Mikko

o Re: Potential vs actual infinity

By: Ross Finlayson on Sat, 20 Jan 2024

0

4 Months 10 Days ago

By: Ross Finlayson

o DD correctly simulated by HH

By: olcott on Thu, 18 Jan 2024

7

4 Months 11 Days ago

By: Richard Damon

o Correction to of the error in the halting problem specification

By: olcott on Sun, 14 Jan 2024

81

4 Months 12 Days ago

By: Richard Damon

o 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

4 Months 12 Days ago

By: olcott

o Re: The HP is merely a self-contradictory question [correcting faulty definition

By: Ross Finlayson on Wed, 17 Jan 2024

3

4 Months 12 Days ago

By: olcott

o Re: The halting problem can't be solved

By: olcott on Tue, 9 Jan 2024

43

4 Months 12 Days ago

By: immibis

o Re: Some definitions for Olcott

By: olcott on Wed, 10 Jan 2024

32

4 Months 13 Days ago

By: immibis

o iMagiNe a full list of sequences - the AD differs (for some finite length) at di

By: Graham Cooper on Sun, 14 Jan 2024

3

4 Months 15 Days ago

By: Ross Finlayson

o Re: Address differences

By: olcott on Sun, 14 Jan 2024

5

4 Months 15 Days ago

By: Richard Damon

o Execution trace of D correctly simulated by H

By: olcott on Thu, 11 Jan 2024

28

4 Months 15 Days ago

By: immibis

o Re: Bob is a barber

By: olcott on Sun, 14 Jan 2024

1

4 Months 15 Days ago

By: Richard Damon

o World Logic Day

By: David Dalton on Sun, 14 Jan 2024

2

4 Months 15 Days ago

By: Ross Finlayson

o Try and show how D correctly simulated by H reaches its own line 09

By: olcott on Thu, 11 Jan 2024

23

4 Months 15 Days ago

By: olcott

o Re: Bob is a barber

By: olcott on Sat, 13 Jan 2024

2

4 Months 16 Days ago

By: immibis

o Re: Some definitions for Olcott

By: olcott on Fri, 12 Jan 2024

18

4 Months 16 Days ago

By: Richard Damon

o Re: Olcott rejects the existence of true but unprovable facts

By: olcott on Fri, 12 Jan 2024

4

4 Months 16 Days ago

By: Richard Damon

o Re: Some definitions for Olcott

By: olcott on Fri, 12 Jan 2024

6

4 Months 17 Days ago

By: Richard Damon

o AmateurGate: DC Proof is subject to Grelling's antinomy

By: Mild Shock on Tue, 22 Aug 2023

51

4 Months 17 Days ago

By: Mild Shock

Pages:123

There are currently 173 users online
Total messages: 2,366,182

server_pubkey.txt

rocksolid light 0.9.81
clearnet tor