News for hackers. Stuff that matters.

A comment on The Exterior Algebra and Central Notions in Mathematics (2015) [pdf]. Parent comment

Re:The Exterior Algebra and Central Notions in Mathematics (... by nextos on Saturday November 18, 2017 @12:10PM (#15729778)
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.

[ Parent | on HN ]
Re:The Exterior Algebra and Central Notions in Mathematics (... by jacobolus on Saturday November 18, 2017 @03:13PM (#15730431)
The 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.
[ Parent | on HN ]