|
Résumé :
|
Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Morgan (algèbre de la logique), Charles Peirce (logique propositionnelle), Giuseppe Peano (axiomatique) ; les apports de Bertrand Russel (logicisme, théorie des ensembles, notion d'autoréférence en logique) et d'Alfred Whitehead (logicisme) ; la théorie des types. Encadré : présentation de l'ouvrage Principles of Mathematics (objectifs, contenu) de B. Russel s'intéressant à l'approche logiciste des mathématiques. Bibliographie.
|
