Une preuve de l'existence d'un relèvement
Jean Pellaumail (1970-1971)
Publications mathématiques et informatique de Rennes
Similarity:
Jean Pellaumail (1970-1971)
Publications mathématiques et informatique de Rennes
Similarity:
K. I. Appel (1979)
Publications du Département de mathématiques (Lyon)
Similarity:
Alain Prouté (1992)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
J. P. Jouannaud, H. Kirchner (1984)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Saddo Ag Almouloud (1990-1991)
Publications mathématiques et informatique de Rennes
Similarity:
P. Enjalbert (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Françoise Garcia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Vanda Luengo (1998)
Publications mathématiques et informatique de Rennes
Similarity:
Marc Legrand (1989)
Publications mathématiques et informatique de Rennes
Similarity:
Jacques Dubucs (2003)
Philosophia Scientiae
Similarity:
Le fondationnalisme soutient que les propositions mathématiques sont agencées en une structure objective complexe qu’il nous incombe de découvrir, et dans laquelle chaque proposition dépend, pour sa vérité, des propositions qui la précèdent et qui la fondent. Aux preuves qui n’assurent que la vérité des propositions qu’elles prouvent, il oppose les preuves qui indiquent la raison objective de cette vérité. Le fondationnalisme insiste sur l’universelle disponibilité des ressources cognitives...
A. Colmerauer (1979)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Pierre Ginisti (1991)
Mathématiques et Sciences Humaines
Similarity:
The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.
Dominique Mery (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Philippe De Rouilhan (1998-1999)
Philosophia Scientiae
Similarity: