The co-emergence of sets and functions in Das Kontinuum

International audienceEtude des fondements des mathématiques dans Das Kontinuum d'Hermann Weyl. Nous étudions la façon dont la distinction traditionnelle entre intension et extension est séparée en deux moments disjoints chez Weyl. Nous comparons la hiérarchie qui en découle quant aux ensembles et aux fonctions avec celle de la théorie des types ramifiés de B.Russell