Logotyp PoddarGratis.se
PoddarGratis.se Lyssna på podden aboutlogic
Top 100Upptäck Min lista
aboutlogic
0 0

aboutlogic

Deniz Sarikaya, Thorsten Altenkirch


aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. Läs mer

Avsnitt

aboutlogic:premises #06 | What Is a Set? A Beginner’s Guide to Set Theory

19.08.2026 00:27:17 aboutlogic #18 | The Hidden History of Logic: Jan von Plato on Gödel, Gentzen & Bernays

13.08.2026 01:02:52 aboutlogic: premises #05 | Dependent Type Theory: A Revolution in Math & Computer Science

05.08.2026 00:27:49 aboutlogic #17 | José Pérez Escobar – Wittgenstein, Turing & the Philosophy of Applied Mathematics

29.07.2026 01:15:39 aboutlogic: premises #04 | The Harry Potter Approach to Proof Assistants – Lean, Agda & AI

22.07.2026 00:28:18 aboutlogic #16 | Schröder & Fisseni – The Language of Mathematics: Frames, Narratives & AI

15.07.2026 00:50:02 Visa alla avsnitt

Om aboutlogic

aboutlogic är en Matematik-podd av Deniz Sarikaya, Thorsten Altenkirch

Programledare
Deniz Sarikaya, Thorsten Altenkirch
Antal avsnitt
25
Genomsnittlig längd
50 minuter
Utgivningsfrekvens
Varannan vecka



Upptäck också:

Hem & trädgård Vetenskap Hockey Mat Samhällsvetenskap Föräldraskap Instruktioner & tips Platser & resor Natur Ledarskap Sagor för barn Sexualitet Flyg Musikhistoria Musikintervjuer Andlighet Språkinlärning Kurser Science fiction Scenkonst Drama Hobbyer Improvisation Filmrecensioner Kost & näring Filmhistoria Fysik Naturvetenskap Musikkommentarer Hantverk Kristendom Judendom Komedifiktion Design Matematik Tekniknyheter Löpning Amerikansk fotboll Rugby Spel Utbildning för barn Förvaltning Filmintervjuer Alternative Health TV Reviews Visual Arts Life Sciences Medicine Astronomy Religion
15
30
Hastighet
1x
stäng
00:00:00
00:00:00