Welcome to Rocksolid Light

mail files register newsreader groups login

Message-ID:

"America is a stronger nation for the ACLU's uncompromising effort." -- President John F. Kennedy

devel / comp.theory

Pages:12

Subject	Replies	Last Message
Here_is_how_Gödel_and_Tarski_are_incorrect By: olcott on Wed, 5 Jul 2023	63	9 Months 26 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 26 Days ago By: Richard Damon
Ai in ny By: m syadoz on Thu, 6 Jul 2023	0	10 Months ago By: m syadoz
massachusetts, california, virginia, new york By: Philip J. White on Wed, 5 Jul 2023	6	10 Months 1 Day ago By: Philip J. White
a very odd thing about some adult film sites By: Philip J. White on Wed, 5 Jul 2023	14	10 Months 1 Day ago By: Philip J. White
Decidability Decider H By: olcott on Mon, 3 Jul 2023	83	10 Months 2 Days ago By: Richard Damon
NP-complete proof - using FLP reduction By: User2121 on Tue, 4 Jul 2023	1	10 Months 2 Days ago By: Philip J. White
operators of satellites outdoors near me, doj By: Philip J. White on Tue, 4 Jul 2023	6	10 Months 2 Days ago By: Philip J. White
i found porn of zac efron and bronia ichel on the internet, wth! By: Philip J. White on Mon, 3 Jul 2023	3	10 Months 3 Days ago By: Philip J. White
!!!11 By: Philip J. White on Tue, 27 Jun 2023	97	10 Months 5 Days ago By: Philip J. White
Termination Analyzer H is Not Fooled by Pathological Input D By: olcott on Fri, 23 Jun 2023	55	10 Months 9 Days ago By: Richard Damon
06272023 posts By: Philip J. White on Tue, 27 Jun 2023	0	10 Months 9 Days ago By: Philip J. White
us cyber command, nsa, dod, cia, dos, white house, congress, us army, By: Philip J. White on Fri, 23 Jun 2023	106	10 Months 10 Days ago By: Philip J. White
A Message For All Bumble Bees, Globally By: Philip J. White on Sat, 24 Jun 2023	20	10 Months 11 Days ago By: Philip J. White
any man in the united states who has tried to stalk or harass or make By: Philip J. White on Sun, 18 Jun 2023	31	10 Months 13 Days ago By: Philip J. White
ChatGPT agrees that the halting problem input can be construed as an By: olcott on Sat, 17 Jun 2023	79	10 Months 14 Days ago By: olcott
Refutation of the Ben Bacarisse Rebuttal and [Liar Paradox] By: olcott on Thu, 22 Jun 2023	2	10 Months 14 Days ago By: Richard Damon
Refutation of the Ben Bacarisse Rebuttal By: olcott on Mon, 19 Jun 2023	29	10 Months 14 Days ago By: Richard Damon
ANP!=P suggests NP!=P By: wij on Wed, 21 Jun 2023	0	10 Months 15 Days ago By: wij
Ben Bacarisse specifically targets my posts to discourage honest By: olcott on Tue, 20 Jun 2023	0	10 Months 16 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest By: olcott on Tue, 20 Jun 2023	0	10 Months 16 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest By: olcott on Tue, 20 Jun 2023	0	10 Months 16 Days ago By: olcott
Ben Bacarisse specifically targets my posts to discourage honest By: olcott on Tue, 20 Jun 2023	0	10 Months 16 Days ago By: olcott
Travelling salesman problem By: V_õ_l_u_r on Tue, 20 Jun 2023	0	10 Months 17 Days ago By: V õ l u r
Ben Bacarisse specifically targets my posts to discourage honest By: olcott on Mon, 19 Jun 2023	2	10 Months 17 Days ago By: olcott
Proof: Another_NP != P By: wij on Sun, 18 Jun 2023	3	10 Months 17 Days ago By: Ben Bacarisse
Termination Analyzer H correctly prevents Denial of Service attacks By: olcott on Tue, 13 Jun 2023	27	10 Months 19 Days ago By: Richard Damon
Termination Analyzer H prevents Denial of Service attacks By: olcott on Thu, 15 Jun 2023	15	10 Months 20 Days ago By: Richard Damon
$100 Reward for a ZFC Proof of Any Common Mathematics Theorem - Gig By: Charlie-Boo on Tue, 6 Jun 2023	7	10 Months 20 Days ago By: wij
Copyright Release For Patient Reports and Non-Blog Clearly By: Philip J. White on Sun, 11 Jun 2023	43	10 Months 21 Days ago By: Philip J. White
initial size of a std::vector of std::strings By: Richard Damon on Thu, 15 Jun 2023	0	10 Months 22 Days ago By: Richard Damon
Termination Analyzer H correctly determines that its "impossible" By: olcott on Sat, 10 Jun 2023	38	10 Months 23 Days ago By: Richard Damon
Can D simulated by H terminate normally? By: olcott on Mon, 12 Jun 2023	11	10 Months 23 Days ago By: Richard Damon
Air Force pushes back on claim that military AI drone sim killed By: Jeff Barnett on Mon, 12 Jun 2023	0	10 Months 25 Days ago By: Jeff Barnett
Important Q&A By: Philip J. White on Sat, 10 Jun 2023	43	10 Months 25 Days ago By: Philip J. White
Michael Sipser of MIT validates the notion of a simulating halt By: olcott on Sat, 10 Jun 2023	1	10 Months 26 Days ago By: Richard Damon
new thread, post got shot down By: Philip J. White on Fri, 9 Jun 2023	12	10 Months 27 Days ago By: wij
Randomness deleted. By: Philip J. White on Fri, 9 Jun 2023	2	10 Months 27 Days ago By: Philip J. White
ai commands By: Philip J. White on Wed, 7 Jun 2023	72	10 Months 27 Days ago By: Philip J. White
fbi, cia, nsa, dhs, congress, white house By: Philip J. White on Tue, 6 Jun 2023	3	10 Months 27 Days ago By: Jeffrey Rubard
The standard input to all modern termination analyzers LLVM.IR By: olcott on Thu, 8 Jun 2023	1	10 Months 28 Days ago By: Richard Damon
The state of the art best term rewrite termination analyzers are of By: olcott on Tue, 6 Jun 2023	15	10 Months 29 Days ago By: Richard Damon
another test - please ignore By: Mr Flibble on Wed, 7 Jun 2023	0	10 Months 29 Days ago By: Mr Flibble
test - please ignore By: Mr Flibble on Wed, 7 Jun 2023	0	10 Months 29 Days ago By: Mr Flibble
I just figured out the issue. This resolve things, for me, faster. By: Philip J. White on Sun, 4 Jun 2023	8	11 Months ago By: wij
henrico county police department, va state police By: Philip J. White on Sat, 3 Jun 2023	3	11 Months 1 Day ago By: Jeffrey Rubard
fbi By: Philip J. White on Fri, 2 Jun 2023	7	11 Months 3 Days ago By: wij
Can D simulated by H terminate normally? By: olcott on Fri, 19 May 2023	117	11 Months 8 Days ago By: Richard Damon
The principle of explosion diverges from correct reasoning By: olcott on Mon, 22 May 2023	13	11 Months 13 Days ago By: Jeffrey Rubard
Unfortunately, I'm back. Reddit is gaslighting me. By: Philip J. White on Wed, 17 May 2023	3	11 Months 19 Days ago By: Zach
Creating A PATH in miniPROLOG By: Graham Cooper on Wed, 17 May 2023	0	11 Months 19 Days ago By: Graham Cooper
Simulating (partial) Halt Deciders [updated paper] By: olcott on Wed, 10 May 2023	20	11 Months 25 Days ago By: Richard Damon
Gödel's_proof_relies_on_self-contradictory_express By: olcott on Sun, 7 May 2023	137	11 Months 25 Days ago By: Richard Damon
05052023 By: Philip J. White on Sat, 6 May 2023	58	11 Months 26 Days ago By: wij
mP FORMAL PROOF By: Graham Cooper on Tue, 9 May 2023	0	11 Months 27 Days ago By: Graham Cooper
********************************* miniPROLOG *************************** By: Graham Cooper on Tue, 9 May 2023	0	11 Months 27 Days ago By: Graham Cooper
A proof of G in F By: olcott on Sun, 26 Mar 2023	520	11 Months 29 Days ago By: Richard Damon
Professional Update. By: Philip J. White on Wed, 3 May 2023	11	1 Year ago By: Zach
miniPROLOG --- num [ s 0 ] ........................... 5 page trace By: Graham Cooper on Fri, 5 May 2023	0	1 Year ago By: Graham Cooper
Halting Problem solved! By: Man of Your dreams on Mon, 1 May 2023	1	1 Year ago By: Philip J. White
How does one get honest reviews from dishonest reviewers? [verified facts] V2 By: Mr Flibble on Thu, 4 May 2023	0	1 Year ago By: Mr Flibble
How does one get honest reviews from dishonest reviewers? By: Man of Your dreams on Thu, 4 May 2023	0	1 Year ago By: Man of Your dreams
LCCOMP news 03.05.2023 By: gena...@gmail.com on Thu, 4 May 2023	0	1 Year ago By: gena...@gmail.com
SIMPLE UNIFY( string1 string2 ) By: Graham Cooper on Wed, 3 May 2023	0	1 Year ago By: Graham Cooper
cia, congress, uk, turkey, hcpd, va state police, france By: Man of Your dreams on Mon, 1 May 2023	27	1 Year ago By: Philip \Totally Sing
Super fast database for faster webpages. By: Man of Your dreams on Tue, 2 May 2023	0	1 Year ago By: Man of Your dreams
NEW PLAN TO GET MY RELEASE By: Philip \Totally Sing on Mon, 1 May 2023	12	1 Year ago By: Philip \Totally Sing
Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs By: olcott on Tue, 18 Apr 2023	107	1 Year ago By: Richard Damon
04292023--continuation of anti-wij insult By: Philip White on Sun, 30 Apr 2023	43	1 Year ago By: Zach
_AVAILABLE_100%_UNDETECTABLE_NOTES_TOP_CURRENCIES By: Man of Your dreams on Mon, 1 May 2023	0	1 Year ago By: Man of Your dreams
There exists a G such that G is logically equivalent to its own By: olcott on Sat, 22 Apr 2023	42	1 Year ago By: Man of Your dreams
Copyright. By: Man of Your dreams on Mon, 1 May 2023	0	1 Year ago By: Man of Your dreams
************ SIMPLE CANTOR DISPROOF (3 LINES) ************ By: Man of Your dreams on Mon, 1 May 2023	0	1 Year ago By: Man of Your dreams
News comment. By: Philip \Totally Sing on Mon, 1 May 2023	1	1 Year ago By: Philip \Totally Sing
DeBUG NightMare ............. add [ s [s 0] ] , [ s [s 0] ] By: Graham Cooper on Sun, 30 Apr 2023	0	1 Year ago By: Graham Cooper
14 sanction, in lieu of a lawsuit By: Philip White on Sun, 30 Apr 2023	0	1 Year ago By: Philip White
News comment. By: Philip White on Sun, 30 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Zach on Fri, 28 Apr 2023	76	1 Year ago By: Philip White
counting down ... three two one ... By: Graham Cooper on Sat, 29 Apr 2023	1	1 Year ago By: Zach
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
04272023 By: Philip White on Fri, 28 Apr 2023	0	1 Year ago By: Philip White
There exists a G in F that proves its own unprovability in F By: olcott on Tue, 25 Apr 2023	3	1 Year ago By: olcott
Halting Problem solved! By: Mr Flibble on Sat, 22 Apr 2023	16	1 Year ago By: olcott
Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs By: olcott on Wed, 12 Apr 2023	0	1 Year ago By: olcott
Introducing the foundation of correct reasoning By: olcott on Sat, 1 Apr 2023	3	1 Year 1 Month ago By: olcott
A proof of G in F is impossible By: olcott on Sat, 1 Apr 2023	19	1 Year 1 Month ago By: olcott
A proof of G in F By: olcott on Sat, 25 Mar 2023	28	1 Year 1 Month ago By: olcott
A proof of G in F cannot exist in F By: olcott on Sun, 26 Mar 2023	1	1 Year 1 Month ago By: olcott
Introducing the foundation of correct reasoning By: olcott on Sat, 18 Mar 2023	21	1 Year 1 Month ago By: olcott
The essence of my rebuttal of the Halting Theorem By: olcott on Wed, 22 Mar 2023	2	1 Year 1 Month ago By: olcott

Pages:12

There are currently 150 users online
Total messages: 599,022

server_pubkey.txt

rocksolid light 0.9.81
clearnet tor

"America is a stronger nation for the ACLU's uncompromising effort." -- President John F. Kennedy

devel / comp.theory

There are currently 150 users online Total messages: 599,022

There are currently 150 users online
Total messages: 599,022