What does the incompleteness theorem add to the unsolvability of the halting problem?

Franzén, Torkel

Simple search

Advanced search -
Research publications Advanced search -
Student theses Statistics

Change search

Cite ExportLink to record

Permanent link

https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-35927

Direct link

https://ltu.diva-portal.org/smash/record.jsf?pid=diva2:1009182

Cite

Citation style

apa
ieee
modern-language-association-8th-edition
vancouver
Other style

More styles

Language

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale

More languages

Output format

html
text
asciidoc
rtf

What does the incompleteness theorem add to the unsolvability of the halting problem?

Franzén, Torkel

Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.

2006 (English)In: Logical approaches to computational barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 ; proceedings / [ed] Arnold Beckmann; Ulrich Berger; Benedikt Löwe; John V. Tucker, Springer , 2006, p. 198-Conference paper, Published paper (Refereed)

Abstract [en]

Turing's paper including a proof of the unsolvability of the halting problem appeared five years after Gödel's 1931 paper, and ever since there have been many and close ties between uncomputability and incompleteness. The purpose of my talk is to discuss the specific role and contribution of the "Gödelian" approach to incompleteness

Place, publisher, year, edition, pages

Springer , 2006. p. 198-

Series

Lecture Notes in Computer Science, ISSN 0302-9743 ; 3988

Identifiers

URN: urn:nbn:se:ltu:diva-35927Scopus ID: 2-s2.0-33746053843Local ID: aa8eb260-a05f-11df-a707-000ea68e967bISBN: 978-3-540-35466-6 (print)OAI: oai:DiVA.org:ltu-35927DiVA, id: diva2:1009182

Conference

Conference on Computability in Europe : 30/06/2006 - 05/07/2006

Note

Validerad; 2006; 20100805 (andbra)

Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2025-10-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

By organisation

Computer Science

Search outside of DiVA

Google Google Scholar

isbn

urn-nbn

Total: 102 hits