Helen Preiß - What Replaces Diagonalisation in Boolos Proof of the First Incompleteness Theorem? @weizsacker-zentrumuniversi3136
Helen Preiß - What Replaces Diagonalisation in Boolos Proof of the First Incompleteness Theorem?  @weizsacker-zentrumuniversi3136
Uploaded August 2021 | Updated September 2026, 1 day ago
This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the Carl-Friedrich-von-Weizsäcker Center, the Kurt Gödel Society and the ERC-funded project Gödel Enigma.

Divided into nine workshops, Preiß' talk was part of the "Diagonalisation" section.

To learn more about the conference and speakers, click here:
bit.ly/3iuV5FI
Helen Preiß - What Replaces Diagonalisation in Boolos Proof of the First Incompleteness Theorem?
Weizsäcker-Zentrum Universität Tübingen |

Helen Preiß - What Replaces Diagonalisation in Boolos' Proof of the First Incompleteness Theorem?

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER