nLab
halting theorem

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