The Diorism in Proposition I-22 of 『Euclid Elements』 and the Existence of Mathematical Objects

『유클리드 원론』 I권 정리 22의 Diorism을 통해서 본 존재성

  • Received : 2015.07.09
  • Accepted : 2015.08.10
  • Published : 2015.08.31

Abstract

The existence of mathematical objects was considered through diorism which was used in ancient Greece as conditions for the existence of the solution of the problem. Proposition I-22 of Euclid Elements has diorism for the existence of triangle. By discussing the diorism in Elements, ancient Greek mathematician proved the existence of defined object by postulates or theorems. Therefore, the existence of mathematical object is verifiability in the axiom system. From this perspective, construction is the main method to guarantee the existence in the Elements. Furthermore, we suggest some implications about the existence of mathematical objects in school mathematics.

고대 그리스에서 '수학적 대상이 존재하기 위한 조건'으로 사용된 diorism을 통하여 수학적 대상의 존재성에 대하여 살펴본다. Diorism이 제시된 대표적 예인 "유클리드 원론" I권 정리 22를 중심으로 삼각형의 존재성을 "원론"이 어떻게 다루었는지에 대하여 논의한다. 정의한 대상의 존재성을 공준이나 명제로 증명하는 "원론"의 구조를 통하여 수학적 대상의 존재성은 인식가능성이고 공리체계 내에서 증명가능성임을 밝힌다. 이러한 관점에서 작도는 "원론"에서 존재성을 보증하는 주요 방법이다. 또한 diorism의 맥락에서 전개도가 다면체를 구성할 수 있음을 살펴보았다. 이러한 내용을 바탕으로 수학적 대상의 존재성에 대해 학교수학에서 시사하는 점을 논의하였다.

Keywords

References

  1. 김서령, 이정례, 선우하식, 이진호, 김원, 김양수, 신지영, 김윤희, 노창균, 정혜윤, 주우진 (2013). 중학교 수학1, 서울:천재교육.
  2. 이지현 (2011). 수학에서의 정의 개념 변화에 대한 철학적 분석. 한국수학사학회지, 24(1), 63-73.
  3. 이홍우 (1997). 증보 지식의 구조와 교과. 서울:교육과학사.
  4. 임재훈 (2004). 플라톤의 수학교육철학. 서울:경문사.
  5. 정상권, 이재학, 박혜숙, 홍진곤, 박부성, 강은주, 오화평 (2013). 중학교 수학1, 서울:금성출판사.
  6. 한대희 (2003). 기하학을 모르는 자는 이곳에 들어오지 말라. 대한수학교육학회 2003년도 하계 수학교육학연구 발표대회 논문집, 429-445.
  7. Alexandrov, A. D. (2005). Convex Polyhedra (English translated by N. S. Dairbekov, S. S. Kutateladze and A. B. Sossinsky). Berlin: Springer. (러시아어 초판은 1950년 출판. GTI, Moscow)
  8. Barker, S. F. (1983). 수리철학 (이종권 역). 종로서적. (원저는 1964에 출판)
  9. Buekenhout, F. & Parker, M. (1998). The Number of Nets of the Regular Convex Polyhedra in Dimension ${\leq}4$. Discrete Mathematics, 186, 69-94. https://doi.org/10.1016/S0012-365X(97)00225-2
  10. Cauchy, A. L. (1813). Recherche sur les Polyedres - Premier Memoire. Journal de l'Ecole Polytechnique, 9, 66-86.
  11. Demaine, E. D., Demaine, M. L., Lubiw, A., & O'Rourke, J. (2003). Enumerating Foldings and Unfoldings between Polygons and Polytopes, Computational Geometry: Theory and Applications, 24(2), 51-62. https://doi.org/10.1016/S0925-7721(02)00091-3
  12. Eves, H. (1995). 수학의 기초와 기본개념 (허민 오혜영 역). 경문사. (원저는 1990에 출판)
  13. Euclid, Heath, T. L. (1998). 기하학 원론 (이무현 역). 서울: 교우사.
  14. Freudenthal, H. (1971). Geometry between the Devil and the Deep Sea. Educational Studies in Mathematics, 3(3&4), 413-435. https://doi.org/10.1007/BF00302305
  15. Greenberg, M. J. (2007). 유클리드 기하학과 비유클리드 기하학 (이우영 역). 서울: 경문사. (영어 원작은 1974년 출판)
  16. Hankel, H. (1874). Zur Geschichte der Mathematik in Altertum und Mittelalter, Teubner, Leipzig. (Reprinted : 1965, Olms, Hildesheim)
  17. Heath, T. L. (1956). The Thirteen Books of the Euclid's Elements with Introduction and Commentary. New York: Dover Publications.
  18. Heath, T. L. (1897). The Works of Archimedes. Cambridge.
  19. Knorr, W. R. (1983). Construction as Existence Proof in Ancient Geometry. Ancient Philosophy, 3, 125-148. Mathesis Publications, Inc. https://doi.org/10.5840/ancientphil1983321
  20. Knorr, W. R. (1986). The Ancient Tradition of Geometric Problems. Birkhauser Boston.
  21. Lakatos, I. (1961). Essays in the Logic of Mathematical Discovery. Thesis, Cambridge University Press.
  22. Lakatos, I. (1996). 수학, 과학 그리고 인식론 (이영애 역). 민음사. (영어원작은 1978에 출판)
  23. Mahoney, M. S. (1968). Another Look at Greek Geometrical Analysis. Archive for History of Exact Sciences, 5, 318-348. https://doi.org/10.1007/BF00411631
  24. Malkevitch, J. (2014). Nets : A Tool for Representing Polyhedra in Two Dimensions. http://www.ams.org/samplings/feature-column/fcarc-nets (2015.04.15. 검색)
  25. Quine, W. V. (1948). On What There Is. The Review of Metaphysics, 2(1), 21-38.
  26. Saito, K. & Sidoli, N. (2010). The Function of Diorism in Ancient Greek Analysis. Historia Mathematica, 37, 579-614. https://doi.org/10.1016/j.hm.2009.12.003
  27. Shephard, G. C. (1975). Convex Polytopes with Convex Nets. Mathematical Proceedings of the Cambridge Philosophical Society, 78, 389-403. https://doi.org/10.1017/S0305004100051860
  28. Shulman, L. S. (1986). Those Who Understand : Knowledge Growth in Teaching. Educational Researcher, 15(2), 4-14. https://doi.org/10.2307/1175860
  29. Zeuthen, H. G. (1896). Die Geometrische Construction als 'Existenzbeweis' in der Antiken Geometrie. Mathematische Annalen, 47, 222-228. https://doi.org/10.1007/BF01447268