by Kurt Gödel, Solomon Feferman, Parsons, Charles, Stephen G. Simpson
"Kurt Gödel (1906-1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arit…