AXIOMATIQUE

Carte mentale

élargissez votre recherche dans Universalis

La méthode axiomatique est un mode d'exposition des sciences exactes fondé sur des propositions admises sans démonstration et nettement formulées et des raisonnements rigoureux. On se limitera ici à quelques indications méthodologiques et historiques, en renvoyant à l'article logique mathématique pour les problèmes posés par l'étude des systèmes d'axiomes.

L'axiomatique commence par un inventaire exhaustif de toutes les propositions que l'on admet sans démonstration et qui ne sont pas des définitions?; ces propositions, appelées axiomes, ou parfois postulats, constitueront le point de départ de la théorie que l'on se propose d'édifier. Parmi les axiomes d'une théorie figurent des règles de déduction (appelées aussi axiomes de la logique) qui sont communes à toutes les sciences déductives. à partir de ces données, on s'astreint à démontrer les autres résultats, ou théorèmes, de la théorie considérée, en proscrivant toute affirmation non issue des axiomes?; en particulier, tout recours à l'expérience sensible ou au sentiment subjectif est à rejeter.

Les mots, signes ou termes qui interviennent dans la rédaction des axiomes sont dépouillés de la signification qu'ils peuvent avoir dans le langage courant?; ainsi D.?Hilbert pouvait affirmer, dans une boutade célèbre?: ??Au lieu des mots?: points, droites, plan, en géométrie, on doit pouvoir dire sans inconvénient?: tables, chaises, verre de bière?!?? De même, la réalité métaphysique des objets mathématiques n'est pas prise en considération?; seules comptent les relations explicitement précisées par les axiomes entre les signes représentant ces objets, eux-mêmes explicitement précisés par les axiomes.

Origines de l'axiomatique mathématique

L'axiomatique considérée comme mode idéal de rédaction d'un traité scientifique est une conception de la mathématique grecque?: les éléments d'Euclide constituent, à cette époque (iiie?s. av. J.-C.), la tentative la plus audacieuse de réaliser cet idéal. L'exécuti [...]


1? 2? 3? 4? 5
pour nos abonnés,
l’article se compose de 4?pages

écrit par :

Classification

Autres références

?? AXIOMATIQUE ?? est également traité dans?:

BOURBAKI NICOLAS (XXe s.)

  • écrit par?
  • André MARTINEAU
  • ?? 1?734 mots
  • ?? 1 média

Dans le chapitre ??Construction logique et ensembliste?? ?: […] Nicolas Bourbaki prend comme point de départ pour sa construction la logique formelle et la 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 […] Lire la suite

CONTINU & DISCRET

  • écrit par?
  • Jean-Michel SALANSKIS
  • ?? 7?679 mots

Dans le chapitre ??Continu et théorie des fondements?? ?: […] Du double aspect du mystère du continu et du discret, la logique et la théorie des ensembles, en première approche, ne retiennent que celui qui est lié au problème de l'infini en général?: le problème du continu y est envisagé comme problème du ??nombre transfini?? associé à l'objet de l'analyse réelle. On se contentera ici de mentionner le théorème de Lowenheim-Skolem et le résultat de Cohen au s […] Lire la suite

DÉFINITION

  • écrit par?
  • Fran?oise ARMENGAUD
  • ?? 505 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.?? Cela présuppose?: sur le plan ontologique , le primat métaphysique de la substance première, indépendante de ses attributs, et […] Lire la suite

ÉPISTÉMOLOGIE

  • écrit par?
  • Gilles Gaston GRANGER
  • ?? 13?082 mots
  • ?? 4 médias

Dans le chapitre ??Sciences formelles, sciences empiriques?? ?: […] Le développement simultané, et parfois conjoint, d'une mathématique et d'une physique semble poser plus que jamais la question de leurs statuts respectifs et de leurs rapports instrumentaux. Les néo-positivistes du Cercle de Vienne, qui se sont explicitement posé le problème dans les années trente, l'ont généralement résolu d'une fa?on radicale en ramenant les sciences formelles aux règles – larg […] Lire la suite

