Gödel Kurt Pořadí knih

Kurt Gödel byl rakousko-americký logik, matematik a filozof, který zásadně ovlivnil vědecké a filozofické myšlení 20. století. Jeho práce v oblasti logiky a teorie množin prozkoumala samy základy matematiky. Gödel je proslulý svými větami o neúplnosti, které ukázaly, že žádný formální systém nemůže zachytit veškerou pravdu o přirozených číslech a že některé pravdivé výroky nelze z axiomů dokázat. Jeho hluboký vhled do povahy matematiky a formálních systémů nadále inspiruje a provokuje myslitele.