La logique des mathématiques
Stanislas Zaremba
Similarity:
Stanislas Zaremba
Similarity:
Dominique Hilt, Marie-Annick Juhel (1998)
Publications mathématiques et informatique de Rennes
Similarity:
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Roland Fraisse (1967)
Publications du Département de mathématiques (Lyon)
Similarity:
Dominique Dubarle (1989)
Mathématiques et Sciences Humaines
Similarity:
René Guitart (2012)
Diagrammes
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...
Grzegorz Malinowski (1991)
Mathématiques et Sciences Humaines
Similarity:
Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.
Elisabeth Schwartz (1996)
Philosophia Scientiae
Similarity:
Denise Becchio (1976)
Annales scientifiques de l'Université de Clermont. Mathématiques
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.