THÉORÈME, mathématiques

AXIOMATIQUE

  • Écrit par 
  • Georges GLAESER
  •  • 2 043 mots

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 […] Lire la suite☛ http://www.universalis.fr/encyclopedie/axiomatique/#i_33187

FORMALISME

  • Écrit par 
  • Étienne BALIBAR, 
  • Pierre MACHEREY
  •  • 5 003 mots
  •  • 1 média

Dans le chapitre « La démonstration formalisée »  : […] précédentes en vertu d'une règle d'inférence. Une démonstration est dite démonstration de sa dernière formule. Un théorème du système est une formule dont il existe une démonstration. Intuitivement, les théorèmes sont les « vérités » de la théorie. Mais cette référence est absente de la définition d'un système formel, qui a justement pour but de […] Lire la suite☛ http://www.universalis.fr/encyclopedie/formalisme/#i_33187

MÉTHODE

  • Écrit par 
  • Jean LARGEAULT
  •  • 9 008 mots

Dans le chapitre « Différentes méthodes pour différentes sciences ? »  : […] indifféremment passer pour des théories ou pour des méthodes. À un niveau inférieur, des théorèmes dits constructifs donnent un procédé de calcul d'une valeur (racine d'une équation, valeur d'une intégrale définie, etc.). D'une démonstration il est parfois possible d'extraire une recette. Dans des situations simples (équations linéaires, sommation […] Lire la suite☛ http://www.universalis.fr/encyclopedie/methode/#i_33187