Logicisme

Logicisme , école de pensée mathématique introduite par le mathématicien allemand Gottlob Frege des XIXe et XXe siècles et le mathématicien britannique Bertrand Russell, qui soutient que les mathématiques sont en fait de la logique. Les logiciens soutiennent que toutes les mathématiques peuvent être déduites de la logique pure, sans l'utilisation de concepts spécifiquement mathématiques, tels que le nombre ou l'ensemble. Comparez le formalisme; l'intuitionnisme.

Paradoxe de Zénon, illustré par Achille faisant la course avec une tortue.En savoir plus sur ce sujet fondements des mathématiques: logique fondamentale… certaines personnes, appelées logicistes, suggèrent que les mathématiques sont une branche de la logique. Les concepts d'appartenance et d'égalité pourraient ...