aboutlogic Teaser | A Podcast on Logic, Mathematics & Philosophy
Show notes
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.
Show transcript
00:00:05: Hi there, I'm Dennis, a postdoctoral researcher from the Freie University of Brussels.
00:00:10: And together with Thorsten Eilenke, he was a professor for computer science in Nottingham, I'm happy to welcome you to About Logic.
00:00:17: This is a place where we want to discuss aspects of logic, foundations of mathematics, computer science, and philosophy, together with leading experts in interviews, as well as with you all in the comments section.
00:00:31: So, I hope you all have fun.
New comment