Répondre à la discussion
Affichage des résultats 1 à 4 sur 4

Qu'est-ce qu'un axiome ?



  1. #1
    Bloud

    Qu'est-ce qu'un axiome ?


    ------

    Salut !

    Et oui, un axiome, c'est quoi ? Je ne souhaite pas la définition (j'ai un dictionnaire ). Je voudrais savoir comment les mathématiciens l'entendent. En effet, il me semble qu'un axiome est un postulat, une propriété que l'on pose et que l'on considère comme admise sans chercher à la démontrer. Cependant, prenons l'exemple de l'axiome des parallèles dans la géométrie euclidienne. J'ai cru comprendre que si les géométries non euclidiennes avaient été créées, c'est parce que l'on a cherché à déduire ce postulat des autres mais que l'on y était pas arrivé. Cependant, l'entreprise même m'est incompréhensible : pourquoi chercher à démontrer, en quelque sorte, un axiome puisque c'est une propriété qui n'est pas vouée à l'être ? Pareil pour l'axiome du choix dans l'axiomatique de Zermelo-Fraenkel ? Pourquoi y a-t-il polémique puisque c'est un axiome ? On l'admet ou pas mais je ne vois pas le problème si on l'admet. C'est un axiome point barre.

    En espérant que vous saurez éclairer ma lanterne, je vous remercie d'avance.

    -----
    I was born intelligent...education ruined me!

  2. Publicité
  3. #2
    shokin

    Re : Qu'est-ce qu'un axiome ?

    Un axiome l'est dans un contexte (peut-être ne l'est-il pas dans d'autres contextes).

    Un théorème qu'on a démontré, ou qu'on admet comme démontré, c'est un peu comme un axiome.

    Shokin
    Pardon, humilité, humour, hasard, tolérance, partage, curiosité et diversité => liberté et sérénité.

  4. #3
    invité576543
    Invité

    Re : Qu'est-ce qu'un axiome ?

    Citation Envoyé par Bloud
    Cependant, prenons l'exemple de l'axiome des parallèles dans la géométrie euclidienne. J'ai cru comprendre que si les géométries non euclidiennes avaient été créées, c'est parce que l'on a cherché à déduire ce postulat des autres mais que l'on y était pas arrivé. Cependant, l'entreprise même m'est incompréhensible : pourquoi chercher à démontrer, en quelque sorte, un axiome puisque c'est une propriété qui n'est pas vouée à l'être ? Pareil pour l'axiome du choix dans l'axiomatique de Zermelo-Fraenkel ? Pourquoi y a-t-il polémique puisque c'est un axiome ? On l'admet ou pas mais je ne vois pas le problème si on l'admet. C'est un axiome point barre.
    Bonjour,

    Le problème de l'axiome des parallèles par exemple doit se voir par rapport à un ensemble d'autres axiomes, ici ceux de la géométrie. Un problème des mathématiciens est d'être sûr qu'il n'y a pas d'axiomes en trop, de redondance. Si j'ai un système d'axiomes A1, 12 et A3 (ensemble que je postule être des axiomes) et que j'arrive finalement à démontrer A3 à partir de A1 et A2, alors je peux enlever A3 de la liste des axiomes (A3 devient un théorème dans la théorie fondée sur A1 et A2). Pendant longtemps il n'a pas été clair si l'axiome des parallèles était redondant aux autres ou pas. Une fois que cela a été démontré (ie, il ne l'est pas!), il est devenu un axiome pour la géométrie Euclidienne (mais pas pour d'autres géométries qui partagent les autres axiomes avec la géométrie Euclidienne).

    Pareil pour l'axiome du choix, vu comme ajouté aux axiomes ZF.

    Ce qui est intéressant à la fois dans le cas des parallèles ou de l'axiome du choix est qu'on peut fonder des théories différentes en prenant leur énoncé comme axiome, ou en prenant comme axiome un autre énoncé, incompatible avec l'énoncé initial mais compatible avec le jeu d'axiomes.

    Cordialement,

    Michel

  5. #4
    Bloud

    Re : Qu'est-ce qu'un axiome ?

    Merci beaucoup pour cette réponse. Je crois bien avoir compris.
    I was born intelligent...education ruined me!

  6. A voir en vidéo sur Futura

Discussions similaires

  1. Qu'est qu'un point, qu'est-ce qu'un trait ?
    Par Mumyo dans le forum Mathématiques du supérieur
    Réponses: 16
    Dernier message: 05/11/2012, 20h07
  2. Qu'est-ce qu'un nombre ?
    Par Deeprod dans le forum Mathématiques du supérieur
    Réponses: 60
    Dernier message: 19/04/2007, 17h12
  3. qu'est ce qu'un socket?
    Par pingvinova dans le forum Internet - Réseau - Sécurité générale
    Réponses: 4
    Dernier message: 03/04/2007, 17h31
  4. Qu'est-ce qu'un nombre ?
    Par titanic dans le forum Epistémologie et Logique (archives)
    Réponses: 77
    Dernier message: 03/04/2006, 13h19