Different Problems, Common Threads - Computing the Difficulty of Mathematical Problems
Joint Mathematics Meetings via YouTube
Overview
Syllabus
Introduction
Mathematical Theorems
Theorems vs Problems
Shorthand
Oracle Approach
Computability
The Halting Problem
The Tree Theorem
Whats a Tree
Is it computable
Building the tree
Using the halting problem
Prime Ideal Theorem
Algorithmic Handing
Oracle Example
The foundational crisis of mathematics
What is reverse mathematics
The Big Five
Proof
Conclusion
Questions
Taught by
Joint Mathematics Meetings