Are the truths of mathematics invented or discovered?


 Felix McCarthy
 2 years ago
 Views:
Transcription
1 Are the truths of mathematics invented or discovered? By Vincent Wen Imagine you are a prehistoric caveman living a nomadic life. One bright sunny morning, a fellow caveman comes to you, borrows a few apples, and promises to give them back. To make sure your fellow caveman will return them in the same quantity so the days of gathering will not turn out to be fruitless, you raise your hands, bend your fingers, and see if you can use them to represent the number of apples you lent. Does this sound familiar to you? Yes, it is finger counting, the predecessor of our numerical system. Ever since the dawn of humanity, people have been using mathematics to make our lives easier. Whether you think of math as a tool used to resolve our daily trivia; a study aimed at explaining natural phenomena, or a system aided in the advancement of our galloping technology, it has been and will always be an integral part of our life. After twelve years of systematic study in this discipline, the importance of math in my life has surpassed any other subject. Nonetheless, I still find it challenging to answer this question: are the truths of mathematics invented or discovered? After much thought, in this essay, I will argue that the truths of math are invented rather than discovered. Mathematics, a field of knowledge which has been developed by mankind for thousands of years, is generally defined as an axiomatic study of quantity, space and relations. It involves the formulation of new theorems by a rigorous deductive process from several chosen axioms. These axioms are the primitive assumptions of
2 mathematics in which all other theorems and formulas must depend upon. These axioms cannot be deducted nor proven using any logical means. They are considered to be selfevident and are taken to be true (Penrose, 2004). For example, in our arithmetic system, for every natural number x, x+0=x. This is one of Peano axioms and it is an axiom because it cannot be proven using any other axioms; it is selfevident; theorems such as for all natural numbers a and b, a+b=b+a can be proven using this axiom (Hawking, 2005). Having the definition of the truths of math established, it will not take a great deal of mental exercise to arrive at the conclusion that these truths are invented. Invention is the creation of new things such as computers, TV, automobiles, which have never existed before. On the contrary, discovery is not creation. The object discovered must exist before it is discovered. It could be something you have never seen before or it could be a different way of thinking about something. A quote by Albert SzentGyorgyi, a Hungarian Nobel Prize laureate, elaborates on the meaning of discovery in a clever and concise manner, Discovery consists of seeing what everybody has seen and thinking what nobody has thought (Good, 1963, p. 222). Unlike discoveries, axioms did not exist before they were artificially defined (notice the word artificially is used instead of explicitly, because the axioms can also be implicitly defined when our ancestors did mathematical operations before they wrote the axioms down). Therefore, using disjunctive syllogism, we can conclude the axioms (the truths of mathematics) are invented. At this point, many questions may arise which ponder the validity of the
3 arguments presented in the previous paragraph. What if someone proves an axiom to be false? Why are electricity and gravity discovered but not axioms? Why can we not say that axioms are taken to be true due to observation? For example, a Neanderthal might have the experience that when one apple is put next to another apple, there are two apples altogether. When the same principle is applied to other objects, it would still work. Thus, the Neanderthal would come to the conclusion that 1+1=2 and use it as an axiom for further reasoning. To answer these questions, we must revisit our definition of the truths of mathematics and reexamine its subtlety closely. The axioms, being the absolute starting point of any deduction, cannot even be proven, let alone proven false. This is somewhat similar to the uncaused cause of the universe 1 except the axioms are defined by humans instead of created by a supreme being. This also implies that if 1+1=3 was presupposed to be true, it could be used as an axiom, though all deductions thereof must be consistent with this axiom. Although it may sound absurd at first, there are actual mathematical systems in which 1+1=2 does not hold true. For example, in the binary number system, 1+1=10; in the Boolean logic system, 1 AND 1 will still yield 1. Albert Einstein (1923, p. 28) once said: as far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality. In the course of this essay, the latter part of that statement holds true. Unlike!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! "! #$%!&'()*%+,!.!,$%!!"#$!%&'(#$!%&()*(+,&(!".&/%&!/)01!2%!3,&,%1!&3! !561%7!899:;<!
4 science, math is neither observation based nor experiment based. Unlike chemistry, math is not concerned with matter. It could be based on axioms which are entirely abstract. Unlike biology, math does not set hypotheses and accumulate knowledge inductively. Unlike physics, math does not attempt to explain natural phenomena and understand the world. Although all three sciences (biology, chemistry, physics) use math as a tool to model relationships and draw conclusions, the math used by each science actually depends on different axioms. Although some axioms seem to be observed in nature and then taken to be true, nature actually inspired human to define these axioms in the same way as the boiling kettle inspired James Watt to invent steam engines. Although physics has always been trying to perfect our understanding of the world, as impeccable as it may seem, it depends on the inductive notion of causality 2 which makes it unable to stand the scrutiny of mathematics and its skepticism. After all the struggles between these arguments and counterarguments, I could not help but think that this is not mathematics. It is supposed to be a complete, elegant and dazzling system where the most rational thoughts in the world are encapsulated within. However, each time I tried to defend my thesis, clarify the definitions, an invisible net placed upon the realm of mathematics seemed to contract. Fortunately, all we are looking at here is only a snippet of mathematics, namely the axioms. The applications of mathematics are far beyond its confined domain of its axioms. As indicated by Allegory of the Cave 3, the search for truth always requires courage,!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 8! G!
5 discomfort, and sometimes even sacrifice. What is sacrificed is the flexibility of the axioms, what is bestowed is the certainty of mathematics. To sum it up, the truths of mathematics, or the axioms, are invented because they are defined by humans and served as the foundation of mathematics due to our desire for certainty. Work Cited: Ade, H. (2009). Course Lecture. AY Jackson S. S., Toronto, ON, Canada. Einstein, A. (1923). Sidelights on Relativity (Geometry and Experience). P. Dutton., Co. Good, I. J. (1963). The Scientist Speculates. Basic Books (New York). Hawking, S. (2005). God Created the Integers. Running Press. Paquette, P. G., GiniNewman, L., Flaherty, P., Horton, M., Jopling, D., Miller, H., et al. (2003). Philosophy: Questions and Theories. McGrawHill Ryerson. Penrose, R. (2004). The Road to Reality. Jonathan Cape. Plato, The Republic. (B. Jowett, Trans.). The Internet Classics Archive. Available from < (Original work done in 360 B.C.E).
PRINCIPLE OF MATHEMATICAL INDUCTION
Chapter 4 PRINCIPLE OF MATHEMATICAL INDUCTION Analysis and natural philosophy owe their most important discoveries to this fruitful means, which is called induction Newton was indebted to it for his theorem
More information1/9. Locke 1: Critique of Innate Ideas
1/9 Locke 1: Critique of Innate Ideas This week we are going to begin looking at a new area by turning our attention to the work of John Locke, who is probably the most famous English philosopher of all
More information1.3 Induction and Other Proof Techniques
4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.
More informationThe Foundations: Logic and Proofs. Chapter 1, Part III: Proofs
The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationCSE373: Data Structures and Algorithms Lecture 2: Proof by Induction. Linda Shapiro Winter 2015
CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction Linda Shapiro Winter 2015 Background on Induction Type of mathematical proof Typically used to establish a given statement for all natural
More informationThe Philosophical Importance of Mathematical Logic Bertrand Russell
The Philosophical Importance of Mathematical Logic Bertrand Russell IN SPEAKING OF "Mathematical logic", I use this word in a very broad sense. By it I understand the works of Cantor on transfinite numbers
More informationLecture 3. Mathematical Induction
Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion
More informationInference Rules and Proof Methods
Inference Rules and Proof Methods Winter 2010 Introduction Rules of Inference and Formal Proofs Proofs in mathematics are valid arguments that establish the truth of mathematical statements. An argument
More informationINTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS
INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28
More information7.1 An Axiomatic Approach to Mathematics
Chapter 7 The Peano Axioms 7.1 An Axiomatic Approach to Mathematics In our previous chapters, we were very careful when proving our various propositions and theorems to only use results we knew to be true.
More informationEven Number: An integer n is said to be even if it has the form n = 2k for some integer k. That is, n is even if and only if n divisible by 2.
MATH 337 Proofs Dr. Neal, WKU This entire course requires you to write proper mathematical proofs. All proofs should be written elegantly in a formal mathematical style. Complete sentences of explanation
More informationTheorem 2. If x Q and y R \ Q, then. (a) x + y R \ Q, and. (b) xy Q.
Math 305 Fall 011 The Density of Q in R The following two theorems tell us what happens when we add and multiply by rational numbers. For the first one, we see that if we add or multiply two rational numbers
More informationFundamentals of Mathematics Lecture 6: Propositional Logic
Fundamentals of Mathematics Lecture 6: Propositional Logic GuanShieng Huang National Chi Nan University, Taiwan Spring, 2008 1 / 39 Connectives Propositional Connectives I 1 Negation: (not A) A A T F
More informationProof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.
Math 232  Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the
More informationChapter I Logic and Proofs
MATH 1130 1 Discrete Structures Chapter I Logic and Proofs Propositions A proposition is a statement that is either true (T) or false (F), but or both. s Propositions: 1. I am a man.. I am taller than
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationPROOF AND PROBABILITY(teaching notes)
PROOF AND PROBABILITY(teaching notes) In arguing for God s existence, it is important to distinguish between proof and probability. Different rules of reasoning apply depending on whether we are testing
More informationOh Yeah? Well, Prove It.
Oh Yeah? Well, Prove It. MT 43A  Abstract Algebra Fall 009 A large part of mathematics consists of building up a theoretical framework that allows us to solve problems. This theoretical framework is built
More informationWHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?
WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly
More informationCS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers
CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)
More informationLOGICAL INFERENCE & PROOFs. Debdeep Mukhopadhyay Dept of CSE, IIT Madras
LOGICAL INFERENCE & PROOFs Debdeep Mukhopadhyay Dept of CSE, IIT Madras Defn A theorem is a mathematical assertion which can be shown to be true. A proof is an argument which establishes the truth of a
More informationStyle Guide For Writing Mathematical Proofs
Style Guide For Writing Mathematical Proofs Adapted by Lindsey Shorser from materials by Adrian Butscher and Charles Shepherd A solution to a math problem is an argument. Therefore, it should be phrased
More informationCHAPTER 2. Inequalities
CHAPTER 2 Inequalities In this section we add the axioms describe the behavior of inequalities (the order axioms) to the list of axioms begun in Chapter 1. A thorough mastery of this section is essential
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationResearch Methods in Mathematical Sciences. mathematics, science and the scientific method
Research Methods in Mathematical Sciences mathematics, science and the scientific method What is science? What is science? Encyclopedia Britannica says Any system of knowledge that is concerned with the
More information1/8. Descartes 4: The Fifth Meditation
1/8 Descartes 4: The Fifth Meditation Recap: last time we found that Descartes in the 3 rd Meditation set out to provide some grounds for thinking that God exists, grounds that would answer the charge
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationLogical Inference and Mathematical Proof
Logical Inference and Mathematical Proof CSE 191, Class Note 03: Logical Inference and Mathematical Proof Computer Sci & Eng Dept SUNY Buffalo c Xin He (University at Buffalo) CSE 191 Discrete Structures
More informationBQS 1 Introduction to Artificial Intelligence
Wu Dian September 8, 2010 Professor Craig Graci Csc416 BQS 1 Introduction to Artificial Intelligence This assignment is answering a series of questions after reading chapter 1 of Ben Coppin s Artificial
More informationFor the purposes of this course, the natural numbers are the positive integers. We denote by N, the set of natural numbers.
Lecture 1: Induction and the Natural numbers Math 1a is a somewhat unusual course. It is a proofbased treatment of Calculus, for all of you who have already demonstrated a strong grounding in Calculus
More informationLAKE ELSINORE UNIFIED SCHOOL DISTRICT
LAKE ELSINORE UNIFIED SCHOOL DISTRICT Title: PLATO Algebra 1Semester 2 Grade Level: 1012 Department: Mathematics Credit: 5 Prerequisite: Letter grade of F and/or N/C in Algebra 1, Semester 2 Course Description:
More informationWUCT121. Discrete Mathematics. Logic
WUCT121 Discrete Mathematics Logic 1. Logic 2. Predicate Logic 3. Proofs 4. Set Theory 5. Relations and Functions WUCT121 Logic 1 Section 1. Logic 1.1. Introduction. In developing a mathematical theory,
More informationTh e ontological argument distinguishes itself from the cosmological
Aporia vol. 18 no. 1 2008 Charles Hartshorne and the Ontological Argument Joshua Ernst Th e ontological argument distinguishes itself from the cosmological and teleological arguments for God s existence
More informationChapter 4. Descartes, Third Meditation. 4.1 Homework
Chapter 4 Descartes, Third Meditation 4.1 Homework Readings :  Descartes, Meditation III  Objections and Replies: a) Third O and R: CSM II, 132; 1278. b) Fifth O and R: CSM II, 19597, 251. c) First
More informationDiscrete Mathematics
Slides for Part IA CST 2014/15 Discrete Mathematics Prof Marcelo Fiore Marcelo.Fiore@cl.cam.ac.uk What are we up to? Learn to read and write, and also work with, mathematical
More informationDISCRETE MATHEMATICS W W L CHEN
DISCRETE MATHEMATICS W W L CHEN c W W L Chen, 1982, 2008. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It is available free
More informationOn the Representation Theorems. of Neoclassical Utility Theory: A Comment
On the Representation Theorems of Neoclassical Utility Theory: A Comment Daniel Mahoney, PhD Atlanta, GA I would like to thank Robert P. Murphy for many helpful discussions on these issues. This is in
More informationRudy Hirschheim. E.J. Ourso College of Business Louisiana State University
Scientific Knowledge Creation Rudy Hirschheim E.J. Ourso College of Business Louisiana State University What is science Science is to develop laws and theories to explain, predict, understand and control
More informationWHY NEGATIVE TIMES NEGATIVE POSITIVE
TANTON S TAKE ON WHY NEGATIVE TIMES NEGATIVE POSITIVE CURRICULUM TIDBITS FOR THE MATHEMATICS CLASSROOM OCTOBER 212 I remember asking my fifthgrade teacher why negative times negative is positive. She
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More information2. Propositional Equivalences
2. PROPOSITIONAL EQUIVALENCES 33 2. Propositional Equivalences 2.1. Tautology/Contradiction/Contingency. Definition 2.1.1. A tautology is a proposition that is always true. Example 2.1.1. p p Definition
More informationEuclid s Algorithm for the Greatest Common Divisor Desh Ranjan Department of Computer Science New Mexico State University
Euclid s Algorithm for the Greatest Common Divisor Desh Ranjan Department of Computer Science New Mexico State University 1 Numbers, Division and Euclid People have been using numbers, and operations on
More informationBasic Proof Techniques
Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document
More informationAn Excerpt from THE REPUBLIC, BOOK VI. The Simile of the Divided Line. by Plato
An Excerpt from THE REPUBLIC, BOOK VI The Simile of the Divided Line by Plato (Written 360 B.C.E) Translated by Benjamin Jowett Summary of excerpt, and a graphical depiction of the divided line: STATES
More informationCOMP 250 Fall Mathematical induction Sept. 26, (n 1) + n = n + (n 1)
COMP 50 Fall 016 9  Mathematical induction Sept 6, 016 You will see many examples in this course and upcoming courses of algorithms for solving various problems It many cases, it will be obvious that
More informationMathematical Induction
Mathematical Induction MAT30 Discrete Mathematics Fall 016 MAT30 (Discrete Math) Mathematical Induction Fall 016 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)
More informationChapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1
Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes
More informationACTIVITY 1 Introducing Inquiry and the Nature of Science
Teaching About 66 Evolution and the Nature of Science ACTIVITY 1 Introducing Inquiry and the Nature of Science This activity introduces basic procedures involved in inquiry and concepts describing the
More informationSet theory as a foundation for mathematics
V I I I : Set theory as a foundation for mathematics This material is basically supplementary, and it was not covered in the course. In the first section we discuss the basic axioms of set theory and the
More informationCosmological Arguments for the Existence of God S. Clarke
Cosmological Arguments for the Existence of God S. Clarke [Modified Fall 2009] 1. Large class of arguments. Sometimes they get very complex, as in Clarke s argument, but the basic idea is simple. Lets
More informationAn Innocent Investigation
An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number
More information2. Methods of Proof Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try.
2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then
More informationIntroduction. I. Proof of the Minor Premise ( All reality is completely intelligible )
Philosophical Proof of God: Derived from Principles in Bernard Lonergan s Insight May 2014 Robert J. Spitzer, S.J., Ph.D. Magis Center of Reason and Faith Lonergan s proof may be stated as follows: Introduction
More informationIS HUME S ACCOUNT SCEPTICAL?
Michael Lacewing Hume on knowledge HUME S FORK Empiricism denies that we can know anything about how the world outside our own minds is without relying on sense experience. In IV, Hume argues that we can
More informationMathematics Undergraduate Student Learning Objectives
Mathematics Undergraduate Student Learning Objectives The Mathematics program promotes mathematical skills and knowledge for their intrinsic beauty, effectiveness in developing proficiency in analytical
More informationDescartes Handout #2. Meditation II and III
Descartes Handout #2 Meditation II and III I. Meditation II: The Cogito and Certainty A. I think, therefore I am cogito ergo sum In Meditation II Descartes proposes a truth that cannot be undermined by
More informationDescartes. Philosophy and Good Sense
Perspectives in Philosophy Rene Descartes Descartes Philosophy is the search for certainty the search to know, for yourself, what is really true and really false to know which beliefs are reliable. However,
More informationWRITING A RESEARCH PAPER FOR A GRADUATE SEMINAR IN POLITICAL SCIENCE Ashley Leeds Rice University
WRITING A RESEARCH PAPER FOR A GRADUATE SEMINAR IN POLITICAL SCIENCE Ashley Leeds Rice University Here are some basic tips to help you in writing your research paper. The guide is divided into six sections
More informationIntroduction to mathematical arguments
Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math
More informationESSAY BA course year 1 no. 5 Philosophy
ESSAY BA course year 1 no. 5 Philosophy Assess THREE of the proofs of the existence of God in the Summa Theologiae of St. Thomas Aquinas. In what sense are they described as converging and convincing arguments
More information8.7 Mathematical Induction
8.7. MATHEMATICAL INDUCTION 8135 8.7 Mathematical Induction Objective Prove a statement by mathematical induction Many mathematical facts are established by first observing a pattern, then making a conjecture
More informationInduction. Margaret M. Fleck. 10 October These notes cover mathematical induction and recursive definition
Induction Margaret M. Fleck 10 October 011 These notes cover mathematical induction and recursive definition 1 Introduction to induction At the start of the term, we saw the following formula for computing
More informationGeometry  Chapter 2 Review
Name: Class: Date: Geometry  Chapter 2 Review Multiple Choice Identify the choice that best completes the statement or answers the question. 1. Determine if the conjecture is valid by the Law of Syllogism.
More information2.3 Bounds of sets of real numbers
2.3 Bounds of sets of real numbers 2.3.1 Upper bounds of a set; the least upper bound (supremum) Consider S a set of real numbers. S is called bounded above if there is a number M so that any x S is less
More informationWhat is logic? Propositional Logic. Negation. Propositions. This is a contentious question! We will play it safe, and stick to:
Propositional Logic This lecture marks the start of a new section of the course. In the last few lectures, we have had to reason formally about concepts. This lecture introduces the mathematical language
More informationPlato gives another argument for this claiming, relating to the nature of knowledge, which we will return to in the next section.
Michael Lacewing Plato s theor y of Forms FROM SENSE EXPERIENCE TO THE FORMS In Book V (476f.) of The Republic, Plato argues that all objects we experience through our senses are particular things. We
More informationCHAPTER 6: RATIONAL NUMBERS AND ORDERED FIELDS
CHAPTER 6: RATIONAL NUMBERS AND ORDERED FIELDS LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN 1. Introduction In this chapter we construct the set of rational numbers Q using equivalence
More informationThe Importance of discrete mathematics in computer science
The Importance of discrete mathematics in computer science Exemplified by deductive logic and Boolean algebra By Mathias Schilling BSc Computing, Birkbeck, University of London Preface Discrete mathematics
More informationAd hominem: An argument directed at an opponent in a disagreement, not at the topic under discussion.
Glossary of Key Terms Ad hominem: An argument directed at an opponent in a disagreement, not at the topic under discussion. Agent: One who acts and is held responsible for those actions. Analytic judgment:
More informationAnalysis MA131. University of Warwick. Term
Analysis MA131 University of Warwick Term 1 01 13 September 8, 01 Contents 1 Inequalities 5 1.1 What are Inequalities?........................ 5 1. Using Graphs............................. 6 1.3 Case
More informationWhat is Undergraduate Education?
Education as Degrees and Certificates What is Undergraduate Education? K. P. Mohanan For many people, being educated means attending educational institutions and receiving certificates or degrees. This
More information4. MATHEMATICAL PROBLEM SOLVING
4. MATHEMATICAL PROBLEM SOLVING Historically, algebra grew out of arithmetic, and it ought so to grow afresh for each individual. Mathematical Association, 1934, 5 Over the centuries mathematicians, both
More information2.1 The Algebra of Sets
Chapter 2 Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations
More information0 : square root of zero. 1 : square root of one. 2 : square root of two. 3 : square root of three. 4 : square root of four. 5 : square root of five.
Instructor: Math 05 TOPICS IN MATHEMATICS REVIEW OF LECTURES XIII February 8 (Wed), 205 Yasuyuki Kachi Line #: 52920. 3. Square roots. Today we learn squareroot/squarerooting. First, notation and pronunciation:
More informationElementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.
Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole
More informationNew Axioms for Rigorous Bayesian Probability
Bayesian Analysis (2009) 4, Number 3, pp. 599 606 New Axioms for Rigorous Bayesian Probability Maurice J. Dupré, and Frank J. Tipler Abstract. By basing Bayesian probability theory on five axioms, we can
More informationSEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION
CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Alessandro Artale UniBZ  http://www.inf.unibz.it/ artale/ SECTION 5.2 Mathematical Induction I Copyright Cengage Learning. All rights reserved.
More informationKnowledge empiricism
Michael Lacewing Knowledge empiricism The syllabus defines knowledge empiricism as the claim that all synthetic knowledge is a posteriori, while all a priori knowledge is (merely) analytic. This definition
More information2.4 Mathematical Induction
2.4 Mathematical Induction What Is (Weak) Induction? The Principle of Mathematical Induction works like this: What Is (Weak) Induction? The Principle of Mathematical Induction works like this: We want
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationFormal Verification In Industry (I)
Formal Verification In Industry (I) 1 Formal Verification In Industry (I) John Harrison Intel Corporation Formal verification Importance of hardware verification Approaches to hardware verification Combinational
More informationLesson 13: Proofs in Geometry
211 Lesson 13: Proofs in Geometry Beginning with this lesson and continuing for the next few lessons, we will explore the role of proofs and counterexamples in geometry. To begin, recall the Pythagorean
More informationThe Cosmological Argument
A quick overview An a posteriori argument Everything that exists in the universe exists because it was caused by something else. That something was caused by something else It is necessary for something
More informationGould, James A. and Robert J. Mulvaney, eds. Classic Philosophical Questions, Eleventh Ed. Upper Saddle River, New Jersey Pearson Prentice Hall: 2004
From: Gould, James A and Robert J Mulvaney, eds Classic Philosophical Questions, Eleventh Ed Upper Saddle River, New Jersey Pearson Prentice Hall: 2004 PART 6: Philosophy of Religion: Can We Prove God
More informationChapter 3. Proof. 3.1 The Nature of Proof
Chapter 3 Proof 3.1 The Nature of Proof We begin with a philosophical discussion on the nature of proof. When a person is arrested for a crime and brought to trial, it is assumed that the prosecution has
More informationPractice Problems Solutions
Practice Problems Solutions The problems below have been carefully selected to illustrate common situations and the techniques and tricks to deal with these. Try to master them all; it is well worth it!
More informationCS 2336 Discrete Mathematics
CS 2336 Discrete Mathematics Lecture 5 Proofs: Mathematical Induction 1 Outline What is a Mathematical Induction? Strong Induction Common Mistakes 2 Introduction What is the formula of the sum of the first
More informationA Few Basics of Probability
A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study
More informationSorensen on Unknowable Obligations
Sorensen on Unknowable Obligations Theodore Sider Utilitas 7 (1995): 273 9 1. Access principles Vagueness in the phrase can know aside, the principle of Access An act is obligatory only if its agent can
More information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite
More informationReview Name Rule of Inference
CS311H: Discrete Mathematics Review Name Rule of Inference Modus ponens φ 2 φ 2 Modus tollens φ 2 φ 2 Inference Rules for Quantifiers Işıl Dillig Hypothetical syllogism Or introduction Or elimination And
More informationMathematical Induction
Mathematical Induction Everybody do the wave! The Wave If done properly, everyone will eventually end up joining in. Why is that? Someone (me!) started everyone off. Once the person before you did the
More informationMetaphysical preliminaries
Metaphysical preliminaries Ted Sider Properties seminar Our questions about properties affect and are affected by the choice of metaphysical tools certain key concepts that frame the debate. 1. Ontology
More informationChapter 1 LOGIC AND PROOF
Chapter 1 LOGIC AND PROOF To be able to understand mathematics and mathematical arguments, it is necessary to have a solid understanding of logic and the way in which known facts can be combined to prove
More informationIt is time to prove some theorems. There are various strategies for doing
CHAPTER 4 Direct Proof It is time to prove some theorems. There are various strategies for doing this; we now examine the most straightforward approach, a technique called direct proof. As we begin, it
More informationDefinition 10. A proposition is a statement either true or false, but not both.
Chapter 2 Propositional Logic Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. (Lewis Carroll, Alice s Adventures
More informationScientific Research Methods and Computer Science
Scientific Research Methods and Computer Science Ricardo Freitas MAPI Seminars Workshop 2009  Faculdade de Cincias, Universidade do Porto, Portugal {freitas}@fam.ulusiada.pt http://www.map.edu.pt/i Abstract.
More information4. A paradigm that emphasizes subjectivity and multiple individual reconstructions is best described as which of the following?
1. Which of the following best describes a paradigm? A. A worldview B. A research methodology C. A theory D. An argument 2. Which of the following people coined the term "paradigm shift"? A. Thomas Kuhn
More informationSYMBOL AND MEANING IN MATHEMATICS
,,. SYMBOL AND MEANING IN MATHEMATICS ALICE M. DEAN Mathematics and Computer Science Department Skidmore College May 26,1995 There is perhaps no other field of study that uses symbols as plentifully and
More information