Free Download Jan von Plato, "Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness "
English | ISBN: 3031519701 | 2024 | 316 pages | PDF | 4 MB
In the summer of 1928, Kurt Gödel (1906-1978) embarked on his logical journey that would bring him world fame in a mere three years. By early 1929, he had solved an outstanding problem in logic, namely the question of the completeness of the axioms and rules of quantificational logic. He then went on to extend the result to the axiom system of arithmetic but found, instead of completeness, his famous incompleteness theorem that got published in 1931. It belongs to the most iconic achievements of 20th century science and has been instrumental in the development of theories of formal languages and algorithmic computability – two essential components in the birth of the information society.