Alan Turing and the Countability of Computable Numbers

Alan Turing and the Countability of Computable Numbers

Turing's methodology was unique: he imagined hypothetical machines that could perform complicated mathematical tasks in a deterministic manner, in the way computers do today. In this way, he inadvertently kickstarted the entire field of modern computer science...

Adam A. Smith
University of Puget Sound

Alan Turing may be the most-influential-yet-least-read figure in 20th Century mathematics. His landmark paper, "On computable numbers, with an application to the Entscheidungsproblem", was published in the Proceedings of the London Mathematical Society in late 1936. This is the paper that spun computer science off of mathematics, into the distinct field that we know today. Yet, if you ask mathematicians and computer scientists alike if they have read this paper, the answer is frequently "No." It is so long and amazingly dense that even experts often have a very hard time parsing his arguments. This column aims to rectify this slightly, by explaining one small part of Turing's paper: the set of computable numbers, and its place within the real numbers.

Statue of Alan Turing

Statue of Alan Turing by Stephen Kettle
Photo by Antoine Taveneaux (CC BY-SA 3.0)

The Entscheidungsproblem (German for "decision problem") is the problem of developing an algorithm that can determine whether a statement of first-order logic is universally valid. However, Turing did not know that American mathematician Alonzo Church had already proven that such an algorithm is impossible a few months previously. Even so, Turing's methodology was unique: he imagined hypothetical machines that could perform complicated mathematical tasks in a deterministic manner, in the way computers do today. In this way, he inadvertently kickstarted the entire field of modern computer science (which has made some modest improvements since 1936). As part of his proof, he developed the concept of computable numbers. Turing used his imaginary machines (that have since come to be called "Turing machines" in his honor) for the process of calculating numbers in this set. It contains any number that can be calculated to within an arbitrary precision in a finite amount of time. This set includes all rational and algebraic numbers (e.g. $\sqrt2$), as well as many transcendental numbers such as $\pi$ and $e$. Interestingly, Turing created a very natural extension to Georg Cantor's set theory, when he proved that the set of computable numbers is countably infinite!

Most mathematicians are familiar with the idea of countability. That is, the notion developed by Cantor in the 1870s that not all infinite sets have the same cardinality. A set that is countably infinite is one for which there exists some one-to-one correspondence between each of its elements and the set of natural numbers $\mathbb{N}$. For example, the set of integers $\mathbb{Z}$ ("Z" for "Zahlen", meaning "numbers" in German) can be easily shown to be countably infinite. Cantor himself developed a well-known proof that the set of rational numbers $\mathbb{Q}$ (for "quotient") is also countably infinite. Thus, in a very real sense $\mathbb{N}$, $\mathbb{Z}$, and $\mathbb{Q}$ all have the same cardinality, even though $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q}$.

Conversely, an infinite set for which there is no one-to-one correspondence with $\mathbb{N}$ is said to be "uncountably infinite", or just "uncountable". $\mathbb{R}$, the set of real numbers, is one such set. Cantor's "diagonalization proof" showed that no infinite enumeration of real numbers could possibly contain them all. Of course, there are many irrational real numbers that are useful in common computations ($\pi$, $e$, $\phi$, $\sqrt{2}$, and $\log~2$, just to name a few). A common misconception is that a set of all such useful numbers (including infinitely many transcendental numbers) is somehow "too complicated" to be merely countably infinite. Turing's paper proved this intuition to be incorrect.

The rest of this column is laid out as follows. First, we repeat Cantor's proofs showing that $\mathbb{Z}$ and $\mathbb{Q}$ are countable and $\mathbb{R}$ is uncountable. Then we will show how Turing extended Cantor's work, by proving the countability of the set of computable numbers. We will call this set $\mathbb{K}$, to better fit in with the other sets of numbers. However, we will reprove Turing's ideas using Python rather than his original Turing machines. The ideas behind the proofs will remain unchanged, while making it much more easily understood to a modern audience.

The sets of integers and rationals are both countably infinite

Intuitively, one might think of the set of integers $\mathbb{Z}$ as being "bigger" than the set of the natural numbers $\mathbb{N}$. After all, $\mathbb{Z}$ is a proper superset of $\mathbb{N}$! However, by rearranging the integers to start with $0$ and count up in magnitude alternating between positive and negative, we can create an infinite list of all the integers, with a definite starting point. This rearrangement allows a bijective function between $\mathbb{N}$ and $\mathbb{Z}$. This means the function gives a one-to-one and onto correspondence between the two sets, so the function is invertible.

