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)