Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Base 8 is just like base 10, if you are missing two fingers. -- Tom Lehrer


devel / comp.theory

Pages:1234567891011121314
SubjectRepliesLast Message
o Undecidability based on epistemological antinomies V2

By: olcott on Thu, 18 Apr 2024

67

3 Hours 30 Minutes ago

By: Richard Damon

o Undecidability based on epistemological antinomies

By: olcott on Wed, 17 Apr 2024

11

4 Days 22 Hours ago

By: Ross Finlayson

o Can there be a truth without a truthmaker?

By: olcott on Tue, 2 Apr 2024

40

9 Days 10 Hours ago

By: Ross Finlayson

o Definition of real number ℝ

By: wij on Thu, 28 Mar 2024

178

17 Days 22 Hours ago

By: Ross Finlayson

o Time management

By: André G. Isaak on Sat, 23 Mar 2024

162

19 Days 4 Hours ago

By: Richard Damon

o Does Tarski Undefinability apply to HOL ?

By: olcott on Mon, 1 Apr 2024

1

21 Days 3 Hours ago

By: Richard Damon

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

By: olcott on Wed, 27 Mar 2024

40

23 Days 23 Hours ago

By: Richard Damon

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

By: olcott on Fri, 15 Mar 2024

897

24 Days 9 Hours ago

By: Richard Damon

o Can any pathological input thwart a simulating abort decider?

By: olcott on Fri, 22 Mar 2024

89

24 Days 9 Hours 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

41

24 Days 9 Hours ago

By: Richard Damon

o Repeating decimals are irrational

By: wij on Tue, 26 Mar 2024

35

25 Days 23 Hours ago

By: Richard Damon

o Real Number & Restoring Interpretation of Calculus

By: wij on Sun, 24 Mar 2024

28

26 Days 4 Hours ago

By: Ross Finlayson

o The Real 'Real Number'

By: wij on Mon, 25 Mar 2024

2

28 Days ago

By: wij

o Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC

By: wij on Fri, 22 Mar 2024

22

28 Days 2 Hours ago

By: Richard Damon

o French Book entitled "How to succeed in love" was published in 1830

By: HenHanna on Mon, 25 Mar 2024

0

29 Days ago

By: HenHanna

o Re: Proof that H(D,D) meets its abort criteria --honest dialogue--

By: wij on Fri, 22 Mar 2024

9

30 Days 3 Hours 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

30 Days 9 Hours ago

By: Richard Damon

o Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC

By: wij on Fri, 22 Mar 2024

4

1 Month ago

By: Richard Damon

o Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC

By: wij on Fri, 22 Mar 2024

2

1 Month ago

By: Richard Damon

o Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC

By: wij on Fri, 22 Mar 2024

1

1 Month ago

By: olcott

o Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC

By: wij on Fri, 22 Mar 2024

1

1 Month ago

By: olcott

o Olcott has proved that the biggest number is 5.

By: immibis on Mon, 18 Mar 2024

4

1 Month ago

By: immibis

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

By: Mikko on Mon, 18 Mar 2024

24

1 Month 1 Day ago

By: Ross Finlayson

o ZFC solution to incorrect questions: reject them

By: olcott on Tue, 12 Mar 2024

207

1 Month 2 Days ago

By: Richard Damon

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

By: olcott on Sat, 9 Mar 2024

323

1 Month 4 Days ago

By: Richard Damon

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

By: HenHanna on Sun, 17 Mar 2024

0

1 Month 5 Days ago

By: HenHanna

o Proof that H(D,D) doesn't meet its specification

By: immibis on Sun, 17 Mar 2024

0

1 Month 5 Days ago

By: immibis

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

By: olcott on Thu, 7 Mar 2024

344

1 Month 5 Days ago

By: olcott

o Incorrect questions and halt deciders

By: olcott on Wed, 13 Mar 2024

52

1 Month 6 Days ago

By: Richard Damon

o Re: H ⟨Ĥ⟩ ⟨Ĥ⟩ is correct when reports on the actual behavior that it sees --oute

By: Richard Damon on Fri, 15 Mar 2024

21

1 Month 7 Days ago

By: immibis

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

By: Richard Damon on Wed, 13 Mar 2024

0

