"The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite means. ...According to my definition, a number is computable if its decimal can be written down by a machine. ...I show that certain large classes of numbers are computable. They include, for instance, the real parts of all s, the real parts of the zeros of the Bessel functions, the numbers π, e, etc. The computable numbers do not, however, include all definable numbers. ...[C]onclusions are reached which are superficially similar to those of Gödel. ...[I]t is shown ...that the Hilbertian can have no solution. In a recent paper ... reaches similar conclusions..."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Alan Turing, "On Computable Numbers, with an Application to the Entscheidungsproblem" (1936) Proceedings of the London Mathematical Society, Vol. 2-42, Issue 1, pp. 230-265. Note: the Gödel reference is to "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I" (1931).
https://en.wikiquote.org/wiki/Number
Revision History
No revisions have been submitted for this quote.
Categories
Number
40 quotes on TrueQuotesView all quotes by Number →
Related Quotes
"Pythagoras... assumed as first principles the numbers and symmetries existing among them, which he calls harmonies, a…"
"If the early Greeks were cognizant of Babylonian algebra, they made no attempt to develop or even to use it, and ther…"
"With the intrusion of irrational numbers to disrupt the integral harmonies of the Pythagorean cosmos, a controversy t…"
"[T]he invention of writing... occurred somewhere around 3000 B.C. This is attributed to the ians... Sarton mentions t…"
"By the ancients [Greeks], arithmetic was studied through geometry. If a number was regarded as simple, it was a line.…"
"For measurements of time he collected and weighed water flowing from a container at a constant rate of about three fl…"
"A critical step was made sometime before the ninth century AD, when a new partial script was invented, one that could…"
"The arithmetization of mathematics... which began with Weierstrass... had for its object the separation of purely mat…"
"In speaking of arithmetic (algebra, analysis) as a part of logic I mean to imply that I consider the number concept e…"
"Ten is the nature of number. All Greeks and all barbarians alike count up to ten, and having reached ten revert again…"