3 ms·
Exterior algebra is elegant. It simplifies some things. But it's mainstream mathematics. For example, it's covered in the little Spivak (not to be confused with
by nextos 9y ago
Exterior algebra is elegant. It simplifies some things. But it's mainstream mathematics. For example, it's covered in the little Spivak (not to be confused with his elementary Calculus book).
As a pure CS person, I'm more interested in advances that push forward constructive mathematics (which has a huge overlap with CS). That's why Martin-Löf's type theory and its further development into HoTT as a new alternative foundation for mathematics is something I'm following with great interest.
- jacobolus 9y agoThe way people interact with differential forms and tangent bundles and so on is somewhat different (and takes much more conceptual machinery) than the way multivectors and geometric algebra (“Clifford algebra”) would best be presented to novices or non-mathematicians.