Title: Online International Workshop on Gödel's Incompleteness Theorems

Date: August 16-20, 2021

Platform: Zoom

Host: School of Philosophy, Wuhan University

Webpage: https://goedel2021.carrd.co

Description:

Gödel's incompleteness theorems published in 1931 are some of the most important and profound results in the foundations of mathematics, and have had wide influence on the development of logic, philosophy, mathematics, computer science as well as other fields. This year 2021 is the 90th year after the publication of Gödel's incompleteness theorems. The motivation of this workshop is to promote the academic communication of the recent development of the research related to the well known incompleteness theorems.

The topics of this workshop include  the following issues of incompleteness:

Different proofs of incompleteness

Incompleteness and provability logic

Incompleteness and self-reference

The limit of applicability of incompleteness

Incompleteness and computability theory

Hilbert's program and incompleteness

Concrete incompleteness in mathematics

Incompleteness and philosophy of mathematics

Intensionality of incompleteness

Incompleteness in weak arithmetics

Incompleteness and speed-up