Systems of Logic Based on Ordinals
Encyclopedia
Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician
Alan Turing
.
The thesis was completed at Princeton under Alonzo Church
and was a classic work in mathematics which introduced the concept of ordinal logic
.
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
Alan Turing
Alan Turing
Alan Mathison Turing, OBE, FRS , was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a...
.
The thesis was completed at Princeton under Alonzo Church
Alonzo Church
Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...
and was a classic work in mathematics which introduced the concept of ordinal logic
Ordinal logic
In mathematics, ordinal logic is a logic associated with an ordinal number by recursively adding elements to a sequence of previous logics. The concept was introduced in 1938 by Alan Turing in his PhD dissertation at Princeton in view of Gödel's incompleteness theorems.While Gödel showed that every...
.