Computable Numbers: Difference between revisions
No edit summary |
m (Bot: Cosmetic changes) |
||
| (6 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
{{retitle|''{{PAGENAME}}''}}{{wikipediainfo|Turing's proof}} | {{retitle|''{{PAGENAME}}''}}{{wikipediainfo|Turing's proof}} | ||
'''''{{PAGENAME}}''''' was the title of a scientific paper by [[Alan Turing]], where he | '''''{{PAGENAME}}''''' was the title of a scientific paper by [[Alan Turing]], where he disproved [[David Hilbert]]'s thesis that all mathematical problems were solvable. | ||
Turing worked on this paper for over a year and published it before [[World War II]]. The proof used the concept of a [[Universal Machine]]. ([[PROSE]]: ''[[The Turing Test (novel)|The Turing Test]]'') | |||
== Behind the scenes == | |||
Hilbert's program was an attempt to provide a secure foundation for mathematics, that is, a secure set of symbols and rules that all statements can be defined in, a proof that all true statements can be proven in this system, the system to be consistent, and there to be a single procedure to follow for deciding the truth or falsity of any mathematical statement in general. [[Kurt Gödel]] published his first and second [[incompleteness theorems]] in his [[1931]] paper ''On Formally Undecidable Propositions in Principia Mathematica and Related Systems I'', which were largely seen as ending any hopes for this project, casting doubt on the consistency of any such system, and definitively removing its completeness. Turing, in his [[1937]] paper ''On Computable Numbers, with an Application to the Entscheidungsproblem'' removed the last remaining remnant of the project, by showing that there is no general algorithm for finding the truth or falsity of any given mathematical statement. | |||
== External links == | |||
* '''[https://doi.org/10.1112/plms/s2-42.1.230 Full text of the paper]''' | |||
[[Category:Mathematics from the real world]] | [[Category:Mathematics from the real world]] | ||
[[Category:Documents from the real world]] | |||
Latest revision as of 05:51, 3 September 2020
Computable Numbers was the title of a scientific paper by Alan Turing, where he disproved David Hilbert's thesis that all mathematical problems were solvable.
Turing worked on this paper for over a year and published it before World War II. The proof used the concept of a Universal Machine. (PROSE: The Turing Test)
Behind the scenes[[edit]]
Hilbert's program was an attempt to provide a secure foundation for mathematics, that is, a secure set of symbols and rules that all statements can be defined in, a proof that all true statements can be proven in this system, the system to be consistent, and there to be a single procedure to follow for deciding the truth or falsity of any mathematical statement in general. Kurt Gödel published his first and second incompleteness theorems in his 1931 paper On Formally Undecidable Propositions in Principia Mathematica and Related Systems I, which were largely seen as ending any hopes for this project, casting doubt on the consistency of any such system, and definitively removing its completeness. Turing, in his 1937 paper On Computable Numbers, with an Application to the Entscheidungsproblem removed the last remaining remnant of the project, by showing that there is no general algorithm for finding the truth or falsity of any given mathematical statement.
