Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"Thank heaven for startups; without them we'd never have any advances." -- Seymour Cray

devel / comp.theory

 Pages:1234567891011121314
SubjectRepliesLast Message
o NO SUCH THING AS UN-COMPUTABLE!

By: Graham Cooper on Tue, 29 Dec 2020

2

3 Years 3 Months ago

By: Graham Cooper

o national security agency

By: Chris M. Thomasson on Sun, 3 Jan 2021

0

3 Years 3 Months ago

By: Chris M. Thomasson

o Happy Thanksgiving to all

By: Richard Damon on Sat, 28 Nov 2020

312328

3 Years 3 Months ago

By: Richard Damon

o WHY THE HALTING PROOF IS *WRONG* !

By: Graham Cooper on Tue, 29 Dec 2020

1

3 Years 3 Months ago

By: Graham Cooper

o If You Are Interested In Exposing Gregory Chaitin's Nonsense [Please

By: Charlie-Boo on Thu, 31 Dec 2020

1

3 Years 3 Months ago

By: Charlie-Boo

o T-COMPUTABLE -Vs- I-COMPUTABLE

By: Graham Cooper on Tue, 29 Dec 2020

3

3 Years 3 Months ago

By: Graham Cooper

o hcpd

By: DV on Sun, 27 Dec 2020

0

3 Years 4 Months ago

By: DV

o Simple proof of {Linz, Siper, Kozen} counter-example decidability

By: Richard Damon on Wed, 23 Dec 2020

2

3 Years 4 Months ago

By: Richard Damon

o Simple proof of {Linz, Siper, Kozen} counter-example decidability

By: Kaz Kylheku on Wed, 23 Dec 2020

0

3 Years 4 Months ago

By: Kaz Kylheku

o Simple proof of {Linz, Siper, Kozen} counter-example decidability

By: olcott on Wed, 23 Dec 2020

0

3 Years 4 Months ago

By: olcott

o Simple proof of {Linz, Siper, Kozen} counter-example decidability

By: olcott on Wed, 23 Dec 2020

0

3 Years 4 Months ago

By: olcott

o aioe IP ban!

By: André G. Isaak on Fri, 18 Dec 2020

1

3 Years 4 Months ago

By: André G. Isaak

o HALT has to solve NON_HALTING TMs but has to HALT itself!

By: Kaz Kylheku on Tue, 15 Dec 2020

8

3 Years 4 Months ago

By: Kaz Kylheku

o Debug trace of Halts() deciding halting on H_Hat() ---Halts returns a

By: olcott on Wed, 16 Dec 2020

7

3 Years 4 Months ago

By: olcott

o computing the UNcomputable!

By: Graham Cooper on Wed, 16 Dec 2020

0

3 Years 4 Months ago

By: Graham Cooper

o HALT has to solve NON_HALTING TMs but has to HALT itself!

By: Jeff Barnett on Tue, 15 Dec 2020

7

3 Years 4 Months ago

By: Jeff Barnett

o HALT has to solve NON_HALTING TMs but has to HALT itself!

By: Mr Flibble on Tue, 15 Dec 2020

0

3 Years 4 Months ago

By: Mr Flibble

o Actual debug trace of Sipser H() deciding halting Sipser D()

By: olcott on Tue, 8 Dec 2020

14

3 Years 4 Months ago

By: olcott

o Actual debug trace of Sipser H() deciding halting Sipser D()

By: Mostowski Collapse on Thu, 10 Dec 2020

1

3 Years 4 Months ago

By: Mostowski Collapse

o Actual debug trace of Sipser H() deciding halting Sipser D()

By: olcott on Tue, 8 Dec 2020

10

3 Years 4 Months ago

By: olcott

o The olcott problem

By: Mr Flibble on Tue, 8 Dec 2020

1

3 Years 4 Months ago

By: Mr Flibble

o olcott

By: Mr Flibble on Sun, 6 Dec 2020

52

3 Years 4 Months ago

By: Mr Flibble

o olcott

By: Mr Flibble on Mon, 7 Dec 2020

0

3 Years 4 Months ago

By: Mr Flibble

o Olcott's correct refutation of the Peter Linz HP proof

By: Richard Damon on Sun, 6 Dec 2020

2

3 Years 4 Months ago

By: Richard Damon

o olcott's correct refutation of the Peter Linz HP proof

By: Richard Damon on Sun, 6 Dec 2020

0

3 Years 4 Months ago

By: Richard Damon

o Olcott's correct refutation of the Peter Linz HP proof

By: Kaz Kylheku on Sun, 6 Dec 2020

2

3 Years 4 Months ago

By: Kaz Kylheku

o Olcott's correct refutation of the Peter Linz HP proof

By: Mostowski Collapse on Sun, 6 Dec 2020

0

3 Years 4 Months ago

By: Mostowski Collapse

o Halting test example

By: Jeff Barnett on Fri, 27 Nov 2020

69

3 Years 4 Months ago

By: Jeff Barnett

o UNCOMPUTABLE is a MYTH

By: Graham Cooper on Sat, 5 Dec 2020

0

3 Years 4 Months ago

By: Graham Cooper

o The key aspects of x86utm are now finally complete (Refuting the

By: Mr Flibble on Fri, 27 Nov 2020

920

3 Years 4 Months ago

By: Mr Flibble

o Happy Thanksgiving to all (infinite recursion slaps them in the

By: olcott on Mon, 30 Nov 2020

6

3 Years 4 Months ago

By: olcott

o Only solution to the halting problem

By: olcott on Mon, 30 Nov 2020

3

3 Years 4 Months ago

By: olcott

o _It_is_known_that_a_correct_halt_decider_must_return_false_(in_this_case)[V4](re

By: olcott on Sun, 29 Nov 2020

16

3 Years 4 Months ago

By: olcott

o Happy Thanksgiving to all

By: Richard Damon on Mon, 30 Nov 2020

0

3 Years 4 Months ago

By: Richard Damon

o Happy Thanksgiving to all

By: olcott on Fri, 27 Nov 2020

0

3 Years 5 Months ago

By: olcott

o It is known that a correct halt decider must return false (in this case)[V4](emu

By: olcott on Fri, 27 Nov 2020

13

3 Years 5 Months ago

By: olcott

o It is known that a correct halt decider must return false

By: olcott on Fri, 27 Nov 2020

0

3 Years 5 Months ago

By: olcott

Pages:1234567891011121314

There are currently 216 users online
Total messages: 2,307,848

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor