Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Real programs don't eat cache.


computers / comp.ai.philosophy

Pages:12345
SubjectRepliesLast Message
o Nvidia AI Conference

By: Douglas Eagleson on Sat, 10 Sep 2022

6

2 Days 11 Hours ago

By: Don Stockbauer

o A Review of Priority -Cleaning my Web Site-

By: Douglas Eagleson on Fri, 9 Sep 2022

0

18 Days 6 Hours ago

By: Douglas Eagleson

o Re: _L'ASSASSINO_PAOLO_BARRAI,_IL_NAZI卐LEGHISTA_PED

By: Don Stockbauer on Thu, 8 Sep 2022

0

19 Days 14 Hours ago

By: Don Stockbauer

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

By: Artist on Thu, 25 Aug 2022

3

24 Days 9 Hours 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

24 Days 17 Hours ago

By: mail...@gmail.com

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

By: Simon Laub on Thu, 1 Sep 2022

1

26 Days 6 Hours ago

By: Don Stockbauer

o Time and Minds, from Baxter to Rovelli.

By: Simon Laub on Sun, 21 Aug 2022

5

30 Days 13 Hours ago

By: Don Stockbauer

o Re: _#MARINABERLUSCONI_É_ASSASSINA_E_LESBICA_DI_TIPO

By: Don Stockbauer on Thu, 4 Aug 2022

5

1 Month 9 Days ago

By: Don Stockbauer

o Re: _CARPEORO_#CARPEORO_É_MASSONE_PEDOFILO,_DI_NDRAN

By: Don Stockbauer on Tue, 26 Jul 2022

0

2 Months 1 Day ago

By: Don Stockbauer

o Re: _#MARINABERLUSCONI_MARINA_BERLUSCONI_É_LESBICA_K

By: Don Stockbauer on Fri, 13 May 2022

6

2 Months 1 Day ago

By: Don Stockbauer

o Synchronous Systems

By: Douglas Eagleson on Mon, 6 Jun 2022

11

2 Months 3 Days ago

By: Douglas Eagleson

o adverting, media, licensing concerns.

By: JS4 on Thu, 20 Aug 2020

25

2 Months 16 Days ago

By: Don Stockbauer

o #PIERSILVIOBERLUSCONI_PIERSILVIO_BERLUSCONI_É_FIGLI

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

2

2 Months 18 Days ago

By: Don Stockbauer

o #PIERSILVIOBERLUSCONI_PIERSILVIO_BERLUSCONI_É_UN_FI

By: FRANCESCO PERILLI EQ on Thu, 30 Jun 2022

8

2 Months 19 Days ago

By: Don Stockbauer

o who is jobsearchesforme?

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

0

2 Months 20 Days ago

By: assumed. identiy.339

o Technically competent Software engineers can verify this halting

By: olcott on Wed, 22 Jun 2022

158

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

3 Months 2 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

3 Months 6 Days ago

By: Richard Damon

