Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

Per buck you get more computing action with the small computer. -- R. W. Hamming


computers / comp.ai.philosophy

Pages:1234
SubjectRepliesLast Message
o Re: Question for Olcott [ Richard continues to be a liar ]

By: olcott on Mon, 23 May 2022

7

1 Hour 13 Minutes ago

By: Richard Damon

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

By: olcott on Sun, 22 May 2022

24

4 Hours 7 Minutes ago

By: Richard Damon

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

By: pataphor on Wed, 13 Apr 2022

9

10 Hours 52 Minutes ago

By: Don Stockbauer

o Are my reviewers dishonest or technically incompetent ?

By: olcott on Sun, 22 May 2022

10

1 Day 4 Hours ago

By: Richard Damon

o Halting problem undecidability and infinitely nested simulation (V5)

By: olcott on Sat, 21 May 2022

20

1 Day 23 Hours 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

1 Day 23 Hours ago

By: Richard Damon

o Re: Category error [ HEAD GAMES ]

By: olcott on Wed, 18 May 2022

24

3 Days 5 Hours ago

By: Richard Damon

o Top_5_Casual_Dating_Sites_⇒_Join_the_Best_Hookup_S

By: jiyajames147 on Wed, 2 Sep 2020

60

4 Days 1 Hour ago

By: Don Stockbauer

o Correcting logic to make it a system of correct reasoning

By: olcott on Fri, 13 May 2022

67

5 Days 3 Hours 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 Days 6 Hours 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 Days 7 Hours ago

By: Chris M. Thomasson

o Re: _#MARINABERLUSCONI_MARINA_BERLUSCONI_É_LESBICA_K

By: Don Stockbauer on Fri, 13 May 2022

0

10 Days 12 Hours ago

By: Don Stockbauer

o Re: reconsidering the 'computerized match maker'

By: Don Stockbauer on Sat, 26 Mar 2022

143

11 Days 4 Hours ago

By: Don Stockbauer

o Seasons Greetings

By: esa 4me on Thu, 9 Dec 2021

26

11 Days 16 Hours 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

12 Days 5 Hours ago

By: olcott

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

By: olcott on Tue, 10 May 2022

0

13 Days 14 Hours ago

By: olcott

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

By: olcott on Mon, 9 May 2022

1

14 Days 4 Hours ago

By: olcott

o Re: Next move [ truth itself is broken ]

By: olcott on Mon, 9 May 2022

0

14 Days 23 Hours ago

By: olcott

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

By: olcott on Sat, 7 May 2022

1

16 Days 2 Hours ago

By: olcott

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

By: olcott on Sat, 23 Apr 2022

3

16 Days 5 Hours ago

By: olcott

o Validating that the implementation meets the spec for TM transition

By: olcott on Fri, 6 May 2022

1

17 Days 5 Hours ago

By: olcott

o Is this correct Prolog?

By: olcott on Sat, 30 Apr 2022

139

17 Days 6 Hours ago

By: olcott

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

By: olcott on Wed, 4 May 2022

19

17 Days 22 Hours ago

By: olcott

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

By: olcott on Thu, 5 May 2022

1

18 Days 1 Hour ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

20 Days 3 Hours ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

2

20 Days 5 Hours ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

20 Days 9 Hours ago

By: olcott

o Re: On recursion and infinite recursion (reprise)

By: olcott on Tue, 3 May 2022

0

20 Days 9 Hours ago

By: olcott

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

By: jenniferjeson35 on Sun, 30 Aug 2020

57

20 Days 17 Hours 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

20 Days 17 Hours ago

By: soc women

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

By: polcott on Sun, 1 May 2022

1

22 Days 9 Hours ago

By: Richard Damon

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

By: olcott on Fri, 29 Apr 2022

2

24 Days 1 Hour ago

By: olcott

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

By: olcott on Fri, 29 Apr 2022

0

24 Days 8 Hours ago

By: olcott

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

By: olcott on Sun, 3 Apr 2022

54

24 Days 22 Hours ago

By: olcott

o Music creation as AI

By: Douglas Eagleson on Sun, 3 Apr 2022

1

27 Days 14 Hours ago

By: Don Stockbauer

o Halting problem undecidability and infinitely nested simulation (V5)

By: olcott on Fri, 15 Apr 2022

2

1 Month 3 Days ago

