Formalisation

Articles

• ABSTRACTION

  • Écrit par Alain DELAUNAY
  • 906 mots

  Terme qui renvoie à tout au moins quatre significations, à la fois indépendantes les unes des autres et pourtant reliées par un jeu de correspondances profondes.

  Un sens premier du mot abstraction est le suivant : négliger toutes les circonstances environnant un acte, ne pas tenir compte...

• FORMALISME

  • Écrit par Étienne BALIBAR et Pierre MACHEREY
  • 5 001 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....