Mathematical logic
id:
mathematical-logic-203-14137828
title:
Mathematical logic
text:
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion 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. Since its inception, mathematical logic has both contributed to
brand slug:
wiki
category slug:
encyclopedia
description:
Subfield of mathematics
original url:
https://en.wikipedia.org/wiki/Mathematical_logic
date created:
2001-08-02T17:34:12Z
date modified:
2024-09-09T20:24:08Z
main entity:
{"identifier":"Q1166618","url":"https://www.wikidata.org/entity/Q1166618"}
image:
fields total:
13
integrity:
15