23 relations: Abraham Adolf Fraenkel, Algèbre, Analyse (mathématiques), Axiome, Axiomes de Hilbert, Éditions Matériologiques, Éléments (Euclide), Construction des nombres réels, David Hilbert, Ernst Zermelo, Euclide, Fondements des mathématiques, Géométrie, Logique mathématique, Mario Bunge, Mathématiques, Moritz Pasch, Robert Blanché, Théorème, Théorie axiomatique, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel, Thoralf Skolem.
Abraham Adolf Fraenkel
Abraham Adolf Halevi Fraenkel, né le à Munich et mort le à Jérusalem, plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement Abraham Fraenkel, est un mathématicien d'abord allemand puis israélien.
Nouveau!!: Axiomatisation et Abraham Adolf Fraenkel · Voir plus »
Algèbre
L'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques.
Nouveau!!: Axiomatisation et Algèbre · Voir plus »
Analyse (mathématiques)
L'analyse (du grec, « délier, examiner en détail, résoudre ») a pour point de départ la formulation rigoureuse du calcul infinitésimal.
Nouveau!!: Axiomatisation et Analyse (mathématiques) · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Axiomatisation et Axiome · Voir plus »
Axiomes de Hilbert
David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie (Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne.
Nouveau!!: Axiomatisation et Axiomes de Hilbert · Voir plus »
Éditions Matériologiques
Les Éditions Matériologiques sont une maison d'édition française créée en 2010, qui publie des livres et des revues en sciences, histoire et philosophie des sciences.
Nouveau!!: Axiomatisation et Éditions Matériologiques · Voir plus »
Éléments (Euclide)
texte.
Nouveau!!: Axiomatisation et Éléments (Euclide) · Voir plus »
Construction des nombres réels
En mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont.
Nouveau!!: Axiomatisation et Construction des nombres réels · Voir plus »
David Hilbert
David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.
Nouveau!!: Axiomatisation et David Hilbert · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Axiomatisation et Ernst Zermelo · Voir plus »
Euclide
Euclide (en Eukleídês), dit parfois Euclide d'Alexandrie, est un mathématicien de la Grèce antique, auteur d’un traité de mathématiques, qui constitue l'un des textes fondateurs de cette discipline en Occident.
Nouveau!!: Axiomatisation et Euclide · Voir plus »
Fondements des mathématiques
Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science.
Nouveau!!: Axiomatisation et Fondements des mathématiques · Voir plus »
Géométrie
La géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne).
Nouveau!!: Axiomatisation et Géométrie · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Axiomatisation et Logique mathématique · Voir plus »
Mario Bunge
Mario Augusto BungePrononcé en espagnol.
Nouveau!!: Axiomatisation et Mario Bunge · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Axiomatisation et Mathématiques · Voir plus »
Moritz Pasch
Moritz Pasch, né le à Breslau (Allemagne), aujourd'hui Wrocław (Pologne) et mort le à Bad Hombourg (Allemagne), est un mathématicien allemand spécialisé dans les fondements de la géométrie.
Nouveau!!: Axiomatisation et Moritz Pasch · Voir plus »
Robert Blanché
Robert Blanché (1898-1975) est un philosophe et logicien français.
Nouveau!!: Axiomatisation et Robert Blanché · Voir plus »
Théorème
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.
Nouveau!!: Axiomatisation et Théorème · Voir plus »
Théorie axiomatique
Quand on parle de théorie mathématique, on fait référence à une somme d'énoncés, de définitions, de méthodes de preuve, etc.
Nouveau!!: Axiomatisation et Théorie axiomatique · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Axiomatisation et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Axiomatisation et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Thoralf Skolem
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien.
Nouveau!!: Axiomatisation et Thoralf Skolem · Voir plus »