作者: John W. Dawson

Kurt Godel (1906 – 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consisten …