Gödel, Kurt
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,…