Kurt Gödel's incompleteness theorems of 1931 are among the most iconic scientific achievements of the 20th century. Gödel's results led to the development of formal languages and algorithmic computability, upon which the first programming languages and computers were built two decades later. There are still several thousand pages of notes of this remarkable figure in the history of logic, left almost completely untouched, as they were written in an obsolete German stenographic script called Gabelsberger. The central aim of our project is to study these unpublished materials and make them available to future generations of logicians and philosophers. The ERC-funded project runs from 2018 to 2023.