『aboutlogic』のカバーアート

aboutlogic

aboutlogic

著者： Deniz Sarikaya Thorsten Altenkirch
無料で聴く

We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet. aboutlogic features in-depth conversations with people working in and around the foundations of these subjects. We talk about topics ranging from the foundations of computer science and set theory to critical thinking, puzzles, and what academic life is really like—its motivations, frustrations, and surprises. 哲学 数学 社会科学 科学
エピソード
  • aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI

    aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI
    2026/07/15
    aboutlogic #16 | How is mathematical language structured, and what can linguistics teach us about proofs, ambiguity, and storytelling in math? In this episode, Bernhard Fisseni and Bernhard Schröder (University of Duisburg-Essen) join Deniz and Thorsten to explore the frames, narratives, and pragmatic structures behind mathematical texts.
    続きを読む 一部表示
    50 分
  • aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl

    aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl
    2026/07/08
    Inspired by our conversation with Emily Riehl on higher category theory, this aboutlogic: premises episode dives into the synthetic vs. analytic approach in mathematics. Deniz and Thorsten explore how Euclid’s geometry, category theory, and higher categories embody the synthetic approach. Focusing on abstract structures and relationships rather than concrete coordinates or definitions.
    続きを読む 一部表示
    38 分
  • aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math

    aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math
    2026/07/01
    aboutlogic #15 | Emily Riehl (Johns Hopkins University) joins us to explore higher category theory, homotopy, and the role of AI in modern mathematics. From the foundations of category theory to the challenges of formalizing math with proof assistants like Lean, Emily shares her insights on synthetic vs. analytic approaches, the beauty of abstraction, and how AI is changing mathematical research.
    続きを読む 一部表示
    59 分
adbl_web_anon_alc_button_suppression_t1
まだレビューはありません