Here's a proof. Rearrange \(\mathbb{Z}\) to the order \(\{0, 1, -1, 2, -2, 3, -3, ...\}\). Then map them to the elements of \(\mathbb{N}\) in their standard order, so that \(0\rightarrow 0\), \(1\rightarrow 1\), \(-1\rightarrow 2\), and so on. This is injective ("one-to-one") , since no two different integers will ever map to the same natural number. And it is surjective ("onto"), because there exists an integer to map to every natural number. Therefore the relationship is a bijection, and thus the integers are a countable set.

Proving that the set of rational numbers is countable is more difficult, given that there are two "degrees of freedom" in a rational number: the numerator and the denominator. It seems difficult to rearrange $\mathbb{Q}$ into a list the same way we did with $\mathbb{Z}$. (That is, one with a definite starting point, that extends infinitely forward in a single dimension.) One cannot simply list all the rational numbers with numerator 1, then all with numerator 2, etc., because there are an infinite number of them in each subset. If we started out by listing all the rationals with numerator 1 (for example), we'd never get to the others!

Instead, Cantor thought to traverse the set in an alternating "zig-zag" fashion, as shown here. We start by only considering the positive rational numbers $\mathbb{Q}^+$. We'll extend to the complete set later. This zig-zag pattern lets us get to any given positive rational number, eventually.

Diagram with fractions with numerator 1, then 2, then 3, etc.
Ordering of the positive rational numbers \(\mathbb{Q}^+\), in order to create a correspondence with the natural numbers \(\mathbb{N}\). Start with \(\frac{1}{1}\), then proceed by diagonal rows, skipping any fraction that isn't in lowest terms.

Let's prove that the rational numbers are countable. We start by showing a bijection between the positive rationals \(\mathbb{Q}^+\) and \(\mathbb{N}\). Lay out the elements of \(\mathbb{Q}^+\) as shown in the figure above, so that the first row consists of all numbers with a \(1\) numerator in order of increasing denominator (\(\frac{1}{1}\), \(\frac{1}{2}\), \(\frac{1}{3}\), \(\ldots\)), the second row has all those with a \(2\) demoninator in the same order, and so on. Then, traverse them as shown in the figure, moving diagonally while weaving back and forth. We skip any fractions not in lowest terms, so that no rational number appears twice. In this way, we can arrange the set \(\mathbb{Q}^+\) into the order \(\{\frac{1}{1}, \frac{2}{1}, \frac{1}{2}, \frac{1}{3}, \frac{3}{1}, \ldots\}\). When mapping them to the natural numbers in this order, the mapping function is an injection because no two different elements of \(\mathbb{Q}^+\) map to the same member of \(\mathbb{N}\), and it is a surjection because there exists a member of \(\mathbb{Q}^+\) for every member of \(\mathbb{N}\). Thus it is a bijection, and \(\mathbb{Q}^+\) is countable.

To show that the set of all rational numbers \(\mathbb{Q}\) is countable, use the reordering strategy employed to prove that \(\mathbb{Z}\) is countable. Reorder \(\mathbb{Q}\) to start with \(0\), and then proceed through the rationals in the order shown in the figure, alternativing positive and negative. Thus \(\mathbb{Q}\) will be ordered \(\{\frac{0}{1}, \frac{1}{1}, -\frac{1}{1}, \frac{2}{1}, -\frac{2}{1}, \frac{1}{2}, -\frac{1}{2}, \frac{1}{3}, -\frac{1}{3}, \frac{3}{1}, -\frac{3}{1}, \ldots\}\). These elements can be mapped to the elements of \(\mathbb{N}\) in its usual order, and this is a bijection for the same reasons as given above.

The set of reals is uncountably infinite

However, real numbers are inherently uncountable. A rephrasing of Cantor's original proof follows, using a trick that has come to be known as "diagonalization." No matter what infinite list of real numbers is given, we can generate a new number $x$ that cannot possibly be in that list.

To prove the real numbers are uncountable, let's assume they are not. Then there would exist some one-to-one correspondence between the real numbers \(\mathbb{R}\) and the natural numbers \(\mathbb{N}\). If that were the case, then it would be possible to enumerate all the real numbers in some order, such as that illustrated in the table shown. However, we can construct a real number \(x\) that cannot possibly be in the list, which means that it's not a complete list. We do this by taking one digit from each number in the list, and changing it. (In the table shown, the change is effected by adding 1 to the digit, but skipping 9 and 0 so as to avoid numbers such as \(0.0999\ldots\) and \(0.1000\ldots\) that are equal, even though their digits are different.) This way, \(x\) differs from every single number in the list in at least one of its digits. The real number \(x\) has no corresponding element in the natural numbers, and therefore the original assumption must be false. \(\mathbb{R}\) must be uncountable.

