Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


User Profile: OCR4Screen



User Profile for: OCR4Screen

UserID:

853952

Name:

Peter Olcott

Email:


Registered:

6/16/12

Total Posts:

721

Recent Messages

Discussion

Posted

1

Re: SMTM Solution to the Halting Problem (first draft)

sci.math

Mar 24, 2015 3:38 PM

2

Halting Decidability Decider (proof of concept)

sci.math

Mar 24, 2015 3:02 PM

3

Re: Fallacy of equivocation of halting problem proof (SMTM is a Halting Decider)(method of proof)

sci.math

Mar 24, 2015 12:38 PM

4

Re: Fallacy of equivocation of halting problem proof (Halting Decidability Decider explicitly defined)

sci.math

Mar 24, 2015 12:27 PM

5

Re: Fallacy of equivocation of halting problem proof (Halting Decidability Decider explicitly defined)

sci.math

Mar 24, 2015 12:26 PM

6

Re: Halting Problem counterexample analogy (decidability decider, proof of concept)

sci.math

Mar 24, 2015 12:18 PM

7

Re: SMTM Solution to the Halting Problem (first draft)(concrete example of halting decider decider)

sci.math

Mar 24, 2015 12:13 PM

8

Re: SMTM Solution to the Halting Problem (first draft)

sci.math

Mar 24, 2015 11:53 AM

9

Re: SMTM Solution to the Halting Problem (first draft)(proof that Kaz is incorrect)

sci.math

Mar 24, 2015 11:06 AM

10

Re: SMTM Solution to the Halting Problem (first draft)(concrete example of halting decider decider)

sci.math

Mar 24, 2015 11:02 AM

Show all user messages

