"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"
(K. Gödel)
(url: https://ihavenoteeth.files.wordpress.com/2014/10/godel3.jpg)
Nessun commento:
Posta un commento
Se desideri commentare un mio post, ti prego, sii rispettoso dell'altrui pensiero e non lasciarti andare alla verve polemica per il semplice fatto che il web 2.0 rimuove la limitazione del confronto vis-a-vi, disinibendo così la facile tentazione all'insulto verace! Posso fidarmi di te?