Concept information
Terme préférentiel
mathematical logic
Définition
-
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Mathematical_logic)
Concepts spécifiques
- Boolean algebra
- computability theory
- De Morgan's laws
- expression
- first-order predicate calculus
- formal proof
- formula
- Gödel's completeness theorem
- Gödel's incompleteness theorem
- higher-order logic
- logical constant
- logical equivalence
- model theory
- Peano axioms
- proof theory
- propositional calculus
- successor function
- synthetic geometry
Traductions
-
français
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}}