Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

"There is hopeful symbolism in the fact that flags do not wave in a vacuum." -- Arthur C. Clarke


computers / comp.ai.philosophy

Pages:123
SubjectRepliesLast Message
o Amid explosive demand, America is running out of power

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

1

18 Days 19 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 7 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 9 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 10 Days ago

By: Richard Damon

o DEI killed the CHIPS Act

By: useapen on Wed, 13 Mar 2024

0

1 Month 12 Days ago

By: useapen

o Re: ZFC solution to incorrect questions: reject them

By: Ross Finlayson on Tue, 12 Mar 2024

0

1 Month 12 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 22 Days ago

By: useapen

o Oxfordians say "go to dogie haven"

By: Douglas Eagleson on Tue, 20 Feb 2024

4

1 Month 24 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 14 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 28 Days ago

By: Douglas Eagleson

o test formatting

By: olcott on Fri, 5 Jan 2024

1

2 Months 30 Days 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 Re: Meta's AI-Powered Tom Brady Bot Trashes Colin Kaepernick, Saying

By: Nicki makethings on Fri, 10 Nov 2023

1

3 Months 18 Days ago

By: nichola HatfieldElso

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

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

1

3 Months 23 Days ago

By: Truthslave

o Re: Liar Michael Cohen Used Artificial Intelligence in Feeding Lawyer Bogus Case

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

3 Months 30 Days 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 8 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 9 Days ago

By: Richard Damon

o why some women can't be men

By: Nicki makethings on Fri, 15 Dec 2023

2

4 Months 9 Days ago

By: nichola HatfieldElso

o Gödel's 1931 incompleteness fails HOL

By: olcott on Sun, 3 Dec 2023

69

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

By: Richard Damon

o AI fun

By: funsuckers on Thu, 16 Nov 2023

0

5 Months 9 Days ago

By: funsuckers

o Re: Self Referential Undecidability Construed as Incorrect Questions

By: Anonymous on Tue, 7 Nov 2023

0

5 Months 18 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 21 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 23 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 25 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 28 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 Re: 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 4 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 Re: Even AI is getting canceled by wokesters at Harvard

By: bert on Tue, 17 Oct 2023

0

6 Months 8 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 25 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 27 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 2 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 6 Days ago

By: mail...@gmail.com

o Why people here can't understand me

By: olcott on Thu, 10 Aug 2023

13

8 Months 11 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 12 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 14 Days ago

By: Don Stockbauer

o OlfRecog Module of Robot AI

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

15

8 Months 14 Days ago

By: Don Stockbauer

o Re: 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 16 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 Re: Air Force pushes back on claim that military AI drone sim killed operator, s

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 20 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 23 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 28 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 2 Days ago

By: Richard Damon

o Refutation of the Ben Bacarisse Rebuttal

By: olcott on Mon, 19 Jun 2023

29

10 Months 2 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 2 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 5 Days ago

By: olcott

o Termination Analyzer H prevents Denial of Service attacks

By: olcott on Thu, 15 Jun 2023

15

10 Months 8 Days ago

By: Richard Damon

o Re: 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 12 Days ago

By: Richard Damon

o Angelina Jolie

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

1

10 Months 24 Days ago

By: Don Stockbauer

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

By: Don Stockbauer on Thu, 1 Jun 2023

0

10 Months 24 Days ago

By: Don Stockbauer

o wordplay

By: David Dalton on Fri, 26 May 2023

2

10 Months 26 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 Re: 'Fate of humanity rests with an idiot': Kamala Harris to lead war on AI

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

0

10 Months 30 Days ago

By: Lars N.E.

o Simulating (partial) Halt Deciders [updated paper]

By: olcott on Wed, 10 May 2023

20

11 Months 12 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 12 Days ago

By: Richard Damon

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

By: bingo jones on Fri, 12 May 2023

0

11 Months 13 Days ago

By: bingo jones

o Re: A proof of G in F

By: olcott on Sat, 22 Apr 2023

58

11 Months 18 Days ago

By: Richard Damon

o Re: 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 22 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 23 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

11 Months 30 Days 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 Re: 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 Re: 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 Re: 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 Re: 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 Thu, 9 Mar 2023

4

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 Fri, 17 Mar 2023

24

1 Year 1 Month ago

By: Richard Damon

o I finally understand why model theory is needed

By: olcott on Mon, 13 Mar 2023

0