1 Month 9 Days ago

By: Richard Damon

o olcott machines defy the laws of thermodynamics

By: Dan Cross on Thu, 7 Mar 2024

134

1 Month 9 Days ago

By: immibis

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

By: olcott on Tue, 12 Mar 2024

7

1 Month 10 Days ago

By: Richard Damon

o A paradox about Cantor's set theory

By: wij on Sat, 9 Mar 2024

6

1 Month 11 Days ago

By: Ross Finlayson

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

By: immibis on Mon, 11 Mar 2024

0

1 Month 11 Days ago

By: immibis

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

By: olcott on Wed, 6 Mar 2024

122

1 Month 13 Days ago

By: Richard Damon

o Do olcott machines violate OSHA regulations?

By: Dan Cross on Sat, 9 Mar 2024

0

1 Month 13 Days ago

By: Dan Cross

o Every Olcott machine is equivalent to a Turing machine

By: immibis on Fri, 8 Mar 2024

9

1 Month 13 Days ago

By: Richard Damon

o About real number

By: wij on Fri, 8 Mar 2024

9

1 Month 13 Days ago

By: immibis

o Linz's proofs.

By: Ben Bacarisse on Mon, 19 Feb 2024

341

1 Month 14 Days ago

By: olcott

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

By: olcott on Sat, 2 Mar 2024

171

1 Month 14 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

19

1 Month 14 Days ago

By: olcott

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

By: olcott on Wed, 28 Feb 2024

44

1 Month 16 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

1 Month 16 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

1 Month 16 Days ago

By: Richard Damon

o The Science of Genius by DEAN KEITH SIMONTON

By: olcott on Sun, 3 Mar 2024

17

1 Month 16 Days ago

By: Richard Damon

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

By: olcott on Wed, 28 Feb 2024

34

1 Month 16 Days ago

By: olcott

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

By: olcott on Tue, 27 Feb 2024

36

1 Month 20 Days ago

By: Richard Damon

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

By: immibis on Sun, 25 Feb 2024

53

1 Month 21 Days ago

By: immibis

o your favorite [...Effect] or [...Bias] in Social or Cognitive Psychology?

By: HenHanna on Thu, 29 Feb 2024

0

1 Month 24 Days ago

By: HenHanna

o ℙ≠ℕℙ proof posted at Nov 7, 2022 is confirmed and revised

By: wij on Mon, 26 Feb 2024

3

1 Month 26 Days ago

By: immibis

o A halting decidability decider that can't be fooled

By: olcott on Tue, 27 Feb 2024

9

1 Month 26 Days ago

By: immibis

o There is something wrong with the halting problem

By: olcott on Mon, 26 Feb 2024

19

1 Month 26 Days ago

By: immibis

o Halting Problem proofs appear to be bogus!

By: Mr Flibble on Fri, 16 Jul 2021

58

1 Month 27 Days ago

By: immibis

o Why can't the halting problem be solved?

By: olcott on Sun, 25 Feb 2024

36

1 Month 27 Days ago

By: immibis

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

By: polcot2 on Tue, 20 Feb 2024

99

1 Month 27 Days ago

By: immibis

o I got a reply from Professor Macias [he does not know about Turing machines]

By: immibis on Wed, 21 Feb 2024

48

1 Month 27 Days ago

By: immibis

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

By: olcott on Sun, 25 Feb 2024

4

1 Month 27 Days ago

By: immibis

o Theoretical suggestion

By: Dan Cross on Fri, 23 Feb 2024

54

1 Month 27 Days ago

By: immibis

o Re: Banach–Tarski paradox

By: Ben there done that on Sat, 24 Feb 2024

0

1 Month 29 Days ago

By: Ben there done that

o What is a halt decider according to Olcott?

By: immibis on Sat, 24 Feb 2024

0

1 Month 29 Days ago

By: immibis

o Meta-level vs not

By: immibis on Thu, 22 Feb 2024

1

1 Month 29 Days ago

By: immibis

o Ben Bacarisse inaccurate disparagement of my work

By: olcott on Tue, 20 Feb 2024

10

2 Months ago

By: olcott

o ℙ≠ℕℙ proof ('official')

By: wij on Wed, 21 Feb 2024

2

