25,433
edits
Computable Numbers: Difference between revisions
From Tardis Wiki, the free Doctor Who reference
no edit summary
(Adding categories) |
No edit summary |
||
| Line 1: | Line 1: | ||
{{wikipediainfo|Turing's proof}} | {{retitle|''{{PAGENAME}}''}}{{wikipediainfo|Turing's proof}} | ||
'''''{{PAGENAME}}''''' was the title of a scientific paper by [[Alan Turing]], where he disproves [[David Hilbert]]'s thesis that all mathematical problems are solvable. | '''''{{PAGENAME}}''''' was the title of a scientific paper by [[Alan Turing]], where he disproves [[David Hilbert]]'s thesis that all mathematical problems are solvable. | ||
Turing worked on this paper for over a year and published it before [[World War II]]. The proof uses the concept of a [[Universal Machine]]. ([[PROSE]]: ''[[The Turing Test (novel)|The Turing Test]]'') | Turing worked on this paper for over a year and published it before [[World War II]]. The proof uses the concept of a [[Universal Machine]]. ([[PROSE]]: ''[[The Turing Test (novel)|The Turing Test]]'') | ||
[[Category:Mathematics from the real world]] | [[Category:Mathematics from the real world]] | ||
