1.Previous
3.Next

to determine the truth of arbitrary propositions in a first-order mathematical theory, is undecidable. This is known as Church's theorem.
* His invention of the lambda calculus.
* His use of the lambda calculus to prove that Peano arithmetic is undecidable.
* His articulation of what has come to be known

1.Previous
3.Next