서울대학교

안녕하십니까.
서울대학교 철학사상연구소에서 주관하는 제245회 콜로퀴엄 행사를 안내드립니다.
이번 콜로퀴엄은 University of Chicago의 Kevin Davey 교수를 모시고 "Artificial Intelligence, Mathematical Knowledge, and the Apriori" 
라는 주제로 콜로퀴엄을 진행하고자 하오니, 관심있는 분들의 많은 참여 바랍니다.


- 일    시: 2024. 6. 10. (월) 오후 4:00-6:00
- 장    소: 인문대학 6동403호(철학사상연구소)
- 강연자: Kevin Davey (University of Chicago)
- 제   목: Artificial Intelligence, Mathematical Knowledge, and the Apriori


강연 개요:
The extent to which we can trust AI is a complex issue. In this talk, I examine one aspect of this question by focusing on the use of computers in mathematics. Traditionally, mathematics is considered an a priori discipline, establishing knowledge through purely rational processes rather than experimental methods. Since the 1970s when computers were first used to prove the Four Color Theorem, the involvement of computers has appeared to challenge the status of mathematics as apriori. I argue that using simple computers to aid human reasoning does not undermine the a priori nature of mathematics. However, I also argue that modern AI differs significantly from simpler computers, and that the use of AI in mathematics necessitates additional measures in order for us to trust its outputs. I will try to draw broader conclusions about the type of trust we can place in AI, even outside of mathematics.


강연자 소개:
Kevin Davey is an Associate Professor in the Department of Philosophy at the University of Chicago. He received his PhD from the University of Pittsburgh in 2003, and also has Masters degrees in both physics and mathematics. His main areas of interest are the philosophy of science, the philosophy of mathematics, logic, epistemology and the philosophy of physics. In the general philosophy of science and epistemology he is particularly interested in understanding the character of non-deductive inference, both within and outside the context of science. In the philosophy of mathematics, he is currently engaged in a close study of the origin of proof in both the western and non-western mathematical traditions, and the light that sheds on contemporary debates about the nature of mathematics. In logic, he is currently looking at the way we reason about truth, focusing both on philosophical questions about the nature of the truth predicate and technical questions about formal theories of truth.