Computer Science ∩ Mathematics (Type Theory) - Computerphile

Computer Science ∩ Mathematics (Type Theory) - Computerphile

begin-post-stats

Computerphile • 151K views

end-post-stats begin-duration 15:56 end-duration
Math topics:
_Mathematics_##Mathematics##_Mathematics_##Mathematics##_Mathematician_##Mathematician##_Mathematical_proof_##Mathematical proof##_Integers_##Integers##_1_(number)_##1 (number)##_Object_(philosophy)_##Object (philosophy)##_Integer_##Integer##_Set_theory_##Set theory##_Predicate_(mathematical_logic)_##Predicate (mathematical logic)##_Ordered_pair_##Ordered pair##_Element_(mathematics)_##Element (mathematics)
Other topics:
_Type_theory_##Type theory##_Homotopy_type_theory_##Homotopy type theory##_New_Foundations_##New Foundations##_Type_theory_##Type theory##_Mathematical_logic_##Mathematical logic##_Set_(mathematics)_##Set (mathematics)##_Set_theory_##Set theory##_Proposition_##Proposition##_Mathematical_logic_##Mathematical logic##_Data_types_##Data types##_Boolean_data_type_##Boolean data type##_Data_type_##Data type##_Integer_(computer_science)_##Integer (computer science)
video-id: qT8NyyRgLDQ channel_Computerphile_