AXIOMATIQUE
Bibliographie
R. Blanché, L'Axiomatique, P.U.F., Paris, 1965, rééd. 1990
N. Bourbaki, Éléments d'histoire des mathématiques, Hermann, Paris, 1974, rééd. Masson 1984
J. Cavaillès, Méthode axiomatique et formalisme, Hermann, 1981
G. Egan, Axiomatique, D.L.M., Montpellier, 1997
M. Guillaume, « Axiomatique et logique », in J. Dieudonné et al., Abrégé d'histoire des mathématiques, t. II, ibid., 1978
D. Hilbert, Les Fondements de la géométrie (Grundlagen der Geometrie), Dunod, Paris, 1971.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Georges GLAESER : professeur à la faculté des sciences de Strasbourg
Classification
Autres références
-
BOURBAKI NICOLAS (XXe s.)
- Écrit par André MARTINEAU
- 1 740 mots
- 1 média
...théorie des ensembles dont le langage est familier à tout jeune lycéen. Il introduit la notion de structure qui est le cœur de sa rigoureuse construction axiomatique. Les structures sont classées par degré de complexité. Et, de même que la chimie distingue les éléments simples à partir desquels tout peut... -
CONTINU & DISCRET
- Écrit par Jean-Michel SALANSKIS
- 7 672 mots
...conflit entre le continu et le discret concerne donc l'activité logico-mathématique fondationnelle au niveau de sa méthode elle-même. L'option axiomatique ou formaliste, qui s'est montrée de plus en plus dominante au cours de ce siècle, semble réduire les mathématiques et la logique à un jeu linguistique... -
DÉFINITION
- Écrit par Françoise ARMENGAUD
- 503 mots
Traditionnellement, définir, c'est expliciter, lorsqu'il s'agit d'un mot, et, lorsqu'il s'agit d'un être, c'est lui assigner un statut ; on définit par genre prochain et différence spécifique : « La rose est une fleur d'églantier dont les étamines sont devenues pétales. »...
-
ÉPISTÉMOLOGIE
- Écrit par Gilles Gaston GRANGER
- 13 112 mots
- 4 médias
...Frege et Russell, de la ramener à cette pensée formelle minimale que serait la logique ; celui que suppose l'entreprise hilbertienne de formalisation axiomatique, selon laquelle une théorie est fondée si on a pu la ramener à un système d'axiomes et à un corps de règles primitives dont on aurait montré,... - Afficher les 16 références
