Diskuse:Gödelovy věty o neúplnosti

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

OT: Pěkně napsaný článek, zvláště odstavec o významu první Gödelovy věty o neúplnosti. Kdybych na to narazil před zkouškou z logiky, tak by se mi i lépe učilo :). Dík Ondřej Horáček 217.30.64.86 27. 7. 2011, 08:31 (UTC)

Hodně se mi líbí zobecnění té první věty mimo oblast aritmetiky, které jsem kdesi četl a jakkoliv to není matematicky dokazatelné, intuitivně tomu nelze nevěřit:

"Pravda je více, než důkaz."

Artur.Linhart (diskuse) 18. 3. 2012, 17:58 (UTC)