Mathematical logic

Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics.

Related Topics:
Mathematics - Formal system - Proof - Computation - Foundations of mathematics

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

Although the layperson may think that mathematical logic is the logic of mathematics, the truth is rather that it more closely resembles the mathematics of logic. It comprises those parts of logic that can be modelled mathematically. Earlier appellations were symbolic logic (as opposed to philosophical logic); and metamathematics, which is now restricted as a term to some aspects of proof theory.

Related Topics:
Logic - Philosophical logic - Metamathematics - Proof theory

~ ~ ~ ~ ~ ~ ~ ~ ~ ~