Return to search

Intuition versus Formalization: Some Implications of Incompleteness on Mathematical Thought

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.

Identiferoai:union.ndltd.org:unt.edu/info:ark/67531/metadc277970
Date08 1900
CreatorsLindman, Phillip A. (Phillip Anthony)
ContributorsJackson, Steve, 1957-, Mauldin, R. Daniel
PublisherUniversity of North Texas
Source SetsUniversity of North Texas
LanguageEnglish
Detected LanguageEnglish
TypeThesis or Dissertation
Formatv, 40 leaves, Text
RightsPublic, Copyright, Copyright is held by the author, unless otherwise noted. All rights reserved., Lindman, Phillip A. (Phillip Anthony)

Page generated in 0.002 seconds