Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


Math Forum » Discussions » sci.math.* » sci.math

Topic: The MYTH of UNCOMPUTABLE FUNCTIONS
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Graham Cooper

Posts: 4,321
Registered: 5/20/10
The MYTH of UNCOMPUTABLE FUNCTIONS
Posted: Jan 12, 2013 4:48 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Turing's Halt Proof clearly proves that

HALT( program, input ) --> [yes/no]

is not a PURE FUNCTION!

*****************************

Since HALT(p,i) is designed for PROGRAM TESTING
this is not even a concern!

If HALT(p,i) detected a halt function within the program
it was testing it could accurately output the result
- "sub halt procedure detected - results not guaranteed"


S: if stops(S) gosub S
G. GREENE: this proves stops() must be un-computable!





G. Cooper (BInfTech)
--
http://tinyURL.com/BLUEPRINTS-MATHEMATICS
http://tinyURL.com/BLUEPRINTS-HYPERREALS
http://tinyURL.com/BLUEPRINTS-QUESTIONS
http://tinyURL.com/BLUEPRINTS-POWERSET
http://tinyURL.com/BLUEPRINTS-THEOREM
http://tinyURL.com/BLUEPRINTS-PROLOG
http://tinyURL.com/BLUEPRINTS-FORALL
http://tinyURL.com/BLUEPRINTS-TURING
http://tinyURL.com/BLUEPRINTS-GODEL
http://tinyURL.com/BLUEPRINTS-PROOF
http://tinyURL.com/BLUEPRINTS-MATHS
http://tinyURL.com/BLUEPRINTS-LOGIC
http://tinyURL.com/BLUEPRINTS-BRAIN
http://tinyURL.com/BLUEPRINTS-PERM
http://tinyURL.com/BLUEPRINTS-REAL
http://tinyURL.com/BLUEPRINTS-SETS
http://tinyURL.com/BLUEPRINTS-HALT
http://tinyURL.com/BLUEPRINTS-P-NP
http://tinyURL.com/BLUEPRINTS-GUT
http://tinyURL.com/BLUEPRINTS-BB
http://tinyURL.com/BLUEPRINTS-AI




Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.