godel

/ˈɡɜːrdəl/

翻译: 专有名词，指奥裔美国数学家、逻辑学家库尔特·哥德尔，他以不完备性定理闻名，该定理揭示了形式公理系统的内在局限性。

1 个条目

noun

/ˈɡɜːrdəl/C1formalscientific

Имя собственное, относящееся к Курту Гёделю, австрийско-американскому математику и логику, известному своими теоремами о неполноте, которые продемонстрировали внутренние ограничения формальных аксиоматических систем.
Nombre propio relativo a Kurt Gödel, matemático y lógico austroamericano, conocido por sus teoremas de incompletitud, que demostraron las limitaciones internas de los sistemas axiomáticos formales.
Nom propre se rapportant à Kurt Gödel, mathématicien et logicien austro-américain, célèbre pour ses théorèmes d'incomplétude qui ont démontré les limites intrinsèques des systèmes axiomatiques formels.
Eigenname, der sich auf Kurt Gödel bezieht, den österreichisch-amerikanischen Mathematiker und Logiker, bekannt für seine Unvollständigkeitssätze, die die inneren Grenzen formaler axiomatischer Systeme aufzeigten.
Nome próprio referente a Kurt Gödel, matemático e lógico austríaco-americano conhecido por seus teoremas da incompletude, que demonstraram limitações internas dos sistemas axiomáticos formais.
专有名词，指奥裔美国数学家、逻辑学家库尔特·哥德尔，他以不完备性定理闻名，该定理揭示了形式公理系统的内在局限性。
اسم علم يشير إلى كورت غودل، عالم الرياضيات والمنطق النمساوي-الأمريكي المعروف بمبرهنات عدم الاكتمال التي بيّنت القيود الداخلية للنظم البديهية الصورية.

A proper noun referring to Kurt Gödel, an Austrian-born American mathematician and logician known for his incompleteness theorems, which demonstrated the inherent limitations of formal axiomatic systems.

不可数 · 专有名词

C1formal
A renowned mathematician and logician, best known for his incompleteness theorems which demonstrated fundamental limitations of formal axiomatic systems.
数学家和逻辑学家
- Gödel's incompleteness theorems had a profound impact on the philosophy of mathematics.
- The mathematician Kurt Gödel was born in Austria in 1906.
- His work challenged the assumptions of Hilbert's program.