PORTRAIT OF YOUNG GöDEL IBD

Sinopse

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.This book explores GödelâÇÖs way from an exceptional high-schoolástudent to a firmly established young logician. Essays in GödelâÇÖsáhand from the high school show that his central philosophical andáscientific convictions were formed early on, before his universityástudies. Particular emphasis is laid on the course that made Gödeláone of the foremost logicians of all times. The scientific biography ofáyoung Gödel is followed by English translations from GödelâÇÖs GermanáGabelsberger shorthand of all his early preserved notebooksáon logic and related topics.