Options
Kurt Gödel
Bruni, Riccardo
2013
Abstract
Kurt Gödel (1906-1978) is undoubtedly the most influential logician of the 20th Century. Thanks to him, we have some of the most notable results in field of foundational research, such as the completeness theorem for the first-order logical calculus, the two incompleteness theorems, the proof of consistency between Cantor’s hypothesis of the continuum and the axioms of set theory. He is also known for much disputed philosophical stances, such as his Platonism approach towards the existence and the nature of mathematical objects. His complex personality, along with his extraordinary scientific production, have spread his fame well beyond the field of logic.
Journal
Publisher
EUT Edizioni Università di Trieste
Source
Riccardo Bruni, "Kurt Gödel", in "APhEx 7", 2013, pp. 38
Languages
it
File(s)