Kurt Gödel slavné citáty

Nevěřím v empirickou vědu. Věřím jen v a priori pravdu.

Čím víc přemýšlím o jazyce, tím víc mě udivuje, že si lidé vůbec rozumí.

Buď je matematika pro lidskou mysl příliš velká, nebo je lidská mysl více než stroj.

Nevěřím v přírodní vědy.

Jsem přesvědčen o posmrtném životě, nezávislém na teologii. Pokud je svět racionálně konstruován, musí existovat posmrtný život

Význam světa je oddělení přání a skutečnosti.

Ale každá chyba je způsobena vnějšími faktory (jako jsou emoce a vzdělání); samotný rozum se nemýlí.

Tvorba lidského těla v geologickém čase fyzikálními zákony (nebo jinými zákony podobné povahy), počínaje náhodným rozložením elementárních částic a pole, je stejně nepravděpodobná jako oddělení atmosféry na její složky. Složitost živých věcí musí být přítomna v materiálu [ze kterého jsou odvozeny] nebo v zákonech [upravujících jejich formování].

Devadesát procent [současných filozofů] vidí svůj hlavní úkol jako úkol vymlátit náboženství z lidských hlav. ... Nejsme zdaleka schopni poskytnout vědecký základ pro teologický pohled na svět.

Mám rád Islám, je to konzistentní myšlenka náboženství a otevřená.

Ke konci svého života se Gödel obával, že je otráven, a umřel hlady. Jeho věta je jedním z nejneobvyklejších výsledků v matematice nebo v jakékoli intelektuální oblasti v tomto století. Pokud je někdy potenciální duševní nestabilita detekovatelná genetickou analýzou, embryo někoho s dary Kurta Gödel by mohlo být přerušeno.

...důkaz konzistence pro [jakýkoli] systém ... lze provést pouze pomocí způsobů odvození, které nejsou v systému formalizovány ... sám.

V každém netriviálním axiomatickém systému existují pravdivé věty, které nelze prokázat.

Vývoj matematiky směrem k větší přesnosti vedl, jak je dobře známo, k formalizaci jejích velkých traktů, takže lze prokázat jakoukoli větu pouze pomocí několika mechanických pravidel... Dalo by se tedy předpokládat, že tyto axiomy a pravidla odvození jsou dostatečné k rozhodnutí o jakékoli matematické otázce, kterou lze v těchto systémech vůbec formálně vyjádřit. Níže bude ukázáno, že tomu tak není, že naopak ve dvou zmíněných systémech existují relativně jednoduché problémy v teorii celých čísel, o kterých nelze rozhodnout na základě axiomů.

Řekl fyzik John Bahcall. Nevěřím v přírodní vědy.