Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] negazione di un teorema è a sua volta un teorema. La coerenza e la completezza vanno di pari di Parigi –, era stata collocata da Hilbert al secondo posto della lista dei problemi aperti.
Tuttavia, nel 1931, il giovane logico austriaco Kurt Gödel ...
Leggi Tutto
fondamenti della matematica
fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] coerenza e la completezza dell’aritmetica partendo da una serie di assiomi con un numero finito di operazioni di deduzione logica. Questo programma, nelle sue richieste più radicali, fallì. Nel 1931 K. Gödel dimostrò infatti (→ Gödel, teoremadi) l ...
Leggi Tutto