Formalisme: Les Grands Articles d'Universalis

Par Encyclopaedia Universalis

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.

• Langue: Français
• Éditeur: Encyclopaedia Universalis
• Date de sortie: 20 mars 2017
• ISBN: 9782341003025

Aperçu du livre

Universalis, une gamme complète de resssources numériques pour la recherche documentaire et l’enseignement.

ISBN : 9782341003025

© Encyclopædia Universalis France, 2019. Tous droits réservés.

Photo de couverture : © Dirk Ercken/Shutterstock

Retrouvez notre catalogue sur www.boutique.universalis.fr

Pour tout problème relatif aux ebooks Universalis,

merci de nous contacter directement sur notre site internet :

http://www.universalis.fr/assistance/espace-contact/contact

Bienvenue dans ce Grand Article publié par Encyclopædia Universalis.

La collection des Grands Articles rassemble, dans tous les domaines du savoir, des articles :

   ·  écrits par des spécialistes reconnus ;

   ·  édités selon les critères professionnels les plus exigeants.

Afin de consulter dans les meilleures conditions cet ouvrage, nous vous conseillons d'utiliser, parmi les polices de caractères que propose votre tablette ou votre liseuse, une fonte adaptée aux ouvrages de référence. À défaut, vous risquez de voir certains caractères spéciaux remplacés par des carrés vides (□).

Formalisme

---

Introduction

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.

On aurait tort de considérer pour autant que l’importance scientifique de la formalisation se réduise à une question de formulation. La formalisation des théories mathématiques fondamentales, suscitée à l’origine par les problèmes de « fondement » des mathématiques,