Upsetting the foundations for mathematics

Lawrence Neff Stout

pp. 5-21

in: Gerhard Heinzmann, Manuel Rebuschi (eds), Aperçus philosophiques en logique et en mathématiques, Philosophia Scientiae 9 (2), 2005.

Abstract

Commençant par une revue sommaire des types de questions qu’une fondation des mathématiques devrait poser, cet article présente premièrement une critique des fondements basés sur la théorie des ensembles, puis propose l’idée que plusieurs fondements catégoriques, reliés les uns aux autres, seraient plus avantageux, et finalement indique une méthode pour retrouver la théorie des ensembles à travers une approche catégorique.