Welcome to Rocksolid Light

mail files register newsreader groups login

Message-ID:

Remember: Silly is a state of Mind, Stupid is a way of Life. -- Dave Butler

devel / comp.theory

Pages:12

Subject	Replies	Last Message
Undecidability based on epistemological antinomies V2 By: olcott on Thu, 18 Apr 2024	115	13 Hours 2 Minutes ago By: Richard Damon
Rule of operations of infinite series -- Euler's formula is an approximate By: wij on Wed, 24 Apr 2024	0	1 Day 20 Hours ago By: wij
Undecidability based on epistemological antinomies By: olcott on Wed, 17 Apr 2024	9	8 Days 10 Hours ago By: Ross Finlayson
Can there be a truth without a truthmaker? By: olcott on Tue, 2 Apr 2024	41	12 Days 23 Hours ago By: Ross Finlayson
Definition of real number ℝ By: wij on Thu, 28 Mar 2024	178	21 Days 11 Hours ago By: Ross Finlayson
Time management By: André G. Isaak on Sat, 23 Mar 2024	163	22 Days 16 Hours ago By: Richard Damon
Does Tarski Undefinability apply to HOL ? By: olcott on Mon, 1 Apr 2024	1	24 Days 15 Hours ago By: Richard Damon
No one can correctly refute that simulating abort decider A(D,D) is correct By: olcott on Wed, 27 Mar 2024	40	27 Days 12 Hours ago By: Richard Damon
Proof that H(D,D) meets its abort criteria By: olcott on Fri, 15 Mar 2024	896	27 Days 21 Hours ago By: Richard Damon
Can any pathological input thwart a simulating abort decider? By: olcott on Fri, 22 Mar 2024	89	27 Days 21 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	41	27 Days 21 Hours ago By: Richard Damon
Repeating decimals are irrational By: wij on Tue, 26 Mar 2024	35	29 Days 11 Hours ago By: Richard Damon
Real Number & Restoring Interpretation of Calculus By: wij on Sun, 24 Mar 2024	28	29 Days 16 Hours ago By: Ross Finlayson
The Real 'Real Number' By: wij on Mon, 25 Mar 2024	2	1 Month ago By: wij
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC By: wij on Fri, 22 Mar 2024	22	1 Month ago By: Richard Damon
French Book entitled "How to succeed in love" was published in 1830 By: HenHanna on Mon, 25 Mar 2024	0	1 Month 1 Day ago By: HenHanna
Re: Proof that H(D,D) meets its abort criteria --honest dialogue-- By: wij on Fri, 22 Mar 2024	9	1 Month 2 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 2 Days ago By: Richard Damon
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC By: wij on Fri, 22 Mar 2024	4	1 Month 3 Days ago By: Richard Damon
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC By: wij on Fri, 22 Mar 2024	2	1 Month 3 Days ago By: Richard Damon
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC By: wij on Fri, 22 Mar 2024	1	1 Month 3 Days ago By: olcott
Re: Proof that H(D,D) meets its abort criteria --honest dialogue--ZFC By: wij on Fri, 22 Mar 2024	1	1 Month 3 Days ago By: olcott
Olcott has proved that the biggest number is 5. By: immibis on Mon, 18 Mar 2024	4	1 Month 4 Days ago By: immibis
Re: Analytical truth redefined so that Quine can understand that bachelors are u By: Mikko on Mon, 18 Mar 2024	24	1 Month 4 Days ago By: Ross Finlayson
ZFC solution to incorrect questions: reject them By: olcott on Tue, 12 Mar 2024	207	1 Month 6 Days ago By: Richard Damon
Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior By: olcott on Sat, 9 Mar 2024	323	1 Month 7 Days ago By: Richard Damon
Re: Analytical truth redefined so that Quine can understand that bachelors are u By: HenHanna on Sun, 17 Mar 2024	0	1 Month 8 Days ago By: HenHanna
Proof that H(D,D) doesn't meet its specification By: immibis on Sun, 17 Mar 2024	0	1 Month 8 Days ago By: immibis
We finally know exactly how H1(D,D) derives a different result than H(D,D) By: olcott on Thu, 7 Mar 2024	341	1 Month 8 Days ago By: olcott
Incorrect questions and halt deciders By: olcott on Wed, 13 Mar 2024	52	1 Month 9 Days ago By: Richard Damon
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 10 Days ago By: immibis
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC --n By: Richard Damon on Wed, 13 Mar 2024	0	1 Month 12 Days ago By: Richard Damon
olcott machines defy the laws of thermodynamics By: Dan Cross on Thu, 7 Mar 2024	134	1 Month 12 Days ago By: immibis
Proving my 2004 claim that some decider/input pairs are incorrect questions By: olcott on Tue, 12 Mar 2024	7	1 Month 13 Days ago By: Richard Damon
A paradox about Cantor's set theory By: wij on Sat, 9 Mar 2024	6	1 Month 14 Days ago By: Ross Finlayson
Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior --RASP By: immibis on Mon, 11 Mar 2024	0	1 Month 14 Days ago By: immibis
Refutation of the Peter Linz Halting Problem proof 2024-03-05 By: olcott on Wed, 6 Mar 2024	123	1 Month 16 Days ago By: Richard Damon
Do olcott machines violate OSHA regulations? By: Dan Cross on Sat, 9 Mar 2024	0	1 Month 16 Days ago By: Dan Cross
Every Olcott machine is equivalent to a Turing machine By: immibis on Fri, 8 Mar 2024	9	1 Month 16 Days ago By: Richard Damon
About real number By: wij on Fri, 8 Mar 2024	9	1 Month 16 Days ago By: immibis
Linz's proofs. By: Ben Bacarisse on Mon, 19 Feb 2024	340	1 Month 17 Days ago By: olcott
Why does H1(D,D) actually get a different result than H(D,D) ??? By: olcott on Sat, 2 Mar 2024	171	1 Month 18 Days ago By: Richard Damon
Olcott machines (now fully defined) might be more powerful than Turing Machines By: olcott on Thu, 7 Mar 2024	19	1 Month 18 Days ago By: olcott
Does Ĥ applied to ⟨Ĥ⟩ specify self-contradiction? V2 By: olcott on Wed, 28 Feb 2024	44	1 Month 19 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 20 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 20 Days ago By: Richard Damon
The Science of Genius by DEAN KEITH SIMONTON By: olcott on Sun, 3 Mar 2024	17	1 Month 20 Days ago By: Richard Damon
Peter Linz H applied to ⟨Ĥ⟩ ⟨Ĥ⟩ gets the correct answer By: olcott on Wed, 28 Feb 2024	34	1 Month 20 Days ago By: olcott
Does Ĥ applied to ⟨Ĥ⟩ specify self-contradiction? By: olcott on Tue, 27 Feb 2024	35	1 Month 23 Days ago By: Richard Damon
I also got a reply from Professor Hehner... By: immibis on Sun, 25 Feb 2024	52	1 Month 25 Days ago By: immibis
your favorite [...Effect] or [...Bias] in Social or Cognitive Psychology? By: HenHanna on Thu, 29 Feb 2024	0	1 Month 27 Days ago By: HenHanna
ℙ≠ℕℙ proof posted at Nov 7, 2022 is confirmed and revised By: wij on Mon, 26 Feb 2024	3	1 Month 30 Days ago By: immibis
A halting decidability decider that can't be fooled By: olcott on Tue, 27 Feb 2024	9	1 Month 30 Days ago By: immibis
There is something wrong with the halting problem By: olcott on Mon, 26 Feb 2024	19	1 Month 30 Days ago By: immibis
Re: Halting Problem proofs appear to be bogus! By: olcott on Sat, 24 Feb 2024	16	2 Months ago By: immibis
Why can't the halting problem be solved? By: olcott on Sun, 25 Feb 2024	36	2 Months ago By: immibis
Converting Linz H applied to ⟨H⟩ ⟨H⟩ to its self contradictory version By: polcot2 on Tue, 20 Feb 2024	97	2 Months ago By: immibis
I got a reply from Professor Macias [he does not know about Turing machines] By: immibis on Wed, 21 Feb 2024	48	2 Months ago By: immibis
Richard cannot say exactly why Ȟ applied to ⟨Ȟ⟩ ⟨Ȟ⟩ gets the wrong answer By: olcott on Sun, 25 Feb 2024	4	2 Months ago By: immibis
Theoretical suggestion By: Dan Cross on Fri, 23 Feb 2024	49	2 Months ago By: immibis
Re: Banach–Tarski paradox By: Ben there done that on Sat, 24 Feb 2024	0	2 Months 1 Day ago By: Ben there done that
What is a halt decider according to Olcott? By: immibis on Sat, 24 Feb 2024	0	2 Months 2 Days ago By: immibis
Meta-level vs not By: immibis on Thu, 22 Feb 2024	1	2 Months 2 Days ago By: immibis
Ben Bacarisse inaccurate disparagement of my work By: olcott on Tue, 20 Feb 2024	10	2 Months 4 Days ago By: olcott
ℙ≠ℕℙ proof ('official') By: wij on Wed, 21 Feb 2024	2	2 Months 4 Days ago By: Ben Bacarisse
Purpose of this group? By: Dan Cross on Mon, 12 Feb 2024	193	2 Months 5 Days ago By: Richard Damon
Linz H' is merely the self-contradictory form of Linz H applied to ⟨H⟩ By: olcott on Fri, 16 Feb 2024	49	2 Months 6 Days ago By: olcott
x=2-x is self-referential, therefore unsolvable By: immibis on Mon, 19 Feb 2024	0	2 Months 7 Days ago By: immibis
Linz Ĥ applied to ⟨Ĥ⟩ is the self-contradictory form of Olcott Ȟ applied to ⟨Ȟ⟩ By: olcott on Fri, 16 Feb 2024	66	2 Months 7 Days ago By: immibis
ℙ!=ℕℙ proof By: wij on Fri, 2 Feb 2024	3	2 Months 7 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	180	2 Months 9 Days ago By: Richard Damon
A problem about prime number By: wij on Fri, 16 Feb 2024	2	2 Months 9 Days ago By: immibis
Refuting the Tarski Undefinability Theorem By: olcott on Sun, 4 Feb 2024	65	2 Months 13 Days ago By: Richard Damon
Re: Question words, and what's an answer By: Ross Finlayson on Sun, 11 Feb 2024	0	2 Months 14 Days ago By: Ross Finlayson
To understand the misconception of mathematical incompleteness... By: olcott on Sun, 4 Feb 2024	26	2 Months 20 Days ago By: Richard Damon
Why does Olcott continue to ignore the finite/infinite sequence formulation of t By: immibis on Tue, 30 Jan 2024	40	2 Months 20 Days ago By: Richard Damon
Another rebuttal of Halting Problem? By: wij on Sun, 21 Jan 2024	993	2 Months 20 Days ago By: Ross Finlayson
Re: The Psychology of Self-Reference By: olcott on Sun, 28 Jan 2024	67	2 Months 20 Days ago By: immibis
H correctly rejects D as non-halting By: olcott on Sat, 3 Feb 2024	14	2 Months 20 Days ago By: immibis
Does this criteria prove that Y calls X in infinite recursion? By: olcott on Thu, 1 Feb 2024	18	2 Months 20 Days ago By: immibis
H is necessarily correct to reject D as non-halting [tautology] By: olcott on Wed, 31 Jan 2024	9	2 Months 25 Days ago By: Richard Damon
Easy version of P!=NP proof By: wij on Wed, 31 Jan 2024	0	2 Months 26 Days ago By: wij
Another definition of the Halting Problem By: immibis on Mon, 29 Jan 2024	0	2 Months 28 Days ago By: immibis
Every Turing machine/input pair has one and only one execution sequence By: immibis on Sun, 28 Jan 2024	0	2 Months 28 Days ago By: immibis
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
About building a "general logic based on computation" By: wij on Sun, 21 Jan 2024	5	2 Months 29 Days ago By: wij
Re: Michael Sipser of MIT validates the notion of a simulating halt decider By: olcott on Fri, 26 Jan 2024	21	2 Months 29 Days ago By: Richard Damon
The directly executed D(D) does not halt By: olcott on Wed, 24 Jan 2024	11	3 Months ago By: immibis
Tarski anchors his whole proof in the Liar Paradox By: olcott on Wed, 24 Jan 2024	2	3 Months 1 Day ago By: Richard Damon
Is this a paradox? what is 'equal'? By: wij on Tue, 23 Jan 2024	11	3 Months 2 Days ago By: Mikko
Proof that Olcott doesn't understand proof by contradiction By: immibis on Mon, 22 Jan 2024	3	3 Months 2 Days ago By: immibis
Can Olcott agree on these 8 points? By: immibis on Sun, 21 Jan 2024	1	3 Months 4 Days ago By: immibis
Correcting the definition of the terms of the halting problem By: olcott on Fri, 19 Jan 2024	228	3 Months 4 Days ago By: immibis
The correct definition of a halting decider By: immibis on Sun, 21 Jan 2024	5	3 Months 4 Days ago By: immibis
Re: ---Richard admits simulated DD cannot halt--- But Olcott doesn't understand By: Richard Damon on Sun, 21 Jan 2024	0	3 Months 4 Days ago By: Richard Damon
Does Olcott accept these definitions? (Turing machine; execution trace) By: immibis on Sun, 21 Jan 2024	1	3 Months 4 Days ago By: immibis
Olcott can't answer this barber question By: immibis on Fri, 19 Jan 2024	5	3 Months 5 Days ago By: Mikko
Why is it called x86utm if it's not a utm? By: immibis on Sat, 20 Jan 2024	7	3 Months 5 Days ago By: Richard Damon
Proof the barber doesn't shave himself By: immibis on Sat, 20 Jan 2024	0	3 Months 5 Days ago By: immibis
The ultimate measure of a correct simulation By: olcott on Thu, 18 Jan 2024	49	3 Months 5 Days ago By: immibis
The HP is merely a self-contradictory question By: olcott on Fri, 29 Dec 2023	522	3 Months 6 Days ago By: Richard Damon
Try and show how D correctly simulated by H reaches its own line 09 By: olcott on Thu, 11 Jan 2024	56	3 Months 7 Days ago By: Mikko
DD correctly simulated by HH By: olcott on Thu, 18 Jan 2024	7	3 Months 7 Days ago By: Richard Damon
The halting problem can't be solved By: immibis on Tue, 9 Jan 2024	51	3 Months 8 Days ago By: Richard Damon
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 8 Days ago By: Richard Damon
Correction to of the error in the halting problem specification By: olcott on Sun, 14 Jan 2024	73	3 Months 8 Days ago By: Richard Damon
Calculus is the math. based on ignoring infinitesmal error. By: wij on Wed, 17 Jan 2024	16	3 Months 8 Days ago By: wij
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 9 Days ago By: Richard Damon
Some definitions for Olcott By: immibis on Wed, 10 Jan 2024	60	3 Months 9 Days ago By: immibis
test By: wij on Tue, 16 Jan 2024	0	3 Months 9 Days ago By: wij
POOH proves GUR By: wij on Tue, 16 Jan 2024	0	3 Months 9 Days ago By: wij
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 10 Days ago By: Richard Damon
Olcott rejects the existence of true but unprovable facts By: immibis on Fri, 12 Jan 2024	22	3 Months 11 Days ago By: immibis
A property of future computation machine By: wij on Sun, 14 Jan 2024	1	3 Months 11 Days ago By: wij
Address differences By: immibis on Sat, 13 Jan 2024	8	3 Months 11 Days ago By: Richard Damon
Execution trace of D correctly simulated by H By: olcott on Thu, 11 Jan 2024	28	3 Months 11 Days ago By: immibis
Bob is a barber By: immibis on Sat, 13 Jan 2024	8	3 Months 11 Days ago By: Richard Damon
Re: SketchUp Pro 2019 Crack License Key Latest Version By: Lawrence D'Oliv on Thu, 11 Jan 2024	0	3 Months 15 Days ago By: Lawrence D'Oliv
Fact By: immibis on Wed, 10 Jan 2024	0	3 Months 16 Days ago By: immibis
A correct simulation of D by H cannot possibly terminate normally By: olcott on Tue, 9 Jan 2024	10	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 19 Days ago By: Richard Damon
A possible solution to the Biggest Number Problem By: immibis on Sun, 7 Jan 2024	0	3 Months 19 Days ago By: immibis
The Halting problem is an incorrect question V2 By: olcott on Wed, 27 Dec 2023	16	3 Months 21 Days ago By: Richard Damon
The Halting problem is an incorrect question V2 By: olcott on Sun, 24 Dec 2023	62	3 Months 23 Days ago By: Richard Damon
The BNP is merely a self-contradictory question By: olcott on Tue, 2 Jan 2024	3	3 Months 23 Days ago By: immibis
The_BOAK_formal_system_excludes_Gödel's_1931_Incom By: olcott on Sat, 23 Dec 2023	16	4 Months 1 Day ago By: Richard Damon
The Halting problem is an incorrect question By: olcott on Sun, 24 Dec 2023	2	4 Months 1 Day ago By: Richard Damon
The syllogism proves that the Principle of Explosion is nonsense By: olcott on Thu, 14 Dec 2023	22	4 Months 6 Days ago By: immibis
Good news everyone - the halting problem has been solved! (again) By: immibis on Tue, 19 Dec 2023	0	4 Months 7 Days ago By: immibis
Defeating_Tarski_Undefinability_and_Gödel_1931_Incom By: olcott on Sun, 17 Dec 2023	1	4 Months 9 Days ago By: Richard Damon
The_body_of_analytical_knowledge_cannot_be_incomplete_in_ By: olcott on Fri, 15 Dec 2023	1	4 Months 10 Days ago By: Richard Damon
Gödel's_1931_incompleteness_fails_HOL By: olcott on Sun, 3 Dec 2023	69	4 Months 16 Days ago By: Richard Damon
Gödel's_huge_mistake By: olcott on Mon, 20 Nov 2023	28	5 Months 4 Days ago By: Richard Damon
Undecidable decision problems are abolished By: olcott on Sat, 18 Nov 2023	53	5 Months 5 Days ago By: Richard Damon
Self Referential Undecidability Construed as Incorrect Questions By: Anonymous on Tue, 7 Nov 2023	0	5 Months 19 Days ago By: Anonymous
Does the halting problem actually limit what computers can do? By: olcott on Sun, 29 Oct 2023	59	5 Months 26 Days ago By: Richard Damon
a computation is not allowed to report on the machine that it is By: olcott on Thu, 26 Oct 2023	50	5 Months 29 Days ago By: Richard Damon
Analyzing the Peter Linz Halting Problem Proof By: olcott on Wed, 25 Oct 2023	21	5 Months 30 Days ago By: Richard Damon
Mathematical undecidability is an unsound notion V2 By: olcott on Mon, 23 Oct 2023	64	6 Months 1 Day ago By: Richard Damon
Mathematical undecidability is an unsound notion By: olcott on Sat, 21 Oct 2023	32	6 Months 3 Days ago By: Richard Damon
Alan Turing's Halting Problem is incorrectly formed (PART-TWO) By: olcott on Sat, 21 Oct 2023	2	6 Months 4 Days ago By: Richard Damon
Alan Turing's Halting Problem is incorrectly formed (PART-TWO) By: olcott on Sat, 21 Oct 2023	1	6 Months 4 Days ago By: Richard Damon
Simplest Possible Halting Problem Proof Rebuttal By: olcott on Thu, 19 Oct 2023	10	6 Months 5 Days ago By: Richard Damon
Termination Analyzer H is Not Fooled by Pathological Input D By: olcott on Thu, 19 Oct 2023	16	6 Months 5 Days ago By: Richard Damon
Simplified Halting Problem Proof Rebuttal By: olcott on Sun, 15 Oct 2023	34	6 Months 7 Days ago By: Richard Damon
My_unique_take_on_Gödel_1931_Incompleteness_V2 By: olcott on Tue, 17 Oct 2023	3	6 Months 8 Days ago By: Richard Damon
My_unique_take_on_Gödel_1931_Incompleteness By: olcott on Tue, 17 Oct 2023	14	6 Months 9 Days ago By: Richard Damon
The Psychology of Self-Reference (from 2004) By: olcott on Wed, 11 Oct 2023	58	6 Months 11 Days ago By: Richard Damon
No Thai SPAM on these USENET servers By: polcott2 on Sat, 14 Oct 2023	0	6 Months 12 Days ago By: polcott2
No Thai SPAM on these USENET servers By: polcott2 on Sat, 14 Oct 2023	0	6 Months 12 Days ago By: polcott2
Denial of Service Attack ---> [A Usenet server without the Thai SPAM] By: polcott2 on Wed, 11 Oct 2023	1	6 Months 12 Days ago By: polcott2
_Ok,_sci.logic_is_dead_André_G._Isaak By: olcott on Sat, 14 Oct 2023	0	6 Months 12 Days ago By: olcott
The Psychology of Self-Reference By: olcott on Tue, 10 Oct 2023	15	6 Months 14 Days ago By: Richard Damon
Text only news reader filters out all non-text By: polcott2 on Wed, 11 Oct 2023	2	6 Months 14 Days ago By: Richard Damon
A Usenet server without the Thai SPAM By: olcott on Wed, 11 Oct 2023	0	6 Months 14 Days ago By: olcott
คุณป่วยทางจิ By: olcott on Wed, 11 Oct 2023	0	6 Months 14 Days ago By: olcott
Ok, sci.logic is dead >>> Is the spammer psychotic? <<< By: olcott on Wed, 11 Oct 2023	1	6 Months 15 Days ago By: olcott
Alan Turing's Halting Problem is incorrectly formed (PART-TWO) By: olcott on Mon, 9 Oct 2023	1	6 Months 17 Days ago By: Richard Damon
Thunderbird spam filters work By: olcott on Sun, 8 Oct 2023	0	6 Months 17 Days ago By: olcott
benchmarks for model counting By: Daniel Pehoushek on Thu, 14 Sep 2023	6	6 Months 20 Days ago By: Jeffrey Rubard
Simple Programming Problem but How Many Ways to Do It? By: Charlie-Boo on Sat, 26 Aug 2023	8	6 Months 29 Days ago By: Jeffrey Rubard
[ G is not provable in F ] CYC project By: Jeffrey Rubard on Tue, 26 Sep 2023	0	6 Months 30 Days ago By: Jeffrey Rubard
Do_people_in_other_Countries_Believe_American_Academ By: Charlie-Boo on Wed, 13 Sep 2023	2	7 Months 3 Days ago By: Jeffrey Rubard
Check for errors my proof of P=NP By: Victor Porton on Mon, 21 Aug 2023	2	7 Months 3 Days ago By: Jeffrey Rubard
[ G is not provable in F ] CYC project By: Jeffrey Rubard on Fri, 22 Sep 2023	0	7 Months 3 Days ago By: Jeffrey Rubard
[ G is not provable in F ] CYC project By: Jeffrey Rubard on Fri, 22 Sep 2023	0	7 Months 3 Days ago By: Jeffrey Rubard
LCCOMP news 16.09.2023 By: gena...@gmail.com on Sat, 16 Sep 2023	0	7 Months 9 Days ago By: gena...@gmail.com
[ G is not provable in F ] CYC project By: Jeffrey Rubard on Sat, 2 Sep 2023	0	7 Months 23 Days ago By: Jeffrey Rubard
[ G is not provable in F ] CYC project By: Jeffrey Rubard on Fri, 1 Sep 2023	0	7 Months 24 Days ago By: Jeffrey Rubard
Incompleteness is more aptly construed as the non-sequitur error By: olcott on Thu, 31 Aug 2023	1	7 Months 26 Days ago By: Richard Damon
Termination Analyzer H is Not Fooled by Pathological Input D By: olcott on Fri, 4 Aug 2023	117	7 Months 28 Days ago By: Richard Damon
cia, wh, congress, across the street neighbors, "pancho By: Jeffrey Rubard on Sat, 26 Aug 2023	1	7 Months 30 Days ago By: Jeffrey Rubard
Favorite computation formalism? (The "Best Test" for CS) PLO By: olcott on Wed, 16 Aug 2023	5	8 Months 2 Days ago By: Jeffrey Rubard
Getting_rid_of_Gödel_Incompleteness By: olcott on Tue, 22 Aug 2023	3	8 Months 3 Days ago By: Richard Damon
Establishing a better foundation for logic By: olcott on Sun, 20 Aug 2023	2	8 Months 5 Days ago By: Richard Damon
Favorite computation formalism? (The "Best Test" for CS) By: Rock Brentwood on Tue, 15 Aug 2023	1	8 Months 10 Days ago By: Andy Walker
Unusual Programming Question Regarding FOR Loops By: Charlie-Boo on Sat, 12 Aug 2023	1	8 Months 13 Days ago By: Richard Damon
Skolems Solution for Integer-Linear-Recurrences, with Commensurable By: deepakc@pmail.ntu.ed on Wed, 2 Aug 2023	3	8 Months 14 Days ago By: deepakc@pmail.ntu.ed
Why people here can't understand me By: olcott on Thu, 10 Aug 2023	1	8 Months 16 Days ago By: Richard Damon
Transforming predicate logic into correct reasoning. By: olcott on Sat, 5 Aug 2023	6	8 Months 16 Days ago By: Richard Damon
G := ~(F ⊢ G) By: olcott on Wed, 9 Aug 2023	3	8 Months 16 Days ago By: Richard Damon
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 16 Days ago By: JVV Tenant
Speaking with people that already hold my same philosophical By: olcott on Tue, 8 Aug 2023	3	8 Months 17 Days ago By: Richard Damon
bassam king karzeddin: Refuting the Halting Problem proofs (Via a By: bassam karzeddin on Sun, 6 Aug 2023	0	8 Months 19 Days ago By: bassam karzeddin
Yeah I never heard back from these firms. By: Philip J. White on Fri, 28 Jul 2023	5	8 Months 26 Days ago By: Philip J. White
all virginia and d.c. residents except me By: Philip J. White on Thu, 27 Jul 2023	10	8 Months 29 Days ago By: Philip J. White
Here's a good investment, especially for me. By: Philip J. White on Tue, 25 Jul 2023	12	8 Months 30 Days ago By: Philip J. White
shouldn't be an emergency, but...somehow...i typed this on wordpress By: Philip J. White on Tue, 25 Jul 2023	0	9 Months 1 Day ago By: Philip J. White
comments about the emergency and how this is going.... By: Philip J. White on Mon, 24 Jul 2023	9	9 Months 1 Day ago By: Philip J. White
my parents' abuse addiction By: Philip J. White on Fri, 21 Jul 2023	7	9 Months 3 Days ago By: Philip J. White
ChatGPT_defining_a_formal_system_that_eliminates_Tarski_U By: olcott on Wed, 19 Jul 2023	15	9 Months 5 Days ago By: Philip J. White
"You're the Jury" related analysis. By: Philip J. White on Mon, 17 Jul 2023	16	9 Months 7 Days ago By: Philip J. White
virginia, massachusetts, california, new york By: Philip J. White on Wed, 5 Jul 2023	109	9 Months 9 Days ago By: m syadoz
correction By: Philip J. White on Sun, 16 Jul 2023	1	9 Months 9 Days ago By: Philip J. White
fair use, emergency: am i seeing the right top stories? By: Philip J. White on Tue, 11 Jul 2023	8	9 Months 13 Days ago By: Philip J. White
H is a halting decidability decider By: olcott on Tue, 11 Jul 2023	1	9 Months 14 Days ago By: Richard Damon
Here_is_how_Gödel_and_Tarski_are_incorrect By: olcott on Wed, 5 Jul 2023	63	9 Months 15 Days ago By: Richard Damon
The long standing objection to my work has been fully addressed By: olcott on Wed, 5 Jul 2023	19	9 Months 15 Days ago By: Richard Damon
Ai in ny By: m syadoz on Thu, 6 Jul 2023	0	9 Months 19 Days ago By: m syadoz
massachusetts, california, virginia, new york By: Philip J. White on Wed, 5 Jul 2023	6	9 Months 20 Days ago By: Philip J. White

Pages:12

There are currently 98 users online
Total messages: 575,624

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor

Remember: Silly is a state of Mind, Stupid is a way of Life. -- Dave Butler

devel / comp.theory

There are currently 98 users online Total messages: 575,624

There are currently 98 users online
Total messages: 575,624