Change the language to 한국어
We aim to bring logicians in Korea together. We will celebrate World Logic Day proclaimed by UNESCO, and exchange opinions on current roles of logic in philosophy, science, and engineering.
On 14 January 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations and associations active in mathematics, philosophy, computer science, engineering, economics, and cognitive science. For future annual celebrations of World Logic Day, it was officially claimed the Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH) on 13 November 2019. This year is for the fourth World Logic Day. For more events in other countries, please visit World Logic Day 2022.
Why is 14 January for World Logic Day? Nobody can disagree that Alfred Tarski and Kurt Gödel were most influential logicians in the 20th century. Alfred Tarski was born on 14 January 1901 and Kurt Gödel died on 14 January 1978. In memory of these two greatest logicians in the 20th century, 14 January is decided to be the day.
|Ahn, Ki Yung||Hannam University|
|Choi, Seungrak||University of Seoul|
|Jeon, Hanul||Cornell University|
|Lee, Hyoyoon||Yonsei University|
|Thies, Holger||Kyoto University|
|Yang, Eunsuk||Jeonbuk National University|
|-||Session 1, chair Kim, Joonhee||-|
|09:30||Choi, Seungrak (University of Seoul)||Dialetheism on Arithmetic: Is there any inconsistent primitive recursive relation?. Slides (pdf)|
|10:20||Jeon, Hanul (Cornell University)||Constructive Ackermann’s interpretation. Slides (pdf)|
|11:00||Lee, Junguk (KAIST)||ACFs are simple as much as infinite sets : An introduction to quantifier elimination. Slides (pdf)|
|-||Session 2, chair Kim, Hyeungjoon||-|
|13:10||Kim, Dongwoo (CUNY)||Exact Truthmaker Semantics: in relation to multi-valued semantics. Slides (pdf)|
|13:50||Lee, Hyoyoon (Yonsei University)||Godel’s Incompleteness Theorem; sketch of the rigorous proof. Slides (pdf)|
|-||Session 3, chair Park, Sewon||-|
|14:40||Selivanova, Svetlana (KAIST)||Computational Properties of Differential Equations Solution Operators. Slides (pdf)|
|15:50||Ahn, Ki Yung (Hannam University)||Recursion, Induction, and Data types in Programming Languages and Proof Assistants. Slides (pdf)|
|16:30||Thies, Holger (Kyoto University)||An application of constructive dependent type theory to certified computation over the reals. Slides (pdf)|
|-||Session 4, chair Choi, Seungrak||-|
|17:30-18:10||Yang, Eunsuk (Jeonbuk National University)||Implicational tonoids, embeddability, and representations. Slides (pdf)|
The event will be held online. Please leave your email address through this google form by 12 January 2022. The instruction on how to attend the event will be shared on 13 January 2022.
The talk abstracts can be found at https://korealogicday.org/2022/abstracts