GÖDEL Kurt [28.4.1906, Brünn (indiki Brno) – 14.1.1978, ABŞ, Prinston] – Avstriya mәntiqçisi vә riyaziyyatçısı, London Kral Cәmiyyәtinin üzvü (1968). Vyana Untini bitirdikdәn (1930) sonra orada işlәmişdir (1933–38 illәrdә privat-dosent vәzifәsindә). 1940 ildә ABŞ-a mühacirәt etmiş, Prinstonda Perspektiv Tәdqiqatlar İntunda işlәmişdir (1940 ildәn, 1953 ildәn prof.). Əsas elmi işlәri riyazi mәntiq vә çoxluqlar nәzәriyyәsi sahәsindәdir. G.-in tamlıq haqqında teoremi (1930) tәsdiq edir ki, predikatların hesablanması istәnilәnriyazi nәzәriyyәnin ifadә edilmәsi üçün adekvat vasitәdir. Onun natamamlıq haqqında teoreminә (1931) görә, elementar hesab (toplama vә vurma әmәliyyatları) daxil olan istәnilәn nәzәriyyәdә tәsdiqi elә formulә etmәk olar ki, nә onun özü, nә dә onun inkarı isbatedilәn olar. Xüsusi halda, baxılan nәzәriyyәnin özünün ziddiyyәtsiz olması haqqındakı hökm dә belәdir. Natamamlıq haqqında teorem göstәrir ki, riyaziyyatın tam ifadә edilmәsi haqqında D.Hilbert proqramının reallaşdırılması ciddi çәtinliklәrlә üzlәşir. G.-in araşdırmalarından sonra çoxlu sayda tәtbiqlәrә malik riyazi mәntiq riyaziyyatın sәrbәst bölmәsi oldu.
Azərbaycan Milli Ensiklopediyası
“Azərbaycan” xüsusi cildi (Az)“Azərbaycan” xüsusi cildi (rus)I CİLDII CİLDIII CİLDIV CİLDV CİLDVI CİLDVII CİLDVIII CİLDIX CİLDX CİLDXI CİLD
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, “Azərbaycan” xüsusi cildi (Azərbaycan dilində) |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2007 |
| ISBN: | 978-9952-441-01-7 |
| Səhifələrin sayı: | 881 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, “Azərbaycan” xüsusi cildi (rus dilində) |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2012 |
| ISBN: | 978-9952-441-01-7 |
| Səhifələrin sayı: | 881 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, I CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2009 |
| ISBN: | 978-9952-441-02-4 |
| Səhifələrin sayı: | 608 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, II CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2010 |
| ISBN: | 978-9952-441-05-5 |
| Səhifələrin sayı: | 604 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, III CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2011 |
| ISBN: | 978-9952-441-07-9 |
| Səhifələrin sayı: | 604 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, IV CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2013 |
| ISBN: | 978-9952-441-03-1 |
| Səhifələrin sayı: | 608 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, V CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2014 |
| ISBN: | 978-9952-441-10-9 |
| Səhifələrin sayı: | 592 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, VI CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2015 |
| ISBN: | 978-9952-441-11-6 |
| Səhifələrin sayı: | 608 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, VII CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2016 |
| ISBN: | 978-9952-441-12-3 |
| Səhifələrin sayı: | 608 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, VIII CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | |
| ISBN: | |
| Səhifələrin sayı: |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, IX CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2019 |
| ISBN: | 978-9952-441-17-8 |
| Səhifələrin sayı: | 600 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, X CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili | 2020 |
| ISBN: | 978-9952-441-18-5 |
| Səhifələrin sayı: | 600 |
| Sərlövhə: | Azərbaycan Milli Ensiklopediyası, XI CİLD |
| Nəşriyyat: | "Azərbaycan Milli Ensiklopediyası" Elmi Mərkəzi |
| Nəşr yeri: | Bakı |
| Nəşr ili: | 2024 |
| ISBN: | 978-9952-441-20-8 |
| Səhifələrin sayı: | 600 |
GİYAN – HƏŞTƏRXAN DÖVLƏT TƏBİƏT BİOSFER QORUĞU
GÖDEL
GÖDEL Kurt [28.4.1906, Brünn (indiki Brno) – 14.1.1978, ABŞ, Prinston] – Avstriya mәntiqçisi vә riyaziyyatçısı, London Kral Cәmiyyәtinin üzvü (1968). Vyana Untini bitirdikdәn (1930) sonra orada işlәmişdir (1933–38 illәrdә privat-dosent vәzifәsindә). 1940 ildә ABŞ-a mühacirәt etmiş, Prinstonda Perspektiv Tәdqiqatlar İntunda işlәmişdir (1940 ildәn, 1953 ildәn prof.). Əsas elmi işlәri riyazi mәntiq vә çoxluqlar nәzәriyyәsi sahәsindәdir. G.-in tamlıq haqqında teoremi (1930) tәsdiq edir ki, predikatların hesablanması istәnilәnriyazi nәzәriyyәnin ifadә edilmәsi üçün adekvat vasitәdir. Onun natamamlıq haqqında teoreminә (1931) görә, elementar hesab (toplama vә vurma әmәliyyatları) daxil olan istәnilәn nәzәriyyәdә tәsdiqi elә formulә etmәk olar ki, nә onun özü, nә dә onun inkarı isbatedilәn olar. Xüsusi halda, baxılan nәzәriyyәnin özünün ziddiyyәtsiz olması haqqındakı hökm dә belәdir. Natamamlıq haqqında teorem göstәrir ki, riyaziyyatın tam ifadә edilmәsi haqqında D.Hilbert proqramının reallaşdırılması ciddi çәtinliklәrlә üzlәşir. G.-in araşdırmalarından sonra çoxlu sayda tәtbiqlәrә malik riyazi mәntiq riyaziyyatın sәrbәst bölmәsi oldu.
GÖDEL
GÖDEL Kurt [28.4.1906, Brünn (indiki Brno) – 14.1.1978, ABŞ, Prinston] – Avstriya mәntiqçisi vә riyaziyyatçısı, London Kral Cәmiyyәtinin üzvü (1968). Vyana Untini bitirdikdәn (1930) sonra orada işlәmişdir (1933–38 illәrdә privat-dosent vәzifәsindә). 1940 ildә ABŞ-a mühacirәt etmiş, Prinstonda Perspektiv Tәdqiqatlar İntunda işlәmişdir (1940 ildәn, 1953 ildәn prof.). Əsas elmi işlәri riyazi mәntiq vә çoxluqlar nәzәriyyәsi sahәsindәdir. G.-in tamlıq haqqında teoremi (1930) tәsdiq edir ki, predikatların hesablanması istәnilәnriyazi nәzәriyyәnin ifadә edilmәsi üçün adekvat vasitәdir. Onun natamamlıq haqqında teoreminә (1931) görә, elementar hesab (toplama vә vurma әmәliyyatları) daxil olan istәnilәn nәzәriyyәdә tәsdiqi elә formulә etmәk olar ki, nә onun özü, nә dә onun inkarı isbatedilәn olar. Xüsusi halda, baxılan nәzәriyyәnin özünün ziddiyyәtsiz olması haqqındakı hökm dә belәdir. Natamamlıq haqqında teorem göstәrir ki, riyaziyyatın tam ifadә edilmәsi haqqında D.Hilbert proqramının reallaşdırılması ciddi çәtinliklәrlә üzlәşir. G.-in araşdırmalarından sonra çoxlu sayda tәtbiqlәrә malik riyazi mәntiq riyaziyyatın sәrbәst bölmәsi oldu.