A table of real numbers with a digit to change highlighted
Generating a real number that cannot possibly be in a countably infinite list of other real numbers. Each digit is derived by taking the corresponding digit of one of the numbers in the list, and adding 1 (skipping 9 and 0).

Thus, integers and rational numbers are both countable sets, while real numbers are uncountable. Cantor also proved that the algebraic numbers ($\mathbb{A}$) are also a countable set. (These are the roots of polynomials with rational coefficients.) For his insight, Cantor was allegedly called an "apostate" ("Abtrünnigen" in German) and a "corrupter of youth" ("Verderber der Jugend"), among other colorful names. Many of his contemporaries felt that the nature of infinity was beyond human mathematics, being the realm of God. It was not until David Hilbert began to champion his ideas that they became more widely accepted in the early 1900s. Today, they are part of a standard undergraduate curriculum.

Defining computable numbers

We will now move on to Turing's work on computable numbers, which he defined in his famous paper. We use $\mathbb{K}$ to represent this set. ($\mathbb{C}$ is taken, as it usually refers to the set of complex numbers.) Turing defined a computable number as one that can be calculated to within an arbitrary precision, within a finite amount of time. These days, the easiest way to do that is often with a computer program—though any algorithmic approach will do.

First, let us show that all rational numbers are computable. When represented as a decimal, a rational number either terminates, or eventually begins to infinitely repeat the same set of digits. Thus, given enough time, a program could be written to display any rational number to the desired precision.

The figure here shows a non-terminating Python program, similar in spirit to the machines Turing laid out in his paper. This one outputs the never-ending decimal representation of one third. It first prints out "0.", and then loops forever printing the digit "3" until the user gets tired and pulls the plug. In this way, it "calculates" the number to as accurate a degree as the user wishes.


print("0.", end="")
while True: print("3", end="")
Simple Python program that generates the number one third.

It may come as a surprise that in his seminal paper, Turing preferred Turing machines that never terminated their calculations. Today, Turing machines are often associated with the "halting problem", which is the impossible task of proving whether or not an arbitrary program will eventually terminate. However, Turing used his machines to calculate numbers to ever-increasing precisions. In fact, he referred to his machines as "unsatisfactory" if they ever stopped, and "satisfactory" if they kept on going forever. Although Turing's paper touches on concepts similar to the halting problem, this would not be posed as we know it today until the 1950s.

The procedure to calculate a computable number does not need to be in code form (though any of the below approaches may be programmed, if needed). For example, $\pi$ is also a computable number, and to show this we only need to express it as an infinite sum, like this one:

$$\pi = \frac{4}{1} - \frac{4}{3} + \frac{4}{5} - \frac{4}{7} + \frac{4}{9} - \ldots$$

This is not as "computery" as the above code, but it is algorithmic all the same. One may continue adding further terms until the approximation is as accurate as needed. There are other well-known infinite series to calculate other irrational numbers like $e$ and $\phi$. So long as there exists a mechanical way to approximate a number to ever-increasing precision, within finite time, the number is computable.

Writing an efficient Python program to calculate $\pi$ is a little more difficult. The program shown in this figure uses a "streaming" method developed by J. Gibbons and implemented by D. Bau. It is not as easily comprehensible as the above infinite series, but is more in the spirit of Turing's paper. It is able to continue printing further digits of $\pi,$ only needing to maintain six variables between each print statement (rather than reviewing all the digits it has already output), making for a very efficient calculation.


def generate_pi_digits():
    q = 1
    r = 180
    t = 60
    i = 2
    while True:
        u,y = 3*(3*i+1)*(3*i+2), (q*(27*i-12) + 5*r) // (5*t)
        q,r,t,i = 10*q*i*(2*i-1), 10*u*(q*(5*i-2)+r - y*t), t*u, i+1
        yield y

pi_digits = generate_pi_digits()
print(str(next(pi_digits)) + ".", end="")
for d in pi_digits: print(d,end="")

Python program that generates the number \(\pi\).

