Category:Mathematical logic

From Wikipedia, the free encyclopedia

Mathematical logic has several meanings in common usage. It originally referred to symbolic or formal logic, and then came to be associated with the study of the logical (and even philosophical) foundations of mathematics. In contemporary use by mathematical logicians, the term refers to several branches of pure mathematics whose study involves careful attention to formal axiom systems and formal definability.

Mathematical logic is divided into four parts:

The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.

Subcategories

This category has the following 30 subcategories, out of 30 total.

*

A

B

C

F

H

I

M

N

P

Q

R

S

T

Σ

Pages in category "Mathematical logic"

The following 156 pages are in this category, out of 156 total. This list may not reflect recent changes (learn more).

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Mathematical_logic&oldid=743138715"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Category:Mathematical_logic
This page is based on the copyrighted Wikipedia article "Category:Mathematical logic"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA