filmov
tv
Helen Preiß - What Replaces Diagonalisation in Boolos' Proof of the First Incompleteness Theorem?
Показать описание
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:
Divided into nine workshops, Preiß' talk was part of the "Diagonalisation" section.
To learn more about the conference and speakers, click here:
0:19:43
0:03:27
0:04:39
0:01:01
0:11:44
0:08:22
0:04:20
0:12:12
0:01:18
0:33:30
0:00:16
0:04:56
0:00:42
0:05:10
0:06:55
0:02:17
0:29:50
0:02:36
0:26:55
0:31:27
0:01:54
0:04:40
0:14:15
0:13:59