“To each computable sequence there corresponds at least one description number, while to no description number does there correspond more than one computable sequence. The computable sequences and numbers are therefore enumerable.”

— Alan Turing , Computable Numbers

On Computable Numbers, with an Application to the Entscheidungsproblem (1936)

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "To each computable sequence there corresponds at least one description number, while to no description number does ther…" by Alan Turing?

Alan Turing 33

British mathematician, logician, cryptanalyst, and computer… 1912–1954

Richard Hamming (1915–1998) American mathematician and information theorist

Numerical Methods for Scientists and Engineers (1962) Preface

“Random numbers are to a computer what free will is to a human being.”

Robert A. Heinlein book The Number of the Beast

Source: The Number of the Beast (1980), Chapter XXI : —three seconds is a long time—, p. 180

“If you compute the years in which all this has happened, it is but a little while; if you number the vicissitudes, it seems an age.”
Si computes annos, exiguum tempus, si vices rerum, aevum putes.

Pliny the Younger (61–113) Roman writer

Letter 24, 5.
Letters, Book IV

“[The process of system design is]… consisting of the development of a sequence of mathematical models of systems, each one more detailed than the last.”

A. Wayne Wymore (1927–2011) American mathematician

A. Wayne Wymore (1970) Systems Engineering Methodology. Department of Systems Engineering, The University of Arizona, p. 14/2; As cited in: J.C. Heckman (1973) Locating traveler support facilities along the interstate system--a simulation using general systems theory. p. 43.

“All systems which satisfy the five primitive propositions are in one-to-one correspondence with the natural numbers.”

Giuseppe Peano (1858–1932) Italian mathematician

On what became knows as the Peano axioms, in "I fondamenti dell’aritmetica nel Formulario del 1898", in Opere Scelte Vol. III (1959), edited by Ugo Cassina, as quoted in "The Mathematical Philosophy of Giuseppe Peano" by Hubert C. Kennedy, in Philosophy of Science Vol. 30, No. 3 (July 1963)
Context: These primitive propositions … suffice to deduce all the properties of the numbers that we shall meet in the sequel. There is, however, an infinity of systems which satisfy the five primitive propositions. … All systems which satisfy the five primitive propositions are in one-to-one correspondence with the natural numbers. The natural numbers are what one obtains by abstraction from all these systems; in other words, the natural numbers are the system which has all the properties and only those properties listed in the five primitive propositions