Some other numbers such as $\sqrt{2}$ and $\log~2$ also have infinite sums, products, or fractions that can be used to calculate them. However, it's often more efficient to compute them via successive approximations. For example, let us approximate $\sqrt{2}$ with a number $r$. We know that $r$ is a positive number such that $r^2 = 2$. Since $1 < r^2 < 4$, that means that $1 < r < 2$. We can then successively approximate $r$ as $1.5$, $1.25$, $1.375$, $1.4375$, $1.40625$, and so on, each time adding or subtracting the next smaller power of two, depending on whether the current approximation's square is greater than or less than 2. We stop when the power added or subtracted is less than half the desired maximum error.

There is one flaw with calculating irrational numbers like these on a modern computer: any computer has only a finite amount of memory, and eventually that memory will be exhausted. This is one key difference between Turing machines and real computers: Turing assumed that his machines had inexhaustible memory. Thus, it is fair to do likewise when proving that the set of computable numbers is countable. However, one could also slightly redefine a computable number to be one that can be calculated to within an arbitrary precision in a finite amount of time and with a finite amount of resources. This is equivalent to Turing's original definition, since if a calculation required unbounded memory, it would need unbounded time to access that memory.

In general, any number with a well-defined value, or well-defined method to calculate its value, may be said to be an element of $\mathbb{K}$. If you can write a program to calculate a number (to within some arbitrary precision, in a finite amount of time), it's computable. This includes many well-known non-algebraic real numbers. In fact, it's very difficult to come up with a number that's not computable.

Gödel numbers

Now that we've defined our set $\mathbb{K}$, we need to show that it is countable. The proof relies on the concept of a Gödel number. Gödel numbers were developed by Kurt Gödel himself, in order to prove his "incompleteness theorems." (If you are new to German, Gödel's name is pronounced similarly to the English word "girdle", but without the "r" sound.)

Definition: Gödel Number
A Gödel number is a natural number that is a unique representation of a particular member of a set \(S\). The Gödel number is calculated with a function \(\mathrm{g}\) whose domain is \(S\) and whose codomain is \(\mathbb{N}\).

