The Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.


Math Forum » User Profile: OCR4Screen

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 counter-example 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



[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.