Articoli con il tag: torta
Esperimenti bizzarri »
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 …