Music |
Video |
Movies |
Chart |
Show |
Lecture 56/65: True Statements and Provable Statements (hhp3) View | |
Lecture 55/65: Truth, Meaning, and Proof (hhp3) View | |
Lecture 57/65: Godel's Incompleteness Theorem (hhp3) View | |
Provable Unprovability (Math And Tea) View | |
Lecture 59/65: Computing an Algorithm's Runtime (hhp3) View | |
Lecture 50/65: A Turing Machine That Writes a Description of Itself (hhp3) View | |
Lecture 53/65: The Fixed Point Theorem (hhp3) View | |
16 The Full Theory of N is Undecidable (Axiom Tutor) View | |
Lecture 51/65: The Recursion Theorem (hhp3) View | |
notes section 1-2 (Steven Scheerbaum) View |