ADm22 : Le lignage de Cantor & Russell en philosophie des mathématiques

DUMONCEL Jean Claude et LELIEVRE Franck

Guy Juge

PDF - 39.8 ko
ADm22

Après un bref rappel du débat classique (formalisme, intuitionisme, logicisme), nous nous concentrons sur le lignage le moins connu en France : le lignage logiciste pris dans son origine cantorienne jusqu’à Russell.

A) L’Antinomie de Russell

B) Après une esquisse de la définition logiciste des nombres finis de Frege-Russell, présentation de deux sujets beaucoup moins connus :
- 1° Les deux définitions de l’infini mathématique dans leur systématisation chez Russell
- 2° La philosophie des nombres infinis chez Cantor.