1 Year 1 Month ago

By: olcott

o A sort of Off Topic Comment, Cell Phone DANGERS

By: Douglas Eagleson on Sun, 12 Mar 2023

0

1 Year 1 Month ago

By: Douglas Eagleson

o Simulating halt deciders

By: olcott on Fri, 10 Mar 2023

1

1 Year 1 Month ago

By: Richard Damon

o Is Chat GPT and Other AI Tech Being Pushed So That Mandatory Digital IDs Becomes

By: D. Ray on Thu, 9 Mar 2023

0

1 Year 1 Month ago

By: D. Ray

o Completely rewritten rebuttal of the halting theorem

By: olcott on Wed, 8 Mar 2023

1

1 Year 1 Month ago

By: Richard Damon

o From AI to A-Psy

By: Josh Whiton on Wed, 8 Mar 2023

0

1 Year 1 Month ago

By: Josh Whiton

o H(D,D)==0 is proven to be correct [V7]

By: olcott on Tue, 7 Mar 2023

0

1 Year 1 Month ago

By: olcott

o A Good ChatGPT Mod.

By: Douglas Eagleson on Sun, 5 Feb 2023

14

1 Year 1 Month ago

By: Don Stockbauer

o Re: H(D,D)==0 is proven to be correct

By: olcott on Fri, 24 Feb 2023

1

1 Year 2 Months ago

By: Richard Damon

o Re: Only liars disagree that H(D,D)==0 is correct [ Dishonest ? ]

By: olcott on Fri, 24 Feb 2023

0

1 Year 2 Months ago

By: olcott

o All of my reviewers deny the verified facts by using the straw-man

By: olcott on Wed, 22 Feb 2023

1

1 Year 2 Months ago

By: Richard Damon

o All of my reviewers lie about this

By: olcott on Wed, 22 Feb 2023

3

1 Year 2 Months ago

By: Richard Damon

o Does a Simulating Halt Decider Defeat the Halting Theorem ?

By: olcott on Tue, 21 Feb 2023

6

1 Year 2 Months ago

By: Richard Damon

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

By: olcott on Thu, 16 Feb 2023

5

1 Year 2 Months ago

By: olcott

o Simulating Halt Deciders Defeat the Halting Theorem V2

By: olcott on Mon, 20 Feb 2023

16

1 Year 2 Months ago

By: Richard Damon

