3 ms·
absolutely right. how do you translate from the strings "excitations of quantum fields" to "math with a lot of greek symbols"? Very illuminating is the attempt
by bachback 11y ago
absolutely right. how do you translate from the strings "excitations of quantum fields" to "math with a lot of greek symbols"? Very illuminating is the attempt to convert higher math into computer programs (Bertrand Russell tried this 100 years ago). What is mathematics not reducable to programs, and why isn't physics written in a logic language? It would look like this: http://us.metamath.org/nfegif/mmnf.html http://us.metamath.org/nfegif/mmnf.html
Ultimately you end with set theoretic axioms. But what about functions over time? Category theory is more philosophic than one would think. The true mystery to me is why unconventional thought is so rare. I guess it doesn't pay well to think about things from scratch, certainly in business and also not in science driven by peer-review.
- sieveoferos 11y agoI'm still hoping for something like the "calculus of statement" described in Heinlein's "Blowups Happen." I think that a plurality of axiomatic approaches and formalisms is always better - consider the dialogue between those advocating a change to category-theoretic axioms for modern math and those that want to retain the set-theoretic ones. The debate is very productive. So I think the world needs more thinkers-from-scratch. Shinichi Mochizuki is one such, regarding his work on the "abc conjecture." But his case makes obvious one other reason there's not more from-scratch unconventional thought: it often requires Von Neumann-level intellect to pull off.
- danharaj 11y agoactually, it definitely looks like category theory! http://math.ucr.edu/home/baez/rosetta.pdf http://math.ucr.edu/home/baez/rosetta.pdf