formalisation.
Publié le 27/10/2013
Extrait du document
formalisation. n.f., réduction d'un système de connaissances à ses structures formelles, abstraction faite de son contenu. Un système est formalisé lorsque toutes ses formules ont été écrites avec un vocabulaire et une syntaxe particuliers et peuvent être déduites, selon des règles déterminées, d'un certain nombre de principes ou axiomes. Le premier exemple d'une formalisation complète est celui de l'arithmétique par Giuseppe Peano ( Formulario mathematico , 1894-1908).
Liens utiles
- formalisation - Langues et Linguistique.
- FORMALISME, FORMALISATION.
- Les mathématiques sont-elles une formalisation du monde ou de l'esprit ?
- Pierre LASZLO (1938-) La formalisation du saugrenu