Foundations of Mathematics

Mathematical and Formal Logic

What is mathematical logic?

Mathematical logic is not the logic of mathematics, but is really the mathematics of logic composed of those parts of logic that can be modeled mathematically. Overall, it was invented to understand and present the work of Austrian-American mathematician and logician Kurt Gödel (1906–1978) and his interpretation of the foundations of mathematics in the early 20th century. Although mathematicians use mathematical logic to have rational and reasonable discussions of the many issues in the foundations of mathematics, not everything is agreed upon.


This is a web preview of the "The Handy Math Answer Book" app. Many features only work on your mobile device. If you like what you see, we hope you will consider buying. Get the App