Brève description / annotation

C'est avec la dcouverte du paradoxe de Russell, en 1901, que commence la formation de la thorie russellienne des types. Reprenant de Poincar l'ide du principe du cercle vicieux, il esquissa, en 1908, la thorie qui devait s'panouir, en 1910, dans le premier volume des Principia Mathematica et tre rtrospectivement connue sous le nom de thorie des types ramifie.

Détails