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