o Simulating halt deciders defeat the halting theorem [ irrefutable

By: olcott on Thu, 16 Feb 2023

7

1 Year 2 Months ago

By: Richard Damon

o Simulating halt deciders defeat the halting theorem

By: olcott on Wed, 15 Feb 2023

16

1 Year 2 Months ago

By: Richard Damon

o H correctly predicts that D correctly simulated by H would not halt

By: olcott on Wed, 15 Feb 2023

3

1 Year 2 Months ago

By: Richard Damon

o Simulating halt deciders applied to the halting theorem

By: olcott on Tue, 14 Feb 2023

2

1 Year 2 Months ago

By: Richard Damon

o Understanding how simulating halt deciders defeat the halting theorem

By: olcott on Mon, 13 Feb 2023

1

1 Year 2 Months ago

By: Richard Damon

o Every E correctly simulated by any HH cannot possibly halt V2

By: olcott on Sun, 12 Feb 2023

8

1 Year 2 Months ago

By: Richard Damon

o minus one cannot exist

By: Artist (nickis jobse on Thu, 2 Feb 2023

8

1 Year 2 Months ago

By: Don Stockbauer

o Every E correctly simulated by any HH cannot possibly halt

By: olcott on Fri, 10 Feb 2023

14

1 Year 2 Months ago

By: Richard Damon

o Paul N agrees that P correctly simulated by H never halts

By: olcott on Thu, 9 Feb 2023

7

1 Year 2 Months ago

By: Richard Damon

o Re: Halting Problem definition is ill-formed and thus invalid [ Paul

By: olcott on Wed, 8 Feb 2023

1

1 Year 2 Months ago

By: Richard Damon

o Within the scope of self-contradiction every (question/decision

By: olcott on Sat, 4 Feb 2023

1

1 Year 2 Months ago

By: Richard Damon

o Re: The nature of truth itself refutes Tarski undefinab

By: olcott on Tue, 10 Jan 2023

94

1 Year 2 Months ago

By: Jeffrey Rubard

o This ChatGPT can be replicated it contains the full dialogue

By: olcott on Mon, 30 Jan 2023

24

1 Year 2 Months ago

By: Richard Damon

o There have been zero correct rebuttals of my refutation of the

By: olcott on Tue, 31 Jan 2023

4

1 Year 2 Months ago

By: Richard Damon

o ChatGPT has correctly validated both elements of by halting problem

By: olcott on Mon, 30 Jan 2023

2

1 Year 2 Months ago

By: Don Stockbauer

o Re: HH(PP,PP) correctly determines that its input never halts

By: olcott on Wed, 25 Jan 2023

145

1 Year 2 Months ago

By: Richard Damon

o ChatGPT agrees that D correctly simulated by H meets the halt status

By: olcott on Mon, 30 Jan 2023

0

1 Year 2 Months ago

By: olcott

o ChatGPT agrees with me again and this result can be replicated --->

By: olcott on Mon, 30 Jan 2023

0

1 Year 2 Months ago

By: olcott

o ChatGPT and MIT professor Michael Sipser both agree that the essence

By: olcott on Sat, 28 Jan 2023

1

1 Year 2 Months ago

By: Richard Damon

o ChatGBT is my best reviewer yet

By: olcott on Fri, 27 Jan 2023

24

1 Year 2 Months ago

By: Richard Damon

o Tarski Undefinability Theorem is refuted

By: olcott on Thu, 29 Dec 2022

117

1 Year 3 Months ago

By: Don Stockbauer

o The false assumption of Gödel Incompleteness

By: olcott on Thu, 12 Jan 2023

8

1 Year 3 Months ago

By: Richard Damon

o [ G is not provable in F ]

By: olcott on Fri, 6 Jan 2023

28

1 Year 3 Months ago

By: Richard Damon

o The problem of not enough TM for every decision problem has been

By: olcott on Sat, 7 Jan 2023

11

1 Year 3 Months ago

By: Richard Damon

o [ G is not provable in F ]

By: olcott on Fri, 6 Jan 2023

11

1 Year 3 Months ago

By: Richard Damon

o [ G is not provable in F ]

By: olcott on Fri, 6 Jan 2023

1

1 Year 3 Months ago

By: Richard Damon

o Re: Richter or Merkel ?

By: mail...@gmail.com on Thu, 5 Jan 2023

2

1 Year 3 Months ago

By: Don Stockbauer

o Re: Is AI for sexual robots up and cumming?

By: mail...@gmail.com on Thu, 5 Jan 2023

0

1 Year 3 Months ago

By: mail...@gmail.com

o quantum human brains

By: Artist (nickis jobse on Wed, 30 Nov 2022

19

1 Year 3 Months ago

By: house spirit

o Gödel sentence in the 1931 incompleteness proof is n

By: olcott on Mon, 28 Nov 2022

33

1 Year 4 Months ago

By: Don Stockbauer

o Wikis Internet troll meaning

By: Artist (nickis jobse on Mon, 31 Oct 2022

15

1 Year 4 Months ago

By: Don Stockbauer

o Qualia Explained

By: A.T. Murray on Tue, 4 Oct 2022

20

1 Year 5 Months ago

By: Don Stockbauer

o The truth about Angelina Jolie

By: mail...@gmail.com on Sun, 13 Nov 2022

1

1 Year 5 Months ago

By: Don Stockbauer

o Autism Designs How to build inclusive products for people with autism

By: Artist on Thu, 25 Aug 2022

8

1 Year 5 Months ago

By: Don Stockbauer

o consumable holography

By: Artist (nickis jobse on Tue, 1 Nov 2022

4

1 Year 5 Months ago

By: Don Stockbauer

o simulated aging

By: RichD on Mon, 31 Oct 2022

0

1 Year 5 Months ago

By: RichD

o Why Angelina Jolie distributes money ?

By: mail...@gmail.com on Sat, 29 Oct 2022

0

1 Year 5 Months ago

By: mail...@gmail.com

o The truth about Angelina Jolie

By: mail...@gmail.com on Sat, 29 Oct 2022

0

1 Year 5 Months ago

By: mail...@gmail.com

o Re: A thought [ Populating the Cyc Project ]

By: olcott on Tue, 18 Oct 2022

3

1 Year 5 Months ago

By: Truthslave

o Time and Minds, from Baxter to Rovelli.

By: Simon Laub on Sun, 21 Aug 2022

6

1 Year 5 Months ago

By: Truthslave

o to those seeking employment

By: Artist (nickis jobse on Sat, 22 Oct 2022

3

1 Year 5 Months ago

By: Don Stockbauer

o Termination Analysis without the Tears (by Shaowei Zhu and Zachary

By: olcott on Wed, 26 Oct 2022

0

1 Year 5 Months ago

By: olcott

o Re: Ben agrees the H(D,D)==0 according to its criterion [No rebuttal

By: olcott on Mon, 24 Oct 2022

0

1 Year 6 Months ago

By: olcott

o Simulating halt deciders (SHDs) simply do not work; alas neither

By: Mr Flibble on Sun, 23 Oct 2022

2

1 Year 6 Months ago

By: Mr Flibble

o Simulating Halt Decider Applied to the Halting Theorem

By: olcott on Sun, 23 Oct 2022

1

1 Year 6 Months ago

By: olcott

o Ben agrees that Sipser_H is correct according to its halt status

By: olcott on Fri, 21 Oct 2022

0

1 Year 6 Months ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

18

1 Year 6 Months ago

By: olcott

o Re: Ben agrees that Sipser_H is correct according to its halt status

By: olcott on Fri, 21 Oct 2022

0

1 Year 6 Months ago

By: olcott

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

By: olcott on Wed, 19 Oct 2022

0

1 Year 6 Months ago

By: olcott

o Some of my reviewers disagree with verified facts

By: olcott on Tue, 18 Oct 2022

0

1 Year 6 Months ago

By: olcott

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

By: olcott on Mon, 17 Oct 2022

4

1 Year 6 Months ago

By: olcott

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

By: olcott on Tue, 18 Oct 2022

1

1 Year 6 Months ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

21

1 Year 6 Months ago

By: Richard Damon

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

By: olcott on Tue, 18 Oct 2022

0

1 Year 6 Months ago

By: olcott

o MIT Professor Michael Sipser validates the notion of a simulating

By: olcott on Sun, 16 Oct 2022

6

1 Year 6 Months ago

By: Richard Damon

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

By: olcott on Mon, 17 Oct 2022

1

1 Year 6 Months ago

By: Richard Damon

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

0

1 Year 6 Months ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

0

1 Year 6 Months ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

0

1 Year 6 Months ago

By: olcott

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

By: olcott on Mon, 17 Oct 2022

0

1 Year 6 Months ago

By: olcott

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

By: olcott on Mon, 17 Oct 2022

0

1 Year 6 Months ago

By: olcott

o Gamma Radiation Shielding in the Meta Verse

By: Douglas Eagleson on Mon, 10 Oct 2022

6

1 Year 6 Months ago

By: Douglas Eagleson

o Nvidia AI Conference

By: Douglas Eagleson on Sat, 10 Sep 2022

6

1 Year 7 Months ago

By: Don Stockbauer

o A Review of Priority -Cleaning my Web Site-

By: Douglas Eagleson on Fri, 9 Sep 2022

0

1 Year 7 Months ago

By: Douglas Eagleson

o Re: L'ASSASSINO PAOLO BARRAI, IL NAZI卐LEGHISTA PED

By: Don Stockbauer on Thu, 8 Sep 2022

0

1 Year 7 Months ago

By: Don Stockbauer

o Macron-Scholz, a Franco-German couple : the student and the teacher.

By: mail...@gmail.com on Sat, 3 Sep 2022

0

1 Year 7 Months ago

By: mail...@gmail.com

o The Universe is a Quantum gravity computer, maybe!?

By: Simon Laub on Thu, 1 Sep 2022

1

1 Year 7 Months ago

By: Don Stockbauer

o Re: #MARINABERLUSCONI É ASSASSINA E LESBICA DI TIPO

By: Don Stockbauer on Thu, 4 Aug 2022

5

1 Year 8 Months ago

By: Don Stockbauer

o Re: CARPEORO #CARPEORO É MASSONE PEDOFILO, DI NDRAN

By: Don Stockbauer on Tue, 26 Jul 2022

0

1 Year 8 Months ago

By: Don Stockbauer

o Re: #MARINABERLUSCONI MARINA BERLUSCONI É LESBICA K

By: Don Stockbauer on Fri, 13 May 2022

6

1 Year 8 Months ago

By: Don Stockbauer

Pages:123

There are currently 111 users online
Total messages: 449,678

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor