Logique mathématique
discipline des mathématiques étudiant celles-ci en tant que langage / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Logique mathématique?
Résumez cet article pour un enfant de 10 ans
La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.