Journal for History of Mathematics (한국수학사학회지)

The Korean Society for History of Mathematics (한국수학사학회)
권호 표지
DOI QR코드

DOI QR Code

Gödel's Maximal Ontology

괴델의 극대 존재론

  • Received : 2014.10.24
  • Accepted : 2014.12.01
  • Published : 2014.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

The interdisciplinary study addresses the G$\ddot{o}$del's ontology from the perspective of the mathematical maximality. We first investigate G$\ddot{o}$del's God having all the positive properties as the intersection of ultrafilters in his own ontological proof(1970). Regarding the axiom of choice and his compactness theorem(1930), the next part discusses the ontological meaning of the maximal rather than the maximum in terms of an episteme space. The results show that G$\ddot{o}$del's ontological arguments imply all the existence of the maximal reality, and all the human's epistemological boundedness as well.

Keywords

References

  1. P. Cohen, Set Theory and the Continuum Hypothesis, New York: Dover Publications, 2008.
  2. H. Friedman, My Forty Years on His Shoulders, Kurt Godel and the Foundations of Mathematics, M. Baaz, Cambridge: Cambridge University Press, 2011, 399-432.
  3. K. Godel, The completeness of the axioms of the functional calculus of logic, Kurt Godel Collected Works I: Publications 1929-1936, S. Feferman et al, New York: Oxford University Press, 1986, 102-121.
  4. K. Godel, The consistency of the axiom of choice and of the generalized continuum hypothesis, Kurt Godel Collected Works II: Publications 1938-1974, S. Feferman et al, New York: Oxford University Press, 1990, 26-27.
  5. K. Godel, The consistency of the generalized continuum hypothesis, Kurt Godel Collected Works II: Publications 1938-1974, S. Feferman et al, New York: Oxford University Press, 1990, p. 27.
  6. K. Godel, Ontological proof, Kurt Godel Collected Works III: Unpublished Essays and Lectures, 1970. S. Feferman et al, New York: Oxford University Press, 1995, 403-404.
  7. Hong Sung Sa, Hong Young Hee, Axiom of Choice and 19th Century Mathematics, The Korean Journal for History of Mathematics 9(1) (1996), 1-11. 홍성사, 홍영희, 선택공리와 19세기 수학, 한국수학사학회지 9(1) (1996), 1-11.
  8. Hong Sung Sa, Hong Young Hee, Axiom of Choice after Zermelo, The Korean Journal for History of Mathematics 9(2) (1996), 1-9. 홍성사, 홍영희, Zermelo 이후의 선택공리, 한국수학사학회지 9(2) (1996), 1-9.
  9. Hyun Woosik, Godel on the Foundations of Mathematics, The Korean Journal for History of Mathematics 20(3) (2007), 17-26. 현우식, 괴델이 보는 수학의 토대, 한국수학사학회지 20(3) (2007), 17-26.
  10. T. Jech, About the Axiom of Choice, Handbook of Mathematical Logic, J. Barwise(ed.), New York: North-Holland Publishing Company, 1977, 345-370.

Cited by

  1. AN EAST ASIAN MATHEMATICAL CONCEPTUALIZATION OF THE TRANSHUMAN vol.51, pp.1, 2016, https://doi.org/10.1111/zygo.12240