La logique des mathématiques
Stanislas Zaremba
Similarity:
Stanislas Zaremba
Similarity:
Françoise Longy (2001)
Philosophia Scientiae
Similarity:
A l’occasion de réflexions sur l’axiome du choix, Zermelo et Poincaré sont amenés à préciser ce qui doit être au fondement des mathématiques et peut servir à justifier un axiome. Défendant l’autonomie des mathématiques, chacun d’eux invoque une intuition mathématique spécifique visible dans la pratique du mathématicien. D’abord, nous explicitons ce qui distingue l’attitude du mathématicien de celle logicien, en prenant l’exemple de Zermelo. Puis, pour déterminer la nature réelle de l’intuition...
Jacques Courcier (1989)
Mathématiques et Sciences Humaines
Similarity:
Dominique Dubarle (1989)
Mathématiques et Sciences Humaines
Similarity:
Christine Froidevaux (1983)
Mathématiques et Sciences Humaines
Similarity:
R. Bozzi (2006)
Philosophia Scientiae
Similarity:
Georges Kalinowski, dans «Raison, entendement et philosophie» [Kalinowski 1974, 125-127], isolait quatre fonctions d’une même faculté : comme fonction de la connaissance intuitive, la (des anciens) comme fonction de la connaissance médiate, fonction d’élaboration des sciences (au sens moderne) et la (des modernes) fonction d’élaboration de la philosophie ou au moins d’une partie de la philosophie. Kalinowski reconnaissait ainsi à la pensée ancienne et à la pensée moderne des contributions...
E. Coumet (1966)
Mathématiques et Sciences Humaines
Similarity:
Anne-Françoise Schmid (2005)
Philosophia Scientiae
Similarity:
Le logicisme de Russell consiste en une thèse affirmant que toutes les mathématiques pures peuvent être exprimées à l’aide de constantes logiques et de variables. Il est compris habituellement comme une des mathématiques pures à la logique. Pourtant cette thèse est une garantie de des mathématiques au nombre et à la grandeur, de l’arithmétique aux seuls nombres finis, de la géométrie à celle d’Euclide, de la logique à la syllogistique. Le logicisme ne peut donc être interprété comme...
Andrzej Mostowski (1957)
Fundamenta Mathematicae
Similarity: