Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Unix is the worst operating system; except for all others. -- Berry Kercheval


computers / comp.ai.philosophy

Pages:12345
SubjectRepliesLast Message
o The art of lying on the Internet : here is the newspaper Le Monde and

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

0

16 Hours 45 Minutes ago

By: mail...@gmail.com

o Mentifex AGI Embodies the Emotion Mind-Module

By: A.T. Murray on Thu, 9 Mar 2023

4

4 Days 6 Hours 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

4 Days 23 Hours ago

By: Douglas Eagleson

o Selling Questions to be Input to Chatgpt

By: Douglas Eagleson on Thu, 23 Mar 2023

4

8 Days 7 Hours ago

By: Truthslave

o Introducing the foundation of correct reasoning

By: olcott on Sat, 18 Mar 2023

21

9 Days 9 Hours ago

By: Richard Damon

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

By: olcott on Sat, 18 Mar 2023

10

13 Days 9 Hours ago

By: Richard Damon

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

By: olcott on Sat, 18 Mar 2023

1

14 Days 3 Hours ago

By: Richard Damon

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

By: olcott on Fri, 17 Mar 2023

24

14 Days 3 Hours ago

By: Richard Damon

o I finally understand why model theory is needed

By: olcott on Mon, 13 Mar 2023

0

19 Days 1 Hour ago

By: olcott

o A sort of Off Topic Comment, Cell Phone DANGERS

By: Douglas Eagleson on Sun, 12 Mar 2023

0

19 Days 11 Hours ago

By: Douglas Eagleson

o Simulating halt deciders

By: olcott on Fri, 10 Mar 2023

1

22 Days 3 Hours ago

By: Richard Damon

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

By: D. Ray on Thu, 9 Mar 2023

0

22 Days 5 Hours ago

By: D. Ray

o Completely rewritten rebuttal of the halting theorem

By: olcott on Wed, 8 Mar 2023

1

23 Days 4 Hours ago

By: Richard Damon

o From AI to A-Psy

By: Josh Whiton on Wed, 8 Mar 2023

0

23 Days 7 Hours ago

By: Josh Whiton

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

By: olcott on Tue, 7 Mar 2023

0

25 Days 4 Hours ago

By: olcott

o A Good ChatGPT Mod.

By: Douglas Eagleson on Sun, 5 Feb 2023

14

26 Days 15 Hours ago

By: Don Stockbauer

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

By: olcott on Fri, 24 Feb 2023

1

1 Month 8 Days 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 Month 8 Days 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 Month 9 Days ago

By: Richard Damon

o All of my reviewers lie about this

By: olcott on Wed, 22 Feb 2023

3

1 Month 9 Days ago

By: Richard Damon

o Does a Simulating Halt Decider Defeat the Halting Theorem ?

By: olcott on Tue, 21 Feb 2023

6

1 Month 9 Days ago

By: Richard Damon

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

By: olcott on Thu, 16 Feb 2023

5

1 Month 10 Days ago

By: olcott

o Simulating Halt Deciders Defeat the Halting Theorem V2

By: olcott on Mon, 20 Feb 2023

16

1 Month 10 Days ago

By: Richard Damon

