Incompleteness and the Halting Problem
Login
University Home
→
Library
JavaScript is disabled for your browser. Some features of this site may not work without it.
Incompleteness and the Halting Problem
Calude, CS
Identifier:
https://hdl.handle.net/2292/58008
Issue Date:
2020
Reference:
CDMTCS Research Reports CDMTCS-546 (2020)
Rights:
Copyright: The author(s)
Rights (URI):
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm
Abstract:
We present an abstract framework in which we give simple proofs for Gödel’s First and Second Incompleteness Theorems and obtain, as consequences, Davis’, Chaitin’s and Kritchman-Raz’s Theorems.
Show full item record
Files in this item
Name:
cris546v2.pdf
Size:
768.0Kb
Format:
PDF
Related URL:
https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php
This item appears in the following Collection(s)
CDMTCS Research Reports (1995+)
[574]
Share
Search ResearchSpace
Search ResearchSpace
This Collection
Browse
All of ResearchSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
Statistics
View Usage Statistics