Logic and Computation II

Time：2023-03-07 ~ 2023-06-01 Tue, Thu 10:40 - 12:15

Venue：Room 1108 ZOOM: 293 812 9202 PW: BIMSA

Speaker：Kazuyuki Tanaka

Prerequisite

"Logic and Computation I". Those who did not take our course last semester had better consult with the lecturer or TA before enrolling this course. Please find more information on "Logic and Computation I" at https://www.bimsa.cn/newsinfo/749634.html

Abstract

In the last semester, we studied basics of computable functions, first-order logic and complexity theory. In this semester, we move on to Goedel's incompleteness theorems, second-order logic, infinite automata, desciriptive set theory, etc.

Lecturer Intro.

Kazuyuki Tanaka received his Ph.D. from U.C. Berkeley. Before joining BIMSA in 2022, he taught at Tokyo Inst. Tech and Tohoku University, and supervised fifteen Ph.D. students. He is most known for his works on second-order arithmetic and reverse mathematics, e.g., Tanaka's embedding theorem for WKLo and the Tanaka formulas for conservation results. For more details: https://sendailogic.com/tanaka/

DATEMarch 7, 2023

Related News

0
Quantum information and computation
Description:This course is an introduction to theoretical quantum information science. The main goal of this course is to provide an overview of the central concepts and methods in the theory of quantum information and computation, with a potential focus on its interconnections with physics and mathematics, to equip the participants with an adequate background to explore research in theoretical...
1
Introduction to mathematical logic
IntroductionThis course will use a material written by J.Carlström. It can be downloaded byhttps://bimsa.net/doc/notes/logic2008.pdf SyllabusDay 1 Introduction• History and purpose of logic.• Boolean algebras.Inductively defined sets (Ch. 3 of Carlström)• Motivation: What is formal syntax? What are formulas?• The natural numbers; recursion and induction principles• General inductively defi...