nLab halting theorem

Created on March 4, 2014 at 06:02:57. See the history of this page for a list of all contributions to it.