Math's Existential Crisis (Gödel's Incompleteness Theorems) Math's Existential Crisis (Gödel's Incompleteness Theorems) begin-post-stats Undefined Behavior • 40K views end-post-stats begin-duration 6:55 end-duration Math topics: _Proof_theory_##Proof theory##_Independence_(mathematical_logic)_##Independence (mathematical logic)##_Consistency_##Consistency##_Completeness_(logic)_##Completeness (logic)##_Theory_of_computation_##Theory of computation##_Undecidable_problem_##Undecidable problem##_Quantum_computing_##Quantum computing##_Halting_problem_##Halting problem##_Arithmetic_##Arithmetic##_Addition_##Addition##_Arithmetic_##Arithmetic##_Multiplication_##Multiplication Other topics: _Assumption_##Assumption##_Principle_of_explosion_##Principle of explosion##_Axiom_##Axiom##_Measurement_##Measurement##_Logic_##Logic##_Statement_(logic)_##Statement (logic)##_Truth_##Truth##_Mathematical_proof_##Mathematical proof##_Systems_##Systems##_System_##System##_Mathematics_##Mathematics##_Structure_##Structure##_Cognition_##Cognition##_Everything_##Everything##_Science_##Science##_Certainty_##Certainty video-id: YrKLy4VN-7k channel_Undefined_Behavior_ So What Learning Arithmetic , Assumption , Cognition , Logic , Proof theory , Systems , Theory of computation Monday, January 22, 2018 Share Share