Kurt Gödel
(Kurt Qodel səhifəsindən istiqamətləndirilmişdir)
| Kurt Qodel | |
| alm. Kurt Friedrich Gödel | |
 |
|
| Doğum tarixi: | 28 aprel 1906 |
|---|---|
| İmzası |  |
Kurt Qodel (alm. Kurt Friedrich Gödel) — Avstriya əsilli bir Amerikan məntiqçisi və riyaziyyatçısı.
Kurt Qodel Avstriya əsilli bir Amerikan məntiqçisi və riyaziyyatçısıdır. Bu ğün Brno deyilən şəhərdə 1906-cı ildə anadan olmuşdur. 1938-ci ildə Amerikaya gəlmişdir. 1948-ci ildən Amerikan vətəndaşı olmuşdur. 1953-cü ildə Princeton Universitetində professor olmuşdur."Principia Mathematica"-nın "Bənzəri sistemlərin formal hökmə bağlana bilməyən mülahizələri barədə" məqalələr yazmışdır. Burada, o, iki teoremin müəllifidir. Bu mülahizələrə görə, arifmetika xətasız ola bilməz. Çünki, xətasızlıq bu sistemdə qərarsızlığa yol açan bir mülahizədir. Müasir məntiq nəzəriyyəsinin qurucusudur.
