Gödel's Incompleteness Theorem - Numberphile Gödel's Incompleteness Theorem - Numberphile begin-post-stats Numberphile • 588K views end-post-stats begin-d... +0 Formal sciences Mathematical objects Philosophy of language Reasoning Set theory Truth So What Learning January 12, 2018
How big is infinity? - Dennis Wildfogel How big is infinity? - Dennis Wildfogel begin-post-stats TED-Ed • 1M views end-post-stats begin-duration 7:13 end... +0 Fractions (mathematics) Infinite set theory Irrational numbers Logic Set theory So What Learning January 12, 2018
1.11.9 Russell's Paradox: Video 1.11.9 Russell's Paradox: Video begin-post-stats MIT OpenCourseWare • 1K views end-post-stats begin-duration ... +0 20th-century philosophers Abstraction Articles with example lisp code Elementary mathematics Functions and mappings Logic Logic symbols Set theory So What Learning January 22, 2018
P vs. NP by Sammy Mehra P vs. NP by Sammy Mehra begin-post-stats CS50 • 12K views end-post-stats begin-duration 35:07 end-duration ... +0 Computational complexity theory Formal sciences Graph theory Logic Neuropsychological assessment Set theory So What Learning January 21, 2018
A Hierarchy of Infinities | Infinite Series | PBS Digital Studios A Hierarchy of Infinities | Infinite Series | PBS Digital Studios begin-post-stats PBS Infinite Series • 144K views end... +0 Elementary arithmetic Formal systems Integers Mathematics Set theory So What Learning January 12, 2018
Between any two real numbers is a rational number. Between any two real numbers is a rational number. begin-post-stats Jason Aubrey • 7K views end-post-stats begin-... +0 Elementary arithmetic Elementary mathematics Mathematical logic Mathematical terminology Set theory So What Learning January 22, 2018
Computer Science ∩ Mathematics (Type Theory) - Computerphile Computer Science ∩ Mathematics (Type Theory) - Computerphile begin-post-stats Computerphile • 151K views end-post-stats... +0 Data types Integers Mathematical logic Mathematics Set theory Type theory So What Learning January 19, 2018
RA1.3. Peano Axioms and Induction RA1.3. Peano Axioms and Induction begin-post-stats MathDoctorBob • 13K views end-post-stats begin-duration 14:38 ... +0 Binary operations Comparison (mathematical) Epistemology Functions and mappings Integers Mathematical terminology Proof theory Set theory Theoretical computer science So What Learning January 20, 2018
Topological Spaces Part 1 Topological Spaces Part 1 begin-post-stats John Eliott • 15K views end-post-stats begin-duration 29:13 end-durati... +0 Algebra Infinite set theory Integers Mathematical logic Set theory Topological spaces Topology So What Learning January 21, 2018
What are Numbers Made of? | Infinite Series What are Numbers Made of? | Infinite Series begin-post-stats PBS Infinite Series • 46K views end-post-stats begin... +0 Binary operations Geometric shapes Mathematical logic Mathematical objects Ordinal numbers Ratios Set theory So What Learning January 12, 2018
Infinite Chess | Infinite Series Infinite Chess | Infinite Series begin-post-stats PBS Infinite Series • 257K views end-post-stats begin-duration ... +0 Abstract strategy games Game theory Philosophy of mathematics Set theory So What Learning January 12, 2018
(Axiomatic Set Theory, 1) What is an ordered pair? (Axiomatic Set Theory, 1) What is an ordered pair? begin-post-stats td904587 • 2K views end-post-stats begin-dura... +0 Logic Mathematical logic Set theory So What Learning January 21, 2018
Safe Cracking with Feynman - Numberphile Safe Cracking with Feynman - Numberphile begin-post-stats Numberphile • 818K views end-post-stats begin-duration ... +0 Manhattan project Set theory So What Learning January 21, 2018
Locus (mathematics) Locus (mathematics) begin-post-stats Audiopedia • 13K views end-post-stats begin-duration 5:01 end-duration ... +0 Analytic geometry Complex analysis Elementary geometry Elementary shapes Euclidean geometry Geometry Linear algebra Mathematical logic Metric geometry Set theory Structure So What Learning January 21, 2018
Abstract Algebra: The definition of a Ring Abstract Algebra: The definition of a Ring begin-post-stats Socratica • 89K views end-post-stats begin-duration 3... +0 Abelian group theory Abstract algebra Binary operations Logical expressions Matrix theory Set theory So What Learning January 19, 2018
Kurt Godel: The World's Most Incredible Mind (Part 1 of 3) Kurt Godel: The World's Most Incredible Mind (Part 1 of 3) begin-post-stats globalbeehive • 257K views end-post-sta... +0 Abstract algebra Abstraction Logic Mathematical logic Ontology Philosophers of science Proof theory Set theory So What Learning January 21, 2018