2 Months 1 Day ago

By: Ben Bacarisse

o Purpose of this group?

By: Dan Cross on Mon, 12 Feb 2024

193

2 Months 1 Day ago

By: Richard Damon

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

By: olcott on Fri, 16 Feb 2024

49

2 Months 3 Days ago

By: olcott

o x=2-x is self-referential, therefore unsolvable

By: immibis on Mon, 19 Feb 2024

0

2 Months 3 Days ago

By: immibis

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

By: olcott on Fri, 16 Feb 2024

66

2 Months 4 Days ago

By: immibis

o ℙ!=ℕℙ proof

By: wij on Fri, 2 Feb 2024

3

2 Months 4 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

180

2 Months 6 Days ago

By: Richard Damon

o A problem about prime number

By: wij on Fri, 16 Feb 2024

2

2 Months 6 Days ago

By: immibis

o Refuting the Tarski Undefinability Theorem

By: olcott on Sun, 4 Feb 2024

65

2 Months 10 Days ago

By: Richard Damon

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

By: Ross Finlayson on Sun, 11 Feb 2024

0

2 Months 11 Days ago

By: Ross Finlayson

o To understand the misconception of mathematical incompleteness...

By: olcott on Sun, 4 Feb 2024

26

2 Months 16 Days ago

By: Richard Damon

o Why does Olcott continue to ignore the finite/infinite sequence formulation of t

By: immibis on Tue, 30 Jan 2024

40

2 Months 16 Days ago

By: Richard Damon

o Another rebuttal of Halting Problem?

By: wij on Sun, 21 Jan 2024

993

2 Months 17 Days ago

By: Ross Finlayson

o Re: The Psychology of Self-Reference

By: olcott on Sun, 28 Jan 2024

67

2 Months 17 Days ago

By: immibis

o H correctly rejects D as non-halting

By: olcott on Sat, 3 Feb 2024

14

2 Months 17 Days ago

By: immibis

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

By: olcott on Thu, 1 Feb 2024

18

2 Months 17 Days ago

By: immibis

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

By: olcott on Wed, 31 Jan 2024

9

2 Months 22 Days ago

By: Richard Damon

o Easy version of P!=NP proof

By: wij on Wed, 31 Jan 2024

0

2 Months 22 Days ago

By: wij

o Another definition of the Halting Problem

By: immibis on Mon, 29 Jan 2024

0

2 Months 24 Days ago

By: immibis

o Every Turing machine/input pair has one and only one execution sequence

By: immibis on Sun, 28 Jan 2024

0

2 Months 25 Days ago

By: immibis

o 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 25 Days ago

By: immibis

o About building a "general logic based on computation"

By: wij on Sun, 21 Jan 2024

5

2 Months 26 Days ago

By: wij

o Michael Sipser of MIT validates the notion of a simulating halt

By: olcott on Wed, 12 Oct 2022

278

2 Months 26 Days ago

By: Richard Damon

o The directly executed D(D) does not halt

By: olcott on Wed, 24 Jan 2024

11

2 Months 28 Days ago

By: immibis

o Tarski anchors his whole proof in the Liar Paradox

By: olcott on Wed, 24 Jan 2024

2

2 Months 28 Days ago

By: Richard Damon

o Is this a paradox? what is 'equal'?

By: wij on Tue, 23 Jan 2024

11

2 Months 29 Days ago

By: Mikko

o Proof that Olcott doesn't understand proof by contradiction

By: immibis on Mon, 22 Jan 2024

3

2 Months 30 Days ago

By: immibis

o Can Olcott agree on these 8 points?

By: immibis on Sun, 21 Jan 2024

1

3 Months 1 Day ago

By: immibis

o Correcting the definition of the terms of the halting problem

By: olcott on Fri, 19 Jan 2024

228

3 Months 1 Day ago

By: immibis

o The correct definition of a halting decider

By: immibis on Sun, 21 Jan 2024

5

3 Months 1 Day ago

By: immibis

o Re: ---Richard admits simulated DD cannot halt--- But Olcott doesn't understand

By: Richard Damon on Sun, 21 Jan 2024

0

3 Months 1 Day ago

By: Richard Damon

o Does Olcott accept these definitions? (Turing machine; execution trace)

