참고문헌
- Andrew ABERDEIN, The Informal Mathematical Proof, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 56-70.
- 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.
- William BYERS, How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics, Princeton University Press, 2007.
- Carlo CELLUCCI, "Introduction" to Filosofia e matematica, 18 Unconventional Essays on the Nature of Mathematics, Springer, 2006, 17-36.
- 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).
- Ingrid DAUBECHIES, Big Data' s Mathematical Mysteries, Quanta Magazine 2015.12.03. https://www.quantamagazine.org/big-datas-mathematical-mysteries-20151203/
- Pedro DOMINGOS, The Master Algorithm: How the Quest for the Ultimate Learning Machine Will Remake Our World, Basic Books, 2015.
- William Timothy GOWERS, Does Mathematics Need a Philosophy?, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 182-200.
- 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
- Reuben HERSH, What is Mathematics, Really?, Oxford University Press, 1997. 로이벤 허시 지음, 허민 옮김, 도대체 수학이란 무엇인가?, 경문사, 2003.
- Reuben HERSH, 18 Unconventional Essays on the Nature of Mathematics, Springer, 2006.
- 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
- 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
- Imre LAKATOS, Proofs and Refutations, Cambridge University Press, 1976. 임레 라카토스 지음, 우정호 옮김, 수학적 발견의 논리, 아르케, 2001.
- Donald W. LOVELAND, Richard E. HODEL, S. G. STERRETT, Three Views of Logic: Mathematics, Philosophy, and Computer Science, Princeton University Press, 2014.
- Donald MACKENZIE, Computers and the Sociology of Mathematical Proof, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 128-146.
- Gregory H. MOORE, The Emergence of First-Order Logic, History and Philosophy of Modern Mathematics (Aspray, Kitcher, eds.), Minnesota University Press, 1988, 95-135.
- Richard E. NEAPOLITAN, Xia JIANG Artificial Intelligence: With an Introduction to Machine Learning (2nd ed.), CRC Press, 2018.
- 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.
- 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/
- 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.
- 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
- Alfred R ENYI, A Socratic Dialogue on Mathematics, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 1-16.
- Gian-Carlo ROTA, The Pernicious Influence of Mathematics upon Philosophy, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 220-230.
- 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
- Brian ROTMAN, Toward a Semiotics of Mathematics, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 97-127.
- Stuart RUSSELL, Peter NORVIG, Artificial Intelligence: A Modern Approach, 3rd edition, Prentice Hall, 2010. 스튜어트 러셀, 피터 노빅 지음, 류광 옮김, 인공지능: 현대적 접근방식, 제3판, 제이펍, 2016.
- 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.
- William P. THURSTON, On Proof and Progress in Mathematics, 18 Unconventional Essays on the Nature of Mathematics (Hersh, ed.), Springer, 2006, 37-55.
- Hao WANG, From Mathematics to Philosophy, Routledge & Kegan Paul Ltd, 1974.
- Wikipedia, Algorithm. https://en.wikipedia.org/wiki/Algorithm (25 August 2019)
- Wikipedia, A.I. Artificial Intelligence. https://en.wikipedia.org/wiki/A.I._Artificial_Intelligence (6 September 2019)
- Wikipedia, Deep learning. https://en.wikipedia.org/wiki/Deep_learning (5 September 2019)
- Wikipedia, First-order logic. https://en.wikipedia.org/wiki/First-order_logic (26 July 2019)
- Wikipedia, Four color theorem. https://en.wikipedia.org/wiki/Four_color_theorem (11 August 2019)
- Wikipedia, History of artificial intelligence. https://en.wikipedia.org/wiki/History_of_artificial_intelligence
- Wikipedia, Logic. https://en.wikipedia.org/wiki/Logic (17 August 2019)
- Wikipedia, Metacognition. https://en.wikipedia.org/wiki/Metacognition (21 July 2019)
- Wikipedia, Philosophy. https://en.wikipedia.org/wiki/Philosophy (29 August 2019)
- Wikipedia Korea, Mafia(마피아). https://ko.wikipedia.org/wiki/마피아 (2019.08.11.)