Mathematical Logic
Mathematical logic is something that has been around for a very long time. Centuries Ago Greek and other logicians tried to make sense out of mathematical proofs. As time went on other people tried to do the same thing but using only symbols and variables. But I will get into detail about that a little later. There is also something called set theory, which is related with this. In mathematical logic a lot of terms are used such as axiom and proofs. A lot of things in math can be proven, but there are still some things that will probably always remain theories or ideas.
Mathematical Logic is something that has a very long history behind it. It has been debated on for many centuries. If someone were to divide mathematical logic into groups they would get two major groups. Both groups are very long. One is called "The history of formal deduction" and it goes all the way back to Aristotle and Euclid and other people who lived at that time. The other is "the history of mathematical......
View the rest of this paper...
Approximate Word Count: 761
Approximate Pages: 4 (250 words per double-spaced page)
Why should you join Frat Files?
- - It's safe, secure, and private.
- - Instant access to over 100,000 papers. New papers are added hourly.
- - Fast and reliable customer support.
Similar Essays
-
Mathematical Logic
MAthematical Logic. Mathematical logic is something that has been around for
a very long time. Centuries Ago Greek and other logicians ... -
Mathematical Logic
Mathematical Logic. Mathematical logic is something that has been around for
a very long time. Centuries Ago Greek and other logicians ... -
George Boole: The Genius
... Algebra. His theories combined the concepts of logic and mathematics, and
hence he is known as the father of mathematical logic. This ... -
Philosophy Of Mathematics And Language
... philosophers used this convention to rigorize mathe-matics, the rigorization process
became associated with it, and logic suddenly became mathematical logic. ... -
Augustus Demorgan
... His most notable achievements were to lay the foundation for the theory of relations
to prepare the way to rise of modern symbolic, or mathematical, logic. ...
Frat Files
Members
Information
