Kurt Gödel Životopis

Kurt Gödel bol rakúsko-americký logik, matematik a filozof, ktorý mal obrovský vplyv na vedecké a filozofické myslenie 20. storočia. Je najlepšie známy svými dvoma vetičkami o neúplnosti, ktoré ukázali, že v každom dostatočne silnom formálnom systéme existujú pravdivé výroky, ktoré nemožno dokázať z axiómov. Na dôkaz týchto viet Gödel vyvinul techniku známu ako Gödelovo číslovanie, ktorá kóduje formálne výrazy ako prirodzené čísla. Jeho práca v oblasti teórie dôkazov tiež objasnila súvislosti medzi klasickou logikou, intuicionistickou logikou a modálnou logikou a ukázal, že hypotézu kontinua nemožno vyvrátiť z prijatých axiómov teórie množín.