Prikazi cijelu temu
28.08.2015 18:04
28.08.2015 18:04
Predmet:Re: Matematicari
Kurt Friedrich Gödel ( Brno, 28.04. 1906. - Princeton, 14. 01.1978.) je bio austrijsko-americki matematicar i logicar, koji je 1931. godine dokazao kompletnost prvog reda infinitezimalnog racuna funkcija. Zatim je uslijedio njegov rad Uber formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme (O formalnoj neodredjenosti postavki u "Principima matematike" i odnosnim sistemima), u kojem je dokazao prvu od svoje dvije poznate teoreme nekompletnosti. Ovaj rad, koji datira od 17.11.1930. godine, izvorno je objavljen na njemackom jeziku 1931. godine u casopisu "Monatshefte für Mathematik".
1938. godine, Gödel je pokazao da se Cantorova hipoteza kontinuuma ne moze opovrgnuti unutar standardne Zermelo–Fraenkel teorije skupova, cak ni ako joj se doda aksiom izbora. Americki matematicar Paul Cohen je 1963. godine sokirao matematicku zajednicu dokazavsi da se hipoteza kontinuuma ne moze ni dokazati unutar ZFC.
Gödel je rodjen u Brnu tada u austrougarskoj pokrajini Moravskoj danas Ceškoj u etnickoj njemackoj obitelji Rudolfa Gödel, direktora tvornice tekstila i Marianne Gödel (rodjene Handschuh). U vrijeme njegova rodjenja u Brnu je vecinski jezik bio njemacki.
Kurt Friedrich Gödel ( Brno, 28.04. 1906. - Princeton, 14. 01.1978.) je bio austrijsko-americki matematicar i logicar, koji je 1931. godine dokazao kompletnost prvog reda infinitezimalnog racuna funkcija. Zatim je uslijedio njegov rad Uber formal unentscheidbare Sätze der 'Principia Mathematica' und verwandter Systeme (O formalnoj neodredjenosti postavki u "Principima matematike" i odnosnim sistemima), u kojem je dokazao prvu od svoje dvije poznate teoreme nekompletnosti. Ovaj rad, koji datira od 17.11.1930. godine, izvorno je objavljen na njemackom jeziku 1931. godine u casopisu "Monatshefte für Mathematik".
1938. godine, Gödel je pokazao da se Cantorova hipoteza kontinuuma ne moze opovrgnuti unutar standardne Zermelo–Fraenkel teorije skupova, cak ni ako joj se doda aksiom izbora. Americki matematicar Paul Cohen je 1963. godine sokirao matematicku zajednicu dokazavsi da se hipoteza kontinuuma ne moze ni dokazati unutar ZFC.
Gödel je rodjen u Brnu tada u austrougarskoj pokrajini Moravskoj danas Ceškoj u etnickoj njemackoj obitelji Rudolfa Gödel, direktora tvornice tekstila i Marianne Gödel (rodjene Handschuh). U vrijeme njegova rodjenja u Brnu je vecinski jezik bio njemacki.
"Ne treba se stidjeti nikakvog posla, pa čak ni onog najprljavijeg; treba se stidjeti samo besposlenog života." - Tolstoj