Lecture 2: Contradiction and Induction
★
★
★
★
★
5/5
Mathematical logic
Thema PBCD
Lecture 1: Predicates, Sets, and Proofs
★
★
★
★
★
5/5
The Logic of Quantified Statements (Predicate Logic)
★
★
★
★
☆
4/5
Proof, truth and verification
★
★
★
★
☆
4/5
Reverse mathematics over a weak base theory
★
★
★
★
☆
4/5
What are consistency proofs and what should they be
★
★
★
★
☆
4/5
Reverse Mathematics: classifying theorems
★
★
★
★
☆
4/5
New results on incompleteness and ordinal analysis
★
★
★
★
☆
4/5
Goodstein walks and Gödel incompleteness
★
★
★
★
☆
4/5
Soundness Spectra
★
★
★
★
☆
4/5
The Art of Ordinal Analysis
★
★
★
★
★
5/5
Essential Hereditary Undecidability
★
★
★
★
☆
4/5
The Provability of Consistency: Debunking the Myth
★
★
★
★
☆
4/5
What is concrete incompleteness?
★
★
★
★
☆
4/5
Ali Enayat: Tight Theories
★
★
★
★
☆
4/5
Wilfried Sieg: Gödel in AProS
★
★
★
★
☆
4/5
Sam Sanders: On two topics dear to Kurt Gödel
★
★
★
★
☆
4/5