Category:Mathematical logic:

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.

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.

Pages in category "Mathematical logic"

The following 140 pages are in this category, out of 140 total. Updates to this list can occasionally be delayed for a few days.

Category:Mathematical logic

Subcategories

A

B

C

D

F

F cont.

I

L

M

P

Q

R

S

µ

Pages in category "Mathematical logic"

*

A

B

C

D

E

F

G

H

I

K

L

M

M cont.

N

O

P

R

S

T

U

V