FRENCH

Topos et Démonstrations

By Alain Prouté

Book information

Year
2016
Language
french
Format
PDF
Filesize
474 kB (485021 bytes)
Series
expository notes
Edition
version 28 May 2016
Pages
32\32
Time added
2016-09-27 03:50:36

Description

Dans cet exposé fait à Luminy en mai 2007, est essentiellement discutée la notion d'indiscernabilité des preuves. Des arguments sont donnés en faveur de ce principe, aussi bien provenant de l'analyse du comportement des mathématiciens, que d'une modélisation des mathématiques dans les topos. On y parle également du système de types de Martin-Löf et de ses rapports avec le théorème de Diaconescu. Le caractère partiellement constructif de l'axiome du choix est aussi discuté.

Similar books