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

aboutlogic

Deniz Sarikaya, Thorsten Altenkirch


We are a new bi-weekly podcast where logic, mathematics, philosophy, and computer science meet. Lire la suite

Épisodes

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 aboutlogic: premises #03 | Synthetic vs. Analytic Math: Inspired by Emily Riehl

08.07.2026 00:38:14 aboutlogic #15 | Emily Riehl – Higher Category Theory, Homotopy & AI in Math

01.07.2026 00:58:33 aboutlogic: premises #02 | Hilbert’s Hotel & Cantor’s Infinity: The Story of Set Theory

24.06.2026 00:26:57 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
22
Durée moyenne
40 minutes
Fréquence de publication
Bihebdomadaire



Découvrez aussi :

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