Mathematical Logic

1 / 12

# Mathematical Logic - PowerPoint PPT Presentation

Mathematical Logic. “The point of philosophy is to start with something so simple as not to seem worth stating and to end with something so paradoxical that no one will believe it.” Bertrand Russell. Colleen Duffy Advisor: Dr. Jeff McLean University of St. Thomas St. Paul, MN.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about 'Mathematical Logic' - bambi

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

### Mathematical Logic

“The point of philosophy is to start with something so simple as not to seem worth stating and to end with something so paradoxical that no one will believe it.” Bertrand Russell

Colleen Duffy

University of St. Thomas

St. Paul, MN

Do Numbers Exist?
• Realism in ontology: mathematical objects exist objectively, independent of the mathematician
• Idealism: mathematical objects exist, but they depend on the human mind
• Nominalism: mathematical objects are linguistic constructions, or mathematical objects do not exist
A few philosophical views
• Rationalism
• Empiricism
• Naturalism
• Logicism
• Formalism
• Intuitionism
• Structuralism
What is a number?Frege’s definitions
• Number – the Number which belongs to the concept F is the extension of the concept ‘equal to the concept F’
• Zero – the Number which belongs to the concept ‘not identical to itself’
• One – the Number which belongs to the concept ‘identical with zero’
• After every number there follows in the series of natural numbers a number
• Infinity – the Number which belongs to the concept ‘finite number’ is an infinite number
Zermelo-Fraenkel set theory
• Most widely used
• Formal system expressed in 1st order predicate logic
• Formed of axioms (infinite in number) that form the basis of the theory, what is true and what can be done.
Cantor Set
• Georg Cantor (1845-1918)
• founder of set theory
• infinite sets
• different levels of infinity.
• Cantor set – start with the line segment [0,1] and remove the middle third. Then remove the middle third of the remaining segments. Continue forever.
Continuum hypothesis (CH)
• Cantor’s hypothesis
• Generalized Continuum Hypothesis (GCH) – 2alepha = alepha+1
• Independent of ZF set theory.
Axiom of Choice
• Axiom of Choice (AC) – Let X be a collection of non-empty sets. Then we can choose a member from each set in that collection.
More Axiom of Choice
• Equivalents: Well-ordering principle, trichotomy of cardinals, Zorn’s Lemma
• Consequences in algebra: every ring has a maximal ideal, every field has algebraic closure
• Independent of ZF
• If GCH is true, then AC is true.