Concept information
Terme préférentiel
logique mathématique
Définition(s)
-
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à 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é.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Logique_math%C3%A9matique)
Concept(s) spécifique(s)
- algèbre de Boole
- axiomes de Peano
- calcul des prédicats
- calcul des propositions
- constante logique
- démonstration formelle
- équivalence logique
- expression
- fonction successeur
- formule
- géométrie synthétique
- logique d'ordre supérieur
- lois de De Morgan
- théorème de complétude de Gödel
- théorème d'incomplétude de Gödel
- théorie de la calculabilité
- théorie de la démonstration
- théorie des modèles
Traductions
-
anglais
URI
http://data.loterre.fr/ark:/67375/PSR-NRJSM1FG-4
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}