Intuitionistic Logic versus Classical Logic - Gödel's Interpretation and Conjectures.

Irina Makarenko (Freie Universität Berlin)

In the article "Eine Interpretation des intuitionistischen Aussagenkalküls", presented in 1932 at the Mathematical Colloquium in Vienna and published in 1933, Gödel described an interpretation of the intuitionistic propositional logic in a system of classical propositional logic enriched with an additional unary operator B (which stands for provability). The main purpose of this talk is to give an overview on the given interpretation and the involved logical systems, and also to discuss the connection between the enriched system and the modal logic S4.


Last modified: Mon Feb 11 10:38:54 CET 2019