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

axiome



  1. #1
    karatekator

    Question axiome


    ------

    Salut tout le monde!!!

    Des mathematiciens comme n.Bourbaki par exemple(c'est un groupe de plusieurs mathematiciens) on cherchez a axiomiser toute les mathematique!!!

    Est ce vraiment utile ou est ce seulement pour s'amuser???

    -----
    Sauf erreur, je ne me trompe jamais

  2. Publicité
  3. 📣 Nouveau projet éditorial de Futura
    🔥🧠 Le Mag Futura est lancé, découvrez notre 1er magazine papier

    Une belle revue de plus de 200 pages et 4 dossiers scientifiques pour tout comprendre à la science qui fera le futur. Nous avons besoin de vous 🙏 pour nous aider à le lancer...

    👉 Je découvre le projet

    Quatre questions à explorer en 2022 :
    → Quels mystères nous cache encore la Lune 🌙 ?
    → Pourra-t-on bientôt tout guérir grâce aux gènes 👩‍⚕️?
    → Comment nourrir le monde sans le détruire 🌍 ?
    → L’intelligence artificielle peut-elle devenir vraiment intelligente 🤖 ?
  4. #2
    doryphore

    Re : axiome

    Ca permet de vérifier qu'on n'a pas fait d'hypothèses trop fortes au départ et ainsi d'éviter de passer à côté de choses comme les géométries non euclidiennes par exemple.
    "Plus les choses changent et plus elles restent les mêmes..." Snake Plisskein

  5. #3
    Titania

    Smile Re : axiome

    Salut !
    Je ne suis pas un spécialiste des Bourbaki mais l'axiomatisation des mathématiques est essentielle! En effet, les mathématiques reposent sur la démonstration et une démonstration nécessite nécessairement une proposition initiale que l'on suppose vraie pour aboutir par la suite à une conclusion nécessairement vraie.
    Il faut au départ partir d'axiomes pour pouvoir "faire" des mathématiques.
    Je peux prendre un exemple concret :
    Les paradoxes ensembilistes de Bertrand Russel mettaient en évidence des failles dans la théorie des ensembles de Cantor. Ainsi, de nouveaux axiomes de départ ont été énoncés et aujourd'hui, l'axiomatisation la plus communément utilisée est celle de Zermelo-Fraenkel, dont les axiomes (et plus particulièrement le n°7) ne "conduisent " plus aux paradoxes ensembilistes de Russell. Une base cohérente, comme celles établies par le groupe Bourbaki, est la condition sine qua non à des mathématiques rigoureuses et cohérentes !
    Bonne journée.

  6. #4
    karatekator

    Re : axiome

    Tout a fait d'accord!!!

    Cependant sauf si l'on cherche les paradoxe volontairement,on ne les rencontre pas! j'me trompe???

    En effet les mathematicien s'en sont passer pendant longtemps et il n'en on pas souffert...(enfin j'crois)
    Sauf erreur, je ne me trompe jamais

  7. A voir en vidéo sur Futura
  8. #5
    Titania

    Smile Re : axiome

    Même s'il faut faire une recherche pour trouver les paradoxes, il n'en reste pas moins que ces derniers constituent des failles dans une théorie et cette théorie doit alors être remise en question, souvent par l'auteur lui-même de cette théorie !
    Bonne soirée.

  9. #6
    Jedeki

    Re : axiome

    Citation Envoyé par karatekator
    Tout a fait d'accord!!!

    Cependant sauf si l'on cherche les paradoxe volontairement,on ne les rencontre pas! j'me trompe???

    En effet les mathematicien s'en sont passer pendant longtemps et il n'en on pas souffert...(enfin j'crois)
    malheureusement de nombreux mathématiciens ont souffert des lacunes axiomatiques. Lors de la crise des fondements, il y a même eu quelques suicides lorsque on s'est rendu compte que certains sujets étaient complétement absurde. Les suicides ont d'ailleurs recommencé lorsque Gödel a démontré ces théorèmes d'incomplétude. Afin de limiter les dégats, ces théorèmes furent mis au rang de "curiosité mathématique" et on aime pas trop en parler aujourd'hui, puisque précisement, on ne peut pas savoir si oui ou non on va tomber sur un paradoxe...
    2+2=4.17985

  10. Publicité
  11. #7
    karatekator

    Question Re : axiome

    On continue toujours d'axiomatiser ou est ce que c'est aujourd'hui terminer???
    Sauf erreur, je ne me trompe jamais

  12. #8
    Titania

    Re : axiome

    Je n'ai pas d'exemple précis en tête mais je ne vois pas pourquoi l'on axiomatiserai plus aujourd'hui. L'axiomatisation fait parti des mathématiques donc on axiomatise toujours à mon avis.
    Bonne nuit !

  13. #9
    Jedeki

    Re : axiome

    rien n'est réellement terminé, la logique travaille toujours mais depuis Gödel, avec moins de conviction puisqu'on ne prouvera jamais que les mathématiques sont sans contradiction...
    2+2=4.17985

Discussions similaires

  1. Axiome du choix ou pas?
    Par taladris dans le forum Mathématiques du supérieur
    Réponses: 16
    Dernier message: 23/11/2007, 19h13
  2. Axiome du choix ?
    Par Gpadide dans le forum Mathématiques du supérieur
    Réponses: 51
    Dernier message: 20/09/2007, 12h06
  3. axiome de compréhension et fonctions recursives
    Par quantat dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 28/08/2006, 18h12
  4. Qu'est-ce qu'un axiome ?
    Par Bloud dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 13/12/2005, 17h25
  5. axiome du choix et hypoyhese du continu
    Par jobherzt dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 17/01/2005, 14h03