Skip to content
sahil.science
Questions
Answers
Topics
Almanac
Papers
About
C⁶
2026
← Questions
Open question
How did Vladimir Voevodsky's homotopy theory for algebraic varieties let him prove Milnor's conjecture?
Mathematical Logic and Foundations
Topology
Sources that address it
Fields Medal
almanac
Related questions
How did Grigori Perelman use Ricci flow and a surgery procedure to overcome the obstacle that had stopped Richard Hamilton?
How did Jean-Pierre Serre use sheaf theory to give topologists a rigorous language for local-to-global questions?
How did Raymer and Smith use knot theory to classify the tangles that formed when they tumbled string in a box?
How did René Thom's cobordism work later lead him to develop catastrophe theory?
How did Vaughan Jones discover a new knot invariant while working on an unrelated problem in operator algebras?
How did string length and tumbling time affect the number and complexity of knots that formed?
How do modern proof assistants like Coq and Lean rely on the Curry-Howard correspondence to verify mathematical proofs?
How does temporal logic let you express properties like 'the system will eventually respond' with mathematical precision?