By: immibis on Sun, 21 Jan 2024

1

3 Months 1 Day ago

By: immibis

o Olcott can't answer this barber question

By: immibis on Fri, 19 Jan 2024

5

3 Months 1 Day ago

By: Mikko

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

By: immibis on Sat, 20 Jan 2024

7

3 Months 2 Days ago

By: Richard Damon

o Proof the barber doesn't shave himself

By: immibis on Sat, 20 Jan 2024

0

3 Months 2 Days ago

By: immibis

o The ultimate measure of a correct simulation

By: olcott on Thu, 18 Jan 2024

49

3 Months 2 Days ago

By: immibis

o The HP is merely a self-contradictory question

By: olcott on Fri, 29 Dec 2023

543

3 Months 3 Days ago

By: Richard Damon

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

By: olcott on Thu, 11 Jan 2024

56

3 Months 3 Days ago

By: Mikko

o DD correctly simulated by HH

By: olcott on Thu, 18 Jan 2024

7

3 Months 4 Days ago

By: Richard Damon

o The halting problem can't be solved

By: immibis on Tue, 9 Jan 2024

51

3 Months 5 Days ago

By: Richard Damon

o It's been 2 days and Olcott still hasn't said what "correctly simulated by H" me

By: immibis on Wed, 17 Jan 2024

9

3 Months 5 Days ago

By: Richard Damon

o Correction to of the error in the halting problem specification

By: olcott on Sun, 14 Jan 2024

73

3 Months 5 Days ago

By: Richard Damon

o Calculus is the math. based on ignoring infinitesmal error.

By: wij on Wed, 17 Jan 2024

16

3 Months 5 Days ago

By: wij

o That Olcott will not answer what "correctly simulated by H" means is proof of di

By: immibis on Tue, 16 Jan 2024

9

3 Months 5 Days ago

By: Richard Damon

o Some definitions for Olcott

By: immibis on Wed, 10 Jan 2024

60

3 Months 6 Days ago

By: immibis

o test

By: wij on Tue, 16 Jan 2024

0

3 Months 6 Days ago

By: wij

o POOH proves GUR

By: wij on Tue, 16 Jan 2024

0

3 Months 6 Days ago

By: wij

o Can Olcott provide a correct execution trace of the direct execution of D(D) and

By: immibis on Sat, 13 Jan 2024

4

3 Months 6 Days ago

By: Richard Damon

o Olcott rejects the existence of true but unprovable facts

By: immibis on Fri, 12 Jan 2024

22

3 Months 7 Days ago

By: immibis

o A property of future computation machine

By: wij on Sun, 14 Jan 2024

1

3 Months 8 Days ago

By: wij

o Address differences

By: immibis on Sat, 13 Jan 2024

8

3 Months 8 Days ago

By: Richard Damon

o Execution trace of D correctly simulated by H

By: olcott on Thu, 11 Jan 2024

28

3 Months 8 Days ago

By: immibis

o Bob is a barber

By: immibis on Sat, 13 Jan 2024

8

3 Months 8 Days ago

By: Richard Damon

o Re: SketchUp Pro 2019 Crack License Key Latest Version

By: Lawrence D'Oliv on Thu, 11 Jan 2024

0

3 Months 11 Days ago

By: Lawrence D'Oliv

o Fact

By: immibis on Wed, 10 Jan 2024

0

3 Months 12 Days ago

By: immibis

o A correct simulation of D by H cannot possibly terminate normally

By: olcott on Tue, 9 Jan 2024

10

3 Months 13 Days ago

By: Richard Damon

o The HP is isomorphic the Russell's Paradox and RP is Solved!

By: olcott on Wed, 3 Jan 2024

17

3 Months 15 Days ago

By: Richard Damon

o A possible solution to the Biggest Number Problem

By: immibis on Sun, 7 Jan 2024

0

3 Months 15 Days ago

By: immibis

o The Halting problem is an incorrect question V2

By: olcott on Wed, 27 Dec 2023

25

3 Months 18 Days ago

By: Richard Damon

o The Halting problem is an incorrect question V2

By: olcott on Sun, 24 Dec 2023

83

3 Months 19 Days ago

By: Richard Damon

