Abonnez-vous à Universalis pour 1 euro

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, 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....