Note that $\mathrm{g}$ is an injective function, so that if $\mathrm{g}(s) = \mathrm{g}(s')$, it must be the case that $s = s'$. However some integers may not be valid Gödel numbers for members of $S$, so the function $\mathrm{g}$ is frequently not a bijection between $S$ and $\mathbb{N}$.

If a set \(S\) is infinite, and there exists a function \(\mathrm{g}\) to calculate a valid Gödel number for every member \(s\), then \(S\) must be countably infinite. To prove this, we must show that \(S\) has a one-to-one correspondence with \(\mathbb{N}\). Since the Gödel number of each set element \(s\) is unique, one of them must have the least value. Let this element of \(S\) correspond to \(0\). Then, the one with the second-least Gödel number will correspond to \(1\), the next one to \(2\), and so on. Since both sets are infinite, the correspondence can continue infinitely. Hence there exists a bijection between \(S\) and \(\mathbb{N}\), and therefore \(S\) is countable.

Bringing it together

It remains to show that a Gödel number function $\mathrm{g}$ exists for $\mathbb{K}$. The trick is to calculate a Gödel number from the program that generates a computable number, rather than from the number itself. Recall that a program consists of a finite block of text. Most computers use the ASCII code or Unicode to represent a text file, in which every valid character is a encoded as a number between 1 and 127. (A 0 would represent a null character, which isn't used in text files.) Thus, the source code itself may be represented as a base-128 number with no 0s, and as many digits as there are characters in the file. We will simply translate this base-128 number into a common base-10 one. For example, in the case of the tiny program above that prints one third, the computation is:
$$112\cdot128^0 + 114\cdot128^1 + 105\cdot128^2 + \cdots + 10\cdot128^{50}$$
Here, the $112$, $114$, and $105$ represent the characters p, r, and i respectively: the first three characters in the program. The fifty-first character at the end is a newline, which is represented by $10$. The resulting sum is the number:

23, 674, 419, 604, 088, 055, 738, 162, 829, 936, 727, 249, 274, 729, 959, 756, 590, 023, 485, 007, 031, 946, 824, 166, 916, 359, 320, 099, 837, 891, 922, 699, 574, 436, 329, 840.

The other program, to calculate $\pi$, results in a Gödel number that is approximately $1.77\times10^{654}$. These numbers are unwieldy, but remember that they encode entire programs. Because one can recover the complete program from its number, it must be the case that the function $\mathrm{g}$ is injective.

This is similar to Turing's approach: he created Turing machines to compute numbers, and then represented each machine as a large table of states. This let him systematically create a unique "description number" for each possible machine. (The term "Gödel number" was not yet in common use.) The number was a large positive integer that described every aspect of the machine, and no two different machines could ever have the same number. Thus, as in our case, Turing showed that there exists a valid Gödel function $\mathrm{g}$, and used this to show that $\mathbb{K}$ is countable.

It may be argued that any given computable number has an infinite number of programs that can calculate it, and hence infinite Gödel numbers associated with it. We need the function $\mathrm{g}$ to map each computable number to one Gödel number. Therefore, we choose the number with the least magnitude, which corresponds to the shortest program that produces the computable number in question. A critic may argue that finding this shortest program is not always possible, and so the Gödel function $\mathrm{g}$ cannot be executed. However, for our purposes it does not matter if the function is practical. All that matters, to prove that the set of computable numbers is countable, is that each one can be shown to have an associated Gödel number.

Here's the final proof, bringing this all together. The computable numbers are an infinite set. We have provided an injective function \(\mathrm{g}\) that maps every computable number to a single natural number: a Gödel number. Any set with such a function is countable, and therefore computable numbers are countable.

A counter proof?

Some readers may wonder why we cannot use the same diaganolization trick that Cantor used, and so prove that the computable numbers are uncountable. Let's try to do it, and we will see where it fails.

Let us say that we have an allegedly complete (though infinite) enumeration of every computable number. We will now attempt to use diagonalization in order to produce a new computable number $x$, that could not possibly be in our list. First we calculate the tenths place digit of the first computable number, and assign $x$'s tenths place digit to be something else. Then we calculate the hundredths place digit of the second computable number, and assign $x$'s corresponding digit to be another one. We proceed as before, until we have computed a number that could not possibly be in the enumeration. Thus, it appears that we have a contradiction, and so $\mathbb{K}$ appears uncountable.

The problem with this "proof" is that we never showed that the number $x$ is itself computable. When Cantor used diagonalization to prove $\mathbb{R}$ uncountable, the resulting $x$ was obviously a real number, even though it's not in the "complete" list. Hence he had a contradiction. But proving that a number is computable is more difficult, because we would need to show that the computation to some arbitrary accuracy can be done in finite time. Since we haven't done this (and in fact we cannot do it), the alleged proof falls apart.

It might seem straightforward at first to prove that $x$ is computable, since the diagonalization technique appears to give an algorithm to calculate it. However the algorithm is flawed, and will enter an infinite loop from which it cannot recover. Remember that it calculates $x$ by using each computable number in turn, which would include $x$ itself. Let us say that $x$ happens to be the $i$th number in the list. Then, in order to calculate $x$ to the $i$th digit, one must first calculate $x$ to the $i$th digit. The algorithm enters an infinite regress from which it cannot recover. Thus the computation fails: $x$ is not computable, there is no contradiction, and diagonalization technique did not work.

Conclusions

What does it mean that the set of computable numbers is countable, but the set of real numbers is not? In a very true sense, the set $\mathbb{K}$ contains all the numbers that are knowable. Real numbers that aren't computable can't be calculated, or even thought about except in the most abstract manner (such as $x$ from the last section, the uncalculable result of using the diagonalization process on $\mathbb{K}$). Yet, since $\mathbb{R}$ is uncountable, the vast majority of real numbers must be unknowable. They are the infinite streams of digits, with absolutely no rhyme or reason to their sequences. Any real number used in day-to-day life is part of the computable set $\mathbb{K}$.

Nested sets showing natural numbers contained in the integers contained in the rationals contained in the algebraic real numbers contained in the computable numbers contained in the reals
Venn diagram showing the relationships between subsets of real numbers. All sets shown are countably infinite except the reals. Noncomputable real numbers exist, but they are inherently unknowable.

Others have gone on to describe other incomputable numbers. For example, in 1949 the Swiss mathematician Ernst Specker found a monotonically increasing, bounded, computable sequence of rational numbers whose least upper bound is not computable. Computability theory originated with Turing's paper as a branch of mathematics in its own right. It attempts to classify noncomputable functions into a hierarchy, based on their degrees of noncomputability. It is of interest to both mathematicians and computer scientists.

Fortunately for Alan Turing, his Turing machines were thought to be innovative enought that his paper found publication, despite not being the first to prove that the Entscheidungsproblem is not solvable. In fact, his paper served as his introduction to Alonzo Church, the very man who had scooped him. Church would go on to supervise Turing's doctoral work at Princeton, from which he graduated in 1938 at the age of 26! The two would go on to lay much of the groundwork for modern computer science, including the Church-Turing thesis (which roughly states that human computation, machine computation, and Church's lambda calculus are all equivalent).

Turing's paper doesn't mention complex numbers, but an extension of his work is straightforward. A complex computable number would be a complex number whose real portion is a computable number, and whose imaginary portion is another computable number times $i$ $(\sqrt{-1})$. Such a number is computable to within an arbitrary precision in a finite amount of time, so long as the program that calculates it alternates regularly between calculating the real portion and the imaginary portion (perhaps outputting the two numbers via separate streams or into separate files). Since such a complex number can be calculated using a program, the same proof of countability applies.

Charles Petzold's "The Annotated Turing" is an excellent source for those who wish to know more about Turing and his proof that the Entscheidungsproblem is impossible. It reproduces Turing's entire paper one small piece at a time, interspersed with copious explanatory detail and context. If you wish to know more about Turing's seminal work, this is without a doubt the best place to start. Those more interested in Turing's personal life should read Andrew Hodges' "Alan Turing: the Enigma". This covers his whole life in great detail, from his early childhood, through his codebreaking efforts during the war years, and ending with his tragic persecution and death just shy of his 42nd birthday.

Turing's idea of computable numbers form a logical and intuitive extension to Cantor's original work on countability. His work is a unique bridge between mathematics and computer science, that is still relevant today.

Acknowledgements

Thank you to David Bau for permission to use his implementation of the $\pi$ spigot algorithm. Thank you also to Ursula Whitcher for encouragement and assistance with one of the proofs.

References

  • D. Bau. A dabbler's weblog: Python pi.py spigot. http://davidbau.com/archives/2010/03/14/python_pipy_spigot.html, March 2010.
  • G. Cantor. Über eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen (On a property of the collection of all real algebraic numbers). Journal für die reine und angewandte Mathematik, 77:258–262, 1874.
  • G. Cantor. Über eine elementare Frage der Mannigfaltigkeitslehre (On an elementary question concerning the theory of manifolds). Jahresbericht der Deutschen Mathematiker-Vereinigung, 1, 1892.
  • A. Church. A note on the Entscheidungsproblem. The Journal of Symbolic Logic, 1(01):40–41, 1936.
  • J. Gibbons. Unbounded spigot algorithms for the digits of pi. The American Mathematical Monthly, 113(4):pp. 318–328, 2006.
  • K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (On formally undecidable propositions of Principia Mathematica and related systems I). Monatshefte für Mathematik und Physik, 38(1):173–198, 1931.
  • A. Hodges. Alan Turing: the Enigma. Burnett Books, London, 1983.
  • C. Petzold. The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine. Wiley Publishing, 2008.
  • E. Specker. Nicht konstruktiv beweisbare Sätze der Analysis (Theorems of analysis that cannot be proven constructively). The Journal of Symbolic Logic, 14:145–158, 1949.
  • A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42, 1936.
  • A. M. Turing. Systems of logic based on ordinals. PhD thesis, Princeton University, 1938.

5 Comments

  1. In the December 2021 article, the infinite series for pi is clearly wrong. It starts with 16/3 and keeps getting larger.

    1. It starts with 4 – 4/3. I think you’re reading the subtractions as multiplications?

    2. There’s a reference to the formula here: https://en.wikipedia.org/wiki/Leibniz_formula_for_%CF%80

      It converges quite slowly, but it does indeed converge to π.

  2. All of this seems to presume there exist “actual” infinite sets. While it is true, say, that there does not exist a largest integer, it does not follow from this that there is an actual infinite set of integers. There are simply integers. Even in the imagination one cannot complete the “set” of integers.

    The late Edward Nelson has a number of papers discussing potential and actual infinity on his personal page https://web.math.princeton.edu/~nelson/papers.html

    One could look at https://web.math.princeton.edu/~nelson/papers/warn.pdf

  3. Seems there is a confusion in section “Defining computable numbers”: you write “In fact, he referred to his machines as “unsatisfactory” if they ever stopped, and “satisfactory” if they kept on going forever.”

    But, Turing wrote exactly the opposite in his article: “A number which is a description number of a *circle-free machine* will be called a satisfactory number”.

    A circular machine being a machine that gets stuck or loops forever without printing symbols of interest (aka “figures” in Turing’s article).

Leave a Reply

Your email address will not be published. Required fields are marked *

HTML tags are not allowed.

43,610 Spambots Blocked by Simple Comments