Home » Archivio

Articoli con il tag: torta

Esperimenti bizzarri »

[ 29 ott 2013 | 3 Commenti ]
godel

Kurt Godel è stato un matematico e filosofo che nel 1931 elaborò i famosi “teoremi dell’incompletezza”. Il primo di questi, semplificando, si può riportare così:
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all’interno dello stesso sistema.
Se non lo avete capito fino in fondo …