Online International Workshop on

Gödel's Incompleteness Theorems

Date: August 16-20, 2021
Platform: Zoom
Host: School of Philosophy, Wuhan University

Participation: If you would like to participate online, please write to [email protected] to receive the Zoom link.

Related Conference: The international conference "Celebrating 90 Years of Gödel's Incompleteness Theorems" in Nürtingen (Germany) from 5 to 9 July 2021.

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 (but not limited to) 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

All invited speakers are expected to give a talk either about the survey of his/her research on incompleteness or about his/her recent work related to incompleteness in the above listed fields, or the combination of the two.

This workshop is organized by School of Philosophy at Wuhan University. We would like to thank the host Wuhan University, as well as the support from the Kurt Gödel Society and the Proof Society.

Organizers

Organising committee (order by name):

  • Yong Cheng (Wuhan University, China)

  • Albert Visser (University of Utrecht, Netherlands)

  • Andreas Weiermann (Ghent University, Belgium)

  • Yue Yang (National University of Singapore, Singapore)

Invited Speakers

Program

The program (pdf) is available here.

Posters