Mic Detlefsen, Hilbert’s Program
Two themes are developed here: one, general, enters into the analysis of the notion of object, the other, more specific but also complex, takes up the rehabilitation of Hilbert’s Program, thus paying tribute to the great work of Mic Detlefsen. He shows how the destruction of this program by Gödel’s...
Guardado en:
| Publicado en: | URI:https://journals.openedition.org/noesis, |
|---|---|
| Autor principal: | |
| Formato: | Article ou chapitre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Noesis
2024
|
| Materias: | |
| Acceso en línea: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Sumario: | Two themes are developed here: one, general, enters into the analysis of the notion of object, the other, more specific but also complex, takes up the rehabilitation of Hilbert’s Program, thus paying tribute to the great work of Mic Detlefsen. He shows how the destruction of this program by Gödel’s theorem is a delusion, despite the greatness and the importance of Gödel’s work in the History of Logic. The refocusing of Hilbert’s work then opens up perspectives on the analysis of the notion of object and on the idea of effectiveness to which mathematical practice invites us. |
|---|