By: olcott

o Halting problem undecidability and infinitely nested simulation [

By: olcott on Tue, 19 Apr 2022

0

1 Month 5 Days ago

By: olcott

o My_Dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Mon, 18 Apr 2022

0

1 Month 5 Days ago

By: olcott

o My_Dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Sun, 17 Apr 2022

2

1 Month 6 Days ago

By: olcott

o My_dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Fri, 15 Apr 2022

5

1 Month 7 Days ago

By: olcott

o My_dishonest_reviewers:_André,_Ben,_Mike,_De

By: olcott on Sat, 16 Apr 2022

0

1 Month 7 Days ago

By: olcott

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

By: olcott on Tue, 5 Apr 2022

4

1 Month 17 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V6

By: olcott on Fri, 25 Mar 2022

102

1 Month 20 Days ago

By: olcott

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

By: olcott on Fri, 1 Apr 2022

0

1 Month 22 Days ago

By: olcott

o Re: reconsidering the 'computerized match maker'

By: Don Stockbauer on Sat, 26 Mar 2022

0

1 Month 27 Days ago

By: Don Stockbauer

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

By: olcott on Tue, 22 Mar 2022

31

1 Month 28 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V8

By: olcott on Fri, 25 Mar 2022

0

1 Month 28 Days ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V7

By: olcott on Fri, 25 Mar 2022

0

1 Month 28 Days ago

By: olcott

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

By: olcott on Thu, 17 Feb 2022

55

2 Months ago

By: olcott

o Refuting the Peter Linz Halting Problem Proof V4 [ erroneous

By: olcott on Sat, 19 Mar 2022

18

2 Months ago

By: olcott

o Simulating halt deciders correct decider halting

By: olcott on Mon, 28 Feb 2022

88

2 Months 4 Days ago

By: olcott

o Gödel_incompleteness_is_impossible_in_[correct_rea

By: olcott on Thu, 10 Mar 2022

0

2 Months 13 Days ago

By: olcott

o Unless the Goldbach conjecture is provable it is not true

By: olcott on Sun, 6 Mar 2022

1

2 Months 17 Days ago

By: Alan Mackenzie

o Reasoning from first principles

By: olcott on Tue, 22 Feb 2022

63

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

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

2 Months 25 Days ago

By: olcott

o Is it behind glass?

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

1

3 Months 2 Days ago

By: Don Stockbauer

o Re: Knowledge's Discretion

By: Jeffrey Rubard on Thu, 27 Jan 2022

1

3 Months 3 Days ago

By: Don Stockbauer

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

By: olcott on Sun, 6 Feb 2022

57

3 Months 4 Days ago

By: olcott

o Halt status criteria that correctly handles pathological

By: olcott on Thu, 17 Feb 2022

0

3 Months 6 Days ago

By: olcott

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

By: olcott on Thu, 17 Feb 2022

0

3 Months 6 Days ago

By: olcott

o Re: Design For A Self?

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

5

3 Months 10 Days ago

By: Jeffrey Rubard

o Re: Understanding Causality

By: Jeffrey Rubard on Thu, 3 Feb 2022

5

3 Months 11 Days ago

By: Don Stockbauer

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

By: olcott on Sat, 5 Feb 2022

2

3 Months 16 Days ago

By: olcott

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

By: olcott on Sat, 22 Jan 2022

56

3 Months 17 Days ago

By: olcott

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

By: olcott on Tue, 1 Feb 2022

0

3 Months 22 Days ago

By: olcott

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

By: olcott on Tue, 1 Feb 2022

0

3 Months 23 Days ago

By: olcott

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

By: olcott on Mon, 31 Jan 2022

0

3 Months 22 Days ago

By: olcott

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

By: olcott on Mon, 31 Jan 2022

0

3 Months 22 Days ago

By: olcott

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

By: olcott on Sat, 29 Jan 2022

1

3 Months 22 Days ago

By: olcott

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

By: olcott on Sat, 29 Jan 2022

1

3 Months 24 Days ago

By: olcott

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

By: olcott on Tue, 25 Jan 2022

2

3 Months 28 Days ago

By: olcott

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

By: olcott on Tue, 25 Jan 2022

0

3 Months 28 Days ago

By: olcott

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

By: olcott on Sat, 22 Jan 2022

0

4 Months 1 Day ago

By: olcott

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

By: olcott on Sat, 22 Jan 2022

0

4 Months 1 Day ago

By: olcott

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

By: olcott on Fri, 21 Jan 2022

0

4 Months 2 Days ago

By: olcott

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

By: olcott on Sat, 15 Jan 2022

8

4 Months 4 Days ago

By: olcott

o Re: Design For A Self?

By: Jeffrey Rubard on Sun, 26 Dec 2021

6

4 Months 7 Days ago

By: Jeffrey Rubard

o dbush and user253751 continued conversation

By: olcott on Thu, 13 Jan 2022

4

4 Months 9 Days ago

By: olcott

o The Second Abstraction of AI

By: Douglas Eagleson on Mon, 13 Sep 2021

5

4 Months 9 Days ago

By: Don Stockbauer

o Concise refutation of halting problem proofs V47

By: olcott on Sun, 9 Jan 2022

3

4 Months 14 Days ago

By: olcott

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

By: olcott on Sun, 19 Dec 2021

7

4 Months 17 Days ago

By: olcott

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

By: olcott on Mon, 3 Jan 2022

2

4 Months 20 Days ago

By: olcott

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

By: olcott on Mon, 3 Jan 2022

0

4 Months 20 Days ago

By: olcott

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

By: olcott on Wed, 29 Dec 2021

7

4 Months 21 Days ago

By: olcott

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

By: olcott on Sat, 1 Jan 2022

0

4 Months 22 Days ago

By: olcott

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

By: olcott on Fri, 31 Dec 2021

1

4 Months 22 Days ago

By: olcott

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

By: olcott on Tue, 14 Dec 2021

19

4 Months 25 Days ago

By: olcott

o Concise refutation of halting problem proofs V42

By: olcott on Tue, 28 Dec 2021

1

4 Months 25 Days ago

By: olcott

o What_final_state_does_simplified_Linz_Ĥ_applied_to_

By: olcott on Sun, 26 Dec 2021

3

4 Months 26 Days ago

By: olcott

o What_final_state_does_adapted_Linz_Ĥ_applied_to_

By: olcott on Fri, 24 Dec 2021

0

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

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

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

4 Months 29 Days ago

By: olcott

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

By: olcott on Sat, 18 Dec 2021

0

5 Months 5 Days ago

By: olcott

o Concise refutation of halting problem proofs V41 [ persistent

By: olcott on Thu, 16 Dec 2021

0

5 Months 7 Days ago

By: olcott

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

By: olcott on Wed, 8 Dec 2021

1

5 Months 15 Days ago

By: olcott

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

By: olcott on Sat, 4 Dec 2021

0

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

5 Months 20 Days ago

By: olcott

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

By: olcott on Fri, 3 Dec 2021

0

5 Months 20 Days ago

By: olcott

o Concise refutation of halting problem proofs V35

By: olcott on Fri, 3 Dec 2021

0

5 Months 20 Days ago

By: olcott

o Concise refutation of halting problem proofs V34 [ invocation invarian

By: olcott on Thu, 2 Dec 2021

3

5 Months 21 Days ago

By: olcott

o Concise refutation of halting problem proofs V32 [ finally

By: olcott on Thu, 25 Nov 2021

7

5 Months 25 Days ago

By: olcott

o Concise refutation of halting problem proofs V33

By: olcott on Sat, 27 Nov 2021

0

5 Months 26 Days ago

By: olcott

o Concise refutation of halting problem proofs V31 [ finally

By: olcott on Thu, 25 Nov 2021

0

5 Months 28 Days ago

By: olcott

o Concise refutation of halting problem proofs V27 [ finally

By: olcott on Mon, 22 Nov 2021

3

5 Months 28 Days ago

By: olcott

o Concise refutation of halting problem proofs V30 [ finally

By: olcott on Wed, 24 Nov 2021

1

5 Months 29 Days ago

By: olcott

o Concise refutation of halting problem proofs V29 [ finally

By: olcott on Tue, 23 Nov 2021

0

6 Months ago

By: olcott

o Re: Need Imagination/reason algorithm - Stack Overflow

By: Iklanetindo on Mon, 22 Nov 2021

0

6 Months 1 Day ago

By: Iklanetindo

o Concise refutation of halting problem proofs V28 [ finally

By: olcott on Mon, 22 Nov 2021

0

6 Months 1 Day ago

By: olcott

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

By: olcott on Mon, 22 Nov 2021

0

6 Months 1 Day ago

By: olcott

o Concise refutation of halting problem proofs V18

By: olcott on Fri, 19 Nov 2021

16

6 Months 1 Day ago

By: olcott

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

By: olcott on Mon, 22 Nov 2021

0

6 Months 2 Days ago

By: olcott

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

By: olcott on Sun, 21 Nov 2021

0

6 Months 2 Days ago

By: olcott

o Concise refutation of halting problem proofs V23

By: olcott on Sun, 21 Nov 2021

0

6 Months 2 Days ago

By: olcott

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

By: olcott on Sat, 20 Nov 2021

2

6 Months 3 Days ago

By: olcott

o Concise refutation of halting problem proofs V22 [ precisely defined

By: olcott on Sat, 20 Nov 2021

2

6 Months 3 Days ago

By: olcott

o Concise refutation of halting problem proofs V21 [ precisely defined

By: olcott on Sat, 20 Nov 2021

0

6 Months 3 Days ago

By: olcott

o Re: Concise refutation of halting problem proofs V19

By: olcott on Sat, 20 Nov 2021

1

6 Months 3 Days ago

By: olcott

o Concise refutation of halting problem proofs V17

By: olcott on Thu, 18 Nov 2021

6

6 Months 5 Days ago

By: olcott

o Concise refutation of halting problem proofs V16

By: olcott on Wed, 17 Nov 2021

0

6 Months 6 Days ago

By: olcott

o Concise refutation of halting problem proofs V15

By: olcott on Wed, 17 Nov 2021

1

6 Months 6 Days ago

By: olcott

o Concise refutation of halting problem proofs V14 [no assembly

By: olcott on Tue, 16 Nov 2021

2

6 Months 7 Days ago

By: olcott

o Re: Halting problem is a mistake

By: olcott on Sun, 14 Nov 2021

0

6 Months 9 Days ago

By: olcott

o Concise refutation of halting problem proofs V13

By: olcott on Sun, 14 Nov 2021

0

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

6 Months 10 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

6 Months 10 Days ago

By: olcott

o Re: Halting problem as defined is erroneous

By: olcott on Sat, 13 Nov 2021

0

6 Months 10 Days ago

By: olcott

o Re: Halting problem as defined is erroneous

By: olcott on Sat, 13 Nov 2021

0

6 Months 10 Days ago

By: olcott

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

By: olcott on Fri, 12 Nov 2021

1

6 Months 11 Days ago

By: olcott

o Concise refutation of halting problem proofs V11

By: olcott on Fri, 12 Nov 2021

0

6 Months 11 Days ago

By: olcott

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

By: olcott on Fri, 12 Nov 2021

0

6 Months 11 Days ago

By: olcott

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

By: olcott on Fri, 12 Nov 2021

0

6 Months 11 Days ago

By: olcott

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

By: olcott on Fri, 12 Nov 2021

0

6 Months 11 Days ago

By: olcott

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

By: olcott on Thu, 11 Nov 2021

1

6 Months 12 Days ago

By: olcott

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

By: olcott on Thu, 11 Nov 2021

0

6 Months 12 Days ago

By: olcott

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

By: olcott on Thu, 11 Nov 2021

1

6 Months 12 Days ago

By: olcott

o Concise refutation of halting problem proofs V5

By: olcott on Tue, 9 Nov 2021

5

6 Months 13 Days ago

By: olcott

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

By: olcott on Thu, 11 Nov 2021

0

6 Months 13 Days ago

By: olcott

o Concise refutation of halting problem proofs V4

By: olcott on Sun, 7 Nov 2021

9

6 Months 14 Days ago

By: olcott

o What if a cat barks?

By: olcott on Mon, 21 Jun 2021

127

6 Months 16 Days ago

By: Don Stockbauer

o Concise refutation of halting problem proofs

By: olcott on Thu, 4 Nov 2021

6

6 Months 17 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

6 Months 17 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

6 Months 19 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

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

6 Months 22 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

6 Months 22 Days ago

By: olcott

o Re: Scientific reasoning

By: olcott on Fri, 22 Oct 2021

4

6 Months 25 Days ago

By: olcott

o Simulating Halt Decider Theorem (Olcott 2021)

By: olcott on Mon, 25 Oct 2021

10

6 Months 27 Days ago

By: olcott

o The_foundation_of_analytic_knowledge_refuting_the_Münchhausen_trilemma

By: olcott on Mon, 25 Oct 2021

1

6 Months 27 Days ago

By: olcott

o Clarification_of_Linz_Ĥ_Description

By: olcott on Wed, 29 Sep 2021

25

6 Months 28 Days ago

By: olcott

o Re: Vacuously TRUE vs Vacuously FALSE? [ natural preexisting order of

By: olcott on Mon, 25 Oct 2021

3

6 Months 28 Days ago

By: Peter

o I finally completed my lexical analyzer generator (needed by my halt d

By: olcott on Sun, 24 Oct 2021

1

6 Months 28 Days ago

By: olcott

o Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements of

By: olcott on Mon, 25 Oct 2021

1

6 Months 28 Days ago

By: Peter

o Re: Vacuously TRUE vs Vacuously FALSE? [ properties of elements of

By: olcott on Mon, 25 Oct 2021

0

6 Months 28 Days ago

By: olcott

o Re: _Scientific_reasoning_H(P,P)_and_Ĥq0_⟨Ĥ⟩ ⟨Ĥ⟩

By: olcott on Fri, 22 Oct 2021

1

7 Months ago

By: olcott

o Abolishing Russell's paradox using a knowledge ontology

By: olcott on Mon, 18 Oct 2021

6

7 Months 2 Days ago

By: Peter

o My augmentation to foundationalism

By: olcott on Sun, 17 Oct 2021

13

7 Months 4 Days ago

By: olcott

o Re: The Vacuous Truth about the Present King of France: ****

By: olcott on Fri, 15 Oct 2021

0

7 Months 8 Days ago

By: olcott

o The key basis of my refutation of the halting theorem

By: olcott on Mon, 27 Sep 2021

3

7 Months 23 Days ago

By: olcott

o Re: People who believe Trump won without evidence are correctly

By: olcott on Tue, 28 Sep 2021

0

7 Months 25 Days ago

By: olcott

o It looks like I can exactly duplicate the Linz proof in x86 without

By: olcott on Wed, 22 Sep 2021

13

7 Months 25 Days ago

By: olcott

o Re: Infinitely Recursive input on HP Proofs

By: olcott on Mon, 27 Sep 2021

0

7 Months 26 Days ago

By: olcott

o Is it possible to create a simple infinite emulation detector?

By: olcott on Thu, 23 Sep 2021

1

7 Months 28 Days ago

By: olcott

o Why do theory of computation problems require pure functions?

By: olcott on Sat, 18 Sep 2021

13

8 Months 2 Days ago

By: olcott

o Re: Must a partial halt decider be a pure function of its inputs?

By: olcott on Mon, 20 Sep 2021

2

8 Months 3 Days ago

By: olcott

o Re: Must a partial halt decider be a pure function of its inputs? (addendu

By: olcott on Sun, 19 Sep 2021

12

8 Months 4 Days ago

By: Mr Flibble

o Re: Must a partial halt decider be a pure function of its inputs?

By: olcott on Sun, 19 Sep 2021

1

8 Months 4 Days ago

By: olcott

o The key mistake of the Peter Linz HP proof

By: olcott on Sat, 4 Sep 2021

4

8 Months 6 Days ago

By: olcott

o ESCORTS PUNE GIRLS

By: rock metro on Tue, 14 Sep 2021

2

8 Months 7 Days ago

By: Don Stockbauer

o That P(P) of main() halts does not contradict H(P,P)==0 [ exception

By: olcott on Sat, 28 Aug 2021

42

8 Months 11 Days ago

By: olcott

o Helgoland - a stepping stone forward for new ideas (in SF)?

By: Simon Laub on Sun, 5 Sep 2021

2

8 Months 13 Days ago

By: Doc O'Leary

o Airtight proof that H(P,P)==0 is correct

By: olcott on Mon, 30 Aug 2021

3

8 Months 23 Days ago

By: olcott

o How do we know H(P,P)==0 is the correct halt status for the input to

By: olcott on Sat, 14 Aug 2021

29

8 Months 25 Days ago

By: olcott

o H(P,P) is computationally distinct from P(P)

By: olcott on Tue, 24 Aug 2021

0

9 Months ago

By: olcott

o Updated paper refutes the halting problem proofs

By: olcott on Fri, 20 Aug 2021

0

9 Months 3 Days ago

By: olcott

o How do we know H(P,P)==0 is the correct halt status for the input to

By: olcott on Fri, 20 Aug 2021

0

9 Months 4 Days ago

By: olcott

o Craigslist Personals Alternative site List For Sex Hookup & Dating

By: mariyatrlr on Fri, 18 Sep 2020

154

9 Months 5 Days ago

By: LARA BRAN

o Re: How do we know H(P,P)==0 is the correct halt status for the input

By: olcott on Sat, 14 Aug 2021

0

9 Months 9 Days ago

By: olcott

o Any high school student knowing the x86 language can confirm this:

By: olcott on Sat, 14 Aug 2021

1

9 Months 9 Days ago

By: Jeff Barnett

o Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct_and_forms_no_contradiction.

By: olcott on Fri, 13 Aug 2021

0

9 Months 10 Days ago

By: olcott

o Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is

By: olcott on Mon, 26 Jul 2021

40

9 Months 11 Days ago

By: olcott

o Re: Ĥ.qx ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.qn is correct_and_forms_no_contradiction.

By: olcott on Thu, 12 Aug 2021

0

9 Months 12 Days ago

By: olcott

o Anyone wanting an actual honestly dialogue on the proof that H(P,P)==0

By: olcott on Thu, 5 Aug 2021

15

9 Months 12 Days ago

By: olcott

o Quantum logic in AI?

By: Douglas Eagleson on Fri, 6 Aug 2021

2

9 Months 15 Days ago

By: Douglas Eagleson

o Anyone wanting an actual honest dialogue on the proof that H(P,P)==0 i

By: olcott on Thu, 5 Aug 2021

0

9 Months 18 Days ago

By: olcott

o Pathological self-reference(Olcott 2004) decider [ Defeating Rice's Th

By: olcott on Fri, 30 Jul 2021

9

9 Months 20 Days ago

By: olcott

o Re: Definition of primitive recursive function (wiki) [ H(P,P)==0 is alway

By: olcott on Mon, 2 Aug 2021

0

9 Months 21 Days ago

By: olcott

o Re: The HP does not exist as stated .. [ Simulating halt deciders ]

By: olcott on Sat, 31 Jul 2021

0

9 Months 22 Days ago

By: olcott

o Re: _André_doesn't_know_Rice's_Theorem_[_Malcolm_]_[_Try_and_provide_a_cou

By: olcott on Sat, 31 Jul 2021

0

9 Months 22 Days ago

By: olcott

o Re: Black box halt decider is NOT a partial decider [ paradox rather

By: olcott on Mon, 26 Jul 2021

29

9 Months 22 Days ago

By: olcott

o Pathological self-reference(Olcott 2004) decider

By: olcott on Fri, 30 Jul 2021

0

9 Months 23 Days ago

By: olcott

o Re: HP proofs appear to be peer reviewed garbage

By: olcott on Thu, 29 Jul 2021

2

9 Months 24 Days ago

By: olcott

o Re: The contradiction that the HP is predicated on is detectable ..

By: olcott on Tue, 27 Jul 2021

2

9 Months 25 Days ago

By: olcott

o Re: The contradiction that the HP is predicated on is detectable ..

By: olcott on Tue, 27 Jul 2021

0

9 Months 26 Days ago

By: olcott

o How is H(P,P)==0 correct even though P(P) stops running?

By: olcott on Thu, 22 Jul 2021

21

9 Months 27 Days ago

By: olcott

o Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct

By: olcott on Mon, 26 Jul 2021

0

9 Months 27 Days ago

By: olcott

o Re: Black box halt decider is NOT a partial decider [ H(P,P)==0 is correct

By: olcott on Mon, 26 Jul 2021

0

9 Months 27 Days ago

By: olcott

o Re: The Rwandan genocide: still questions

By: Don Stockbauer on Mon, 26 Jul 2021

0

9 Months 28 Days ago

By: Don Stockbauer

o Re: Halting Problem Solved (Black Box Decider Theory)

By: olcott on Fri, 16 Jul 2021

15

10 Months ago

By: olcott

Pages:1234

There are currently 326 users online
Total messages: 2,542,646

rocksolid light 0.7.2
clearneti2ptor