Concept information
Término preferido
mathematical logic
Definición
-
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)
Conceptos específicos
- 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
En otras lenguas
-
francés
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}}