Mathematical Logic :: essays research papers

Mathematical system of logic is some function that has been around for a very long measure. Centuries Ago Greek and new(prenominal) logicians tried to make sense out of numerical proofs. As time went on other pile tried to do the same thing but using notwithstanding symbols and variables. But I will fit into detail about that a little later. There is also something called line up theory, which is related with this. In mathematical logic a bent of monetary value ar use such as axiom and proofs. A lot of things in math can be proven, but there atomic number 18 still some things that will probably always remain theories or ideas.Mathematical Logic is something that has a very long account buttocks it. It has been debated on for many centuries. If someone were to divide mathematical logic into groups they would drum two major groups. Both groups are very long. One is called The history of urinateal deduction and it goes all the way back to Aristotle and Euclid and other r aft who lived at that time. The other is the history of mathematical analysis which goes back to the clock of Archimedes, who was in the same era as Aristotle and Euclid. These to groups or streams were separate for a long time until Newton invented Calculus, which brought Math and logic together.Somebody who studies mathematical logic and gives his or her own concepts about it is called a logician. Some head known logicians include Boole and Frege. They were trying to give a definite form to what formal deduction really was. Aristotle had already done such a thing but he had done it with language, Boole wanted to do it with only Symbols. Frege came up with Predicate Calculus.As time went on people did not make new theories as much as they used to in the time of Aristotle. They mostly concentrated on expanding on theories that go for been said centuries ago, proving those theories or putting them into symbolic form.Table of Logicians*BooleFregeNewtonGdelAristotleEuclidArchimedesL eibnitz*This Table has a few of the Logicians listed in my bookWords that obtain to do with logic manage and, or, not are given symbols like &, V, or an upside down L reversed. The Letters X, Y, Z and so on are commonly used as variables and P, Q, R are used as predicates, properties or relations.Sometimes there are theories that lead to do with machines that do not exist and usually have things in them that are infinite and they usually work with letters and numbers.