Math Forum http://mathforum.org/kb List of forum topics en Does --- S: IF HALT(S) GOSUB S --- prove the notion of<br> UN-COMPUTABILITY ?? http://mathforum.org/kb/thread.jspa?messageID=8079308&tstart=0#8079308 G. GREENE: this proves stops() must be un-computable!


As G Greene agrees you don't even need the parameterised]]> Jan 16, 2013 3:46:39 PM Jan 16, 2013 3:46:39 PM grahamcooper7@gmail.com 0