FRENCH

Expressions indéterminées, constructivisme et axiome du choix

By Alain Prouté

Book information

Year
2016
Language
french
Format
PDF
Filesize
354 kB (362911 bytes)
Series
expository notes
Pages
10\10
Time added
2016-09-27 03:47:00

Description

Le preprint d'un article publié dans les Cahiers de Topologie et Géométrie Différentielle Catégoriques en 1992. Il contient mes (à peu près) premières réflexions autour de la question de l'indiscernabilité des preuves, dont il n'est d'ailleurs pas question dans cet article, puisqu'à cette époque, je n'avais pas encore connaissance de ce principe. Aujourd'hui, je ne soutiens plus le point de vue développé dans ce texte. Toutefois, il contient des choses qui peuvent intéresser, comme par exemple une preuve formelle du théorème de Diaconescu, et il est probablement la première publication où se trouve démontré le fait que ce théorème ne peut pas être prouvé dans le système de Martin-Löf.

Similar books