Further Works based on Gödel's "Eine Interpretation des Intuitionistischen Aussagenkalküls"

Leon Dirmeier (Freie Universität Berlin)

The talk will be focused on the consequences of the described translation in "Eine Interpretation des intuitionistischen Aussagenkalküls" (1933). In this paper Gödel conjectured, that the converse of his translations would also hold. We will take a look at "Some Theorems About the Sentential Calculi of Lewis and Heyting" by McKinsey and Tarski (1948), who used algebraic terms to proove Gödel's conjecture. Finally, we'll give an outlook on different notions of translations by various authors.

Last modified: Fri Feb 15 12:37:24 CET 2019