Lesezeichen und Publikationen teilen - in blau!
Melden Sie sich mit Ihrem Benutzernamen an.
Ich habe mein Passwort vergessen.
Melden Sie sich mit Ihrem OpenID-Provider an.
As heard on Type Theory Forall: #18 Gödel's Incompleteness Theorems - Cody Roux
Lien de la page web de l'épisode: https://www.typetheoryforall.com/2022/05/19/18-Godel-Incompleteness-Theorems-(Cody-Roux).html
Fichier de l'épisode: https://www.typetheoryforall.com/episodes/episode18.mp3