|
|
- Juniper Newton
- 5 years ago
- Views:
Transcription
1
2
3
4
5
6
7
8 How Does Mathematics Compare to Other Subjects? Other subjects: Study objects anchored in physical space and time. Acquire and prove knowledge primarily by inductive methods. Have subject specific concepts that do not (easily) apply to other subjects. Theories of the subconscious, id, and ego (psychology) cannot be used to explain the bonding of proteins (chemistry) Have concise definitions of their subject matter. Biology is the study of living organisms
9 Mathematics, On the Other Hand Studies objects that are seemingly independent of physical space and time. Numbers are not physical objects in nature. May acquire knowledge inductively, but proves knowledge by deductive methods. a 2 +b 2 =c 2 has been proven by logical deduction, not by observation. Has subject specific concepts that are easily and readily applicable in other fields of study Numbers are used to describe many phenomenon in science/non science fields. Has no concise definition Mathematics is? (This fact is really a major point Davis and Hersh are trying to make.)
10 What is mathematics? Some interesting quotes: A mathematician is a blind man in a dark room looking for a black cat, which isn t even there Charles Darwin Mathematics is the subject in which one never knows what he is talking about nor if what he says is true Bertrand Russell When the theories of mathematics are about reality, they are not certain; when they are certain, they are not about reality Albert Einstein
11 What is mathematics? Some interesting quotes: It is not of the essence of mathematics to be occupied with the ideas of number and quantity George Boole Mathematics is entirely free in its development, and its concepts are only linked by the necessity of being consistent Geoge Cantor Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician Friedrich Ludwig Gottfried Frege
12 What is mathematics? We can tentatively explore some definitions
13 Definition #1 Mathematics is: what mathematicians do. A similar definition has been used for Art: Art is that which an artist does. So what is the problem? Self Reference Circular Definition Not all activities of mathematicians are regarded as mathematics Mathematics is not exclusively practiced by mathematicians Does not clearly describe what it is to act as a mathematician. I think there is a germ of a good idea in this, however, that we ll develop over time in this course.
14 Definition #2 Mathematics is: Abstract Algebra Linear Algebra Euclidean Geometry Non Euclidean Geometry Fractal Geometry Differential Geometry Calculus Calculus of Variations Number Theory Logic & Set Theory Probability Statistics Topology Combinatorics Etc. The union of all these topics.
15 Definition #2 What is the problem with this definition? Verbose We expect a good definition to be concise and informative Unstable over time New mathematical subjects are always being created / discovered. A good definition should be capable of including future topics without having to rewrite the definition Emphasizes differences over similarities It does not answer what all these subjects have in common.
16 Definition #3 Mathematics is: Quantity Space Shape Change Chance Sets Groups Classes Rings Fields Functionals Operators Transformations Relations Etc The study of all these objects / ideas.
17 Definition #3 What is the problem with this definition? Same as before Not concise Unstable Emphasizes separation over unity, and, Begs the question of what are these objects? What do all these objects or ideas really have in common?
18 Definition #4 Examine this list Quantity Space Shape Change Chance Sets Groups Classes Rings Fields Functions Operators Connections Relations Etc. What does the study of all these things have in common? Logic is applied to all of them
19 Logicism Mathematics is: the class of all propositions of the form p implies q where p and q are propositions In other words: All mathematical objects can be defined solely with logic.
20 Logicism What is the problem with this definition? Not all logic is mathematics Law Crime Scene Investigation Not all mathematics can be defined by logic Russell (1902) found that logic alone is insufficient to deduce the basic laws of arithmetic. Godel (1931) found that there exist mathematical statements that cannot be proven (or disproven) via logical deductions. Logic is more properly considered a subtopic of mathematics Qualification as mathematics seems to be dependent upon the subject matter, not just method of reasoning.
21 Definition #5 Examine this list Quantity Space Shape Change Chance Sets Groups Classes Rings Fields Functions Operators Connections Relations Etc. What do all these things have in common? They are all abstract objects.
22 Platonism Mathematics is: The study of abstract objects, their properties, and interactions with other abstract objects. In other words: The unifying element of mathematics is not what math is, but rather where it is. By abstract, we mean separated from physical reality.
23 Platonism Example: When we solve the equation 2x 8 = 0 2x = 8 x = 4 Solutions seem to exist before they are written, and the equation seems to exist before it was thought of. But where, exactly, were they? In some alternate reality
24 Platonism So what s the problem? Assuming that mathematical objects are abstract Other objects are also abstract Ex. Freedom, Democracy, Power, Civilization, etc. Ex. Santa Claus, Tooth Fairy, Easter Bunny, Leprachaun Ex. La Chupacabra, Bigfoot, Los Angeles. Classification as abstract is an insufficient criterion to distinguish mathematical objects from non mathematical objects.
25 Platonism More problems Ontological Where do these objects really exist? Physical reality? Mental reality? Alternate reality? Spiritual reality? How long have they existed? If in an alternate reality, where exactly is this alternate reality? Epistemological How is it we have access to this alternate reality? How can we be sure of it? How do we know what exists in an alternate reality?
26 Definition #6 Examine this list once again Quantity Space Shape Change Chance Sets Groups Classes Rings Fields Functions Operators Connections Relations Etc. What does the study of all these things have in common? The use of symbols.
27 Formalism Mathematics is: A formal system of symbols, with rules of interaction between symbols. In other words: Mathematics is nothing more than meaningless marks on a piece of paper, written according to certain rules
28 Example: Formalism = 2 We normally consider this a fundamental truth But according to formalism, this is an arbitrary truth. We could just as easily say that = 3 And this is equally as valid, because the meaning of the symbols is arbitrary The symbols 1, +, =, and 3 can mean whatever we want them to mean. Essentially one can define any rule for the interaction between these symbols
29 Formalism What s the problem? The basic object of mathematics is a set. A set of objects is a well defined collection of ANYTHING Meaningless has no meaning Arbitrary could mean anything Mathematics is not arbitrary and not meaningless. Symbols are used in mathematics, but math is more than just symbols. In practice, mathematics is never reduced to just symbols.
30 A Good Definition of Mathematics Should be: Concise Informative And should also account for: Use of logic Abstraction Symbolism Unreasonable effectiveness Self consistency How mathematicians actually act when they do it
31 Is There No definition? It is likely that the phrase everything that is mathematics does not form a well defined set. Many mathematicians: Believe a definition exists. Insist on precise definition of mathematical terms, but do not insist on a precise definition of mathematics itself. Tend to side with Platonism, but when hard pressed to provide a definition, tend to resort to formalism (Hersh, 1999)
32 Infallibility: Other Characteristics of Mathematics
33 Infallibility Once a piece of mathematics is discovered and proved, it is true and remains true forever.
34 Davis and Hersh in Context Davis and Hersh s The Mathematical Experience is meant to help the reader appreciate the experience of being a mathematician, with all its joys, frustrations, dilemmas, the thrill of victory, the agony of defeat. It does a good job of that, and for that reason is a worthy book to read. But also:
35 Davis and Hersh in Context Davis and Hersh can be read as an argument against all of the above definitions and characteristics, except perhaps the germ of a good idea I alluded to in #1. This includes: The union of all the subtopics Platonism Formalism Logicism Fallibility
36 Davis and Hersh in Context Moreover, they use their strongest arguments, in some sense, against the beliefs that most mathematicians seem to hold about the nature of mathematics. This is perhaps most evident in The Ideal Mathematician but is evident elsewhere as well.
37 Davis and Hersh in Context Chapter 1: Ulam s Dilemma: There are far too many pieces of mathematics for one person to know and by implication, too many sub areas of specialization to serve as a basis for a useful definition of mathematics.
38 Davis and Hersh in Context: Pages 32 33: Chapter 2 What was in Archimedes head was different from what was in Newton s head; they had to understand the Pythagorean Theorem differently. Does this have implications for Platonism? Does this have implications for Formalism? How about Logicism?
39 Davis and Hersh in Context: Ideal Mathematician: Chapter 2 truths which are valid forever, from the beginning of time, even in the most remote corner of the universe. to read his proofs, one must be privy to the whole subculture of motivations, standard arguments and examples, habits of thought, and agreed upon modes of reasoning.
40 Davis and Hersh in Context: Ideal Mathematician: Chapter 2 There is no way we could convince a selfconfident skeptic that the things we are talking about make sense, let alone exist.
41 Davis and Hersh in Context: Chapter 2 Physicist: If the physicist uses mathematics, then what are the implications of: truth in mathematics... is reasoning that leads to correct physical relationships. proof is for cosmetic purposes...
42 Davis and Hersh in Context: Pages 59 60: Chapter 2 In the final analysis, there can be no formalization of what is right and how we know it is right, what is accepted, and what the mechanism for acceptance is.
43 Everyone Sing Along! You can ask some interesting question about these definitions and how they fit with what we know about history. For example, What position is strengthened by the evidence that almost everyone came up with Pascal s Triangle, at different times and in different cultures and places? Another Example: Lobachevski, Bolyai, and Gauss
44 What Davis and Hersh Leads to: Point 1 is that mathematics is a social historic reality. This is not controversial. All that Platonists, formalists, intuitionists, and others can say against it is that it s irrelevant to their concept of philosophy. Point 2 is controversial: There s no need to look for a hidden meaning or defintion of mathematics beyond its social historic cultural meaning. Socialhistoric is all it needs to be. Forget foundations, forget immaterial, inhuman reality. Reuben Hersh, What is Mathematics, Really?, p. 23.
45 By the way, I unabashedly borrowed and revised a lot of this slide presentation from: o2/math1319/philosophy/philosophy.ppt
THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS
THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS INTRODUCTION Mathematics is a science of the real world, just as much as biology or sociology are. Where biology studies living things
More informationDr Prya Mathew SJCE Mysore
1 2 3 The word Mathematics derived from two Greek words Manthanein means learning Techne means an art or technique So Mathematics means the art of learning related to disciplines or faculties disciplines
More informationPROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL
THOMAS HOFWEBER PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL 1. PROOF-THEORETIC REDUCTION AND HILBERT S PROGRAM Hilbert s program in the philosophy of mathematics comes in two parts. One part is a
More information35 Chapter CHAPTER 4: Mathematical Proof
35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21
More informationPhilosophies of Mathematics. The Search for Foundations
Philosophies of Mathematics The Search for Foundations Foundations What are the bedrock, absolutely certain, immutable truths upon which mathematics can be built? At one time, it was Euclidean Geometry.
More informationIntroduction to Metalogic
Introduction to Metalogic Hans Halvorson September 21, 2016 Logical grammar Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional
More informationThe Limit of Humanly Knowable Mathematical Truth
The Limit of Humanly Knowable Mathematical Truth Gödel s Incompleteness Theorems, and Artificial Intelligence Santa Rosa Junior College December 12, 2015 Another title for this talk could be... An Argument
More informationDirect Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24
Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using
More informationRussell s logicism. Jeff Speaks. September 26, 2007
Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................
More information2010 MAΘ National Convention. Answer Key:
MAΘ National Convention Answer Key: Section I Trivia. 79 (THE WHO). 86 (HIGHLANDER) 3. 77 (THE OFFICE). 37 (THE LION, THE WITCH AND THE WARDROBE) 5. 6 (ROLLING STONE) 6. (THE ONION) 7. 37 (WES ANDERSON)
More information1 FUNDAMENTALS OF LOGIC NO.1 WHAT IS LOGIC Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 Course Summary What is the correct deduction? Since A, therefore B. It is
More informationMaking Sense. Tom Carter. tom/sfi-csss. April 2, 2009
Making Sense Tom Carter http://astarte.csustan.edu/ tom/sfi-csss April 2, 2009 1 Making Sense Introduction / theme / structure 3 Language and meaning 6 Language and meaning (ex)............... 7 Theories,
More informationCS 124 Math Review Section January 29, 2018
CS 124 Math Review Section CS 124 is more math intensive than most of the introductory courses in the department. You re going to need to be able to do two things: 1. Perform some clever calculations to
More informationIntroducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
More informationA Little History Incompleteness The First Theorem The Second Theorem Implications. Gödel s Theorem. Anders O.F. Hendrickson
Gödel s Theorem Anders O.F. Hendrickson Department of Mathematics and Computer Science Concordia College, Moorhead, MN Math/CS Colloquium, November 15, 2011 Outline 1 A Little History 2 Incompleteness
More informationMath 144 Summer 2012 (UCR) Pro-Notes June 24, / 15
Before we start, I want to point out that these notes are not checked for typos. There are prbally many typeos in them and if you find any, please let me know as it s extremely difficult to find them all
More information4.13 It From Bit and the Triadic Theory of Reality
(Excerpt from S. Ji, Molecular Theory of the Living Cell: Concepts, Molecular Mechanisms, and Biomedical Applications, Springer, New York, 2012. Pp. 116-118.) 4.13 It From Bit and the Triadic Theory of
More informationPhysicists' Epistemologies of Quantum Mechanics
Physicists' Epistemologies of Quantum Mechanics Raymond A. Hodges Physics Education Research Group University of Maryland College Park AAPT Summer Meeting Madison, Wisconsin August 4, 2003 Supported in
More informationCHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC
CHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC 1 Motivation and History The origins of the classical propositional logic, classical propositional calculus, as it was, and still often is called,
More informationThe roots of computability theory. September 5, 2016
The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.
More informationManual of Logical Style
Manual of Logical Style Dr. Holmes January 9, 2015 Contents 1 Introduction 2 2 Conjunction 3 2.1 Proving a conjunction...................... 3 2.2 Using a conjunction........................ 3 3 Implication
More informationWhy is the Universe Described in Mathematics? This essay attempts to address the questions, "Why is the Universe described in
Connelly Barnes Why is the Universe Described in Mathematics? This essay attempts to address the questions, "Why is the Universe described in mathematics?" and "Is mathematics a human creation, specific
More informationINTRODUCTION TO LOGIC 8 Identity and Definite Descriptions
8.1 Qualitative and Numerical Identity INTRODUCTION TO LOGIC 8 Identity and Definite Descriptions Volker Halbach Keith and Volker have the same car. Keith and Volker have identical cars. Keith and Volker
More informationMATH10040: Chapter 0 Mathematics, Logic and Reasoning
MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly
More informationLecture 2: What is Proof?
Lecture 2: What is Proof? Math 295 08/26/16 Webster Proof and Its History 8/2016 1 / 1 Evolution of Proof Proof, a relatively new idea Modern mathematics could not be supported at its foundation, nor construct
More informationGÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS. Contents 1. Introduction Gödel s Completeness Theorem
GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS BEN CHAIKEN Abstract. This paper will discuss the completeness and incompleteness theorems of Kurt Gödel. These theorems have a profound impact on the philosophical
More informationNEW RELATIVITY GAMMA
NEW RELATIVITY GAMMA James A. Putnam 2003 What is the meaning of gamma? In relativity theory there appears the mathematical expression: It originated from the Lorentz transforms. The question I will answer
More informationIntroduction to Logic and Axiomatic Set Theory
Introduction to Logic and Axiomatic Set Theory 1 Introduction In mathematics, we seek absolute rigor in our arguments, and a solid foundation for all of the structures we consider. Here, we will see some
More informationINTRODUCTION TO LOGIC 8 Identity and Definite Descriptions
INTRODUCTION TO LOGIC 8 Identity and Definite Descriptions Volker Halbach The analysis of the beginning would thus yield the notion of the unity of being and not-being or, in a more reflected form, the
More informationIntroduction to Algebra: The First Week
Introduction to Algebra: The First Week Background: According to the thermostat on the wall, the temperature in the classroom right now is 72 degrees Fahrenheit. I want to write to my friend in Europe,
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More informationCM10196 Topic 2: Sets, Predicates, Boolean algebras
CM10196 Topic 2: Sets, Predicates, oolean algebras Guy McCusker 1W2.1 Sets Most of the things mathematicians talk about are built out of sets. The idea of a set is a simple one: a set is just a collection
More informationINTRODUCTION TO LOGIC
INTRODUCTION TO LOGIC L. MARIZZA A. BAILEY 1. The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra and geometry.
More informationAn Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky
What follows is Vladimir Voevodsky s snapshot of his Fields Medal work on motivic homotopy, plus a little philosophy and from my point of view the main fun of doing mathematics Voevodsky (2002). Voevodsky
More informationBoscovich s theory: strict Newtonian physics, by Roger J. Anderton
Boscovich s theory: strict Newtonian physics, by Roger J. Anderton R.J.Anderton@btinternet.com I will now look at Boscovich s theory according to Bertrand Russell. Bertrand Russell was one of the pro-einstein
More informationAstronomy 301G: Revolutionary Ideas in Science. Getting Started. What is Science? Richard Feynman ( CE) The Uncertainty of Science
Astronomy 301G: Revolutionary Ideas in Science Getting Started What is Science? Reading Assignment: What s the Matter? Readings in Physics Foreword & Introduction Richard Feynman (1918-1988 CE) The Uncertainty
More informationTopic 1: Propositional logic
Topic 1: Propositional logic Guy McCusker 1 1 University of Bath Logic! This lecture is about the simplest kind of mathematical logic: propositional calculus. We discuss propositions, which are statements
More informationBell s spaceship paradox
Bell s spaceship paradox If the two ships start accelerating at the same time, I always see them travelling at the same velocity, and keeping a constant distance... But I said the objects get shorter when
More informationBootstrapping Mathematics
Bootstrapping Mathematics Masahiko Sato Graduate School of Informatics, Kyoto University Mathematical Logic: Development and Evolution into Various Sciences Kanazawa, Japan March 9, 2012 Contents What
More informationPhilosophy 5340 Epistemology. Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms. Part 2: Theoretical Terms
Philosophy 5340 Epistemology Topic 3: Analysis, Analytically Basic Concepts, Direct Acquaintance, and Theoretical Terms Part 2: Theoretical Terms 1. What Apparatus Is Available for Carrying out Analyses?
More informationKnowledge, Truth, and Mathematics
Knowledge, Truth, and Mathematics Philosophy 405 Russell Marcus Hamilton College, Fall 2010 September 27 Class 9: Kant II Marcus, Knowledge, Truth, and Mathematics, Fall 2010 Slide 1 Necessity/Contingency
More informationMathematical Logic. Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. Chiara Ghidini. FBK-IRST, Trento, Italy
Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. FBK-IRST, Trento, Italy Deciding logical consequence Problem Is there an algorithm to determine whether a formula
More informationPhysicalism Feb , 2014
Physicalism Feb. 12 14, 2014 Overview I Main claim Three kinds of physicalism The argument for physicalism Objections against physicalism Hempel s dilemma The knowledge argument Absent or inverted qualia
More informationCONSTRUCTION OF THE REAL NUMBERS.
CONSTRUCTION OF THE REAL NUMBERS. IAN KIMING 1. Motivation. It will not come as a big surprise to anyone when I say that we need the real numbers in mathematics. More to the point, we need to be able to
More informationDiscrete Structures Proofwriting Checklist
CS103 Winter 2019 Discrete Structures Proofwriting Checklist Cynthia Lee Keith Schwarz Now that we re transitioning to writing proofs about discrete structures like binary relations, functions, and graphs,
More informationLecture 6: Finite Fields
CCS Discrete Math I Professor: Padraic Bartlett Lecture 6: Finite Fields Week 6 UCSB 2014 It ain t what they call you, it s what you answer to. W. C. Fields 1 Fields In the next two weeks, we re going
More information10 Coolest Mathematics Results
10 Coolest Mathematics Results MICHAEL ALBA MAY 5, 2013 Many people are put off by the obscure symbols and strict rules of math, giving up on a problem as soon as they see both numbers and letters involved.
More informationA Digitalized Tractarian World
A Digitalized Tractarian World Sun Bok Bae, Seoul, Korea jaengol@hanmail.net 1. There is a widely accepted opinion that Wittgenstein abandoned the logical atomism in TLP because of the color exclusion
More informationWhy write proofs? Why not just test and repeat enough examples to confirm a theory?
P R E F A C E T O T H E S T U D E N T Welcome to the study of mathematical reasoning. The authors know that many students approach this material with some apprehension and uncertainty. Some students feel
More informationINCOMPLETENESS I by Harvey M. Friedman Distinguished University Professor Mathematics, Philosophy, Computer Science Ohio State University Invitation
INCOMPLETENESS I by Harvey M. Friedman Distinguished University Professor Mathematics, Philosophy, Computer Science Ohio State University Invitation to Mathematics Series Department of Mathematics Ohio
More informationCHAPTER 1. Introduction
CHAPTER 1 Introduction A typical Modern Geometry course will focus on some variation of a set of axioms for Euclidean geometry due to Hilbert. At the end of such a course, non-euclidean geometries (always
More informationPhilosophy of Mathematics Structuralism
Philosophy of Mathematics Structuralism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 17/11/15 Neo-Fregeanism Last week, we considered recent attempts to revive Fregean logicism. Analytic
More informationThe REVOLUTION in GEOMETRY
PHILOSOPHICAL IMPLICATIONS: SPACE, TIME, MATTER, & MEASUREMENT PCES 3.50 Mathematicians and some philosophers had been worrying about the exact nature of space ever since the axiomatic formulation of geometry
More informationGeometry I (CM122A, 5CCM122B, 4CCM122A)
Geometry I (CM122A, 5CCM122B, 4CCM122A) Lecturer: Giuseppe Tinaglia Office: S5.31 Office Hours: Wed 1-3 or by appointment. E-mail: giuseppe.tinaglia@kcl.ac.uk Course webpage: http://www.mth.kcl.ac.uk/
More informationGödel s Programm and Ultimate L
Gödel s Programm and Ultimate L Fudan University National University of Singapore, September 9, 2017 Outline of Topics 1 CT s Problem 2 Gödel s Program 3 Ultimate L 4 Conclusion Remark Outline CT s Problem
More informationSolving Problems by Inductive Reasoning
Solving Problems by Inductive Reasoning MATH 100 Survey of Mathematical Ideas J. Robert Buchanan Department of Mathematics Fall 2014 Inductive Reasoning (1 of 2) If we observe several similar problems
More informationLinear Algebra Fall mathx.kaist.ac.kr/~schoi/teaching.html.
Linear Algebra Fall 2013 mathx.kaist.ac.kr/~schoi/teaching.html. Course HPs klms.kaist.ac.kr: some announcements, can ask questions here, also link to my page. Also, grades for quizzes and exames. math.kaist.ac.kr/~schoi:
More informationIntroduction to Estimation Theory
Introduction to Statistics IST, the slides, set 1 Introduction to Estimation Theory Richard D. Gill Dept. of Mathematics Leiden University September 18, 2009 Statistical Models Data, Parameters: Maths
More informationPoincaré, Heisenberg, Gödel. Some limits of scientific knowledge. Fernando Sols Universidad Complutense de Madrid
Poincaré, Heisenberg, Gödel. Some limits of scientific knowledge. Fernando Sols Universidad Complutense de Madrid Henry Poincaré (1854-1912) nonlinear dynamics Werner Heisenberg (1901-1976) uncertainty
More informationMassachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal.
Massachusetts Institute of Technology 6.042J/18.062J, Fall 02: Mathematics for Computer Science Professor Albert Meyer and Dr. Radhika Nagpal Course Notes 1 Proofs 1 What is a Proof? A proof is a method
More information30. TRANSFORMING TOOL #1 (the Addition Property of Equality)
30 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not
More informationAhmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY
REPORTS ON MATHEMATICAL LOGIC 52 (2017), 45 56 doi:10.4467/20842589rm.17.002.7140 Ahmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY A b s t r a c t. The beliefs of other people about
More information... The Sequel. a.k.a. Gödel's Girdle
... The Sequel a.k.a. Gödel's Girdle Formal Systems A Formal System for a mathematical theory consists of: 1. A complete list of the symbols to be used. 2. Rules of syntax The rules that determine properly
More informationGeneralized Pythagoras Theorem
Generalized Pythagoras Theorem The Pythagoras theorem came from India through Arab mathematicians to the Greeks. It claims that if we draw squares on the sides of a right angle triangle, then the two smaller
More informationCalculus: What is a Limit? (understanding epislon-delta proofs)
Calculus: What is a Limit? (understanding epislon-delta proofs) Here is the definition of a limit: Suppose f is a function. We say that Lim aa ff() = LL if for every εε > 0 there is a δδ > 0 so that if
More informationDirect Proofs. the product of two consecutive integers plus the larger of the two integers
Direct Proofs A direct proof uses the facts of mathematics and the rules of inference to draw a conclusion. Since direct proofs often start with premises (given information that goes beyond the facts of
More information3.4 Complex Zeros and the Fundamental Theorem of Algebra
86 Polynomial Functions 3.4 Complex Zeros and the Fundamental Theorem of Algebra In Section 3.3, we were focused on finding the real zeros of a polynomial function. In this section, we expand our horizons
More informationWriting proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction
Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction
More informationUnderstanding Computation
Understanding Computation 1 Mathematics & Computation -Mathematics has been around for a long time as a method of computing. -Efforts to find canonical way of computations. - Machines have helped with
More informationMA103 STATEMENTS, PROOF, LOGIC
MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking
More informationarxiv:quant-ph/ v2 2 May 2002
arxiv:quant-ph/0201093 v2 2 May 2002 Towards a Coherent Theory of Physics and Mathematics Paul Benioff As an approach to a Theory of Everything a framework for developing a coherent theory of mathematics
More informationIs There Any Evidence for a Creator in the Universe?
Is There Any Evidence for a Creator in the Universe? By Claude LeBlanc, M.A., Magis Center, 2016 Opening Prayer Father, you give us the ability to learn about the world you created. Through our senses
More informationIntroduction to Logic
Introduction to Logic 1 What is Logic? The word logic comes from the Greek logos, which can be translated as reason. Logic as a discipline is about studying the fundamental principles of how to reason
More informationCreative Objectivism, a powerful alternative to Constructivism
Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite
More informationRationals, reals, complexes! What next?
Blakers Lecture, National Mathematics Summer School, 18 January 1999 Rationals, reals, complexes! What next? Ross Street Macquarie University www.math.mq.edu.au/~street/ This is a talk about what we are
More informationSPIRITUAL GIFTS. ( ) ( ) 1. Would you describe yourself as an effective public speaker?
SPIRITUAL GIFTS QUESTIONNAIRE: SPIRITUAL GIFTS ( ) ( ) 1. Would you describe yourself as an effective public speaker? ( ) ( ) 2. Do you find it easy and enjoyable to spend time in intense study and research
More information( )( b + c) = ab + ac, but it can also be ( )( a) = ba + ca. Let s use the distributive property on a couple of
Factoring Review for Algebra II The saddest thing about not doing well in Algebra II is that almost any math teacher can tell you going into it what s going to trip you up. One of the first things they
More informationBasic Logic and Proof Techniques
Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely
More informationWHAT THIS BOOK IS ABOUT
Introduction WHAT THIS BOOK IS ABOUT 1. Plus Counting one, two, three, four or uno, dos, tres, cuatro (or in whatever language); or I, II, III, IV or 1, 2, 3, 4, or in whatever symbols is probably the
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
More informationHow to write maths (well)
How to write maths (well) Dr Euan Spence 29 September 2017 These are the slides from a talk I gave to the new first-year students at Bath, annotated with some of the things I said (which appear in boxes
More informationDIFFERENTIAL EQUATIONS
DIFFERENTIAL EQUATIONS Basic Concepts Paul Dawkins Table of Contents Preface... Basic Concepts... 1 Introduction... 1 Definitions... Direction Fields... 8 Final Thoughts...19 007 Paul Dawkins i http://tutorial.math.lamar.edu/terms.aspx
More informationChurch s undecidability result
Church s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Welcome, and thank you for the invitation to speak about Church s lambda calculus
More informationAbstract. History of the problem
HOW THE GREEKS MIGHT HAVE DISCOVERED AND APPROXIMATE IRRATIONAL NUMBERS László Filep, PhD Institute of Mathematics and Computer Science, College of Nyíregyháza, Nyíregyháza, Hungary Web: www.nyf.hu E-mail:
More informationMATH1014 Calculus II. A historical review on Calculus
MATH1014 Calculus II A historical review on Calculus Edmund Y. M. Chiang Department of Mathematics Hong Kong University of Science & Technology September 4, 2015 Instantaneous Velocities Newton s paradox
More informationUnpublished Opening Lecture for the Course on the Theory of Relativity in Argentina, 1925
Science in Context 21(3), 451 459 (2008). Copyright C Cambridge University Press doi:10.1017/s0269889708001865 Printed in the United Kingdom Unpublished Opening Lecture for the Course on the Theory of
More informationIntroduction to Logic
Introduction to Logic L. Marizza A. Bailey June 21, 2014 The beginning of Modern Mathematics Before Euclid, there were many mathematicians that made great progress in the knowledge of numbers, algebra
More information8. TRANSFORMING TOOL #1 (the Addition Property of Equality)
8 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not change
More informationMath 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes
Math 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes Written by Santiago Cañez These are notes which provide a basic summary of each lecture for Math 300, Foundations of Higher
More informationLecture 01: Mathematical Modeling and Physics
Massachusetts Institute of Technology MITES 2017 Physics III Lecture 01: Mathematical Modeling and Physics In these notes, we define physics and discuss how the properties of physical theories suggest
More informationQuantum Entanglement. Chapter Introduction. 8.2 Entangled Two-Particle States
Chapter 8 Quantum Entanglement 8.1 Introduction In our final chapter on quantum mechanics we introduce the concept of entanglement. This is a feature of two-particle states (or multi-particle states) in
More informationMathematical Logic Part One
Mathematical Logic Part One Question: How do we formalize the defnitions and reasoning we use in our proofs? Where We're Going Propositional Logic (Today) Basic logical connectives. Truth tables. Logical
More informationMath 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution
Math 38: Graph Theory Spring 2004 Dartmouth College 1 Introduction On Writing Proofs What constitutes a well-written proof? A simple but rather vague answer is that a well-written proof is both clear and
More informationCSCI3390-Lecture 6: An Undecidable Problem
CSCI3390-Lecture 6: An Undecidable Problem September 21, 2018 1 Summary The language L T M recognized by the universal Turing machine is not decidable. Thus there is no algorithm that determines, yes or
More informationEUCLID S AXIOMS A-1 A-2 A-3 A-4 A-5 CN-1 CN-2 CN-3 CN-4 CN-5
EUCLID S AXIOMS In addition to the great practical value of Euclidean Geometry, the ancient Greeks also found great aesthetic value in the study of geometry. Much as children assemble a few kinds blocks
More informationHence, the sequence of triangular numbers is given by., the. n th square number, is the sum of the first. S n
Appendix A: The Principle of Mathematical Induction We now present an important deductive method widely used in mathematics: the principle of mathematical induction. First, we provide some historical context
More information0.G. Notational conventions for elementary geometry
0.G. Notational conventions for elementary geometry Since concepts from elementary geometry play an important role in any account of the history of mathematics, we shall frequently discuss various geometrical
More informationMath 300: Final Exam Practice Solutions
Math 300: Final Exam Practice Solutions 1 Let A be the set of all real numbers which are zeros of polynomials with integer coefficients: A := {α R there exists p(x) = a n x n + + a 1 x + a 0 with all a
More informationHandout 1: Mathematical Background
Handout 1: Mathematical Background Boaz Barak September 18, 2007 This is a brief review of some mathematical tools, especially probability theory that we will use. This material is mostly from discrete
More information1.1 Statements and Compound Statements
Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something
More information