fondamenti, crisi dei
fondamenti, crisi dei locuzione con la quale si intende l’insieme di problemi, discussioni e ricerche in campo matematico e logico che si verificò agli inizi del secolo xx in seguito [...] naturali, che sta alla base di ogni altra teoria. Il programma di Hilbert, volto a dimostrare la coerenza e la completezza almeno dell’aritmetica, si rivelò ben presto impossibile, come fu dimostrato nel 1931 dal teoremadi incompletezza di → 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