Korea Logic Day

English로 언어 바꾸기

제2회 한국 논리학의 날 2022, 2022년 1월 14일

World Logic Day Banner Image

한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 철학, 과학, 공학에서 논리학의 역할에 대해 의견을 공유하는 자리를 마련하려고 합니다.

2019년 1월 14일에 제1회 세계 논리학의 날이 개최되었습니다. 매년 논리학의 날을 기념하기 위해 UNESCO 산하 국제 철학 및 인문학 협의회 는 매년 1월 14일을 ‘세계 논리학의 날’로 제정하였습니다. 제 4회 세계 논리학의 날 행사 정보를 위해서는, 세계 논리학의 날 2022을 방문하시기 바랍니다.

왜 1월 14일이 세계 논리학의 날이 되었을까요? 알프레드 타르스키쿠르트 괴델 은 20세기 논리학 발전에 지대한 역학을 한 논리학자입니다. 알프레드 타르스키 는 1901년 1월 14일에 태어났으며 쿠르트 괴델 은 1978년 1월 14일에 생을 마감하였습니다. 이 두 20세기 논리학의 거장을 기리기 위해 1월 14일이 세계 논리학의 날로 제정되었습니다.

중요일정

발표자

이름 소속기관
김동우 CUNY
안기영 한남대학교
양은석 전북대학교
이정욱 카이스트
이효윤 연세대학교
전한울 Cornell University
최승락 서울시립대학교
Selivanova, Svetlana 카이스트
Thies, Holger 교토대학교

발표 일정

  발표자 발표명
09:20 - Opening remark
- 세션 1, chair 김준희 -
09:30 최승락 (서울시립대학교) Dialetheism on Arithmetic: Is there any inconsistent primitive recursive relation?. Slides (pdf)
10:10 - Break
10:20 전한울 (Cornell University) Constructive Ackermann’s interpretation. Slides (pdf)
11:00 이정욱 (KAIST) ACFs are simple as much as infinite sets : An introduction to quantifier elimination. Slides (pdf)
11:40 - Lunch
- 세션 2, chair 김형준 -
13:10 김동우 (CUNY) Exact Truthmaker Semantics: in relation to multi-valued semantics. Slides (pdf)
13:50 이효윤 (연세대학교) Godel’s Incompleteness Theorem; sketch of the rigorous proof. Slides (pdf)
14:30 - Break
- 세션 3, chair 박세원 -
14:40 Selivanova, Svetlana (카이스트) Computational Properties of Differential Equations Solution Operators. Slides (pdf)
15:20 - Coffee break
15:50 안기영 (한남대학교) Recursion, Induction, and Data types in Programming Languages and Proof Assistants. Slides (pdf)
16:30 Thies, Holger (교토대학교) An application of constructive dependent type theory to certified computation over the reals. Slides (pdf)
17:10 - Break
- 세션 4, chair 최승락 -
17:30-18:10 양은석 (전북대학교) Implicational tonoids, embeddability, and representations. Slides (pdf)

등록 및 참가

온라인으로 진행됩니다. 참가를 원하시는 분들은 2022년 1월 12일까지 이메일 주소를 google form을 통해 접수해주세요. 자세한 참가방법은 2022년 1월 13일 접수해주신 이메일로 공지해드립니다.

발표 초록

발표 초록은 https://korealogicday.org/2022/abstracts 에서 찾을 수 있습니다.

조직 및 운영