aboutlogic #11 | Season 1 Recap: Feedback, Highlights & Season 2 Preview
5/6/20261 hr 4 min
Feedback, Highlights & Season 2 Preview
Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Listen to the podcast on the go: https://aboutlogic.podigee.io/
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/ Creative Production: Jan-Niklas Meyer: http://www.jammos.com/
Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in...
Clips
Transcript preview
First 90 secondsDeniz Sarikaya· Host0:00
We are super happy for all the support we got and it's really unbelievable to have a nearly hour-long podcast on formal sciences with two unexperienced hosts and have like this growth. So if, if we extrapolate from that and in the first three months we grew by a factor of infinity because we started from zero, we will be at like very large cardinals [laughs] in the next year. So that's [laughs] Hello everybody, and welcome to this slightly non-standard episode of About Logic because, um, Season 1 is over. We had 10 guests, 10 conversation interviews, whatever you want to call it. It was a great time and, uh, we are really happy how this was perceived, how many of you joined, listened, the positive comments, the support from the community. We had people sharing the results on X and, um, under this impression, let us maybe start with something. There will be another season. There will be Season 2 starting in two weeks. Um, but for today we wanted to recap shortly, uh, what happened in Season 1 and, uh, to do so maybe let me list a few facts. Um, so first, uh, the first season was supported by the Akademie der Wissenschaften in Hamburg, the Academy of Sciences and Humanities in Hamburg, and we are