Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Axiome Un axiome (en grec ancien : ἀξίωμα /axioma, « principe servant de base à

Axiome Un axiome (en grec ancien : ἀξίωμα /axioma, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de άξιόω (axioô), « 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. Histoire Antiquité Description Épistémologique Mathématiques Exemple : arithmétique usuelle D'autres systèmes axiomatiques Références Voir aussi Bibliographie Articles connexes Lien externe Pour Euclide et certains philosophes grecs de l’Antiquité, un axiome était une affirmation qu'ils considéraient comme évidente et qui n'avait nul besoin de démonstration. Pour l'épistémologie (branche de la philosophie des sciences), un axiome est une vérité évidente en soi sur laquelle une autre connaissance peut se reposer, autrement dit peut être construite . Précisons que tous les épistémologues n'admettent pas que les axiomes, dans ce sens du terme, existent. Dans certains courants philosophiques, comme l'objectivisme, le mot axiome a une connotation particulière. Un énoncé est axiomatique s'il est impossible de le nier sans se contredire. Exemple : « Il existe une vérité absolue » ou « Le langage existe » sont des axiomes. Sommaire Histoire Antiquité Description Épistémologique 1 Mathématiques En mathématiques, le mot axiome désignait une proposition qui est évidente en soi dans la tradition mathématique des Éléments d’Euclide. L’axiome est utilisé désormais, en logique mathématique, pour désigner une vérité première, à l'intérieur d'une théorie. L'ensemble des axiomes d'une théorie est appelé axiomatique ou théorie axiomatique. Cette axiomatique doit être non contradictoire. Cette axiomatique définit la théorie. Un axiome représente donc un point de départ dans un système de logique. La pertinence d'une théorie dépend de la pertinence de ses axiomes et de leur interprétation. L'axiome est donc à la logique mathématique, ce qu'est le principe à la physique théorique. Dans tout système de logique formelle, il y a comme point de départ des axiomes. Par exemple, on peut définir une arithmétique simple, comprenant un ensemble de « nombres », une loi de composition : l'addition notée "+", interne à cet ensemble, une égalité qui est réflexive, symétrique et transitive, et en posant (en s'inspirant un peu de Peano) : 1. un nombre noté 0 existe 2. tout nombre X a un successeur noté succ(X) 3. X + 0 = X 4. succ(X) + Y = X + succ(Y) Des théorèmes peuvent être démontrés à partir de ces axiomes. En utilisant ces axiomes, et en définissant les mots usuels 1, 2, 3, et ainsi de suite pour désigner les successeurs de 0 : succ(0), succ(succ(0)), succ(succ(succ(0))) respectivement, nous pouvons démontrer ce qui suit : succ(X) = X + 1 (axiome 4 et 3) et 1 + 2 = 1 + succ(1) Développement de l'abréviation (2 = succ(1)) 1 + 2 = succ(1) + 1 Axiome 4 1 + 2 = 2 + 1 Développement de l'abréviation (2 = succ(1)) 1 + 2 = 2 + succ(0) Développement de l'abréviation (1 = succ(0)) 1 + 2 = 2 + 1 = succ(2) + 0 = 0 + succ(2) Axiome 4 1 + 2 = 3 = 0 + 3 Axiome 3 et utilisation de l'abréviation (succ(2) = 3) 0 + 1 = 1 + 0 = 1 Axiome 4 et 3 (1+0=1) X + succ(X) = succ(X) + X pour tout X Axiome 4 et la symétrie de l'égalité Tout résultat qui peut être déduit des axiomes n'est pas un axiome. Toute affirmation qui ne peut être déduite des axiomes et dont la négation ne peut pas non plus être déduite de ces mêmes axiomes peut être ajoutée comme axiome sans en modifier la cohérence. On dit qu'une telle affirmation est indépendante des axiomes précédents. En revanche, l'ajout d'un nouvel axiome permet de démontrer de nouveaux théorèmes. Probablement le plus ancien et aussi le plus célèbre système d'axiomes est celui des 5 postulats d'Euclide. Ceux-ci s'avérèrent être assez incomplets, et beaucoup plus d'axiomes sont nécessaires pour caractériser complètement la géométrie d'Euclide (Hilbert en a utilisé 26 dans son d l é é l d Exemple : arithmétique usuelle D'autres systèmes axiomatiques axiomatique de la géométrie euclidienne). Le cinquième postulat (par un point en dehors d'une droite, il passe exactement une parallèle à cette droite) a été suspecté d'être une conséquence des 4 premiers pendant presque deux millénaires. Finalement, le cinquième postulat s'est avéré être indépendant des quatre premiers. En effet, nous pouvons supposer qu'aucune parallèle ne passe par un point situé en dehors d'une droite, ou qu'il existe une unique parallèle, ou encore qu'il en existe une infinité. Chacun de ces choix nous donne différentes formes alternatives de géométrie, dans lesquelles les mesures des angles intérieurs d'un triangle s'ajoutent pour donner une valeur inférieure, égale ou supérieure à la mesure de l'angle formé par une droite (angle plat). Ces géométries sont connues en tant que géométries elliptique, euclidienne et hyperbolique respectivement. La relativité générale affirme que la masse donne à l'espace une courbure, c'est-à-dire que l'espace physique n'est pas euclidien. Au xxe siècle, les théorèmes d'incomplétude de Gödel énoncent qu'aucune liste explicite d'axiomes suffisante pour démontrer quelques théorèmes très élémentaires sur les entiers (par exemple l'arithmétique de Robinson) ne peut être à la fois complète (chaque proposition peut être démontrée ou réfutée à l'intérieur du système) et cohérente (aucune proposition ne peut être à la fois démontrée et réfutée). (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Axiom (https:// en.wikipedia.org/wiki/Axiom?oldid=901510) » (voir la liste des auteurs (https://en.wikipedia.org/wiki/Axiom?action=histor y)). Robert Blanché, L’Axiomatique, éd. P.U.F. coll. Quadrige, 112 pages, 1955. 1. D'après Euclide. Catégorie:Axiome Catégorie:Axiome de la théorie des ensembles Catégorie:Axiome de la géométrie Axiomatisation Axiome de la borne supérieure Axiomes de Peano Axiome de séparation Axiomes IST de l'analyse non standard Axiomes des probabilités Dogme Géométrie euclidienne Mathématiques à rebours Postulat Platonisme mathématique Références Voir aussi Sur les autres projets Wikimedia : axiome, sur le Wiktionnaire Bibliographie Articles connexes Li t (en) Metamath axioms page (http://us.metamath.org/mpegif/mmset.html#axioms) Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Axiome&oldid=185837302 ». La dernière modification de cette page a été faite le 27 août 2021 à 11:07. Droit d'auteur : les textes sont disponibles sous licence Creative Commons attribution, partage dans les mêmes conditions ; d’autres conditions peuvent s’appliquer. Voyez les conditions d’utilisation pour plus de détails, ainsi que les crédits graphiques. En cas de réutilisation des textes de cette page, voyez comment citer les auteurs et mentionner la licence. Wikipedia® est une marque déposée de la Wikimedia Foundation, Inc., organisation de bienfaisance régie par le paragraphe 501(c)(3) du code fiscal des États-Unis. Politique de confidentialité À propos de Wikipédia Avertissements Contact Développeurs Statistiques Déclaration sur les témoins (cookies) Lien externe uploads/Philosophie/ axiome.pdf