| 释义 |
Gödel, Kurt (1906–78) Logician and mathematician who showed that the consistency of elementary arithmetic could not be proved from within the system itself. This result followed from his proof that any formal axiomatic system contains undecidable propositions. It undermined the hopes of those who had been attempting to determine axioms from which all mathematics could be deduced. Born in Brno, he was at the University of Vienna from 1930 until he emigrated to the United States in 1940.
|