Dans Centre d’analyse et de mathématique sociales de l’EHESS
par Dowek, Gilles
Mathématiques et sciences humaines
Résultat de OpenEdition : Journals
La théorie des types et les systèmes informatiques de traitement de démonstrations mathématiques
- Éditeur(s)
-
Date
- 2006-02-22T01:00:00Z
-
Notes
- Depuis la fin des années soixante, on a vu apparaître plusieurs logiciels destinés à traiter des connaissances mathématiques, en particulier des démonstrations formelles. La réalisation de tels logiciels pose de nouveaux problèmes, en particulier celui de la conception de cadres logiques dans lesquels les mathématiques puissent être formalisées en fait. Cela renouvelle la problématique des fondements des mathématiques, jusque-là davantage concentrée sur la potentialité de la formalisation que sur son actualité. Plusieurs raisons expliquent que les concepteurs de tels logiciels choisissent bien souvent de formaliser les mathématiques en théorie des types, plutôt qu'en théorie des ensembles.
-
Langues
- Français
- Sujet(s)
-
Droits
- info:eu-repo/semantics/openAccess .
- All rights reserved
- Résultat de :