o The BNP is merely a self-contradictory question

By: immibis on Tue, 2 Jan 2024

4

3 Months 20 Days ago

By: immibis

o The_BOAK_formal_system_excludes_Gödel's_1931_Incom

By: olcott on Sat, 23 Dec 2023

16

3 Months 29 Days ago

By: Richard Damon

o The Halting problem is an incorrect question

By: olcott on Sun, 24 Dec 2023

2

3 Months 29 Days ago

By: Richard Damon

o The syllogism proves that the Principle of Explosion is nonsense

By: olcott on Thu, 14 Dec 2023

22

4 Months 2 Days ago

By: immibis

o Good news everyone - the halting problem has been solved! (again)

By: immibis on Tue, 19 Dec 2023

0

4 Months 3 Days ago

By: immibis

o Defeating_Tarski_Undefinability_and_Gödel_1931_Incom

By: olcott on Sun, 17 Dec 2023

1

4 Months 5 Days ago

By: Richard Damon

o The_body_of_analytical_knowledge_cannot_be_incomplete_in_

By: olcott on Fri, 15 Dec 2023

1

4 Months 7 Days ago

By: Richard Damon

o Gödel's_1931_incompleteness_fails_HOL

By: olcott on Sun, 3 Dec 2023

70

4 Months 12 Days ago

By: Richard Damon

o Gödel's_huge_mistake

By: olcott on Mon, 20 Nov 2023

28

5 Months 1 Day ago

By: Richard Damon

o Undecidable decision problems are abolished

By: olcott on Sat, 18 Nov 2023

53

5 Months 2 Days ago

By: Richard Damon

o Self Referential Undecidability Construed as Incorrect Questions

By: Anonymous on Tue, 7 Nov 2023

0

5 Months 15 Days ago

By: Anonymous

o Does the halting problem actually limit what computers can do?

By: olcott on Sun, 29 Oct 2023

59

5 Months 23 Days ago

By: Richard Damon

o a computation is not allowed to report on the machine that it is

By: olcott on Thu, 26 Oct 2023

50

5 Months 25 Days ago

By: Richard Damon

o Analyzing the Peter Linz Halting Problem Proof

By: olcott on Wed, 25 Oct 2023

21

5 Months 27 Days ago

By: Richard Damon

o Mathematical undecidability is an unsound notion V2

By: olcott on Mon, 23 Oct 2023

64

5 Months 29 Days ago

By: Richard Damon

o Mathematical undecidability is an unsound notion

By: olcott on Sat, 21 Oct 2023

32

6 Months ago

By: Richard Damon

o Alan Turing's Halting Problem is incorrectly formed (PART-TWO)

By: olcott on Sat, 21 Oct 2023

2

6 Months 1 Day ago

By: Richard Damon

o Alan Turing's Halting Problem is incorrectly formed (PART-TWO)

By: olcott on Sat, 21 Oct 2023

1

6 Months 1 Day ago

By: Richard Damon

o Simplest Possible Halting Problem Proof Rebuttal

By: olcott on Thu, 19 Oct 2023

10

6 Months 1 Day ago

By: Richard Damon

o Termination Analyzer H is Not Fooled by Pathological Input D

By: olcott on Thu, 19 Oct 2023

16

6 Months 1 Day ago

By: Richard Damon

o Simplified Halting Problem Proof Rebuttal

By: olcott on Sun, 15 Oct 2023

34

6 Months 4 Days ago

By: Richard Damon

o My_unique_take_on_Gödel_1931_Incompleteness_V2

By: olcott on Tue, 17 Oct 2023

3

6 Months 5 Days ago

By: Richard Damon

o My_unique_take_on_Gödel_1931_Incompleteness

By: olcott on Tue, 17 Oct 2023

14

6 Months 5 Days ago

By: Richard Damon

o LIPPOTOTO

By: agus salim on Tue, 17 Oct 2023

0

6 Months 6 Days ago

By: agus salim

o The Psychology of Self-Reference (from 2004)

By: olcott on Wed, 11 Oct 2023

58

6 Months 7 Days ago

By: Richard Damon

o No Thai SPAM on these USENET servers

By: polcott2 on Sat, 14 Oct 2023

0

6 Months 9 Days ago

