Logo PodcastGratuit.fr
PodcastGratuit.fr Écoutez le podcast aboutlogic
Top 100Explorer Ma liste
aboutlogic
0 0

aboutlogic

Deniz Sarikaya, Thorsten Altenkirch


aboutlogic is a podcast on logic, foundations of mathematics, philosophy, and theoretical computer science. Lire la suite

Épisodes

aboutlogic: premises #08 | Choice vs. Excluded Middle: A Constructive Paradox

16.09.2026 00:33:25 aboutlogic #20 | Can AI Prove the Riemann Hypothesis? | Tudor Achim (Harmonic)

09.09.2026 00:40:36 aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory

02.09.2026 00:30:22 aboutlogic #19 | Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman

26.08.2026 01:00:44 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 Afficher tous les épisodes

À propos de aboutlogic

aboutlogic est un podcast Mathématiques par Deniz Sarikaya, Thorsten Altenkirch

Animateur
Deniz Sarikaya, Thorsten Altenkirch
Nombre d'épisodes
29
Durée moyenne
40 minutes
Fréquence de publication
Bihebdomadaire



Découvrez aussi :

Éducation Sciences Philosophie Développement personnel Apprentissage des langues Cours Sciences de la Terre Sciences sociales Nature Tuto Éducation pour enfants Astronomie Physique Science de la vie Sciences naturelles Mathématiques Chimie
15
30
Vitesse
1x
fermer
00:00:00
00:00:00