释义 |
Gö·del AHD[gdʹl] Kurt (1906-1978) D.J.[ˈgɜːdl]K.K.[ˈgɝdl]NONE(无词性)- Czech-born American mathematician and logician best known for his proof that the consistency of a mathematical system in which the truths of arithmetic can be expressed cannot be proven from within that system (1931).哥岱尔,克特:捷克裔美国数学家及逻辑学家,以其证明数学系统的一致性最为著称于世,此理论认为算数的真理可以在此系统中表达,但却无法由此系统中证明
|