By: polcott2

o No Thai SPAM on these USENET servers

By: polcott2 on Sat, 14 Oct 2023

0

6 Months 9 Days ago

By: polcott2

o Denial of Service Attack ---> [A Usenet server without the Thai SPAM]

By: polcott2 on Wed, 11 Oct 2023

1

6 Months 9 Days ago

By: polcott2

o _Ok,_sci.logic_is_dead_André_G._Isaak

By: olcott on Sat, 14 Oct 2023

0

6 Months 9 Days ago

By: olcott

o The Psychology of Self-Reference

By: olcott on Tue, 10 Oct 2023

15

6 Months 11 Days ago

By: Richard Damon

o Text only news reader filters out all non-text

By: polcott2 on Wed, 11 Oct 2023

2

6 Months 11 Days ago

By: Richard Damon

o A Usenet server without the Thai SPAM

By: olcott on Wed, 11 Oct 2023

0

6 Months 11 Days ago

By: olcott

o คุณป่วยทางจิ

By: olcott on Wed, 11 Oct 2023

0

6 Months 11 Days ago

By: olcott

o Ok, sci.logic is dead >>> Is the spammer psychotic? <<<

By: olcott on Wed, 11 Oct 2023

1

6 Months 11 Days ago

By: olcott

o Alan Turing's Halting Problem is incorrectly formed (PART-TWO)

By: olcott on Mon, 9 Oct 2023

1

6 Months 13 Days ago

By: Richard Damon

o Thunderbird spam filters work

By: olcott on Sun, 8 Oct 2023

0

6 Months 14 Days ago

By: olcott

o benchmarks for model counting

By: Daniel Pehoushek on Thu, 14 Sep 2023

6

6 Months 17 Days ago

By: Jeffrey Rubard

o Simple Programming Problem but How Many Ways to Do It?

By: Charlie-Boo on Sat, 26 Aug 2023

8

6 Months 26 Days ago

By: Jeffrey Rubard

o Fake Names of Jeffrey Rubard or just a Big Fib ?

By: olcott on Fri, 30 Dec 2022

170

6 Months 27 Days ago

By: Jeffrey Rubard

o Do_people_in_other_Countries_Believe_American_Academ

By: Charlie-Boo on Wed, 13 Sep 2023

2

7 Months ago

By: Jeffrey Rubard

o Check for errors my proof of P=NP

By: Victor Porton on Mon, 21 Aug 2023

2

7 Months ago

By: Jeffrey Rubard

o LCCOMP news 16.09.2023

By: gena...@gmail.com on Sat, 16 Sep 2023

0

7 Months 6 Days ago

By: gena...@gmail.com

o Incompleteness is more aptly construed as the non-sequitur error

By: olcott on Thu, 31 Aug 2023

1

7 Months 23 Days ago

By: Richard Damon

o Termination Analyzer H is Not Fooled by Pathological Input D

By: olcott on Fri, 4 Aug 2023

117

7 Months 25 Days ago

By: Richard Damon

o cia, wh, congress, across the street neighbors, "pancho valvejob,"

By: Philip White on Wed, 26 Oct 2022

4

7 Months 27 Days ago

By: Jeffrey Rubard

o Favorite computation formalism? (The "Best Test" for CS)

By: Jeffrey Rubard on Tue, 28 Dec 2021

34

7 Months 30 Days ago

By: Jeffrey Rubard

o Getting_rid_of_Gödel_Incompleteness

By: olcott on Tue, 22 Aug 2023

3

8 Months ago

By: Richard Damon

o Establishing a better foundation for logic

By: olcott on Sun, 20 Aug 2023

2

8 Months 2 Days ago

By: Richard Damon

o Unusual Programming Question Regarding FOR Loops

By: Charlie-Boo on Sat, 12 Aug 2023

1

8 Months 10 Days ago

By: Richard Damon

o Skolems Solution for Integer-Linear-Recurrences, with Commensurable

By: deepakc@pmail.ntu.ed on Wed, 2 Aug 2023

3

8 Months 10 Days ago

By: deepakc@pmail.ntu.ed

o Why people here can't understand me

By: olcott on Thu, 10 Aug 2023

1

8 Months 12 Days ago

