Quatrième Université d'Eté d'Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.
Un fac-similé numérique est en téléchargement sur le site Bibliothèque numérique des IREM et de l'APMEP Télécharger
Auteur : Ferréol Gilles
Résumé
Plan de l'article :
- Quelques rappels
- La notion de système formel
- La philosophie formaliste et le programme de Hilbert
- Les théorèmes de limitation
Notes
Intervention à la Quatrième Université d'Eté d'Histoire des Mathématiques
Données de publication
Éditeur IREM de Lille Villeneuve d'Ascq , 1994 Collection IREM de Lille Num. LIL 99 Format A4, p. 139-144
Public visé enseignant
Type chapitre d’un ouvrage Langue français Support papier
Classification