Biographical
Gödel, Kurt (1906–78)
The greatest logician of the twentieth century, Gödel is renowned for his advocacy of mathematical Platonism and for three fundamental theorems in logic: the completeness of first-order logic; ...
The greatest logician of the twentieth century, Gödel is renowned for his advocacy of mathematical Platonism and for three fundamental theorems in logic: the completeness of first-order logic; ...