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

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

What makes dependent type theory so powerful? In this aboutlogic: premises episode, Deniz and Thorsten explore the evolution of type theory. From simple types to Pierre Martin-Löf’s groundbreaking dependent types. Discover how this innovation transformed mathematics and computer science by allowing types to depend on values, enabling more expressive and precise reasoning.