Partez à la découverte du formalisme avec ce Grand Article Universalis !

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

Un ouvrage spécialement conçu pour le numérique afin d’en savoir plus sur le formalisme

À PROPOS DES GRANDS ARTICLES D’UNIVERSALIS

La collection des Grands Articles d’Universalis rassemble, dans tous les domaines du savoir, des articles écrits par des spécialistes reconnus mondialement et édités selon les critères professionnels les plus exigeants.
Une sélection thématique, effectuée parmi les nombreux articles qui composent l’Encyclopaedia Universalis, permet au lecteur curieux d'en savoir plus sur un sujet précis et d’en faire le tour grâce à des ouvrages conçus pour une lecture en numérique.

À PROPOS DE L’ENCYCLOPAEDIA UNIVERSALIS

Écrite par plus de 7 400 auteurs spécialistes de renommée internationale et riche de près de 30 000 médias (vidéos, photos, cartes, dessins…), Encyclopaedia Universalis offre des réponses d’une grande qualité dans toutes les disciplines et sur tous les grands domaines de la connaissance. Elle est la référence encyclopédique du monde francophone.