ERREUR

  • écrit par?
  • Bertrand SAINT-SERNIN
  • ?? 4?867 mots
  • ?? 2 médias

Dans le chapitre ??L'erreur en mathématiques?? ?: […] L' idée de présenter les théories d'une manière axiomatique date des Grecs, et les éléments d'Euclide ont constitué à cet égard un modèle pendant plus de deux millénaires. En fait, on s'est aper?u, au cours des siècles, que les figures jouaient un r?le équivoque dans certaines démonstrations, et on s'est efforcé de dissocier les représentations empiriques attachées aux notions de ??point??, de ? […] Lire la suite

EUCLIDE (IVe-IIIe s. av. J.-C.)

  • écrit par?
  • Jean ITARD
  • ?? 1?527 mots
  • ?? 1 média

Dans le chapitre ??L'?uvre euclidienne?? ?: […] Il reste de l'?uvre euclidienne les treize livres des éléments , les Données , les Phénomènes , la Division du canon , et l'Optique . Sont encore accessibles une Catoptrique , une Introduction harmonique et un fragment Du léger et du lourd , mais ces trois derniers ouvrages sont considérés comme apocryphes. On conna?t une version arabe de la Division des figures et Pappus signale trois livres sur […] Lire la suite

FORMALISME

  • écrit par?
  • étienne BALIBAR,?
  • Pierre MACHEREY
  • ?? 5?002 mots
  • ?? 1 média

Au sens moderne la formalisation est la présentation des théories scientifiques – et, en premier lieu sinon exclusivement, des mathématiques – dans le cadre d'un système formel , permettant de caractériser sans ambigu?té les expressions du langage et les règles de démonstration recevables. On aurait tort de considérer pour autant que l'importance scientifique de la formalisation se réduise à une q […] Lire la suite

GÖDEL : THÉORÈMES D'INCOMPLÉTUDE

  • écrit par?
  • Bernard PIRE
  • ?? 173 mots

Deux ans après avoir soutenu sa thèse de doctorat à l'université de Vienne, le jeune mathématicien autrichien Kurt G?del (1906-1978) prouve que, dans tout système mathématique axiomatique, il existe des propositions dont on ne peut démontrer ni la véracité ni la fausseté. En particulier, il est impossible de prouver que les axiomes fondant ce système sont cohérents. Ce travail achève une longue qu […] Lire la suite

HILBERT DAVID (1862-1943)

  • écrit par?
  • Rüdiger INHETVEEN,?
  • Jean-Michel KANTOR,?
  • Christian THIEL
  • ?? 16?706 mots
  • ?? 1 média

Dans le chapitre ??Problème 1?: hypothèse du continu?? ?: […] Cantor ayant démontré que le cardinal de l'ensemble des réels R excède celui de l'ensemble des entiers N , la question se pose de savoir si entre ? 0 (cardinal de N ) et 2 ? 0 (cardinal de R , dont on voit facilement qu'il égale celui de l'ensemble des parties de N ) il existe un cardinal intermédiaire. Autrement dit, est-il possible qu'un sous-ensemble infini de R ne soit équipotent ni à N n […] Lire la suite

JUGEMENT

  • écrit par?
  • No?l MOULOUD
  • ?? 6?858 mots

Dans le chapitre ??La philosophie des propositions?? ?: […] La réflexion moderne sur les formes propositionnelles et leur statut, issue des analyses des logiciens, se maintient sur les plans techniques et se dispense des hypothèses sur le lien du jugement avec la subjectivité ou la conscience. Cependant, les points de vue techniques appellent leur problématique propre. Lorsque la fonction relationnelle de la proposition s'est substituée, comme on l'a dit, […] Lire la suite

Voir aussi

Pour citer l’article

Georges?GLAESER, ??AXIOMATIQUE??, Encyclop?dia Universalis [en ligne], consulté le 27 septembre 2020. URL?: http://www.bonoaldea.com/encyclopedie/axiomatique/

91大香伊在人线免费-大香蕉在线视频观看-大香伊蕉国产