News
Report on The International workshop on Gödel's Incompleteness theorems

From August 16th to August 20th, 2021, the International workshop on Gödel's Incompleteness theorems hosted by the School of Philosophy of Wuhan University was successfully held online. The incompleteness theorems published by Gödel in 1931 profoundly impacted the fields of logic, philosophy, mathematics, theoretical computer science, etc. The motivation of this workshop is to celebrate the 90t...

Events
  • 9
    OCT
    Timothy Williamson Discusses His Own Philosophy ​Speaker: Prof. Timothy Williamson (University of Oxford, UK)Date and Time: 2021.10.30—2021.12.18, on Saturdays, 6:30pm-9:00pm Beijing TimeHost: Prof. Bo CHEN (Wuhan University, China)Prof. Yong CHENG (Wuhan University, China)Platform: Zoom, 学术志网站Language: EnglishOrganizer:School of Philosophy, Wuhan UniversityAbout the speaker:Prof. Timothy Williamson has been the Wykeham Professor of L...
  • 9
    OCT
  • 30
    SEP
  • 5
    AUG
    Online International Workshop on Gödel's Incompleteness Theorems Title: Online International Workshop on Gödel's Incompleteness TheoremsDate: August 16-20, 2021Platform: ZoomHost: School of Philosophy, Wuhan UniversityWebpage: 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, ...
  • 2
    JULY
    2021 Spring Term Lecture Series on Logic and Philosophy for Foreign Scholars Lecture series on Logic and Philosophy (1)Lecture Title:On the Question of Whether the Mind Can be MechanizedSpeaker: Prof. Peter Koellner (Havard University, USA)Date and Time: 2021-04-21, 9:30am-11:30am Beijing Time Platform: Zoom (ID: 652 9596 6662, Password: 900295)Organizer: School of Philosophy, Wuhan University Interlocutors: Dr. Zesheng Chen (University of California, Irvine, USA)Dr. Zh...
  • 2
    JULY
    2021 Spring Term Lecture Series on Logic and Foundations of Mathematics for Foreign Scholars Lecture series on Logic and Foundations of Mathematics (10)Lecture Title: Proof Theory: From the Foundations of Mathematics to Applications in Core MathematicsSpeaker: Prof. Ulrich Kohlenbach (Technical University of Darmstadt, Germany)Date and Time: 2021-03-09, 16:00-18:00 Beijing time (UTC 8:00-10:00)Platform: Zoom (ID: 67685850217, Password: 20210309)Organizers: School of Philosophy, Wuhan U...
Annoucements