Gödel Kurt Poradie kníh

Kurt Gödel bol rakúsko-americký logik, matematik a filozof, ktorý zásadne ovplyvnil vedecké a filozofické myslenie 20. storočia. Jeho práca v oblasti logiky a teórie množín skúmala samotné základy matematiky. Gödel je známy svojimi teorémami o neúplnosti, ktoré ukázali, že žiadny formálny systém nemôže zachytiť všetku pravdu o prirodzených číslach a že niektoré pravdivé výroky nemožno z axiómov dokázať. Jeho hlboký vhľad do povahy matematiky a formálnych systémov naďalej inšpiruje a provokuje mysliteľov.