Rocksolid Light

Welcome to Rocksolid Light

mail  files  register  newsreader  groups  login

Message-ID:  

Why did the Roman Empire collapse? What is the Latin for office automation?


computers / comp.ai.philosophy

1
SubjectRepliesLast Message
o Amid explosive demand, America is running out of power

By: AI is a control scam on Sat, 6 Apr 2024

1

19 Days 12 Hours ago

By: Mitchell Holman

o Re: ZFC solution to incorrect questions: reject them --discourse context --

By: Ross Finlayson on Sun, 17 Mar 2024

1

1 Month 8 Days ago

By: Ross Finlayson

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

By: HenHanna on Sun, 17 Mar 2024

1

1 Month 8 Days ago

By: olcott

o California lawmakers bring hammer down on self-driving car companies

By: Unsafe Period on Sat, 16 Mar 2024

0

1 Month 10 Days ago

By: Unsafe Period

o Re: ZFC solution to incorrect questions: reject them

By: Ross Finlayson on Wed, 13 Mar 2024

8

1 Month 11 Days ago

By: Richard Damon

o DEI killed the CHIPS Act

By: useapen on Wed, 13 Mar 2024

0

1 Month 13 Days ago

By: useapen

o Re: ZFC solution to incorrect questions: reject them

By: Ross Finlayson on Tue, 12 Mar 2024

0

1 Month 13 Days ago

By: Ross Finlayson

o Silicon Valley Programmers Have Coded Anti-White Bias Into AI

By: useapen on Sun, 3 Mar 2024

0

1 Month 23 Days ago

By: useapen

o Oxfordians say "go to dogie haven"

By: Douglas Eagleson on Tue, 20 Feb 2024

4

1 Month 25 Days ago

By: HenHanna

o dESCARTESE'S Rule: found in old 90 Year old Dictionary

By: Douglas Eagleson on Tue, 20 Feb 2024

0

2 Months 5 Days ago

By: Douglas Eagleson

o I'm gonnA miss YOU too

