Finding the limit of incompleteness I 链接的论文不对
Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited 可加上arxiv论文 er-bootstrap/3.3.7/js/bootstrap.min.js">
Homepage of Yong Cheng
Workshops/Conferences/Seminars
Conference
LC24
Title: Logic Colloquium 2024: European Summer Meeting of the Association for Symbolic Logic
Date: 24–28 June 2024
Place: University of Gothenburg, Sweden
Conference
International Meeting
Title: 7th International Meeting of the Association for the Philosophy of Mathematical Practice
Date: 18-21 June 2024
Place: School for Advanced Studies IUSS Pavia, Italy
Place: Oberwolfach Research Institute for Mathematics, Oberwolfach, Germany
Workshop
Oxford logic Workshop
Workshop Title: Syntax, Coding, and Incompleteness
Date：19 Sep-20 Sep 2023
Place：Oxford University, UK
Conference
The European Summer Meeting of the Association for Symbolic Logic
Title: Logic Colloquium 2023
Date： 5 June-9 June, 2023
Place： University of Milan, Italy
Event
Kurt Gödel Award 2023
Question: Does incompleteness in Gödel’s sense play a role in the relationship between micro- and macrophysics, and if so, what consequences would that have?
Deadline: 31st of January 2023
Host: The Kurt Gödel Circle of Friends Berlin with the support of the University of Wuppertal
Conference
The European Summer Meeting of the Association for Symbolic Logic
Title: Logic Colloquium 2022
Date： 27 June-1 July, 2022
Place： Reykjavik University, Iceland
Seminar Series
Proof Theory Virtual Seminar
Seminar series: Proof Theory Virtual Seminar
Date：Starting from October 7, 2020
Support by the Proof Society and the Technical University of Darmstadt. See the link for more details.
Workshop
BIRS-IASM Workshop
BIRS-IASM Workshop: New Frontiers in Proofs and Computation
Date：September 12 to September 17, 2021
Place： The Institute for Advanced Study in Mathematics, Hangzhou, China
Workshop
International Workshop on Gödel's Incompleteness Theorems
Title: International Workshop on Gödel's Incompleteness Theorems (Online)
Date： August 16-20, 2021
Host: School of Philosophy, Wuhan University
Conference
The European Summer Meeting of the Association for Symbolic Logic
Title: Logic Colloquium 2021
Date： July 19th to July 24th, 2021
Place： The Adam Mickiewicz University in Poznań, Poland （online)
Workshop
International conference on incompleteness
Title: Celebrating 90 Years of Gödel's Incompleteness Theorems
Date： July 5-9, 2021.
Organizers: Carl Friedrich von Weizsäcker Center, Kurt Gödel Society, the ERC-funded project Gödel Enigma: Rediscovering Kurt Gödel through his unpublished works, headed by Jan von Plato
