Sur l'axiome d'Ivo Thomas
Denise Becchio (1978)
Publications du Département de mathématiques (Lyon)
Similarity:
Denise Becchio (1978)
Publications du Département de mathématiques (Lyon)
Similarity:
Adolphe Lindenbaum (1930)
Fundamenta Mathematicae
Similarity:
Christine Froidevaux (1983)
Mathématiques et Sciences Humaines
Similarity:
Jean-Pierre Ginisti (1991)
Mathématiques et Sciences Humaines
Similarity:
Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b)...
Monteiro, António (1945)
Portugaliae mathematica
Similarity:
L. Lesieur (1956-1957)
Séminaire Dubreil. Algèbre et théorie des nombres
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...
Monteiro, António (1940)
Portugaliae mathematica
Similarity:
Hermann Weyl (1981)
Mathématiques et Sciences Humaines
Similarity:
Lech Dubikajtis (1959-1960)
Séminaire Dubreil. Algèbre et théorie des nombres
Similarity:
S. Weinlös (1928)
Fundamenta Mathematicae
Similarity: