2026-08-31

• bookmark xorshammer.com · 5 min The Spectrum From Logic to Probability

2026-05-06

• bookmark brinkley.blog · 13 min Tag: Homotopy Type Theory type theory

2026-04-182

• bookmark en.wikipedia.org · 21 min Reverse mathematics
• bookmark derangedmathematician.substack.com · 7 min On Nonconstructive Proofs that there is a Solution

2026-04-05

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

2026-04-03

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

2026-03-23

• bookmark arxiv.org · 9h 21m 2212.11082 type theory

2026-03-03

• bookmark openreview.net · 17 min Universal Causal Inference in a Topos category theory

2026-01-282

• bookmark grossack.site · 5 min A Proof that there's No Constructive Proof of the Intermediate Value Theorem category theory
• bookmark grossack.site · 12 min Examples of Syntax/Semantics Theorems Throughout Math

2026-01-17

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

2026-01-11

• bookmark math.andrej.com · 5 min On a proof of Cantor's theorem

2026-01-09

• bookmark plato.stanford.edu · 1h 34m Alfred North Whitehead metaphysics

2025-12-25

• video youtube.com · 1:17:34 Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness modelslogic

2025-12-133

• 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

2025-11-062

• bookmark plato.stanford.edu · 41 min Platonism in the Philosophy of Mathematics metaphysics
• bookmark plato.stanford.edu · 2 min Proof Theory logic

2025-11-052

• video youtube.com · 1:28:15 "From Experience to Math" by Chris Fields consciousnessmetaphysics
• video youtube.com · 51:17 "Substrate-dependent mathematics hypothesis" by Olaf Witkowski metaphysics

2025-08-194

• bookmark plato.stanford.edu · 1h 15m Gödel’s Incompleteness Theorems logic
• bookmark scottaaronson.blog · 5 min What Alan T. did for his PhD people
• bookmark scottaaronson.com · 18 min Lecture 3: Gödel, Turing, and Friends models
• bookmark scottaaronson.blog · 18 min The Complete Idiot's Guide to the Independence of the Continuum Hypothesis: Part 1 of <=Aleph_0 history

2025-08-04

• bookmark plato.stanford.edu · 1h 48m Wittgenstein’s Philosophy of Mathematics historyhistory

2025-07-30

• bookmark ryanbrewer.dev · 1 min Par Part 1: Sequent Calculus type theory

2025-07-29

• bookmark substack.com · 1 min How does Lean work and what can it prove? proof assistantstype theory

2025-07-25

• bookmark danielgratzer.com · 1 min Lectures on Principles of Dependent Type Theory type theory

2025-07-242

• video youtube.com · 1 min Japan 🇯🇵 Math Olympiad Question | Find X
• video youtube.com · 1:16:05 What Is an Interactive Theorem Prover? | Kevin Buzzard proof assistantstype theory

2025-07-2220

• video youtube.com · 23:54 Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE] complexity
• video youtube.com · 46:44 Proofs in mathematics epistemology
• video youtube.com · 14:28 This Will Make You Better at Mathematics FOREVER
• video youtube.com · 1 min set theory fundamentals
• video youtube.com · 3 min Prove if x ≠ 0, then (x^-1)^-1 = x (ILIEKMATHPHYSICS)
• video youtube.com · 58:16 Limits of Logic: The Gödel Legacy hypercomputationlogic
• video youtube.com · 14:31 The soundness and completeness of logic logic
• video youtube.com · 7:53 When Proof By Induction Fails
• video youtube.com · 20:50 Let's code math | Lean4 | Theorem prover proof assistants
• video youtube.com · 1 min Your proofs are TRASH! Episode 1: Roasting myself
• video youtube.com · 1 min Your proofs are TRASH! Episode 3 [ReUpload]
• video youtube.com · 42:43 "Propositions as Types" by Philip Wadler type theorylogic
• video youtube.com · 34:38 Formalizing a proof in Lean using Github copilot and canonical proof assistants
• video youtube.com · 31:44 Formalizing a proof in Lean using Claude and o4 proof assistants
• video youtube.com · 3:14:34 Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
• video youtube.com · 1:15:45 John Conway: Surreal Numbers - How playing games led to more numbers than anybody ever thought of
• video youtube.com · 59:11 Terence Tao - Machine-Assisted Proofs (February 19, 2025)
• video youtube.com · 40:14 Type Theory in Computer Science, Linguistics, Logic type theory
• video youtube.com · 1:08:23 Lambda Calculus vs. Turing Machines (Theory of Computation) modelslogic
• video youtube.com · 54:16 A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks functional

2025-07-16

• bookmark blog.goedel-prover.com · 3 min Goedel-Prover-V2

2025-06-26

• bookmark lean-lang.org · 26 min 2.8. What makes dependent type theory dependent?🔗

2025-03-18

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

2025-02-25

• bookmark arxiv.org · 1 min Programming Really Is Simple Mathematics design

2025-01-25

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

2024-12-172

• bookmark arxiv.org · 1 min Logic and linear algebra: an introduction category theory
• bookmark rjlipton.com · 3 min Logical Complexity of Proofs complexity

2024-12-16

• bookmark paultaylor.eu · 4h 10m Proofs and Types type systemslogic

2024-12-07

• bookmark turing100.acm.org · 25 min TuringConf models

2024-12-032

• bookmark math.ucr.edu · 12 min Topos Theory in a Nutshell category theory
• bookmark us.metamath.org · 2h 0m Proof Explorer

2024-11-12

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

2024-07-27

• bookmark research.swtch.com · 25 min Minimal Boolean Formulas boolean satisfiability

2024-06-06

• bookmark kolegite.com · 16h 13m The Art of Computer Programming, Vol. 4 Fascicle 6 boolean satisfiability

2024-04-06

• bookmark ludwigabap.com · 20h 33m Ludwig Wittgenstein: The Duty of Genius history