Motivation and Goals. Investigations in mathematical logic arose mainly from questions concerning the foundations of mathematics. For example, Frege intended to base mathematics on logical and set-theoretical principles. Russell tried to eliminate contradictions that arose in Frege’s system. Hilbert’s goal was to show that “the generally accepted methods of mathematics taken as a whole do not lead to a contradiction” (this is known as Hilbert’s program).
Methods. In mathematical logic the methods used are primarily mathematical. This is exemplified by the way in which new concepts are formed, definitions are given, and arguments are conducted.
Applications in Mathematics. The methods and results obtained in mathematical logic are not only useful for treating foundational problems; they also increase the stock of tools available in mathematics itself. There are applications in many areas of mathematics, such as algebra and topology, but also in various parts of theoretical computer science.
KeywordsEquivalence Relation Mathematical Logic Mathematical Proof Theoretical Computer Science Left Inverse
Unable to display preview. Download preview PDF.