Workshop on revisiting Gödel's Incompleteness Theorems (25th WCP, August 1-8, 2024, Rome, Italy)

 General abstract 


Journey to the Edge of Reason - The Life of Kurt Gödel by Stephen Budiansky in 2021 (Norton & Company) presents « The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution. Nearly a hundred years after its publication, Kurt Gödel’s famous proof that every mathematical system must contain propositions that are true—yet never provable—continues to unsettle mathematics, philosophy, and computer science. »


This is no exaggeration, so what is there in Gödel's incompleteness theorem that unsettles people until now? Taking a closer look, we find that there is a malaise implicit in Gödel's proof: Gödel claimed to have argued that a paradoxical proposition such as « saying of itself that it is unprovable" is an "undecidable proposition" in a formal system, and thus concluded the incompleteness of the formal system.


We can't help but ask:

  • When "Russell's paradox" appeared in set theory, it was regarded as a crisis, and experts tried hard to resolve it. Then, when this paradoxical proposition "saying of itself that it is unprovable" appeared in Gödel's proof, why didn't experts have the same alertness, instead of treating it as a normal proposition in a formal system?
  • Does Gödel's proof provide a reasonable explanation for the incompleteness of formal systems? In other words, is Gödel's proof logically valid?


To promote academic and public reflection on Gödel's Incompleteness Theorems, we propose to revisit these theorems from different perspectives such as philosophy, epistemology, psychology, logic, mathematics, algorithmic theory and artificial intelligence, to penetrate into the original proof of the theorems in Gödel's 1931 paper, to go beyond the limits of our thinking, and to confront the malaise involved in Gödel's proof together. 


We believe that the aspiration for truth and the seeking of truth is the most fundamental way to dissolve malaise, a quality indispensable when caring for the future of our world, …


Organizing committee  

  • Paola Cattabriga, University of Bologna, Italy

paola.cattabriga@posteo.net     

  • Patrik Eklund, Umeå University, Sweden 

patrik.eklund@umu.se


  • Paul Jorion, Université catholique de Lille, France

pauljorion@gmail.com 

  • Yu LI, Université de Picardie Jules Verne, France

yu.li@u-picardie.fr


  • Luo Mo, Southern University of Science and Technology, Shenzhen, China

luozh@mail.sustech.edu.cn


Comments

Post a Comment

Popular posts from this blog

Meditation on « Russell's silence »

Saunders Mac Lane (1909-2005) was an American mathematician who, together with Samuel Eilenberg, founded category theory. Mac Lane had an interesting anecdote in his autobiography: "Early in my work at Harvard, I had a confrontation with Bertrand Russell. At the time, he was visiting the United States and one of the social science departments at Harvard. The mathematics colloquium invited him to give an address on foundations, which he did: the audience that came was so large that the colloquium had to move from its regular room to a larger room normally used by physicists. Russell proceeded to give an enthusiastic lecture, which, roughly speaking, described the state of mathematical logic as it was in 1920. At the end of his talk, the chairman asked for questions. Being a little disappointed that he hadn 抰  covered any recent results, I asked Russell how he related all this to Hilbert's  recent work on first order logic and to Kurt Goel's spectacular results with his inco...
Read more

Meditation on « Russell’s response to Godel’s theorem »

Alasdair Urquhart's article «  Russell and Gödel »   is very helpful for a comprehensive understanding of Russell's views of Gödel's theorem, where Chapitre 3 is « Russell’s response to Godel’s theorem ». Russell was very careful in his responses to Gödel's theorem, as presented in this article ([1] p.10-14), and Russell never made a simple right or wrong judgement about Gödel's theorem, but was honest in expressing his confusion and doubts : in a 1945 article, Russell described Gödel's theorem as paradox; in a 1950 article, Russell described Gödel's theorem as puzzle; in a 1963 letter to Leon Henkin, Russell expresses his puzzles about Gödel's theorem; and in a 1965 commentary, Russell said that Gödel presented a new difficulty, … Russell's attitude was consistent. In 1965 Russell was invited by Schilpp to write the following commentary on Gödel's work ([1] p.10-14) : Not long after the appearance of Principia Mathematica, G¨odel propounded a ne...
Read more