Kurt Gödel

Vikipediya, açıq ensiklopediya
(Kurt Qodel səhifəsindən istiqamətləndirilmişdir)
Keçid et: naviqasiya, axtar
Kurt Qodel
alm. Kurt Friedrich Gödel
1925 kurt gödel.png
Doğum tarixi: 28 aprel 1906(1906-04-28)
İmzası İmza

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ə | əsas redaktə]

İstinadlar[redaktə | əsas redaktə]

Həmçinin bax[redaktə | əsas redaktə]