Dějiny matematiky: Porovnání verzí

Hned v roce 1931 však přišel mladý rakušan [[Kurt Gödel]] a [[Gödelovy věty o neúplnosti|jedním chytrým důkazem]] celou snahu položil na kolena. Ukázal, že každý [[axiomatický systém]] obsahující [[Aritmetika|aritmetiku]] je nutně neúplný — tedy že v něm existují [[Pravda (logika)|pravdivá]] [[Tvrzení (logika)|tvrzení]], která však nelze prostředky systému dokázat. Tento výsledek se zařadil po bok podobných deziluzivních objevů tehdejší doby, jako byla [[Schrödingerova rovnice|Schrödingerova neurčitost]] a značně zmírnil [[Moderna|modernistickou]] víru v možnosti vědy a techniky.

 

 

=== Informatika ===