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
Baxter Dury's cockney drawl will finally grace Australian stages, 20 years after he kicked off his music career. He performs at Rising Festival in Melbourne and Dark Mofo in Hobart this week.