Kurt Gödel Série

Kurt Gödel byl rakousko-americký logik, matematik a filozof, který zásadně ovlivnil vědecké a filozofické myšlení 20. století. Je známý především svými dvěma větami o neúplnosti, které ukázaly, že v každém dostatečně silném formálním systému existují pravdivá tvrzení, jež nelze z axiomů dokázat. K prokázání těchto vět vyvinul Gödel svou metodu, dnes známou jako Gödelovo kódování, která přiřazuje přirozená čísla formálním výrazům. Jeho práce v oblasti teorie důkazů také objasnila souvislosti mezi různými logickými systémy a prokázal, že hypotézu kontinua nelze z přijatých axiomů teorie množin vyvrátit.