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

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

DOI QR Code

MaPhiA: Mathematics, Philosophy, and Artificial Intelligence

수학, 철학, 그리고 인공지능

  • Received : 2019.10.10
  • Accepted : 2019.10.24
  • Published : 2019.10.31
Download PDF
⟨ Previous Next ⟩

Abstract

Mathematics and philosophy are considered as ways to get knowledges and cognitions of truths. They are human thoughts and epistemes. Thinking is in fact carried out in a systematic way, which consists of sort of syntax and semantics of thinking, called logic. We observe the logic from mathematical and philosophical perspectives with layman's language. We conclude that mathematics, philosophy and logic are the abilities necessary for the human beings of the 21st century, the age of artificial intelligence.

Keywords

References

  1. Andrew ABERDEIN, The Informal Mathematical Proof, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 56-70.
  2. William ASPRAY, Philip KITCHER (eds.), History and Philosophy of Modern Mathematics, Minnesota Studies in the Philosophy of Science Vol. XI, University of Minnesota Press, 1988.
  3. William BYERS, How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics, Princeton University Press, 2007.
  4. Carlo CELLUCCI, "Introduction" to Filosofia e matematica, 18 Unconventional Essays on the Nature of Mathematics, Springer, 2006, 17-36.
  5. Richard COURANT, Herbert ROBBINS, (revised by Ian Stewart), What is Mathematics? An elementary approach to ideas and methods, 2nd edition, Oxford University Press, 1996 (originally 1941).
  6. Ingrid DAUBECHIES, Big Data' s Mathematical Mysteries, Quanta Magazine 2015.12.03. https://www.quantamagazine.org/big-datas-mathematical-mysteries-20151203/
  7. Pedro DOMINGOS, The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World, Basic Books, 2015.
  8. William Timothy GOWERS, Does Mathematics Need a Philosophy?, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 182-200.
  9. Kevin HARTNETT, Foundations Built for a General Theory of Neural Networks, Quanta Magazine 2019.01.31. https://www.quantamagazine.org/foundations-built-for-a-general-theory-of-neural-networks-20190131
  10. Reuben HERSH, What is Mathematics, Really?, Oxford University Press, 1997. 로이벤 허시 지음, 허민 옮김, 도대체 수학이란 무엇인가?, 경문사, 2003.
  11. Reuben HERSH, 18 Unconventional Essays on the Nature of Mathematics, Springer, 2006.
  12. Arthur JAFFE, Frank QUINN, "Theoretical Mathematics": Toward a Cultural Synthesis of Mathematics and Theoretical Physics, Bulletin of the American Mathematical Society 29(1)(1993), 1-13. https://www.ams.org/journals/bull/1993-29-01/S0273-0979-1993-00413-0/S0273-0979-1993-00413-0.pdf https://doi.org/10.1090/S0273-0979-1993-00413-0
  13. KOH Youngmee, REE Sangwook, Counting is an Important Ingredient of Mathematics Education, Journal for History of Mathematics 29(5)(2016), 267-278. http://dx.doi.org/10.14477/jhm.2016.29.5.267
  14. Imre LAKATOS, Proofs and Refutations, Cambridge University Press, 1976. 임레 라카토스 지음, 우정호 옮김, 수학적 발견의 논리, 아르케, 2001.
  15. Donald W. LOVELAND, Richard E. HODEL, S. G. STERRETT, Three Views of Logic: Mathematics, Philosophy, and Computer Science, Princeton University Press, 2014.
  16. Donald MACKENZIE, Computers and the Sociology of Mathematical Proof, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 128-146.
  17. Gregory H. MOORE, The Emergence of First-Order Logic, History and Philosophy of Modern Mathematics (Aspray, Kitcher, eds.), Minnesota University Press, 1988, 95-135.
  18. Richard E. NEAPOLITAN, Xia JIANG Artificial Intelligence: With an Introduction to Machine Learning (2nd ed.), CRC Press, 2018.
  19. Alfonso C. Avila DEL PALACIO, What Is Philosophy of Mathematics Looking for? 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 236-249.
  20. John PAVLUS, A New Approach to Understanding How Machine Think, Quanta Magazine 2019.01.10. https://www.quantamagazine.org/been-kim-is-building-a-translator-for-artificial-intelligence-20190110/
  21. Yehuda RAV, Philosophical Problems of Mathematics in the Light of Evolutionary Epistemology, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 71-96.
  22. REE Sangwook, KOH Youngmee, The Aims of Education in the Era of AI, Journal for History of Mathematics 30(6) (Dec. 2017), 341--351. http://dx.doi.org/10.14477/jhm.2017.30.6.341
  23. Alfred R ENYI, A Socratic Dialogue on Mathematics, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 1-16.
  24. Gian-Carlo ROTA, The Pernicious Influence of Mathematics upon Philosophy, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 220-230.
  25. Gian-Carlo ROTA, David SHARP, Mathematics, Philosophy, and Artificial Intelligence...dialogue with Gian-Carlo Rota and David Sharp, Los Alamos Science (1985), 92-104. https://permalink.lanl.gov/object/tr?what=info:lanl-repo/lareport/LA-UR-85-5072
  26. Brian ROTMAN, Toward a Semiotics of Mathematics, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 97-127.
  27. Stuart RUSSELL, Peter NORVIG, Artificial Intelligence: A Modern Approach, 3rd edition, Prentice Hall, 2010. 스튜어트 러셀, 피터 노빅 지음, 류광 옮김, 인공지능: 현대적 접근방식, 제3판, 제이펍, 2016.
  28. Terry STANWAY, From G.H.H. and Littlewood to XML and Maple: Changing Needs and Expectations in Mathematical Knowledge Management, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 147-159.
  29. William P. THURSTON, On Proof and Progress in Mathematics, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 37-55.
  30. Hao WANG, From Mathematics to Philosophy, Routledge & Kegan Paul Ltd, 1974.
  31. Wikipedia, Algorithm. https://en.wikipedia.org/wiki/Algorithm (25 August 2019)
  32. Wikipedia, A.I. Artificial Intelligence. https://en.wikipedia.org/wiki/A.I._Artificial_Intelligence (6 September 2019)
  33. Wikipedia, Deep learning. https://en.wikipedia.org/wiki/Deep_learning (5 September 2019)
  34. Wikipedia, First-order logic. https://en.wikipedia.org/wiki/First-order_logic (26 July 2019)
  35. Wikipedia, Four color theorem. https://en.wikipedia.org/wiki/Four_color_theorem (11 August 2019)
  36. Wikipedia, History of artificial intelligence. https://en.wikipedia.org/wiki/History_of_artificial_intelligence
  37. Wikipedia, Logic. https://en.wikipedia.org/wiki/Logic (17 August 2019)
  38. Wikipedia, Metacognition. https://en.wikipedia.org/wiki/Metacognition (21 July 2019)
  39. Wikipedia, Philosophy. https://en.wikipedia.org/wiki/Philosophy (29 August 2019)
  40. Wikipedia Korea, Mafia(마피아). https://ko.wikipedia.org/wiki/마피아 (2019.08.11.)