This paper describes the tension between intuition about number theory and attempts to formalize it. I will first examine the root of the dilemma, Godel's First Incompleteness Theorem, which demonstrates that in any reasonable formalization of number theory, there will be independent statements. After proving the theorem, I consider some of its consequences on intuition, focusing on Freiling's "Dart Experiment" which is based on our usual notion of the real numbers as a line. This experiment gives an apparent refutation of the Axiom of Choice and the Continuum Hypothesis; however, it also leads to an equally apparent paradox. I conclude that such paradoxes are inevitable as the formalization of mathematics takes us further from our initial intuitions.
| Identifer | oai:union.ndltd.org:unt.edu/info:ark/67531/metadc277970 |
| Date | 08 1900 |
| Creators | Lindman, Phillip A. (Phillip Anthony) |
| Contributors | Jackson, Steve, 1957-, Mauldin, R. Daniel |
| Publisher | University of North Texas |
| Source Sets | University of North Texas |
| Language | English |
| Detected Language | English |
| Type | Thesis or Dissertation |
| Format | v, 40 leaves, Text |
| Rights | Public, Copyright, Copyright is held by the author, unless otherwise noted. All rights reserved., Lindman, Phillip A. (Phillip Anthony) |
Page generated in 0.0019 seconds