수학과 실재

  • 발행 : 2001.06.01

초록

The present study develops the given theme “Mathematics and Reality” along two lines. First, we explore the answers, in its various facets, to the following question: How is it possible that mathematics shows such wondrous efficiency when explaining nature\ulcorner In addition to a comparative analysis between empiricism and rationalism, constructivism as a function of idealism is compared with realism within the frame provided by rationalism. The second step involves limiting our discussion to realism. We attempt to explain the various stages of mathematical realism and their points of difficulty. Postulate of parallels, Godel's theorem, continuum hypothesis and choice axiom are typical examples used in demonstrating undecidable propositions. They clearly show that it is necessary to mitigate the mathematical realism which depends on bivalent logic based on an objective exterior world. Lowenheim-Skolem theorem, which states that reality is composed not of one block but rather of diverse domains, also reinforces this line of thought. As we can see the existence of undecidable propositions requires limiting the use of reductio ad absurdum proof which depends on the concept of excluded middle. Consequently, it becomes obvious that bivalent logic must inevitably cede to a trivalent logic since there are three values involved: true, false, and undecidable.

키워드

참고문헌

  1. Les paradoxes de l'infini Bolzano;Bernard;(traduction de H. Sinaceur)
  2. Methode axiomatique et formalisme Cavailles;Jean
  3. 수학적 경험(The Mathematical Experience, Birkauser Boston, 1981) Davis P.J.;R. Hersh;양영오(역);허민(역)
  4. Les mathematiques et la realite Gonseth;Ferdinand
  5. 수학의 확실성 Kline;Morris;박세희(역)
  6. Mathematics and the Search for Knowledge Kline;Morris;김경화(역);이혜숙(역)
  7. Realism in Mathematics Maddy;Penelope
  8. 무한, 그리고 그 너머(To Infinity and Beyond) Maor;Eli;전대호(역)
  9. Infini des philosophes, infini des astronomes Monnoyeur, F.(et al.)
  10. The Rise of Scientific Philosophy Reihenbach;Hane;김희빈(역)
  11. The Philosophy of Set Theory Tiles;Mary