Ludwig - philosophy/logic

LudwigAbap

Resources › philosophy › logic

Bookmarks

bookmark serokell.io · 46 min Incomplete and Utter Introduction to Modal Logic, Pt. 1 logic

bookmark davidbessis.substack.com · 9 min The curious case of broken theorems logic

video youtube.com · 52:10 Steve Awodey – Homotopy Type Theory, Logic & Philosophy | #05 aboutlogic type theory

bookmark lawverearchives.com · 45 min An Interview With F. William Lawvere logic

bookmark ludwigabap.com · 26 min Tools For The Advancement Of Objective Logic: Closed Categories And Toposes category theory

video youtube.com · 51:58 Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025 type theory category theory
video youtube.com · 1:17:34 Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness models logic

bookmark plato.stanford.edu · 52 min Axiomatic Theories of Truth logic
bookmark math.stackexchange.com · 3 min Does truth not exist in ZFC, or is it merely not definable? logic
bookmark people.tamu.edu · 1h 36m Foundations Of Mathematics logic

bookmark plato.stanford.edu · 2 min Proof Theory logic

bookmark plato.stanford.edu · 1h 15m Gödel’s Incompleteness Theorems logic

bookmark cs.cmu.edu · 52 min On The Unusual Effectiveness Of Logic In Computer Science models

video youtube.com · 1:08:49 Why algebraic data types are important - Bartosz Milewski - code::dive 2018 type theory category theory
video youtube.com · 58:16 Limits of Logic: The Gödel Legacy hypercomputation logic
video youtube.com · 14:31 The soundness and completeness of logic logic
video youtube.com · 42:43 "Propositions as Types" by Philip Wadler type theory logic
video youtube.com · 1:08:23 Lambda Calculus vs. Turing Machines (Theory of Computation) models logic

bookmark ludwigabap.com · 6h 46m curry-howard.dvi type theory

bookmark math.ups.edu · 6 min Russell’s Paradox and Possible Solutions logic

bookmark cs.rice.edu · 13 min history.dvi logic

bookmark logicmatters.net · 8 min Category Theory: Lecture Notes and Online Books category theory

bookmark paultaylor.eu · 4h 10m Proofs and Types type systems logic

bookmark archive-pml.github.io · 1h 34m Bibliopolis-Book-retypeset-1984 type systems logic

Subcategories