Kurt Qodel
Vikipediya, açıq ensiklopediya
| Kurt Qodel | |
| alm. Kurt Friedrich Gödel | |
| Doğum tarixi: | 28 aprel 1906-cı il |
|---|---|
| İ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.
Mənbə [redaktə]
İstinadlar [redaktə]
Həmçinin bax [redaktə]