Date: Jan 16, 2013 3:46 PM
Author: Graham Cooper
Subject: Does --- S: IF HALT(S) GOSUB S  --- prove the notion of<br> UN-COMPUTABILITY ??

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


As G Greene agrees you don't even need the parameterised HALT(X,Y)
version of the proof.

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