Kurt Gödel

奥地利裔美国逻辑学家（1906—1978），普遍被视为亚里士多德以来最重要的逻辑学家。23岁时证明了一阶逻辑的完备性定理，25岁时证明了不完备性定理。1940年移居普林斯顿，在高等研究院与爱因斯坦结为挚友。晚年罹患偏执型妄想症，坚信食物遭人投毒，最终因自我绝食而离世。

Lógico austríaco-estadounidense (1906-1978), considerado en general el lógico más importante desde Aristóteles. Demostró el teorema de completitud para la lógica de primer orden a los 23 años y los teoremas de incompletitud a los 25. Emigró a Princeton en 1940 y entabló una estrecha amistad con Einstein en el Instituto de Estudios Avanzados. Padeció delirios paranoides en sus últimos años y murió por inanición autoimpuesta, convencido de que su comida estaba siendo envenenada.

منطقي نمساوي-أمريكي (1906–1978)، يُعدّ عمومًا أهم منطقي منذ أرسطو. أثبت مبرهنة الاكتمال في منطق الرتبة الأولى وهو في الثالثة والعشرين، ومبرهنتَي عدم الاكتمال وهو في الخامسة والعشرين. هاجر إلى برينستون عام 1940 وأصبح صديقًا مقربًا لأينشتاين في معهد الدراسات المتقدمة. عانى من أوهام اضطهادية في أواخر حياته وتوفي جوعًا فرضه على نفسه، مقتنعًا بأن طعامه يُسمَّم.

Lógico austro-americano (1906–1978), geralmente considerado o lógico mais importante desde Aristóteles. Demonstrou o teorema da completude da lógica de primeira ordem aos 23 anos e os teoremas da incompletude aos 25. Emigrou para Princeton em 1940 e tornou-se amigo íntimo de Einstein no Institute for Advanced Study. Sofreu de delírios paranoides no final da vida e morreu de inanição autoimposta, convencido de que sua comida estava sendo envenenada.

ऑस्ट्रियाई-अमेरिकी तर्कशास्त्री (1906–1978), जिन्हें सामान्यतः अरस्तू के बाद का सबसे महत्वपूर्ण तर्कशास्त्री माना जाता है। 23 वर्ष की आयु में प्रथम-कोटि तर्क के लिए पूर्णता प्रमेय और 25 वर्ष की आयु में अपूर्णता प्रमेय सिद्ध किए। 1940 में प्रिंसटन प्रवास किया और इंस्टीट्यूट फॉर एडवांस्ड स्टडी में आइंस्टीन के घनिष्ठ मित्र बने। जीवन के उत्तरार्ध में पैरानॉइड भ्रांतियों से ग्रस्त रहे और इस विश्वास के साथ कि उनके भोजन में विष मिलाया जा रहा है, स्वेच्छा से भूख से उनकी मृत्यु हुई।

Logikawan Austria-Amerika (1906–1978), umumnya dianggap sebagai logikawan terpenting sejak Aristoteles. Membuktikan teorema kelengkapan untuk logika orde pertama pada usia 23 tahun dan teorema ketidaklengkapan pada usia 25 tahun. Beremigrasi ke Princeton pada tahun 1940 dan menjadi sahabat dekat Einstein di Institute for Advanced Study. Menderita delusi paranoid pada masa tuanya dan meninggal akibat kelaparan yang dipaksakan pada diri sendiri, karena yakin makanannya telah diracuni.

Logicien austro-américain (1906-1978), généralement considéré comme le plus important logicien depuis Aristote. Démontre le théorème de complétude de la logique du premier ordre à 23 ans et les théorèmes d'incomplétude à 25 ans. Émigre à Princeton en 1940 et devient un ami proche d'Einstein à l'Institute for Advanced Study. Souffrant de délires paranoïaques à la fin de sa vie, il meurt d'inanition volontaire, convaincu que sa nourriture était empoisonnée.

オーストリア系アメリカ人の論理学者(1906–1978)。アリストテレス以来もっとも重要な論理学者と一般にみなされている。23歳で一階述語論理の完全性定理を、25歳で不完全性定理を証明した。1940年にプリンストンへ亡命し、高等研究所でアインシュタインの親友となった。晩年は被害妄想に苦しみ、食事に毒を盛られていると思い込んだ末、自らに課した絶食によって死去した。

Австро-американский логик (1906–1978), которого обычно считают важнейшим логиком со времён Аристотеля. В 23 года доказал теорему о полноте логики первого порядка, а в 25 — теоремы о неполноте. В 1940 году эмигрировал в Принстон и сблизился с Эйнштейном в Институте перспективных исследований. В поздние годы страдал параноидальным бредом и умер от добровольного голодания, будучи убеждён, что его пищу отравляют.

Österreichisch-amerikanischer Logiker (1906–1978), allgemein als der bedeutendste Logiker seit Aristoteles angesehen. Bewies mit 23 Jahren den Vollständigkeitssatz der Prädikatenlogik erster Stufe und mit 25 Jahren die Unvollständigkeitssätze. Emigrierte 1940 nach Princeton und wurde am Institute for Advanced Study ein enger Freund Einsteins. Litt im späteren Leben an paranoiden Wahnvorstellungen und starb an selbst herbeigeführter Unterernährung, überzeugt, sein Essen werde vergiftet.

오스트리아계 미국인 논리학자(1906–1978)로, 아리스토텔레스 이후 가장 중요한 논리학자로 평가된다. 23세에 1차 술어 논리의 완전성 정리를, 25세에 불완전성 정리를 증명하였다. 1940년 프린스턴으로 이주하여 고등연구소에서 아인슈타인의 절친한 친구가 되었다. 말년에는 편집성 망상에 시달렸으며, 음식에 독이 들었다고 확신해 스스로 곡기를 끊어 사망하였다.