o Software engineers of extreme technical competence [ halting problem

By: olcott on Tue, 21 Jun 2022

6

3 Months 6 Days ago

By: Richard Damon

o Software engineers of extremely high technical competence [ halting

By: olcott on Tue, 21 Jun 2022

6

3 Months 6 Days ago

By: Mr Flibble

o Halting Problem proof refutation is a tautology thus irrefutable

By: olcott on Sun, 19 Jun 2022

76

3 Months 7 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

3 Months 8 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

3 Months 8 Days ago

By: Richard Damon

o Reviewers quit reviewing my work because it is now finally

By: olcott on Fri, 17 Jun 2022

62

3 Months 9 Days ago

By: Richard Damon

o Re: Olcott's H

By: olcott on Fri, 17 Jun 2022

4

3 Months 10 Days ago

By: Richard Damon

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

By: olcott on Fri, 17 Jun 2022

1

3 Months 11 Days ago

By: Richard Damon

o Re: olcott, it's really simple

By: olcott on Thu, 16 Jun 2022

1

3 Months 11 Days ago

By: Richard Damon

o Re: olcott, it's really simple

By: olcott on Thu, 16 Jun 2022

14

3 Months 11 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

3 Months 11 Days ago

By: Richard Damon

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

By: olcott on Thu, 16 Jun 2022

0

3 Months 11 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

3 Months 12 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

3 Months 12 Days ago

By: olcott

o Are my reviewers dishonest or technically incompetent ?

By: olcott on Sun, 22 May 2022

15

3 Months 12 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

3 Months 14 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

3 Months 15 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

3 Months 16 Days ago

By: Richard Damon

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

By: olcott on Thu, 9 Jun 2022

102

3 Months 17 Days ago

By: Richard Damon

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

By: olcott on Wed, 8 Jun 2022

16

3 Months 18 Days ago

By: Richard Damon

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

By: olcott on Wed, 8 Jun 2022

11

3 Months 19 Days ago

By: Richard Damon

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

By: olcott on Wed, 8 Jun 2022

20

3 Months 19 Days ago

By: Richard Damon

o Re: Olcott's non-decider

By: olcott on Wed, 8 Jun 2022

0

3 Months 20 Days ago

By: olcott

o Refuting the HP proofs (adapted for software engineers)

By: olcott on Fri, 3 Jun 2022

54

3 Months 20 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

3 Months 20 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

3 Months 20 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

3 Months 21 Days ago

By: olcott

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

By: olcott on Sat, 4 Jun 2022

2

3 Months 23 Days ago

By: Richard Damon

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

By: olcott on Fri, 27 May 2022

81

3 Months 24 Days ago

By: Richard Damon

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

By: olcott on Thu, 2 Jun 2022

2

3 Months 25 Days ago

By: olcott

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

By: pataphor on Wed, 13 Apr 2022

11

3 Months 28 Days ago

By: Don Stockbauer

o Re: Experts would agree that my reviewers are incorrect

By: Mr Flibble on Tue, 24 May 2022

65

3 Months 30 Days ago

By: Richard Damon

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

By: olcott on Fri, 27 May 2022

1

4 Months ago

By: Richard Damon

o Re: Experts would agree that my reviewers are incorrect

By: Richard Damon on Wed, 25 May 2022

0

4 Months 3 Days ago

By: Richard Damon

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

By: olcott on Tue, 24 May 2022

1

4 Months 3 Days ago

By: olcott

o Music creation as AI

By: Douglas Eagleson on Sun, 3 Apr 2022

2

4 Months 3 Days ago

By: Don Stockbauer

o Re: Question for Olcott [ technical competence ]

By: olcott on Tue, 24 May 2022

0

4 Months 3 Days ago

By: olcott

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

By: olcott on Mon, 23 May 2022

7

4 Months 4 Days ago

By: Richard Damon

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

By: olcott on Sun, 22 May 2022

24

4 Months 4 Days ago

By: Richard Damon

o Halting problem undecidability and infinitely nested simulation (V5)

By: olcott on Sat, 21 May 2022

20

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

4 Months 6 Days ago

By: Richard Damon

o Re: Category error [ HEAD GAMES ]

By: olcott on Wed, 18 May 2022

24

4 Months 7 Days ago

By: Richard Damon

o Top_5_Casual_Dating_Sites_⇒_Join_the_Best_Hookup_S

By: jiyajames147 on Wed, 2 Sep 2020

60

4 Months 8 Days ago

By: Don Stockbauer

o Correcting logic to make it a system of correct reasoning

By: olcott on Fri, 13 May 2022

67

4 Months 9 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

4 Months 14 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

4 Months 14 Days ago

By: Chris M. Thomasson

o Re: reconsidering the 'computerized match maker'

By: Don Stockbauer on Sat, 26 Mar 2022

143

4 Months 15 Days ago

By: Don Stockbauer

o Seasons Greetings

By: esa 4me on Thu, 9 Dec 2021

26

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

4 Months 16 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

4 Months 17 Days ago

By: olcott

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

By: olcott on Mon, 9 May 2022

1

4 Months 18 Days ago

By: olcott

o Re: Next move [ truth itself is broken ]

By: olcott on Mon, 9 May 2022

0

4 Months 19 Days ago

By: olcott

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

By: olcott on Sat, 7 May 2022

1

4 Months 20 Days ago

By: olcott

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

By: olcott on Sat, 23 Apr 2022

3

4 Months 20 Days ago

By: olcott

o Validating that the implementation meets the spec for TM transition

By: olcott on Fri, 6 May 2022

1

4 Months 21 Days ago

By: olcott

o Is this correct Prolog?

By: olcott on Sat, 30 Apr 2022

139

4 Months 21 Days ago

By: olcott

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

By: olcott on Wed, 4 May 2022

19

4 Months 21 Days ago

By: olcott

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

By: olcott on Thu, 5 May 2022

1

4 Months 22 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

4 Months 24 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

2

4 Months 24 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

4 Months 24 Days ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

4 Months 24 Days ago

By: olcott

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

By: jenniferjeson35 on Sun, 30 Aug 2020

57

4 Months 24 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

4 Months 24 Days ago

By: soc women

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

By: polcott on Sun, 1 May 2022

1

4 Months 26 Days ago

By: Richard Damon

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

By: olcott on Fri, 29 Apr 2022

2

4 Months 29 Days ago

By: olcott

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

By: olcott on Fri, 29 Apr 2022

0

4 Months 29 Days ago

By: olcott

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

By: olcott on Sun, 3 Apr 2022

54

4 Months 29 Days ago

By: olcott

o Halting problem undecidability and infinitely nested simulation (V5)

By: olcott on Fri, 15 Apr 2022

2

5 Months 7 Days ago

By: olcott

o Halting problem undecidability and infinitely nested simulation [

By: olcott on Tue, 19 Apr 2022

0

5 Months 9 Days ago

By: olcott

o My_Dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Mon, 18 Apr 2022

0

5 Months 9 Days ago

By: olcott

o My_Dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Sun, 17 Apr 2022

2

5 Months 10 Days ago

By: olcott

o My_dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Fri, 15 Apr 2022

5

5 Months 11 Days ago

By: olcott

o My_dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Sat, 16 Apr 2022

0

5 Months 11 Days ago

By: olcott

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

By: olcott on Tue, 5 Apr 2022

4

5 Months 21 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V6

By: olcott on Fri, 25 Mar 2022

102

5 Months 24 Days ago

By: olcott

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

By: olcott on Fri, 1 Apr 2022

0

5 Months 26 Days ago

By: olcott

o Re: reconsidering the 'computerized match maker'

By: Don Stockbauer on Sat, 26 Mar 2022

0

6 Months 1 Day ago

By: Don Stockbauer

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

By: olcott on Tue, 22 Mar 2022

31

6 Months 2 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V8

By: olcott on Fri, 25 Mar 2022

0

6 Months 2 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V7

By: olcott on Fri, 25 Mar 2022

0

6 Months 2 Days ago

By: olcott

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

By: olcott on Thu, 17 Feb 2022

55

6 Months 4 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V4 [ erroneous

By: olcott on Sat, 19 Mar 2022

18

6 Months 4 Days ago

By: olcott

o Simulating halt deciders correct decider halting

By: olcott on Mon, 28 Feb 2022

88

6 Months 8 Days ago

By: olcott

o Gödel_incompleteness_is_impossible_in_[correct_rea

By: olcott on Thu, 10 Mar 2022

0

6 Months 17 Days ago

By: olcott

o Unless the Goldbach conjecture is provable it is not true

By: olcott on Sun, 6 Mar 2022

1

6 Months 21 Days ago

By: Alan Mackenzie

o Reasoning from first principles

By: olcott on Tue, 22 Feb 2022

63

6 Months 24 Days ago

By: olcott

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

By: iaeng imecs_wce_wcec on Tue, 1 Mar 2022

0

6 Months 26 Days ago

By: iaeng imecs_wce_wcec

o Simulating_halt_decider_embedded_H_must_abort_its_simul

By: olcott on Mon, 28 Feb 2022

1

6 Months 30 Days ago

By: olcott

o Is it behind glass?

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

1

7 Months 6 Days ago

By: Don Stockbauer

o Re: Knowledge's Discretion

By: Jeffrey Rubard on Thu, 27 Jan 2022

1

7 Months 7 Days ago

By: Don Stockbauer

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

By: olcott on Sun, 6 Feb 2022

57

7 Months 8 Days ago

By: olcott

o Halt status criteria that correctly handles pathological

By: olcott on Thu, 17 Feb 2022

0

7 Months 10 Days ago

By: olcott

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

By: olcott on Thu, 17 Feb 2022

0

7 Months 10 Days ago

By: olcott

o Re: Design For A Self?

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

5

7 Months 14 Days ago

By: Jeffrey Rubard

o Re: Understanding Causality

By: Jeffrey Rubard on Thu, 3 Feb 2022

5

7 Months 15 Days ago

By: Don Stockbauer

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

By: olcott on Sat, 5 Feb 2022

2

7 Months 20 Days ago

By: olcott

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

By: olcott on Sat, 22 Jan 2022

56

7 Months 21 Days ago

By: olcott

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

By: olcott on Tue, 1 Feb 2022

0

7 Months 26 Days ago

By: olcott

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

By: olcott on Tue, 1 Feb 2022

0

7 Months 27 Days ago

By: olcott

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

By: olcott on Mon, 31 Jan 2022

0

7 Months 27 Days ago

By: olcott

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

By: olcott on Mon, 31 Jan 2022

0

7 Months 27 Days ago

By: olcott

o Concise refutation of halting problem proofs V55 [ halt deciders ]

By: olcott on Sat, 29 Jan 2022

1

7 Months 27 Days ago

By: olcott

o Concise refutation of halting problem proofs V56 [ key essence ]

By: olcott on Sat, 29 Jan 2022

1

7 Months 29 Days ago

By: olcott

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

By: olcott on Tue, 25 Jan 2022

2

8 Months 2 Days ago

By: olcott

o Concise refutation of halting problem proofs V53 [ Line Proof ]

By: olcott on Tue, 25 Jan 2022

0

8 Months 2 Days ago

By: olcott

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

By: olcott on Sat, 22 Jan 2022

0

8 Months 5 Days ago

By: olcott

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

By: olcott on Sat, 22 Jan 2022

0

8 Months 5 Days ago

By: olcott

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

By: olcott on Fri, 21 Jan 2022

0

8 Months 6 Days ago

By: olcott

o Concise refutation of halting problem proofs V48, [ prerequisites ]

By: olcott on Sat, 15 Jan 2022

8

8 Months 8 Days ago

By: olcott

o Re: Design For A Self?

By: Jeffrey Rubard on Sun, 26 Dec 2021

6

8 Months 12 Days ago

By: Jeffrey Rubard

o dbush and user253751 continued conversation

By: olcott on Thu, 13 Jan 2022

4

8 Months 13 Days ago

By: olcott

o The Second Abstraction of AI

By: Douglas Eagleson on Mon, 13 Sep 2021

5

8 Months 13 Days ago

By: Don Stockbauer

o Concise refutation of halting problem proofs V47

By: olcott on Sun, 9 Jan 2022

3

8 Months 18 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V40 [ persistent

By: olcott on Sun, 19 Dec 2021

7

8 Months 21 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V45 [honest

By: olcott on Mon, 3 Jan 2022

2

8 Months 24 Days ago

By: olcott

o Concise refutation of halting problem proofs V44 [honest dialogue]

By: olcott on Mon, 3 Jan 2022

0

8 Months 24 Days ago

By: olcott

o Concise refutation of halting problem proofs V42 [where people get

By: olcott on Wed, 29 Dec 2021

7

8 Months 25 Days ago

By: olcott

o Concise refutation of halting problem proofs V43 [computer scientist]

By: olcott on Sat, 1 Jan 2022

0

8 Months 26 Days ago

By: olcott

o Concise refutation of halting problem proofs V43 [where people get

By: olcott on Fri, 31 Dec 2021

1

8 Months 27 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V40 [ persistent

By: olcott on Tue, 14 Dec 2021

19

8 Months 30 Days ago

By: olcott

o Concise refutation of halting problem proofs V42

By: olcott on Tue, 28 Dec 2021

1

8 Months 30 Days ago

By: olcott

o What_final_state_does_simplified_Linz_Ĥ_applied_to_

By: olcott on Sun, 26 Dec 2021

3

9 Months ago

By: olcott

o What_final_state_does_adapted_Linz_Ĥ_applied_to_

By: olcott on Fri, 24 Dec 2021

0

9 Months 3 Days ago

By: olcott

o What happens when the Linz H is applied to its own Turing machine

By: olcott on Fri, 24 Dec 2021

0

9 Months 3 Days ago

By: olcott

o What happens when the Linz H is applied to its own Turing machine

By: olcott on Fri, 24 Dec 2021

0

9 Months 3 Days ago

By: olcott

o What happens when the Linz H is applied to its own Turing machine

By: olcott on Fri, 24 Dec 2021

0

9 Months 3 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V40 [ persistent

By: olcott on Sat, 18 Dec 2021

0

9 Months 9 Days ago

By: olcott

o Concise refutation of halting problem proofs V41 [ persistent

By: olcott on Thu, 16 Dec 2021

0

9 Months 11 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V38 [ Olcott 2021

By: olcott on Wed, 8 Dec 2021

1

9 Months 19 Days ago

By: olcott

o Concise refutation of halting problem proofs V37 [ Olcott 2021 generic

By: olcott on Sat, 4 Dec 2021

0

9 Months 23 Days ago

By: olcott

o It is amazing that everyone is too stupid or dishonest to acknowledge

By: olcott on Sat, 4 Dec 2021

0

9 Months 24 Days ago

By: olcott

o Concise refutation of halting problem proofs V36 [ Mike Terry is goofy

By: olcott on Fri, 3 Dec 2021

0

9 Months 24 Days ago

By: olcott

o Concise refutation of halting problem proofs V35

By: olcott on Fri, 3 Dec 2021

0

9 Months 24 Days ago

By: olcott

o Concise refutation of halting problem proofs V34 [ invocation invarian

By: olcott on Thu, 2 Dec 2021

3

9 Months 25 Days ago

By: olcott

o Concise refutation of halting problem proofs V32 [ finally

By: olcott on Thu, 25 Nov 2021

7

9 Months 30 Days ago

By: olcott

o Concise refutation of halting problem proofs V33

By: olcott on Sat, 27 Nov 2021

0

10 Months ago

By: olcott

o Concise refutation of halting problem proofs V31 [ finally

By: olcott on Thu, 25 Nov 2021

0

10 Months 2 Days ago

By: olcott

o Concise refutation of halting problem proofs V27 [ finally

By: olcott on Mon, 22 Nov 2021

3

10 Months 2 Days ago

By: olcott

o Concise refutation of halting problem proofs V30 [ finally

By: olcott on Wed, 24 Nov 2021

1

10 Months 3 Days ago

By: olcott

o Concise refutation of halting problem proofs V29 [ finally

By: olcott on Tue, 23 Nov 2021

0

10 Months 4 Days ago

By: olcott

o Re: Need Imagination/reason algorithm - Stack Overflow

By: Iklanetindo on Mon, 22 Nov 2021

0

10 Months 5 Days ago

By: Iklanetindo

o Concise refutation of halting problem proofs V28 [ finally

By: olcott on Mon, 22 Nov 2021

0

10 Months 5 Days ago

By: olcott

o Concise refutation of halting problem proofs V26 [ defined sets ]

By: olcott on Mon, 22 Nov 2021

0

10 Months 5 Days ago

By: olcott

o Concise refutation of halting problem proofs V18

By: olcott on Fri, 19 Nov 2021

16

10 Months 5 Days ago

By: olcott

o Concise refutation of halting problem proofs V25 [ H is a computable f

By: olcott on Mon, 22 Nov 2021

0

10 Months 6 Days ago

By: olcott

o Concise refutation of halting problem proofs V24 [named sets ]

By: olcott on Sun, 21 Nov 2021

0

10 Months 6 Days ago

By: olcott

o Concise refutation of halting problem proofs V23

By: olcott on Sun, 21 Nov 2021

0

10 Months 6 Days ago

By: olcott

o Concise refutation of halting problem proofs V20 [ Ben Bacarisse ]

By: olcott on Sat, 20 Nov 2021

2

10 Months 7 Days ago

By: olcott

o Concise refutation of halting problem proofs V22 [ precisely defined

By: olcott on Sat, 20 Nov 2021

2

10 Months 7 Days ago

By: olcott

o Concise refutation of halting problem proofs V21 [ precisely defined

By: olcott on Sat, 20 Nov 2021

0

10 Months 7 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V19

By: olcott on Sat, 20 Nov 2021

1

10 Months 7 Days ago

By: olcott

o Concise refutation of halting problem proofs V17

By: olcott on Thu, 18 Nov 2021

6

10 Months 9 Days ago

By: olcott

o Concise refutation of halting problem proofs V16

By: olcott on Wed, 17 Nov 2021

0

10 Months 10 Days ago

By: olcott

o Concise refutation of halting problem proofs V15

By: olcott on Wed, 17 Nov 2021

1

10 Months 10 Days ago

By: olcott

o Concise refutation of halting problem proofs V14 [no assembly

By: olcott on Tue, 16 Nov 2021

2

10 Months 11 Days ago

By: olcott

o Re: Halting problem is a mistake

By: olcott on Sun, 14 Nov 2021

0

10 Months 13 Days ago

By: olcott

o Concise refutation of halting problem proofs V13

By: olcott on Sun, 14 Nov 2021

0

10 Months 13 Days ago

By: olcott

o Re: Why has the argument with Olcott gone on for so long?

By: olcott on Sat, 13 Nov 2021

1

10 Months 14 Days ago

By: olcott

o Re: Why has the argument with Olcott gone on for so long?

By: olcott on Sat, 13 Nov 2021

0

10 Months 14 Days ago

By: olcott

o Re: Halting problem as defined is erroneous

By: olcott on Sat, 13 Nov 2021

0

10 Months 14 Days ago

By: olcott

o Re: Halting problem as defined is erroneous

By: olcott on Sat, 13 Nov 2021

0

10 Months 14 Days ago

By: olcott

o Concise refutation of halting problem proofs V10 [ all rebuttals are c

By: olcott on Fri, 12 Nov 2021

1

10 Months 15 Days ago

By: olcott

o Concise refutation of halting problem proofs V11

By: olcott on Fri, 12 Nov 2021

0

10 Months 15 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V9 [ Simplest one yet ]

By: olcott on Fri, 12 Nov 2021

0

10 Months 15 Days ago

By: olcott

o Concise refutation of halting problem proofs V8 [ Simplest one yet ]

By: olcott on Fri, 12 Nov 2021

0

10 Months 15 Days ago

By: olcott

o Re: Olcott's halt decider is a non-starter

By: olcott on Fri, 12 Nov 2021

0

10 Months 15 Days ago

By: olcott

o Re: Olcott wrong about infinite recursion [ simplest rebuttal of

By: olcott on Thu, 11 Nov 2021

1

10 Months 16 Days ago

By: olcott

o Concise refutation of halting problem proofs V7 [ pure function ]

By: olcott on Thu, 11 Nov 2021

0

10 Months 16 Days ago

By: olcott

o Re: Does the call from P() to H() specify infinite recursion?

By: olcott on Thu, 11 Nov 2021

1

10 Months 16 Days ago

By: olcott

o Concise refutation of halting problem proofs V5

By: olcott on Tue, 9 Nov 2021

5

10 Months 17 Days ago

By: olcott

o Concise refutation of halting problem proofs V6 [ pure function ]

By: olcott on Thu, 11 Nov 2021

0

10 Months 17 Days ago

By: olcott

o Concise refutation of halting problem proofs V4

By: olcott on Sun, 7 Nov 2021

9

10 Months 18 Days ago

By: olcott

o What if a cat barks?

By: olcott on Mon, 21 Jun 2021

127

10 Months 20 Days ago

By: Don Stockbauer

o Concise refutation of halting problem proofs

By: olcott on Thu, 4 Nov 2021

6

10 Months 21 Days ago

By: olcott

o Concise refutation of halting problem proofs V2 [ H(P,P)==0 is

By: olcott on Sat, 6 Nov 2021

0

10 Months 21 Days ago

By: olcott

o Complete proof that H(P,P)==0 is correct for every simulating halt

By: olcott on Wed, 3 Nov 2021

1

10 Months 23 Days ago

By: olcott

o H(P,P)==0 is correct for every simulating halt decider H --- V2

By: olcott on Mon, 1 Nov 2021

24

10 Months 24 Days ago

By: olcott

o H(P,P)==0 is correct for every simulating halt decider H

By: olcott on Mon, 1 Nov 2021

0

10 Months 27 Days ago

By: olcott

o How do we know that the input to H(P,P) really never halts?

By: olcott on Sun, 31 Oct 2021

6

10 Months 27 Days ago

By: olcott

o Re: Scientific reasoning

By: olcott on Fri, 22 Oct 2021

4

10 Months 30 Days ago

By: olcott

o Simulating Halt Decider Theorem (Olcott 2021)

By: olcott on Mon, 25 Oct 2021

10

11 Months 1 Day ago

By: olcott

Pages:12345

There are currently 332 users online
Total messages: 2,860,031

rocksolid light 0.7.2
clearneti2ptor