o Simulating halt deciders defeat the halting theorem [ irrefutable

By: olcott on Thu, 16 Feb 2023

7

1 Month 14 Days ago

By: Richard Damon

o Simulating halt deciders defeat the halting theorem

By: olcott on Wed, 15 Feb 2023

16

1 Month 15 Days 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 Month 16 Days ago

By: Richard Damon

o Simulating halt deciders applied to the halting theorem

By: olcott on Tue, 14 Feb 2023

2

1 Month 17 Days ago

By: Richard Damon

o Understanding how simulating halt deciders defeat the halting theorem

By: olcott on Mon, 13 Feb 2023

1

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

By: Richard Damon

o minus one cannot exist

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

8

1 Month 19 Days ago

By: Don Stockbauer

o Every E correctly simulated by any HH cannot possibly halt

By: olcott on Fri, 10 Feb 2023

14

1 Month 20 Days 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 Month 21 Days 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 Month 23 Days ago

By: Richard Damon

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

By: olcott on Sat, 4 Feb 2023

1

1 Month 27 Days ago

By: Richard Damon

o Re: _The_nature_of_truth_itself_refutes_Tarski_undefinab

By: olcott on Tue, 10 Jan 2023

94

1 Month 28 Days ago

By: Jeffrey Rubard

o This ChatGPT can be replicated it contains the full dialogue

By: olcott on Mon, 30 Jan 2023

24

1 Month 29 Days ago

By: Richard Damon

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

By: olcott on Tue, 31 Jan 2023

4

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

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

2 Months 1 Day 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

2 Months 1 Day ago

By: olcott

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

By: olcott on Mon, 30 Jan 2023

0

2 Months 1 Day ago

By: olcott

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

By: olcott on Sat, 28 Jan 2023

1

2 Months 4 Days ago

By: Richard Damon

o ChatGBT is my best reviewer yet

By: olcott on Fri, 27 Jan 2023

24

2 Months 4 Days ago

By: Richard Damon

o Tarski Undefinability Theorem is refuted

By: olcott on Thu, 29 Dec 2022

117

2 Months 7 Days ago

By: Don Stockbauer

o The_false_assumption_of_Gödel_Incompleteness

By: olcott on Thu, 12 Jan 2023

8

2 Months 19 Days ago

By: Richard Damon

o [ G is not provable in F ]

By: olcott on Fri, 6 Jan 2023

28

2 Months 24 Days 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

2 Months 24 Days ago

By: Richard Damon

o [ G is not provable in F ]

By: olcott on Fri, 6 Jan 2023

11

2 Months 25 Days ago

By: Richard Damon

o [ G is not provable in F ]

By: olcott on Fri, 6 Jan 2023

1

2 Months 25 Days ago

By: Richard Damon

o Re: Richter or Merkel ?

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

2

2 Months 25 Days ago

By: Don Stockbauer

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

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

0

2 Months 26 Days ago

By: mail...@gmail.com

o quantum human brains

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

21

3 Months 3 Days ago

By: house spirit

o Gödel_sentence_in_the_1931_incompleteness_proof_is_n

By: olcott on Mon, 28 Nov 2022

34

3 Months 13 Days ago

By: Don Stockbauer

o Wikis Internet troll meaning

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

15

4 Months 4 Days ago

By: Don Stockbauer

o Qualia Explained

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

20

4 Months 15 Days ago

By: Don Stockbauer

o The truth about Angelina Jolie

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

1

4 Months 18 Days ago

By: Don Stockbauer

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

By: Artist on Thu, 25 Aug 2022

8

4 Months 27 Days ago

By: Don Stockbauer

o consumable holography

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

4

4 Months 28 Days ago

By: Don Stockbauer

o simulated aging

By: RichD on Mon, 31 Oct 2022

0

5 Months ago

By: RichD

o Why Angelina Jolie distributes money ?

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

0

5 Months 2 Days ago

By: mail...@gmail.com

o The truth about Angelina Jolie

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

0

5 Months 2 Days ago

By: mail...@gmail.com

o Re: A thought [ Populating the Cyc Project ]

By: olcott on Tue, 18 Oct 2022

3

5 Months 2 Days ago

By: Truthslave

o Time and Minds, from Baxter to Rovelli.

By: Simon Laub on Sun, 21 Aug 2022

6

5 Months 2 Days ago

By: Truthslave

o to those seeking employment

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

3

5 Months 4 Days ago

By: Don Stockbauer

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

By: olcott on Wed, 26 Oct 2022

0

5 Months 5 Days 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

5 Months 7 Days ago

By: olcott

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

By: Mr Flibble on Sun, 23 Oct 2022

2

5 Months 8 Days ago

By: Mr Flibble

o Simulating Halt Decider Applied to the Halting Theorem

By: olcott on Sun, 23 Oct 2022

1

5 Months 8 Days ago

By: olcott

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

By: olcott on Fri, 21 Oct 2022

0

5 Months 10 Days ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

18

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

5 Months 11 Days ago

By: olcott

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

By: olcott on Wed, 19 Oct 2022

0

5 Months 12 Days ago

By: olcott

o Some of my reviewers disagree with verified facts

By: olcott on Tue, 18 Oct 2022

0

5 Months 13 Days ago

By: olcott

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

By: olcott on Mon, 17 Oct 2022

4

5 Months 14 Days ago

By: olcott

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

By: olcott on Tue, 18 Oct 2022

1

5 Months 14 Days ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

21

5 Months 14 Days 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

5 Months 14 Days ago

By: olcott

o MIT Professor Michael Sipser validates the notion of a simulating

By: olcott on Sun, 16 Oct 2022

6

5 Months 14 Days 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

5 Months 14 Days ago

By: Richard Damon

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

0

5 Months 14 Days ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

0

5 Months 14 Days ago

By: olcott

o Re: Halt deciders

By: olcott on Mon, 17 Oct 2022

0

5 Months 14 Days ago

By: olcott

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

By: olcott on Mon, 17 Oct 2022

0

5 Months 14 Days ago

By: olcott

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

By: olcott on Mon, 17 Oct 2022

0

5 Months 14 Days ago

By: olcott

o Gamma Radiation Shielding in the Meta Verse

By: Douglas Eagleson on Mon, 10 Oct 2022

6

5 Months 15 Days ago

By: Douglas Eagleson

o Nvidia AI Conference

By: Douglas Eagleson on Sat, 10 Sep 2022

6

6 Months 6 Days ago

By: Don Stockbauer

o A Review of Priority -Cleaning my Web Site-

By: Douglas Eagleson on Fri, 9 Sep 2022

0

6 Months 22 Days ago

By: Douglas Eagleson

o Re: _L'ASSASSINO_PAOLO_BARRAI,_IL_NAZI卐LEGHISTA_PED

By: Don Stockbauer on Thu, 8 Sep 2022

0

6 Months 23 Days 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

6 Months 28 Days ago

By: mail...@gmail.com

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

By: Simon Laub on Thu, 1 Sep 2022

1

6 Months 30 Days ago

By: Don Stockbauer

o Re: _#MARINABERLUSCONI_É_ASSASSINA_E_LESBICA_DI_TIPO

By: Don Stockbauer on Thu, 4 Aug 2022

5

7 Months 13 Days ago

By: Don Stockbauer

o Re: _CARPEORO_#CARPEORO_É_MASSONE_PEDOFILO,_DI_NDRAN

By: Don Stockbauer on Tue, 26 Jul 2022

0

8 Months 6 Days ago

By: Don Stockbauer

o Re: _#MARINABERLUSCONI_MARINA_BERLUSCONI_É_LESBICA_K

By: Don Stockbauer on Fri, 13 May 2022

6

8 Months 6 Days ago

By: Don Stockbauer

o Synchronous Systems

By: Douglas Eagleson on Mon, 6 Jun 2022

11

8 Months 7 Days ago

By: Douglas Eagleson

o adverting, media, licensing concerns.

By: JS4 on Thu, 20 Aug 2020

25

8 Months 20 Days ago

By: Don Stockbauer

o #PIERSILVIOBERLUSCONI_PIERSILVIO_BERLUSCONI_É_FIGLI

By: ANGELA AZZARO EX AMA on Mon, 4 Jul 2022

2

8 Months 22 Days ago

By: Don Stockbauer

o #PIERSILVIOBERLUSCONI_PIERSILVIO_BERLUSCONI_É_UN_FI

By: FRANCESCO PERILLI EQ on Thu, 30 Jun 2022

8

8 Months 23 Days ago

By: Don Stockbauer

o who is jobsearchesforme?

By: assumed. identiy.339 on Thu, 7 Jul 2022

0

8 Months 24 Days ago

By: assumed. identiy.339

o Technically competent Software engineers can verify this halting

By: olcott on Wed, 22 Jun 2022

158

9 Months 5 Days ago

By: olcott

o Proving that H(P,P) is a correct P never reaches "ret" determiner

By: olcott on Fri, 24 Jun 2022

7

9 Months 6 Days ago

By: Richard Damon

o Essence of the culmination five years of full time work on the

By: olcott on Fri, 17 Jun 2022

10

9 Months 10 Days ago

By: Richard Damon

o Software engineers of extreme technical competence [ halting problem

By: olcott on Tue, 21 Jun 2022

6

9 Months 10 Days ago

By: Richard Damon

o Software engineers of extremely high technical competence [ halting

By: olcott on Tue, 21 Jun 2022

6

9 Months 10 Days ago

By: Mr Flibble

o Halting Problem proof refutation is a tautology thus irrefutable

By: olcott on Sun, 19 Jun 2022

76

9 Months 11 Days ago

By: Richard Damon

o H(P,P)==0 as a pure function of its inputs is fully operational

By: olcott on Sat, 18 Jun 2022

11

9 Months 12 Days ago

By: Richard Damon

o Source-code of halt decider that decides the halting problem's

By: olcott on Sun, 19 Jun 2022

4

9 Months 12 Days ago

By: Richard Damon

o Reviewers quit reviewing my work because it is now finally

By: olcott on Fri, 17 Jun 2022

62

9 Months 13 Days ago

By: Richard Damon

o Re: Olcott's H

By: olcott on Fri, 17 Jun 2022

4

9 Months 14 Days ago

By: Richard Damon

o Re: olcott, it's really simple [ succinct summation ]

By: olcott on Fri, 17 Jun 2022

1

9 Months 15 Days ago

By: Richard Damon

o Re: olcott, it's really simple

By: olcott on Thu, 16 Jun 2022

1

9 Months 15 Days ago

By: Richard Damon

o Re: olcott, it's really simple

By: olcott on Thu, 16 Jun 2022

14

9 Months 15 Days ago

By: Richard Damon

o Criterion Measure of a simulating halt decider proving that H(P,P)==0

By: olcott on Sun, 12 Jun 2022

65

9 Months 15 Days ago

By: Richard Damon

o Re: olcott, it's really simple (tiny typo)

By: olcott on Thu, 16 Jun 2022

0

9 Months 15 Days ago

By: olcott

o Proving that H(P,P)==0 on the basis of easily verified facts

By: olcott on Wed, 15 Jun 2022

1

9 Months 16 Days ago

By: Richard Damon

o Proving that H(P,P)==0 on the basis of easily verified facts (tiny

By: olcott on Wed, 15 Jun 2022

0

9 Months 16 Days ago

By: olcott

o Are my reviewers dishonest or technically incompetent ?

By: olcott on Sun, 22 May 2022

15

9 Months 16 Days ago

By: Richard Damon

o Textbook Criterion measure for halt deciders is based on a false

By: olcott on Mon, 13 Jun 2022

6

9 Months 18 Days ago

By: Richard Damon

o Re: H(P,P) as a pure function of its inputs is easy [ source-code

By: olcott on Sun, 12 Jun 2022

13

9 Months 19 Days ago

By: Richard Damon

o Re: H(P,P) as a pure function of its inputs is easy [ psychotic break

By: olcott on Sat, 11 Jun 2022

13

9 Months 20 Days ago

By: Richard Damon

o No one has sufficiently addressed this H(P,P)==0

By: olcott on Thu, 9 Jun 2022

102

9 Months 21 Days ago

By: Richard Damon

o Re: Olcott's H(P,P)==0 is correct

By: olcott on Wed, 8 Jun 2022

16

9 Months 22 Days ago

By: Richard Damon

o Re: H(P,P)==0 is correct

By: olcott on Wed, 8 Jun 2022

11

9 Months 23 Days ago

By: Richard Damon

o Re: Olcott's non-decider [ Richard is ridiculously stupid ]

By: olcott on Wed, 8 Jun 2022

20

9 Months 23 Days ago

By: Richard Damon

o Re: Olcott's non-decider

By: olcott on Wed, 8 Jun 2022

0

9 Months 24 Days ago

By: olcott

o Refuting the HP proofs (adapted for software engineers)

By: olcott on Fri, 3 Jun 2022

54

9 Months 24 Days ago

By: Richard Damon

o Re: Competent software engineers will agree that H(P,P)==0 is correct

By: olcott on Tue, 7 Jun 2022

3

9 Months 24 Days ago

By: Richard Damon

o Re: Competent software engineers will agree that H(P,P)==0 is correct

By: olcott on Mon, 6 Jun 2022

11

9 Months 24 Days ago

By: Richard Damon

o Re: Competent software engineers will agree that H(P,P)==0 is correct

By: olcott on Mon, 6 Jun 2022

2

9 Months 25 Days ago

By: olcott

o Halting Problem proofs are refuted in C (adapted for software

By: olcott on Sat, 4 Jun 2022

2

9 Months 27 Days ago

By: Richard Damon

o Re: Experts would agree that my reviewers are incorrect [ my only

By: olcott on Fri, 27 May 2022

83

9 Months 28 Days ago

By: Richard Damon

o H(P,P)==0 is completely obvious

By: olcott on Thu, 2 Jun 2022

2

9 Months 29 Days ago

By: olcott

o geet-hi and gee-tay don't lie

By: pataphor on Wed, 13 Apr 2022

11

10 Months 1 Day ago

By: Don Stockbauer

o Re: Experts would agree that my reviewers are incorrect

By: Mr Flibble on Tue, 24 May 2022

65

10 Months 3 Days ago

By: Richard Damon

o Re: Experts would agree that my reviewers are incorrect [ slight

By: olcott on Fri, 27 May 2022

1

10 Months 4 Days ago

By: Richard Damon

o Re: Experts would agree that my reviewers are incorrect

By: Richard Damon on Wed, 25 May 2022

0

10 Months 7 Days ago

By: Richard Damon

o Re: Question for Olcott [ summing up where we are ]

By: olcott on Tue, 24 May 2022

1

10 Months 7 Days ago

By: olcott

o Music creation as AI

By: Douglas Eagleson on Sun, 3 Apr 2022

2

10 Months 7 Days ago

By: Don Stockbauer

o Re: Question for Olcott [ technical competence ]

By: olcott on Tue, 24 May 2022

0

10 Months 7 Days ago

By: olcott

o Re: Question for Olcott [ Richard continues to be a liar ]

By: olcott on Mon, 23 May 2022

7

10 Months 8 Days ago

By: Richard Damon

o Are my reviewers incompetent or dishonest? [ stupid or liar ? ]

By: olcott on Sun, 22 May 2022

24

10 Months 8 Days ago

By: Richard Damon

o Halting problem undecidability and infinitely nested simulation (V5)

By: olcott on Sat, 21 May 2022

20

10 Months 10 Days ago

By: Richard Damon

o H(P,P)==0 is proven to be correct thus refuting the halting problem

By: olcott on Sat, 21 May 2022

20

10 Months 10 Days ago

By: Richard Damon

o Re: Category error [ HEAD GAMES ]

By: olcott on Wed, 18 May 2022

24

10 Months 11 Days ago

By: Richard Damon

o Top_5_Casual_Dating_Sites_⇒_Join_the_Best_Hookup_S

By: jiyajames147 on Wed, 2 Sep 2020

60

10 Months 12 Days ago

By: Don Stockbauer

o Correcting logic to make it a system of correct reasoning

By: olcott on Fri, 13 May 2022

67

10 Months 13 Days ago

By: Richard Damon

o Proof that H(P,P)==0 is correct [ refuting the halting problem proofs

By: olcott on Wed, 11 May 2022

3

10 Months 18 Days ago

By: Mr Flibble

o Implementing a two-way Turing Machine tape as an improvement to

By: olcott on Thu, 12 May 2022

17

10 Months 18 Days ago

By: Chris M. Thomasson

o Re: reconsidering the 'computerized match maker'

By: Don Stockbauer on Sat, 26 Mar 2022

143

10 Months 19 Days ago

By: Don Stockbauer

o Seasons Greetings

By: esa 4me on Thu, 9 Dec 2021

26

10 Months 19 Days ago

By: Don Stockbauer

o Proof that H(P,P)==0 is correct [ refuting the halting problem proofs

By: olcott on Tue, 10 May 2022

3

10 Months 20 Days ago

By: olcott

o Re: On Strachey [ How nuts is that? ][ proof that I am correct ]

By: olcott on Tue, 10 May 2022

0

10 Months 21 Days ago

By: olcott

o H(P,P)==false is proven to be correct

By: olcott on Mon, 9 May 2022

1

10 Months 22 Days ago

By: olcott

o Re: Next move [ truth itself is broken ]

By: olcott on Mon, 9 May 2022

0

10 Months 23 Days ago

By: olcott

o Re: On Strachey [ How nuts is that? ]

By: olcott on Sat, 7 May 2022

1

10 Months 24 Days ago

By: olcott

o All my reviewers expect a halt decider to have psychic power

By: olcott on Sat, 23 Apr 2022

3

10 Months 24 Days ago

By: olcott

o Validating that the implementation meets the spec for TM transition

By: olcott on Fri, 6 May 2022

1

10 Months 25 Days ago

By: olcott

o Is this correct Prolog?

By: olcott on Sat, 30 Apr 2022

139

10 Months 25 Days ago

By: olcott

o Re: H(P,P) == false is correct

By: olcott on Wed, 4 May 2022

19

10 Months 26 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise #3)

By: olcott on Thu, 5 May 2022

1

10 Months 26 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

10 Months 28 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

2

10 Months 28 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

10 Months 28 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

10 Months 28 Days ago

By: olcott

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

By: jenniferjeson35 on Sun, 30 Aug 2020

57

10 Months 28 Days ago

By: soc women

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

By: linda sara on Tue, 1 Sep 2020

61

10 Months 28 Days ago

By: soc women

o Re: on "infinitely recursive" and "recursive"

By: polcott on Sun, 1 May 2022

1

10 Months 30 Days ago

By: Richard Damon

o Re: On the halting problem (reprise #2)

By: olcott on Fri, 29 Apr 2022

2

11 Months 2 Days ago

By: olcott

o Re: On the halting problem (reprise #2) [ truth bearers ]

By: olcott on Fri, 29 Apr 2022

0

11 Months 2 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof --- Version(10) [ key

By: olcott on Sun, 3 Apr 2022

54

11 Months 3 Days ago

By: olcott

o Halting problem undecidability and infinitely nested simulation (V5)

By: olcott on Fri, 15 Apr 2022

2

11 Months 11 Days ago

By: olcott

o Halting problem undecidability and infinitely nested simulation [

By: olcott on Tue, 19 Apr 2022

0

11 Months 13 Days ago

By: olcott

o My_Dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Mon, 18 Apr 2022

0

11 Months 13 Days ago

By: olcott

o My_Dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Sun, 17 Apr 2022

2

11 Months 14 Days ago

By: olcott

o My_dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Fri, 15 Apr 2022

5

11 Months 15 Days ago

By: olcott

o My_dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Sat, 16 Apr 2022

0

11 Months 15 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof --- Version(11) [

By: olcott on Tue, 5 Apr 2022

4

11 Months 25 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V6

By: olcott on Fri, 25 Mar 2022

102

11 Months 28 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V9 [ correct halt

By: olcott on Fri, 1 Apr 2022

0

11 Months 30 Days ago

By: olcott

o Re: reconsidering the 'computerized match maker'

By: Don Stockbauer on Sat, 26 Mar 2022

0

1 Year ago

By: Don Stockbauer

o Refuting the Peter Linz Halting Problem Proof V5 [ without an

By: olcott on Tue, 22 Mar 2022

31

1 Year ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V8

By: olcott on Fri, 25 Mar 2022

0

1 Year ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V7

By: olcott on Fri, 25 Mar 2022

0

1 Year ago

By: olcott

o Concise refutation of halting problem proofs V63 [ Linz Proof ]

By: olcott on Thu, 17 Feb 2022

55

1 Year ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V4 [ erroneous

By: olcott on Sat, 19 Mar 2022

18

1 Year ago

By: olcott

o Simulating halt deciders correct decider halting

By: olcott on Mon, 28 Feb 2022

88

1 Year ago

By: olcott

o Gödel_incompleteness_is_impossible_in_[correct_rea

By: olcott on Thu, 10 Mar 2022

0

1 Year ago

By: olcott

o Unless the Goldbach conjecture is provable it is not true

By: olcott on Sun, 6 Mar 2022

1

1 Year ago

By: Alan Mackenzie

o Reasoning from first principles

By: olcott on Tue, 22 Feb 2022

63

1 Year ago

By: olcott

o Call for Papers reminder (extended): The World Congress on

By: iaeng imecs_wce_wcec on Tue, 1 Mar 2022

0

1 Year ago

By: iaeng imecs_wce_wcec

o Simulating_halt_decider_embedded_H_must_abort_its_simul

By: olcott on Mon, 28 Feb 2022

1

1 Year 1 Month ago

By: olcott

o Is it behind glass?

By: assumed. identiy.339 on Fri, 18 Feb 2022

1

1 Year 1 Month ago

By: Don Stockbauer

o Re: Knowledge's Discretion

By: Jeffrey Rubard on Thu, 27 Jan 2022

1

1 Year 1 Month ago

By: Don Stockbauer

o Concise refutation of halting problem proofs V62 [ Linz Proof ]

By: olcott on Sun, 6 Feb 2022

57

1 Year 1 Month ago

By: olcott

o Halt status criteria that correctly handles pathological

By: olcott on Thu, 17 Feb 2022

0

1 Year 1 Month ago

By: olcott

o Definition of the set of non-halting sequences of configurations

By: olcott on Thu, 17 Feb 2022

0

1 Year 1 Month ago

By: olcott

o Re: Design For A Self?

By: assumed. identiy.339 on Fri, 11 Feb 2022

5

1 Year 1 Month ago

By: Jeffrey Rubard

o Re: Understanding Causality

By: Jeffrey Rubard on Thu, 3 Feb 2022

5

1 Year 1 Month ago

By: Don Stockbauer

o Concise refutation of halting problem proofs V61 [ Linz Proof ]

By: olcott on Sat, 5 Feb 2022

2

1 Year 1 Month ago

By: olcott

o Concise refutation of halting problem proofs V52 [ Linz Proof ]

By: olcott on Sat, 22 Jan 2022

56

1 Year 1 Month ago

By: olcott

o Concise refutation of halting problem proofs V60 [ Linz Proof ]

By: olcott on Tue, 1 Feb 2022

0

1 Year 1 Month ago

By: olcott

Pages:12345

There are currently 305 users online
Total messages: 3,342,791

rocksolid light 0.7.2
clearneti2ptor