Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
Résumé
Depuis la fin du XIXe siècle, la théorie des ensembles sert de fondement aux mathématiques actuelles. Au début du XXIe siècle, une théorie alternative se développe, peut-être plus à même d’accéder directement et efficacement aux mathématiques d’aujourd’hui. Le concept central de cet article est celui d’égalité ; la théorie des types basée sur la correspondance de Curry-Howard y est présentée.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : De nouvelles formes de preuves dans Bibliothèque Tangente n° 55 – Les démonstrations.
Données de publication
Éditeur Editions POLE Paris , 2015 Collection Bibliothèque Tangente Num. 55 Format 17 cm x 24 cm, p. 108-114
ISBN 2-84884-198-2 EAN 9782848841984 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification