Notes
Understandable FFFFFF Questions FFFFC0 Notes EEEEEE Software 
I want to understand all of mathematics, how to make sense of the big picture, and how the various areas, concepts and truths of math unfold. In 2017, I wrote a Proposal: A Research Program for the Big Picture in Mathematics for a European Philosophy of Science Association fellowship to study at the Munich Center for Mathematical Philosophy. I did not win. Now I am working further.
Videos
Writings
Ideas
Munich People who have the broadest overview of math
Sir Michael Atiyah and the Unity of Mathematics and Physics. Galois group of the octonions Urs Schreiber  It Was 20 Years Ago Today — the Mtheory Conjecture
Maria Droujkova  multiplication methods
David Kazhdan. Reflections on the Development of Mathematics in the 20th Century. Forums
Consider the most basic problems
Voevodsky  Introduction to Motivity Homotopy Theory Twosome (mathematical): Fixed points (as with Mandelbrot set) Problems:
Tools for solving math are all based on finite thinking (except for continuity arguments, etc.) not using the Axiom of Infinity. But the objects of study in mathematics are all essentially infinite  "general"  for example there are infinitely many integers, there are infinitely many values a variable may take, there are infinitely many solutions to the Pythagorean theorem, etc. Generally, mathematical statements (with a free variable) apply to infinitely many (non finite, nonrestricted) situations. That is why infinitary disjunctions are allowed (infinitely many things) but only finitary conjunctions (finite combinations). By analogy, this is how the conscious mind rules the unconscious mind, or how the small ordering orders the large ordering in a visualization. CurryHoward isomorphism Physics, Topology, Logic and Computation: A Rosetta Stone John Baez, Mike Stay Valeria de Paiva Ulrich Kohlenbach Computational content extraction  proofmining Math Overflow about Olivia Caramello Olivia Caramello video lecture notes Olivia Caramello at Glass Bead Laurent Lafforgue supportive of Olivia Caramello 
MathBigPictureNaujausi pakeitimai 
Puslapis paskutinį kartą pakeistas 2018 sausio 07 d., 16:43