By: Artist (nickis jobse on Sat, 10 Feb 2024

0

2 Months 15 Days ago

By: Artist (nickis jobse

o NO! It's because he's a FUCKING NIGGER!!! Re: Meta's AI-Powered Tom Brady Bot T

By: John Doe on Tue, 6 Feb 2024

3

2 Months 16 Days ago

By: Artist (nickis jobse

o Now you know the reason in abstract the hand of a prophit's hand.

By: Douglas Eagleson on Tue, 23 Jan 2024

3

2 Months 16 Days ago

By: Artist (nickis jobse

o some 'predictive' notions from the 1960's

By: Artist (nickis jobse on Sat, 3 Feb 2024

0

2 Months 22 Days ago

By: Artist (nickis jobse

o A Formal Utter from Douglas Miller Eagleson

By: Douglas Eagleson on Sun, 22 Oct 2023

8

2 Months 29 Days ago

By: Douglas Eagleson

o test formatting

By: olcott on Fri, 5 Jan 2024

1

3 Months ago

By: test

o Google lays off hundreds working on its voice-activated assistant

By: axe cometh on Thu, 11 Jan 2024

2

3 Months 13 Days ago

By: Truthslave

o Meta's AI-Powered Tom Brady Bot Trashes Colin Kaepernick, Saying

By: Nicki makethings on Fri, 10 Nov 2023

1

3 Months 19 Days ago

By: nichola HatfieldElso

o Michael Cohen used Google's AI to research legal cases to cite in his appeal. Th

By: Lol @NYC dummyrats on Fri, 29 Dec 2023

1

3 Months 24 Days ago

By: Truthslave

o Liar Michael Cohen Used Artificial Intelligence in Feeding Lawyer Bogus Cases

By: AI Sux on Fri, 29 Dec 2023

0

3 Months 27 Days ago

By: AI Sux

o The syllogism proves that the Principle of Explosion is nonsense

By: olcott on Thu, 14 Dec 2023

27

4 Months ago

By: olcott

o explain to me, please !

By: Nicki makethings on Fri, 15 Dec 2023

3

4 Months 1 Day ago

By: Nicki makethings

o 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

o The Halting problem is an incorrect question

By: olcott on Sun, 24 Dec 2023

1

4 Months 1 Day ago

By: olcott

o Defeating_Tarski_Undefinability_and_Gödel_1931_Incom

By: olcott on Sun, 17 Dec 2023

1

4 Months 9 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 10 Days ago

By: Richard Damon

o why some women can't be men

By: Nicki makethings on Fri, 15 Dec 2023

2

4 Months 10 Days ago

By: nichola HatfieldElso

o Gödel's_1931_incompleteness_fails_HOL

By: olcott on Sun, 3 Dec 2023

69

4 Months 16 Days ago

By: Richard Damon

o Is DNA data already used in postal systems ?

By: Nicki makethings on Fri, 1 Dec 2023

0

4 Months 24 Days ago

By: Nicki makethings

o Gödel's_huge_mistake

By: olcott on Mon, 20 Nov 2023

28

5 Months 4 Days ago

By: Richard Damon

o Undecidable decision problems are abolished

By: olcott on Sat, 18 Nov 2023

53

5 Months 5 Days ago

By: Richard Damon

o AI fun

By: funsuckers on Thu, 16 Nov 2023

0

5 Months 10 Days ago

By: funsuckers

o Self Referential Undecidability Construed as Incorrect Questions

By: Anonymous on Tue, 7 Nov 2023

0

5 Months 19 Days ago

By: Anonymous

o Obama Has Secretly (Illegally!) Been Working on AI for Biden

By: Fucking TOLD YOU! on Sat, 4 Nov 2023

0

5 Months 22 Days ago

By: Fucking TOLD YOU!

o Message To Don Stockbauer

By: Nicki Hatfield Elson on Fri, 18 Aug 2023

121

5 Months 22 Days ago

By: Artist (nickis jobse

o The Bletchley Declaration by Countries Attending the AI Safety

By: Nicki makethings on Fri, 3 Nov 2023

0

5 Months 22 Days ago

By: Nicki makethings

o UK hosting a two day AI safety summit next week

By: Nicki Hatfield Elson on Thu, 26 Oct 2023

2

5 Months 24 Days ago

By: Nicki makethings

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

By: olcott on Sun, 29 Oct 2023

61

5 Months 26 Days ago

By: Don Stockbauer

o 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

o Analyzing the Peter Linz Halting Problem Proof

By: olcott on Wed, 25 Oct 2023

21

5 Months 30 Days ago

By: Richard Damon

o Mathematical undecidability is an unsound notion V2

By: olcott on Mon, 23 Oct 2023

5

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

2

6 Months 4 Days ago

By: Richard Damon

o Simplest Possible Halting Problem Proof Rebuttal

By: olcott on Thu, 19 Oct 2023

7

6 Months 5 Days ago

By: Richard Damon

o Simplified Halting Problem Proof Rebuttal

By: olcott on Sun, 15 Oct 2023

28

6 Months 7 Days ago

By: Richard Damon

o Even AI is getting canceled by wokesters at Harvard

By: bert on Tue, 17 Oct 2023

0

6 Months 9 Days ago

By: bert

o google's AI black-on-white multicultural commercials, the next Bud Light

By: Alphabet Social Medd on Mon, 9 Oct 2023

2

6 Months 11 Days ago

By: Nicki Hatfield Elson

o [CFA due Oct. 15] PhAI 2023 @ Erlangen, Germany (Dec

By: Aliya Dewey on Thu, 21 Sep 2023

0

7 Months 4 Days ago

By: Aliya Dewey

o 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

o Termination Analyzer H is Not Fooled by Pathological Input D

By: olcott on Fri, 4 Aug 2023

25

7 Months 28 Days ago

By: Richard Damon

o Gestalt theory getting a refresher

By: Nicki Hatfield Elson on Mon, 28 Aug 2023

0

7 Months 28 Days ago

By: Nicki Hatfield Elson

o Getting_rid_of_Gödel_Incompleteness

By: olcott on Tue, 22 Aug 2023

3

8 Months 3 Days ago

By: Richard Damon

o Establishing a better foundation for logic

By: olcott on Sun, 20 Aug 2023

2

8 Months 5 Days ago

By: Richard Damon

o Update on Angelina Jolie

By: mail...@gmail.com on Sat, 19 Aug 2023

0

8 Months 7 Days ago

By: mail...@gmail.com

o Why people here can't understand me

By: olcott on Thu, 10 Aug 2023

13

8 Months 12 Days ago

By: Don Stockbauer

o Transforming predicate logic into correct reasoning.

By: olcott on Sat, 5 Aug 2023

22

8 Months 12 Days ago

By: Don Stockbauer

o G := ~(F ⊢ G)

By: olcott on Wed, 9 Aug 2023

5

8 Months 13 Days ago

By: Don Stockbauer

o The need for total surveillance, a short story

By: a...@gmx.net on Thu, 1 Jun 2023

1

8 Months 15 Days ago

By: Don Stockbauer

o OlfRecog Module of Robot AI

By: A.T. Murray on Sun, 16 Jul 2023

15

8 Months 15 Days ago

By: Don Stockbauer

o Asian MIT grad asks AI to make her photo more 'professional,'

By: Nicki Hatfield Elson on Sun, 6 Aug 2023

4

8 Months 15 Days ago

By: Don Stockbauer

o stream/clue

By: David Dalton on Wed, 9 Aug 2023

0

8 Months 17 Days ago

By: David Dalton

o Speaking with people that already hold my same philosophical

By: olcott on Tue, 8 Aug 2023

3

8 Months 17 Days ago

By: olcott

o ChatGPT_defining_a_formal_system_that_eliminates_Tarski_U

By: olcott on Wed, 19 Jul 2023

12

8 Months 25 Days ago

By: Don Stockbauer

o Air Force pushes back on claim that military AI drone sim killed operator, says

By: Kamala AI laughers on Fri, 2 Jun 2023

3

9 Months 13 Days ago

By: new makethings

o Decidability Decider H

By: olcott on Mon, 3 Jul 2023

83

9 Months 21 Days ago

By: Richard Damon

o Harry Potter and the secret Mentifex AI Lab

By: A.T. Murray on Sun, 2 Jul 2023

0

9 Months 24 Days ago

By: A.T. Murray

o Termination Analyzer H is Not Fooled by Pathological Input D

By: olcott on Fri, 23 Jun 2023

55

9 Months 29 Days ago

By: Richard Damon

o Refutation of the Ben Bacarisse Rebuttal and [Liar Paradox]

By: olcott on Thu, 22 Jun 2023

2

10 Months 3 Days ago

By: Richard Damon

o Refutation of the Ben Bacarisse Rebuttal

By: olcott on Mon, 19 Jun 2023

29

10 Months 3 Days ago

By: Richard Damon

o ChatGPT agrees that the halting problem input can be construed as an

By: olcott on Sat, 17 Jun 2023

70

10 Months 3 Days ago

By: Richard Damon

o Ben Bacarisse specifically targets my posts to discourage honest

By: olcott on Tue, 20 Jun 2023

0

10 Months 5 Days ago

By: olcott

o Ben Bacarisse specifically targets my posts to discourage honest

By: olcott on Tue, 20 Jun 2023

0

10 Months 5 Days ago

By: olcott

o Ben Bacarisse specifically targets my posts to discourage honest

By: olcott on Tue, 20 Jun 2023

0

10 Months 5 Days ago

By: olcott

o Ben Bacarisse specifically targets my posts to discourage honest

By: olcott on Tue, 20 Jun 2023

0

10 Months 5 Days ago

By: olcott

o Ben Bacarisse specifically targets my posts to discourage honest

By: olcott on Mon, 19 Jun 2023

2

10 Months 6 Days ago

By: olcott

o Termination Analyzer H prevents Denial of Service attacks

By: olcott on Thu, 15 Jun 2023

15

10 Months 9 Days ago

By: Richard Damon

o Termination Analyzer H correctly prevents Denial of Service

By: olcott on Thu, 15 Jun 2023

9

10 Months 10 Days ago

By: Richard Damon

o Termination Analyzer H correctly prevents Denial of Service attacks

By: olcott on Tue, 13 Jun 2023

2

10 Months 12 Days ago

By: tTh

o Can D simulated by H terminate normally?

By: olcott on Mon, 12 Jun 2023

11

10 Months 13 Days ago

By: Richard Damon

o Angelina Jolie

By: mail...@gmail.com on Wed, 31 May 2023

1

10 Months 25 Days ago

By: Don Stockbauer

o Does Congress trust Biden, Harris to oversee AI [Affirmative

By: Don Stockbauer on Thu, 1 Jun 2023

0

10 Months 25 Days ago

By: Don Stockbauer

o wordplay

By: David Dalton on Fri, 26 May 2023

2

10 Months 27 Days ago

By: David Dalton

o Can D simulated by H terminate normally?

By: olcott on Fri, 19 May 2023

117

10 Months 28 Days ago

By: Richard Damon

o 'Fate of humanity rests with an idiot': Kamala Harris to lead war on AI

By: Lars N.E. on Fri, 26 May 2023

0

11 Months ago

By: Lars N.E.

o Sea of Rust - Robots, as any Sf-reader know they are, deep down.

By: bingo jones on Fri, 12 May 2023

0

11 Months 14 Days ago

By: bingo jones

o Simulating (partial) Halt Deciders [updated paper]

By: olcott on Wed, 10 May 2023

20

11 Months 15 Days ago

By: Richard Damon

o Gödel's_proof_relies_on_self-contradictory_express

By: olcott on Sun, 7 May 2023

48

11 Months 15 Days ago

By: Richard Damon

o A proof of G in F

By: olcott on Sat, 22 Apr 2023

58

11 Months 19 Days ago

By: Richard Damon

o Not The Bee - Pedo Joe Biden names Kamala Harris his AI CZAR

By: See outside on Fri, 5 May 2023

2

11 Months 19 Days ago

By: Don Stockbauer

o The media operation that the French no longer expected

By: mail...@gmail.com on Mon, 1 May 2023

1

11 Months 23 Days ago

By: Don Stockbauer

o Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs

By: olcott on Tue, 18 Apr 2023

107

11 Months 24 Days ago

By: Richard Damon

o 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

o Halting Problem solved!

By: Mr Flibble on Sat, 22 Apr 2023

16

1 Year ago

By: olcott

o There exists a G such that G is logically equivalent to its own

By: olcott on Sat, 22 Apr 2023

41

1 Year ago

By: Richard Damon

o a Proof of G in F is contradictory

By: olcott on Thu, 20 Apr 2023

5

1 Year ago

By: Richard Damon

o The Easiest App to Fuck Local Girls : Free Meet n Fuck App

By: admin soft on Tue, 18 Apr 2023

3

1 Year ago

By: Don Stockbauer

o Was Duclert Macron's man ?

By: mail...@gmail.com on Thu, 20 Apr 2023

0

1 Year ago

By: mail...@gmail.com

o _Top_5_Casual_Dating_Sites_⇒_Join_the_Best_Hook

By: admin soft on Tue, 18 Apr 2023

0

1 Year ago

By: admin soft

o Free online dating sites without registration and payment - Fun Tonight

By: admin soft on Tue, 18 Apr 2023

0

1 Year ago

By: admin soft

o One Night Stand: How To Find Local Girls & Women Near Me

By: admin soft on Tue, 18 Apr 2023

0

1 Year ago

By: admin soft

o AudInput mind-module for the Standard Model of AGI by default

By: A.T. Murray on Mon, 17 Apr 2023

0

1 Year ago

By: A.T. Murray

o **************************************** NEW-MATH.COM **************************

By: Graham Cooper on Sun, 16 Apr 2023

0

1 Year ago

By: Graham Cooper

o Why_is_Gödel's_G_unprovable_in_F_???

By: olcott on Sat, 15 Apr 2023

0

1 Year ago

By: olcott

o Selling Questions to be Input to Chatgpt

By: Douglas Eagleson on Thu, 23 Mar 2023

5

1 Year ago

By: Douglas Eagleson

o Simulating (partial) Halt Deciders Defeat the Halting Problem Proofs

By: olcott on Wed, 12 Apr 2023

0

1 Year ago

By: olcott

o AGI Roadmap updated by Mentifex

By: A.T. Murray on Sat, 8 Apr 2023

7

1 Year ago

By: A.T. Murray

o Angelina Jolie has been identified..

By: mail...@gmail.com on Mon, 10 Apr 2023

1

1 Year ago

By: Don Stockbauer

o Introducing the foundation of correct reasoning

By: olcott on Sat, 1 Apr 2023

3

1 Year ago

By: Richard Damon

o A proof of G in F is impossible

By: olcott on Sat, 1 Apr 2023

24

1 Year ago

By: Richard Damon

o The art of lying on the Internet : here is the newspaper Le Monde and AFP

By: mail...@gmail.com on Fri, 31 Mar 2023

0

1 Year ago

By: mail...@gmail.com

o Mentifex AGI Embodies the Emotion Mind-Module

By: A.T. Murray on Sun, 26 Mar 2023

2

1 Year ago

By: A.T. Murray

o The Quest for Chatgpt to be a Aid to a Physicist's Theory Statement

By: Douglas Eagleson on Thu, 23 Mar 2023

3

1 Year ago

By: Douglas Eagleson

o Introducing the foundation of correct reasoning

By: olcott on Sat, 18 Mar 2023

21

1 Year 1 Month ago

By: Richard Damon

o H(D,D)==0 is correct is proven [ more details ]

By: olcott on Sat, 18 Mar 2023

10

1 Year 1 Month ago

By: Richard Damon

o H(D,D)==0 is correct is proven in more detail

By: olcott on Sat, 18 Mar 2023

1

1 Year 1 Month ago

By: Richard Damon

o H(D,D)==0 is proved to be correct

By: olcott on Sat, 18 Mar 2023

3

1 Year 1 Month ago

By: Richard Damon

o H(D,D)==0 is proved to be correct

By: olcott on Sat, 18 Mar 2023

1

1 Year 1 Month ago

By: Richard Damon

o H(D,D)==0 is proved to be correct

By: Richard Damon on Sat, 18 Mar 2023

0

1 Year 1 Month ago

By: Richard Damon

1

There are currently 107 users online
Total messages: 575,594

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor