Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Center meeting at 4pm in 2C-543.


devel / comp.theory

Pages:1234567891011121314
SubjectRepliesLast Message
o A decider that can detect "pathological" cases as well as halting.

By: Jeff Barnett on Wed, 3 Aug 2022

632

1 Year 5 Months ago

By: olcott

o Simulating halt deciders have been validated

By: olcott on Wed, 19 Oct 2022

30

1 Year 5 Months ago

By: Mr Flibble

o university of mary washington, singers and other artists who have

By: B.H. on Thu, 20 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o Architectural design of a halting problem solution [ Bill the

By: olcott on Thu, 20 Oct 2022

0

1 Year 5 Months ago

By: olcott

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

By: Ben Bacarisse on Fri, 27 Nov 2020

51

1 Year 5 Months ago

By: olcott

o cia, wh, congress, across the street neighbors, "pancho valvejob,"

By: B.H. on Wed, 19 Oct 2022

1

1 Year 5 Months ago

By: Efftard K. Donglemei

o university of mary washington, singers and other artists who have

By: B.H. on Wed, 19 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o My sister says that Ben is Jealous

By: olcott on Wed, 19 Oct 2022

1

1 Year 5 Months ago

By: Python

o clenise white

By: B.H. on Wed, 19 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o fbi, doj

By: B.H. on Wed, 19 Oct 2022

1

1 Year 5 Months ago

By: Efftard K. Donglemei

o fbi, doj

By: B.H. on Wed, 19 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o african-american bad guy at Deep Run Park that makes weird faces at

By: B.H. on Wed, 19 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o food lion, cvs

By: B.H. on Wed, 19 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o cia, wh, congress, across the street neighbors, "pancho valvejob,"

By: B.H. on Wed, 19 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o cia, congress, wh

By: B.H. on Tue, 18 Oct 2022

1

1 Year 5 Months ago

By: Pancho Valvejob

o cia

By: B.H. on Mon, 17 Oct 2022

3

1 Year 5 Months ago

By: Jeffrey Rubard

o Ben is embarrassed by his own truthfulness

By: olcott on Tue, 18 Oct 2022

0

1 Year 5 Months ago

By: olcott

o Some of my reviewers disagree with verified facts

By: olcott on Tue, 18 Oct 2022

2

1 Year 5 Months ago

By: olcott

o Olcott is proven to be correct to all those paying attention [hardly

By: olcott on Tue, 18 Oct 2022

2

1 Year 5 Months ago

By: olcott

o MIT Professor Michael Sipser validates the notion of a simulating

By: olcott on Sun, 16 Oct 2022

22

1 Year 5 Months ago

By: Richard Damon

o terence tao

By: Philip White on Mon, 17 Oct 2022

1

1 Year 5 Months ago

By: Jeffrey Rubard

o cia, congress, white house

By: Philip White on Mon, 17 Oct 2022

0

1 Year 5 Months ago

By: Philip White

o congress, joe manchin, mark warner, tim kaine, abigail spanberger,

By: B.H. on Mon, 17 Oct 2022

1

1 Year 5 Months ago

By: B.H.

o cia, congress, joe biden, kamala harris, nsa, dhs

By: B.H. on Mon, 17 Oct 2022

0

1 Year 5 Months ago

By: B.H.

o Book Embedding Conjecture

By: Philip White on Sun, 16 Oct 2022

0

1 Year 5 Months ago

By: Philip White

o Restricted Assignment Problem solution

By: Philip White on Sun, 16 Oct 2022

0

1 Year 5 Months ago

By: Philip White

o Burnside Problem

By: Philip White on Sun, 16 Oct 2022

0

1 Year 5 Months ago

By: Philip White

o Square Root Sum Problem

By: Philip White on Sun, 16 Oct 2022

1

1 Year 5 Months ago

By: Philip White

o Lonely Runner Conjecture

By: Philip White on Sun, 16 Oct 2022

0

1 Year 5 Months ago

By: Philip White

o Twin Prime Conjecture

By: Philip White on Sun, 16 Oct 2022

0

1 Year 6 Months ago

By: Philip White

o I will cut off cross-posting

By: Bonita Montero on Sat, 15 Oct 2022

1

1 Year 6 Months ago

By: Bonita Montero

o Usenet poster blort, cia

By: B.H. on Fri, 14 Oct 2022

2

1 Year 6 Months ago

By: Jeffrey Rubard

o Simulating Halt Decider #2

By: Mr Flibble on Sat, 15 Oct 2022

0

1 Year 6 Months ago

By: Mr Flibble

o Simulating Halt Decider

By: Mr Flibble on Sat, 15 Oct 2022

4

1 Year 6 Months ago

By: Richard Damon

o cia

By: B.H. on Thu, 13 Oct 2022

4

1 Year 6 Months ago

By: blort

o israel, cia, wh, all of congress

By: B.H. on Wed, 5 Oct 2022

4

1 Year 6 Months ago

By: Philip White

o Rebutting the Sipser diagonal proof

By: olcott on Mon, 10 Oct 2022

52

1 Year 6 Months ago

By: Ben Bacarisse

o More Support for "Hard-Work, Anti-Trump" Republicans

By: B.H. on Wed, 12 Oct 2022

1

1 Year 6 Months ago

By: Philip White

o cia

By: B.H. on Sun, 9 Oct 2022

2

1 Year 6 Months ago

By: Jeffrey Rubard

o OK I whipped up some pro-hard-work research.

By: B.H. on Tue, 11 Oct 2022

1

1 Year 6 Months ago

By: B.H.

o Olcott

By: Mr Flibble on Wed, 17 Aug 2022

299

1 Year 6 Months ago

By: olcott

o Simulating halt deciders refute the halting theorem

By: olcott on Sun, 9 Oct 2022

76

1 Year 6 Months ago

By: Richard Damon

o non-halting

By: Mr Flibble on Sun, 9 Oct 2022

0

1 Year 6 Months ago

By: Mr Flibble

o Halting problem proofs refuted

By: Mr Flibble on Sat, 1 Oct 2022

11

1 Year 6 Months ago

By: Richard Damon

o Joe Biden's Destiny: I'm touching one of my thank-you notes from the NSA.

By: B.H. on Mon, 19 Sep 2022

11

1 Year 6 Months ago

By: Jeffrey Rubard

o What is the relationship between Diophantine Equations and the

By: Charlie-Boo on Wed, 5 Oct 2022

0

1 Year 6 Months ago

By: Charlie-Boo

o Olcott is correct if...

By: Mr Flibble on Mon, 3 Oct 2022

20

1 Year 6 Months ago

By: Richard Damon

o Insufficient Support: P = PSPACE

By: B.H. on Tue, 4 Oct 2022

0

1 Year 6 Months ago

By: B.H.

o olcott is absolutely correct.

By: wij on Thu, 29 Sep 2022

183

1 Year 6 Months ago

By: Richard Damon

o What is the criteria for Turing equivalence of modern programming

By: olcott on Sun, 2 Oct 2022

12

1 Year 6 Months ago

By: Richard Damon

o Hierarchy of arithmetics

By: Newberry on Fri, 30 Sep 2022

4

1 Year 6 Months ago

By: Julio Di Egidio

o LCCOMP news 30.09.2022

By: gena...@gmail.com on Fri, 30 Sep 2022

0

1 Year 6 Months ago

By: gena...@gmail.com

o I'm out of game theory ideas to research. Does anyone have any ideas?

By: Philip White on Fri, 30 Sep 2022

0

1 Year 6 Months ago

By: Philip White

o The Halting Problem proofs have a fatal flaw [ Visual Studio c/c++

By: olcott on Tue, 27 Sep 2022

25

1 Year 6 Months ago

By: Richard Damon

o representing binary number naturally

By: Lew Pitcher on Mon, 26 Sep 2022

63

1 Year 6 Months ago

By: Richard Damon

o My latest chess game against Chess.com's 2600 bot.

By: Philip White on Wed, 28 Sep 2022

1

1 Year 6 Months ago

By: Philip White

o israel, cia

By: Philip White on Sat, 24 Sep 2022

1

1 Year 6 Months ago

By: Efftard K. Donglemei

o Halting problem proofs refuted (Flibble Signaling Decider)

By: Mr Flibble on Sat, 24 Sep 2022

23

1 Year 6 Months ago

By: Ben Bacarisse

o The Halting Problem proofs have a fatal flaw

By: olcott on Wed, 21 Sep 2022

47

1 Year 6 Months ago

By: olcott

o Halting problem proofs refuted on the basis of software engineering ?

By: olcott on Tue, 20 Sep 2022

67

1 Year 6 Months ago

By: Richard Damon

o google

By: B.H. on Fri, 23 Sep 2022

0

1 Year 6 Months ago

By: B.H.

o google

By: B.H. on Fri, 23 Sep 2022

0

1 Year 6 Months ago

By: B.H.

o Comments on the EU.

By: B.H. on Thu, 22 Sep 2022

0

1 Year 6 Months ago

By: B.H.

o A quick comment about service.

By: B.H. on Thu, 22 Sep 2022

0

1 Year 6 Months ago

By: B.H.

o Game Theory Publication

By: B.H. on Wed, 21 Sep 2022

3

1 Year 6 Months ago

By: B.H.

o Halting problem proofs refuted (Flibble Signaling Decider)

By: Mr Flibble on Sun, 18 Sep 2022

20

1 Year 6 Months ago

By: Fred. Zwarts

o Hx(Px,Px)==0 is proven to be correct (refuting halting problem

By: olcott on Fri, 16 Sep 2022

177

1 Year 6 Months ago

By: Richard Damon

o clause learning in #sat gives wrong answer numbers

By: Daniel Pehoushek on Thu, 1 Sep 2022

11

1 Year 6 Months ago

By: B.H.

o Hx(Px,Px)==0 is proven to be correct (refuting halting problem

By: olcott on Tue, 6 Sep 2022

191

1 Year 7 Months ago

By: Richard Damon

o Discrete math. view of number and real number.

By: wij on Wed, 7 Sep 2022

18

1 Year 7 Months ago

By: wij

o cia

By: B.H. on Fri, 9 Sep 2022

2

1 Year 7 Months ago

By: Buck Futter

o refuting halting problem proofs

By: Mr Flibble on Wed, 7 Sep 2022

6

1 Year 7 Months ago

By: Mr Flibble

o Does everyone agree with this halt status decision?

By: olcott on Tue, 30 Aug 2022

315

1 Year 7 Months ago

By: Richard Damon

o olcott

By: Mr Flibble on Mon, 5 Sep 2022

1

1 Year 7 Months ago

By: Paul N

o best buy

By: B.H. on Sun, 4 Sep 2022

0

1 Year 7 Months ago

By: B.H.

o alexander white, clenise white

By: B.H. on Fri, 2 Sep 2022

3

1 Year 7 Months ago

By: Pancho Valvejob

o The Emperor's Clothes

By: wij on Mon, 29 Aug 2022

33

1 Year 7 Months ago

By: Jeff Barnett

o Questions formulated assuming law of excluded middle deserve similar answers

By: Skep Dick on Thu, 25 Aug 2022

40

1 Year 7 Months ago

By: Skep Dick

o Groundbreaking research in computer science: Flibble decider is

By: Mr Flibble on Fri, 2 Sep 2022

2

1 Year 7 Months ago

By: Mr Flibble

o The problem with using Turing machines to study the theory of computation

By: olcott on Sun, 28 Aug 2022

116

1 Year 7 Months ago

By: Ben Bacarisse

o Expressing the idea of "sum of even number"?

By: wij on Tue, 23 Aug 2022

140

1 Year 7 Months ago

By: Richard Damon

o Modern Pythagorean

By: wij on Mon, 29 Aug 2022

12

1 Year 7 Months ago

By: Richard Damon

o Game theory publication: Optimizing best responses when dealing with

By: B.H. on Tue, 30 Aug 2022

0

1 Year 7 Months ago

By: B.H.

o Proof that infinitesimals don't exist

By: Mr Flibble on Tue, 30 Aug 2022

0

1 Year 7 Months ago

By: Mr Flibble

o Test cases (Halting Probem)

By: Mr Flibble on Mon, 29 Aug 2022

3

1 Year 7 Months ago

By: Richard Damon

o Formal requirements for a valid halt decider

By: Mr Flibble on Mon, 29 Aug 2022

3

1 Year 7 Months ago

By: Ben Bacarisse

o Where have all the irrationals gone?

By: wij on Mon, 29 Aug 2022

4

1 Year 7 Months ago

By: Skep Dick

o Blocking/ignoring your reviewers

By: Mr Flibble on Sat, 27 Aug 2022

71

1 Year 7 Months ago

By: Mr Flibble

o neoscript

By: Mr Flibble on Sun, 28 Aug 2022

0

1 Year 7 Months ago

By: Mr Flibble

o dr. barry wein

By: B.H. on Sun, 28 Aug 2022

1

1 Year 7 Months ago

By: Mr Flibble

o Last Call for Ph.D. Thesis Abstracts - IEEE Intelligent Informatics Bulletin

By: Thanveer Shaik on Fri, 26 Aug 2022

0

1 Year 7 Months ago

By: Thanveer Shaik

o Last Call for Papers - IEEE Intelligent Informatics Bulletin

By: Thanveer Shaik on Fri, 26 Aug 2022

0

1 Year 7 Months ago

By: Thanveer Shaik

o struct

By: Mr Flibble on Tue, 23 Aug 2022

0

1 Year 7 Months ago

By: Mr Flibble

o Proposal: Definition of Infinity

By: wij on Sun, 14 Aug 2022

324

1 Year 7 Months ago

By: Skep Dick

o Flibble SHD > Olcott SHD

By: Mr Flibble on Sun, 21 Aug 2022

0

1 Year 7 Months ago

By: Mr Flibble

o A strategic move I'm making: a suggestion for a strategic move for Israel

By: B.H. on Sat, 20 Aug 2022

0

1 Year 7 Months ago

By: B.H.

o Proposal: a working simulating halt decider that refutes [Strachey

By: Mr Flibble on Fri, 19 Aug 2022

0

1 Year 7 Months ago

By: Mr Flibble

o Here is what a computer scientist that has been published in CACM

By: olcott on Sun, 14 Aug 2022

234

1 Year 7 Months ago

By: Richard Damon

o Simulating halt deciders

By: olcott on Thu, 18 Aug 2022

4

1 Year 7 Months ago

By: Richard Damon

o Simulating Halt Deciders

By: olcott on Fri, 12 Aug 2022

19

1 Year 7 Months ago

By: Mikko

o Halting problem proofs refuted on the basis of software engineering ?

By: olcott on Tue, 16 Aug 2022

7

1 Year 7 Months ago

By: Mr Flibble

o the 16 Afghan civilian victims of a US soldier's rampage on March 11,

By: B.H. on Tue, 16 Aug 2022

0

1 Year 8 Months ago

By: B.H.

o Reviewers interested in an honest dialogue will acknowledge these key

By: olcott on Sun, 31 Jul 2022

234

1 Year 8 Months ago

By: olcott

o NDTM == DTM ?

By: wij on Sun, 14 Aug 2022

3

1 Year 8 Months ago

By: wij

o Is "This statement is false" a proposition?

By: wij on Mon, 8 Aug 2022

61

1 Year 8 Months ago

By: Richard Damon

o clenise white, alexander white, jason kudurogianis, cvs

By: B.H. on Sun, 14 Aug 2022

2

1 Year 8 Months ago

By: B.H.

o Category errors

By: Mr Flibble on Sat, 13 Aug 2022

40

1 Year 8 Months ago

By: Mr Flibble

o Repeating decimals are irrational (2)

By: wij on Mon, 8 Aug 2022

106

1 Year 8 Months ago

By: wij

o Peter Olcott admitted his H is NOT an halt decider

By: Python on Fri, 12 Aug 2022

10

1 Year 8 Months ago

By: dklei...@gmail.com

o Every rebuttal of H(P,P)==0 uses the strawman deception

By: olcott on Sat, 6 Aug 2022

33

1 Year 8 Months ago

By: dklei...@gmail.com

o Halting problem proofs refuted (H exists)

By: Mr Flibble on Thu, 11 Aug 2022

5

1 Year 8 Months ago

By: Richard Damon

o optimal cheap arbitrary bits: 5 cpu cycles per bit

By: Daniel Pehoushek on Fri, 5 Aug 2022

5

1 Year 8 Months ago

By: Daniel Pehoushek

o linear transform from pspace to qspace solver bob

By: Daniel Pehoushek on Thu, 14 Jul 2022

8

1 Year 8 Months ago

By: Daniel Pehoushek

o New protest policy.

By: B.H. on Sun, 7 Aug 2022

1

1 Year 8 Months ago

By: Rick1234567S

o IEEE IIB - Call for Ph.D. thesis abstracts 2022

By: Thanveer Shaik on Sun, 7 Aug 2022

0

1 Year 8 Months ago

By: Thanveer Shaik

o IEEE IIB - Call for Papers 2022

By: Thanveer Shaik on Sun, 7 Aug 2022

0

1 Year 8 Months ago

By: Thanveer Shaik

o Anyone got a nice S-shaped function?

By: Malcolm McLean on Fri, 5 Aug 2022

6

1 Year 8 Months ago

By: Keith Thompson

o Does the halting oracle separate P from NP?

By: Newberry on Thu, 4 Aug 2022

2

1 Year 8 Months ago

By: Newberry

o A note to prospective employers who may be viewing this....

By: B.H. on Sat, 6 Aug 2022

0

1 Year 8 Months ago

By: B.H.

o Machine learning to detect diseases

By: m syadoz on Sun, 24 Jul 2022

6

1 Year 8 Months ago

By: B.H.

o For a feasible strategy to solve Rubic

By: wij on Wed, 3 Aug 2022

5

1 Year 8 Months ago

By: wij

o A cryptology tip for those upset about cyber-security.

By: B.H. on Mon, 1 Aug 2022

0

1 Year 8 Months ago

By: B.H.

o memoization? ergo valid computable function (Halting Problem

By: Mr Flibble on Sun, 31 Jul 2022

6

1 Year 8 Months ago

By: Richard Damon

o Refutation of [Strachey 1965] and Halting Problem associated proofs

By: Mr Flibble on Sun, 31 Jul 2022

18

1 Year 8 Months ago

By: Mr Flibble

o A possibly mistaken comment about Natalie Portman (??).

By: B.H. on Sun, 31 Jul 2022

0

1 Year 8 Months ago

By: B.H.

o Can someone at least validate this criterion measure ?

By: olcott on Fri, 22 Jul 2022

375

1 Year 8 Months ago

By: Richard Damon

o Are the halting problem proofs refuted by software engineering?

By: olcott on Sat, 30 Jul 2022

13

1 Year 8 Months ago

By: Horatio Cornholer

o Graph isomorphism code (explanation follows)

By: B.H. on Sat, 30 Jul 2022

1

1 Year 8 Months ago

By: B.H.

o Helping Olcott

By: Mr Flibble on Mon, 25 Jul 2022

88

1 Year 8 Months ago

By: Richard Damon

o Competing with Ryan Williams again

By: B.H. on Sat, 30 Jul 2022

0

1 Year 8 Months ago

By: B.H.

o A hypothetical analysis of Ryan Williams' tweet: 2*mazon

By: B.H. on Sun, 17 Jul 2022

6

1 Year 8 Months ago

By: m syadoz

o clenise white, cvs

By: B.H. on Fri, 29 Jul 2022

1

1 Year 8 Months ago

By: B.H.

o test post

By: olcott on Thu, 28 Jul 2022

1

1 Year 8 Months ago

By: Horatio Cornholer

o Discussion of my psychiatrist whom I do not trust.

By: B.H. on Mon, 6 Jun 2022

3

1 Year 8 Months ago

By: B.H.

o cvs pharmacy

By: B.H. on Tue, 7 Jun 2022

1

1 Year 8 Months ago

By: M Kfivethousand

o On 6/14/2022 6:47 AM, Paul N wrote: (in comp.c++)

By: olcott on Thu, 28 Jul 2022

1

1 Year 8 Months ago

By: Dennis Bush

o Customizable Texas Hold 'Em Source Code

By: B.H. on Thu, 28 Jul 2022

0

1 Year 8 Months ago

By: B.H.

o test post

By: olcott on Thu, 28 Jul 2022

1

1 Year 8 Months ago

By: olcott

o What are the implications of the Hubble vs Webb

By: M Kfivethousand on Tue, 12 Jul 2022

3

1 Year 8 Months ago

By: B.H.

o Prove Primitive Recursive Functions are those calculated by Programs

By: Charlie-Boo on Mon, 25 Jul 2022

5

1 Year 8 Months ago

By: Mikko

o A possibility about TexelTek.

By: B.H. on Thu, 9 Jun 2022

2

1 Year 8 Months ago

By: B.H.

o A Reason To Have Billions of Dollars

By: B.H. on Tue, 5 Jul 2022

5

1 Year 8 Months ago

By: B.H.

o H(P,P) is pure software engineering that correctly refutes the

By: olcott on Thu, 14 Jul 2022

54

1 Year 8 Months ago

By: olcott

o How to solve DLP (without solving MSR):

By: B.H. on Sat, 23 Jul 2022

11

1 Year 8 Months ago

By: B.H.

o Update on Innovative Ideas: New Graph Theory Ideas

By: B.H. on Sat, 23 Jul 2022

0

1 Year 8 Months ago

By: B.H.

o The complete source-code of the halt decider is now published

By: olcott on Thu, 21 Jul 2022

5

1 Year 8 Months ago

By: Richard Damon

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

By: olcott on Thu, 9 Jun 2022

121

1 Year 8 Months ago

By: Richard Damon

o A plea...

By: Gawr Gura on Sun, 17 Jul 2022

32

1 Year 8 Months ago

By: Richard Harnden

o Update on Innovative Activities: New Calculus

By: B.H. on Thu, 21 Jul 2022

0

1 Year 8 Months ago

By: B.H.

o Did I encode Sipser correctly? (it seemed too easy)

By: olcott on Sat, 9 Jul 2022

65

1 Year 8 Months ago

By: Richard Damon

o Picking up where Mike Terry left off: Does H(P,P) correctly simulate

By: olcott on Sun, 17 Jul 2022

16

1 Year 8 Months ago

By: Mikko

o A Possible Way For Me To Make Money

By: B.H. on Tue, 5 Jul 2022

7

1 Year 8 Months ago

By: B.H.

o smoke and mirrors: pspace into qspace in linear time and space

By: Daniel Pehoushek on Sun, 17 Jul 2022

3

1 Year 8 Months ago

By: Daniel Pehoushek

o Are all TM running an algorithm the same?

By: wij on Thu, 7 Jul 2022

61

1 Year 8 Months ago

By: Malcolm McLean

o Sublinear O(n/m) Pattern Recognition on all alphabets

By: Daniel Pehoushek on Mon, 18 Jul 2022

0

1 Year 8 Months ago

By: Daniel Pehoushek

o A plea...

By: olcott on Mon, 18 Jul 2022

0

1 Year 8 Months ago

By: olcott

o A plea...

By: olcott on Mon, 18 Jul 2022

0

1 Year 8 Months ago

By: olcott

o a way

By: Mr Flibble on Mon, 18 Jul 2022

0

1 Year 8 Months ago

By: Mr Flibble

o the natural law of large numbers

By: Daniel Pehoushek on Sun, 17 Jul 2022

4

1 Year 8 Months ago

By: Daniel Pehoushek

o P(P) halts because H(P,P) correctly determines that its input never

By: olcott on Sat, 16 Jul 2022

39

1 Year 8 Months ago

By: olcott

o Halting problem proofs refuted on the basis of software engineering

By: olcott on Sat, 2 Jul 2022

123

1 Year 8 Months ago

By: Richard Damon

o A plea...

By: Marcel Mueller on Sun, 17 Jul 2022

0

1 Year 8 Months ago

By: Marcel Mueller

o A plea...

By: olcott on Sun, 17 Jul 2022

0

1 Year 8 Months ago

By: olcott

o Halting problem proofs refuted on the basis of software

By: olcott on Sat, 16 Jul 2022

0

1 Year 9 Months ago

By: olcott

o Halting problem proofs refuted on the basis of software

By: olcott on Fri, 15 Jul 2022

2

1 Year 9 Months ago

By: Richard Damon

o Halting Problem: sNaP

By: Mr Flibble on Fri, 15 Jul 2022

1

1 Year 9 Months ago

By: olcott

o That is the question (halting problem reprise)

By: Mr Flibble on Fri, 15 Jul 2022

0

1 Year 9 Months ago

By: Mr Flibble

o Copyright

By: Mr Flibble on Fri, 15 Jul 2022

0

1 Year 9 Months ago

By: Mr Flibble

o Halting problem proofs refuted on the basis of software

By: olcott on Fri, 15 Jul 2022

1

1 Year 9 Months ago

By: olcott

o Halting problem proofs refuted on the basis of software

By: olcott on Fri, 15 Jul 2022

0

1 Year 9 Months ago

By: olcott

o IEEE IIB 2022 - Call for Ph.D. Thesis Abstracts

By: Thanveer Shaik on Fri, 15 Jul 2022

0

1 Year 9 Months ago

By: Thanveer Shaik

o IEEE IIB 2022 - Call for Papers

By: Thanveer Shaik on Fri, 15 Jul 2022

0

1 Year 9 Months ago

By: Thanveer Shaik

o IEEE IIB 2022 - Call for Papers

By: Thanveer Shaik on Fri, 15 Jul 2022

0

1 Year 9 Months ago

By: Thanveer Shaik

o An easier proof that NEXP is not in ACC0.

By: B.H. on Thu, 14 Jul 2022

1

1 Year 9 Months ago

By: B.H.

o Halting problem proofs refuted on the basis of software engineering [V3] (much s

By: olcott on Thu, 14 Jul 2022

16

1 Year 9 Months ago

By: Richard Damon

o How to steal info from harassment bots:

By: B.H. on Mon, 11 Jul 2022

3

1 Year 9 Months ago

By: Jeffrey Rubard

o A stronger proof of the conventional Halt Problem proof.

By: wij on Tue, 12 Jul 2022

1

1 Year 9 Months ago

By: wij

o cheap arbiter bits

By: Daniel Pehoushek on Sun, 26 Jun 2022

3

1 Year 9 Months ago

By: Daniel Pehoushek

o Software engineers needed to validate my work

By: olcott on Mon, 11 Jul 2022

5

1 Year 9 Months ago

By: Richard Damon

o Update on Future Plans

By: B.H. on Mon, 11 Jul 2022

0

1 Year 9 Months ago

By: B.H.

o Simulating halt decider applied to conventional pathological input

By: olcott on Mon, 11 Jul 2022

2

1 Year 9 Months ago

By: Bonita Montero

o Finding roots of polynomials.

By: B.H. on Sun, 10 Jul 2022

2

1 Year 9 Months ago

By: B.H.

o Twitter

By: B.H. on Sun, 10 Jul 2022

0

1 Year 9 Months ago

By: B.H.

o The solution to AES.

By: B.H. on Sat, 9 Jul 2022

0

1 Year 9 Months ago

By: B.H.

o If P=NP, can all password be computed in P time?

By: wij on Sat, 9 Jul 2022

0

1 Year 9 Months ago

By: wij

o An idea for a simulating halt decider

By: Mr Flibble on Sun, 3 Jul 2022

86

1 Year 9 Months ago

By: Richard Damon

o I just realized something....

By: B.H. on Fri, 8 Jul 2022

1

1 Year 9 Months ago

By: B.H.

o Update: Improved insight on web startups

By: B.H. on Thu, 7 Jul 2022

4

1 Year 9 Months ago

By: wij

o I just deactivated Facebook.

By: B.H. on Thu, 7 Jul 2022

0

1 Year 9 Months ago

By: B.H.

o volodymyr zelensky

By: B.H. on Sun, 6 Mar 2022

5

1 Year 9 Months ago

By: B.H.

o Halting problem proofs refuted on the basis of software engineering

By: olcott on Mon, 4 Jul 2022

14

1 Year 9 Months ago

By: Richard Damon

o Update: I might indeed need to go into politics.

By: B.H. on Fri, 1 Jul 2022

3

1 Year 9 Months ago

By: B.H.

o AI-powered speech recognition is entering a new phase: Total global comprehensio

By: m syadoz on Sun, 3 Jul 2022

0

1 Year 9 Months ago

By: m syadoz

o A Philosophical Digression As My Health Improves

By: B.H. on Sun, 3 Jul 2022

0

1 Year 9 Months ago

By: B.H.

o Conquering the last rebuttal to H(P,P)==0 refutation of the halting

By: olcott on Mon, 27 Jun 2022

201

1 Year 9 Months ago

By: Richard Damon

o Should any program that calls a halt decider be considered

By: Mr Flibble on Sun, 3 Jul 2022

7

1 Year 9 Months ago

By: Richard Damon

o IP update: Excellent image recognition technology.

By: B.H. on Fri, 1 Jul 2022

10

1 Year 9 Months ago

By: B.H.

o the body of Christ is in Valencia Spain

By: Daniel Pehoushek on Wed, 29 Jun 2022

3

1 Year 9 Months ago

By: Daniel Pehoushek

o H(P,P) and P(P) -- Halting Problem Reprise

By: Mr Flibble on Wed, 29 Jun 2022

53

1 Year 9 Months ago

By: Richard Damon

o simulation-based halt deciders

By: Mr Flibble on Fri, 1 Jul 2022

6

1 Year 9 Months ago

By: Richard Damon

Pages:1234567891011121314

There are currently 740 users online
Total messages: 2,306,785

server_pubkey.txt

rocksolid light 0.9.8
clearnet tor