Diskuse:Gödelovy věty o neúplnosti
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)