Mathemtical Logic Essay, Research Paper
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 analysis? which goes back to the times 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 well 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 have been said centuries ago, proving those theories or putting them into symbolic form.
Table of Logicians*
Boole
Frege
Newton
G?del
Aristotle
Euclid
Archimedes
Leibnitz
*This Table has a few of the Logicians listed in my book
Words that have to do with logic like 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 have 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. For example in Chapter 4 which is ?Turning Machines and recursive Functions? it talks about a machine that has a tape running through it. (This is not a real machine) The tape is endless from both sides. It is divided into little squares and in each square there is a small letter of the alphabet and a number under it. The machine reads this, changes it moves it one to the right ort one to the left. This experiment was conducted in 1936.
Model theory is the study of different formal languages and their relations with each other. They get a normal sentence and they turn it into variables and symbols, then they compare it with other languages. For example if you take:
If the boss is in charge and Joe is the boss, then Joe is in charge.
If you convert that you get:
P(b)&E(j,b)–*P(j).
This gets very confusing but the way they get the formula is that they do something with the ?Predicate Letter?. Then they turn it into variables and symbols.
In one section it talks about how there are an infinite number of fractions between two rational numbers on the number line such as 1 and two. It goes like ? 1/3 ? 1/5 … and so on infinitely. It also compares that to a different kind of number line.
G?del was a different logician then the rest. He concentrated more on expanding on other people?s theories then anything else. Although he has said many good theories himself. That is why many people consider him one of the best logicians and a very good mathematician.
To conclude I want to say that I found this book very difficult and I understood about 20% of it so I read the whole thing and wrote about the parts I understood. It is a 77-page book and it is very interesting. In one part it said something like -I assume you have some sort of knowledge in Predicate calculus. I have always found Mathematical Logic very interesting and I hope to study about it much more in the future.
Другие работы по теме:
Скотт, Дана Стюарт
Да́на Стю́арт Скотт (англ. Dana Stewart Scott , р. 1932) — американский учёный в области математики и информатики. Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий.
What Can I Know Essay Research Paper
?What Can I Know?? Over history, the human race has striven for truth and understanding logic. When trying to understand this, a person approaches the philosophical question, ?What can I know?? With this philosophical question comes the epic battle between whether or not a person should base an opinion on empicism or rationalism.
Cognition Essay Research Paper 10 What are
Cognition Essay, Research Paper 10) What are some other key biases that influence judgement? Judgement seems to be influenced by a variety of things each have their own implication on judgement. Overconfidence serves as a bias on judgement. Fischhoff, Slovic, and Lichtenstein, in 1997, tested this idea.
Experiment
#1 Essay, Research Paper Title:Logic Gates Objective:To analyze and become familiar with the operation of TTL Logic Gates. Equipment:Digital Trainer
Conservation Essay Research Paper Child DevelopmentFour year
Conservation Essay, Research Paper Child Development Four year old Nicolas, six year old Thomas, and eight year old Jamie were the subjects for all the following experiments. First, the experiment will be stated and performed, the reaction will follow second, and then a conclusion. All children were uninformed of what and why this was taking place.
Essay
#2 Essay, Research Paper Castilla, Sebastian English II Pre-Ap/Honors Ms. Mays 5 February 2000 Essay #2 In Act I, scene ii of The Tragedy of Julius Caesar, Cassius delivers two very important monologues. Throughout these important speeches he uses rhetorical techniques and employs an appeal to Brutus? logic to make his persuasive speech effective.
Transcendentalism Essay Research Paper I believe in
Transcendentalism Essay, Research Paper I believe in the mystical idea of transcendentalism, but I do not consider myself a full transcendentalist because I also have faith in logic and reason. I feel that I have the characteristics of being a transcendentalist, such as being one with nature and being self-reliant.
What Is Calculus Essay Research Paper What
What Is Calculus Essay, Research Paper What is Calculus? A definition found of calculus in a dictionary was this; a method of computation or calculation in a special notation (as of logic or symbolic logic). The historical perspective of calculus is that people had a problem in finding areas and finding tangent lines.
La Croix On Descartes Essay Research Paper
La Croix in his essay disputes the position set forth by Harry Frankfurt in his article “Descartes on the Creation of the Eternal Truths” (The Philosophical Review, 1977), charging that Frankfurt misrepresents Descartes? view of God?s nature and power. According to La Croix, Frankfurt holds that, in claiming that God created the eternal truths and could have done the opposite with respect to establishing the law of contradiction, Descartes conceived of God?s power as extending beyond the laws of logic.
St Thomas Aquinas Essay Research Paper What
St. Thomas Aquinas Essay, Research Paper What is the Best Way to Prove God? A Comparison of St. Thomas Aquinas St. Thomas Aquinas is one of the greatest theologians that has ever been. He recognized that there
Logic
– Features Of Argumentation Essay, Research Paper Features of Argumentation The logic of everyday argumentation should be based upon common data or information that is accepted by everyone. A warrant need to be used in order to relate the evidence that is presented in an argument to the claim that is being made.
Copernicus Essay Research Paper Copernicus
Copernicus Essay, Research Paper Copernicus’ work on planetary motion stood an a very high mathematical level for his times. His theory explained how all the celestial bodies move around the Sun. It took Nicolaus 30 years of mathematical research to form a theory about planetary motion. The three most popular instruments which Copernicus used were quadrant, armilla, and triquetrum.
George Boole Essay Research Paper George Boole
George Boole Essay, Research Paper George Boole was a mathematician in the 19th century. He helped establish modern symbolic logic and created algebra of logic, which they now called Boolean algebra. Boolean algebra is basic to the design of digital computers that we use today.
Y2k 5 Essay Research Paper Using a
Y2k 5 Essay, Research Paper *Using a 100-year logic window The logic window approach allows the system to determine the century or decade of a given year by comparing the value of the two digit field against an application window. One version of this technique allows for a sliding window, in which one changes the boundaries of the window and the user is notified when the window is about to advance.
The Folly Of Logic The Freedom Of
Truth Essay, Research Paper Logic can very often restrain us from recognising the truth when it is presented to us. Allow me to begin by asking a question.
The Logic Behind The Assertion Essay Research
Paper The Logic Behind the Assertion In Martin Luther King Jr.?s ?Letter from Birmingham City Jail,? he argues the commonly believed assumption that activating our rights as human beings precipitates violence. Even though these actions may be nonviolent, those individuals who have tried to bring about the truth have been condemned because their quests were believed to be a disturbance among society.
College Essay Essay Research Paper Everyone has
College Essay Essay, Research Paper Everyone has strengths and weaknesses but as a child, it?s hard to deal with your weaknesses. It?s not until you grow up and realize that you have to use your strengths to overcome your weaknesses. Combining logic with technology can be a useful tool. For me it was the way to overcome my disability.
Galileo Galilei Essay Research Paper Galileo Galilei1564
Galileo Galilei Essay, Research Paper Galileo Galilei 1564 -1642 Galileo Galilei was born on February 15, 1564 in Pisa, Italy. Galileo pioneered “experimental scientific method,” and was the first to use a refracting telescope to make important astronomical discoveries.
The Similarities And Differences Of Jonathan Edwards
And Patrick Henry Essay, Research Paper The Similarities and Differences of Jonathan Edwards and Patrick Henry convey theiThere were many similarities and differences between speech styles of the early 1700’s and the late 1700’s. Speakers were known to use persuasive techniques in these time periods to influence their audience’s opinions.
A Primitive Civilization In A Failed Utopia
Essay, Research Paper Symbolism can be used to represent many aspects of a person place or thing. Throughout the novel the boys lose all symbols that represent there civilization such as there clothes and uniforms. In this novel symbolism is used to show how the boys change their outlook on their primitive society and rules.
The Logic Of Evaluation Essay Research Paper
The Logic of Evaluation Along with questions there are answers, most questions must be evaluated before arriving to those answers. Usually when I am asking a question I go through a mental process of evaluating the question at hand before giving what I considered to be the most accurate answer.
Macbeth Essay Research Paper A struggle is
Macbeth Essay, Research Paper A struggle is present in every tragedy, as a person tries to overcome their flaws and fit the mold of their ideal. William Shakespeare plainly defined a good man in the play “Macbeth”. This goal by it’s definition is a difficult one for any man to achieve. Prudence and logic, temperance and patients, as well as the vindication of honor are Shakespeare’s defining characteristics of a good man.
Macbeth 3 Essay Research Paper MacbethA struggle
Macbeth 3 Essay, Research Paper Macbeth A struggle is present in every tragedy, as a person tries to overcome their flaws and fit the mold of their ideal. William Shakespeare plainly defined a good man in the play “Macbeth”. This goal by it s definition is a difficult one for any man to achieve. Prudence and logic, temperance and patients, as well as the vindication of honor are Shakespeare s defining characteristics of a good man.
Intelligence Essay Research Paper INTELLIGENCEIt is widely
Intelligence Essay, Research Paper INTELLIGENCE?It is widely debated whether psychologists define intelligence accurately, though most agree that intelligence is the global capacity to act purposefully, think rationally, and deal effectively with the surrounding environment. Their views stem from observing a rather small fraction of the brain’s measured activity, approximately 10 percent, and subsequently cannot actually categorize a person’s mental capacity, other than achieved levels of concentration.
Electronics Logic Probe Essay Research Paper LOGIC
Electronics- Logic Probe Essay, Research Paper LOGIC PROBE SUMMARY Logic Probe is one of the basic troubleshooting tools for common electronic logic circuits (TTL circuits). Almost all video game circuit boards are built using TTL chips. These chips will occasionally fail and the Logic Probe is a tool that affords us a look into what may be failing, and it s a very handy measuring device used to determine output logic levels.
Logic Of Logic Essay Research Paper Logic
Logic Of Logic Essay, Research Paper Logic Test 1.The most obvious unscientific theory that I can think of today, would be religion. Religion is possibly one of the biggest influences in our lives, and there is no scientific way to even prove that it exists. I asked a few friends of mine, who are religious, why they believe in a God.
Argument About The Exist Of God Essay
, Research Paper Argument About The Exist of God The following paper will provide a sound argument in favor of the existence of God. By demonstrating that an Atheist world cannot account for the
Theory Of Knowledge Essay Research Paper What
Theory Of Knowledge Essay, Research Paper What is Logic? Topic: “There is no scientific evidence that civilization is synonymous with Aristotelian rationality the syllogism, the negation and the abstract classification are not discoveries of reality itself, of an eternal, absolute or self-evident truth-but simply linguistic inventions of conceptual tools which people find useful in varying degrees according to their life situation”
Hindu Scripture Essay Research Paper Hindu Scriptures
Hindu Scripture Essay, Research Paper Hindu Scriptures are classified into: Shruti (meaning “heard”), Smriti (meaning “remembered”), and Nyaya (meaning “logic”). These classifications are based on the origin of the Scripture. Shruti scripture is thought of as something which was heard directly from God, while Smriti scripture refers to what was written down and remembered.
Hamlet Movie Essay Research Paper The movie
Hamlet Movie Essay, Research Paper The movie of Hamlet was an excellent, as far as book-movies go. I believe it was produced with focus, reason, and logic. The characters were also portrayed with
Logic Is Not Practical Essay Research Paper
LOGIC IS NOT PRACTICAL Who needs logic? Logic is but an entrapment ? a false sense of security to let us rest easy at night. Countless numbers take solace in the world in which
Contrasting Apollo
& Dionysus Essay, Research Paper Contrasting Apollo & Dionysus In Greek mythology, Apollo and Dionysus are nearly opposites of one another, and as with many opposites, life would not operate just quite right
Computer Tech Essay Research Paper Common Network
Computer Tech Essay, Research Paper Common Network Architectures There are many different types of networks used today that could be evaluated. I would like to take a brief look at three main types of networks, the host-based network, the client-based network, and the client-server network. I would like to look at both the advantages and disadvantages of each type.
Early To Bed Essay Research Paper Early
Early To Bed Essay, Research Paper Early to Bed ?Early to bed early to rise makes a man healthy wealthy and wise,? is one of the most widely quoted proverbs from Benjamin Franklin’s Poor Richard’s