logic Mar 10, 2025 · 2 min read An introduction to the deep isomorphism between type systems and intuitionistic logic — where every proof is a program and every proposition is a type.
#type-theory#lambda-calculus#proof-theory#intuitionistic-logic
ai Feb 15, 2025 · 2 min read What makes a hypothesis class learnable? The VC dimension gives a clean combinatorial answer, and the fundamental theorem ties it all together.
#learning-theory#vc-dimension#pac-learning#generalization
logic Jan 20, 2025 · 2 min read A precise walkthrough of the two incompleteness theorems — dispelling common misconceptions and presenting the actual mathematical content.
#godel#formal-systems#foundations#number-theory