Periodic Reporting for period 3 - GODELIANA (The Gödel Enigma: Unveiling a Hidden Logical Heritage)

Research in logic and foundations of mathematics received an enormous impact through the incompleteness theorems that Kurt Gödel published in 1931. They are among the most iconic scientific achievements of the 20th century. These results led to the development of true formal...