Abstract
After the basic notions of computation had been formalized, a close link between computational problems—in particular, decision problems—and sets was discovered. This was important because the notion of the the set was finally settled, and sets made it possible to apply diagonalization, a proof method already discovered by Cantor. Diagonalization, combined with self-reference, made it possible to discover the first incomputable problem, i.e., a decision problem called the Halting Problem, for which there is no single algorithm capable of solving every instance of the problem. This was simultaneously and independently discovered by Church and Turing. After this, Computability Theory blossomed, so that in the second half of the 1930s one of the main questions became, “Which computational problems are computable and which ones are not?” Indeed, using various proof methods, many incomputable problems were discovered in different fields of science. This showed that incomputability is a constituent part of reality.
A problem is unsolvable if there is no single procedure that can construct a solution for an arbitrary instance of the problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Robič, B. (2015). Incomputable Problems. In: The Foundations of Computability Theory. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44808-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-44808-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44807-6
Online ISBN: 978-3-662-44808-3
eBook Packages: Computer ScienceComputer Science (R0)