Sign up to save your podcasts
Or
Share aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
From foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher.
Further Reading & Resources:
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production, Creative Direction:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.
View all episodes
By Deniz Sarikaya, Thorsten AltenkirchFrom foundations of computer science, set theory, critical thinking, riddles to the questions how it is to be an academic researcher.
Further Reading & Resources:
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten Altenkirch: http://www.cs.nott.ac.uk/~psztxa/
Deniz Sarikaya: https://www.denizsarikaya.de/
Production, Creative Direction:
Jan-Niklas Meyer: http://www.jammos.com/
Many thanks to the Akademie der Wissenschaften in Hamburg for supporting the first season of the podcast.