By: Richard Damon

o Transforming predicate logic into correct reasoning.

By: olcott on Sat, 5 Aug 2023

6

8 Months 13 Days ago

By: Richard Damon

o G := ~(F ⊢ G)

By: olcott on Wed, 9 Aug 2023

3

8 Months 13 Days ago

By: Richard Damon

o all active duty usa air force personnel, all active duty usa army personnel

By: Philip J. White on Thu, 27 Jul 2023

3

8 Months 13 Days ago

By: JVV Tenant

o Speaking with people that already hold my same philosophical

By: olcott on Tue, 8 Aug 2023

3

8 Months 14 Days ago

By: Richard Damon

o bassam king karzeddin: Refuting the Halting Problem proofs (Via a

By: bassam karzeddin on Sun, 6 Aug 2023

0

8 Months 16 Days ago

By: bassam karzeddin

o Yeah I never heard back from these firms.

By: Philip J. White on Fri, 28 Jul 2023

5

8 Months 23 Days ago

By: Philip J. White

o all virginia and d.c. residents except me

By: Philip J. White on Thu, 27 Jul 2023

10

8 Months 26 Days ago

By: Philip J. White

o Here's a good investment, especially for me.

By: Philip J. White on Tue, 25 Jul 2023

12

8 Months 27 Days ago

By: Philip J. White

o shouldn't be an emergency, but...somehow...i typed this on wordpress

By: Philip J. White on Tue, 25 Jul 2023

0

8 Months 28 Days ago

By: Philip J. White

o comments about the emergency and how this is going....

By: Philip J. White on Mon, 24 Jul 2023

9

8 Months 28 Days ago

By: Philip J. White

o my parents' abuse addiction

By: Philip J. White on Fri, 21 Jul 2023

7

9 Months ago

By: Philip J. White

o ChatGPT_defining_a_formal_system_that_eliminates_Tarski_U

By: olcott on Wed, 19 Jul 2023

15

9 Months 1 Day ago

By: Philip J. White

o "You're the Jury" related analysis.

By: Philip J. White on Mon, 17 Jul 2023

16

9 Months 4 Days ago

By: Philip J. White

o virginia, massachusetts, california, new york

By: Philip J. White on Wed, 5 Jul 2023

109

9 Months 5 Days ago

By: m syadoz

o correction

By: Philip J. White on Sun, 16 Jul 2023

1

9 Months 6 Days ago

By: Philip J. White

o fair use, emergency: am i seeing the right top stories?

By: Philip J. White on Tue, 11 Jul 2023

8

9 Months 9 Days ago

By: Philip J. White

o H is a halting decidability decider

By: olcott on Tue, 11 Jul 2023

1

9 Months 11 Days ago

By: Richard Damon

o Here_is_how_Gödel_and_Tarski_are_incorrect

By: olcott on Wed, 5 Jul 2023

63

9 Months 12 Days ago

By: Richard Damon

o The long standing objection to my work has been fully addressed

By: olcott on Wed, 5 Jul 2023

19

9 Months 12 Days ago

By: Richard Damon

o Ai in ny

By: m syadoz on Thu, 6 Jul 2023

0

9 Months 16 Days ago

By: m syadoz

o massachusetts, california, virginia, new york

By: Philip J. White on Wed, 5 Jul 2023

6

9 Months 17 Days ago

By: Philip J. White

o a very odd thing about some adult film sites

By: Philip J. White on Wed, 5 Jul 2023

14

9 Months 17 Days ago

By: Philip J. White

o Decidability Decider H

By: olcott on Mon, 3 Jul 2023

83

9 Months 18 Days ago

By: Richard Damon

o NP-complete proof - using FLP reduction

By: User2121 on Tue, 4 Jul 2023

1

9 Months 18 Days ago

By: Philip J. White

o operators of satellites outdoors near me, doj

By: Philip J. White on Tue, 4 Jul 2023

6

9 Months 18 Days ago

By: Philip J. White

o i found porn of zac efron and bronia ichel on the internet, wth!

By: Philip J. White on Mon, 3 Jul 2023

3

9 Months 19 Days ago

By: Philip J. White

Pages:1234567891011121314

There are currently 29 users online
Total messages: 2,302,298

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor