4 1. Introduction
to be repaired. The standard means of dealing with this situation is a
priority argument (§6.2), which breaks the goals of the construction
into small pieces and orders them. A piece (requirement) that is ear-
lier in the ordering has higher priority and gets to do what appears at
the moment to satisfy its goal even if that is harmful to later require-
ments. When done correctly, each requirement can be met at a finite
stage and cease harming the lower-priority requirements, and each
requirement can recover from the damage it sustains from the finitely
many higher-priority requirements. Satisfaction of requirements cas-
cades irregularly from the beginning of the order down.
1.2. Some History
The more early work in computability theory you read, the more it
seems its founding was an inevitability. There was a push to make
mathematics formal and rigorous, and find mechanical methods to
solve problems and determine truth or falsehood of statements; hence
there was a lot of thought on the nature of mechanical methods and
formality. For more on this early work, I recommend John Hopcroft’s
article “Turing Machines” [41] and two survey papers by Martin Davis
[20,21]. If you wish to go deeper philosophically (and broader math-
ematically), try van Heijenoort [86] and Webb [88].
David Hilbert gave an address in 1900 in which he listed problems
he thought should direct mathematical effort as the new century be-
gan [37]. His tenth problem, paraphrased, was to find a procedure to
determine whether any given multivariable polynomial equation with
integer coefficients (a Diophantine equation) has an integer solution.
Hilbert asked for “a process according to which it can be determined
by a finite number of operations” whether such a solution exists. For
the specific case of single-variable Diophantine equations, mathemati-
cians already had the rational root test; for an equation of the form
anxn + an−1xn−1 + · · · + a0 = 0, any rational solution must be of the
form ±
r
s
where r divides a0 and s divides an. One may manually
check each such fraction and determine whether any of them yields
equality.
In 1910, the first volume of Alfred North Whitehead and Bertrand
Russell’s Principia Mathematica was published [89]. This ultimately
Previous Page Next Page