[go: up one dir, main page]

19 Jan 26

The article considers structuralism as a philosophy of mathematics, as based on the commonly accepted explicit mathematical concept of a structure. Such a structure consists of a set with specified functions and relations satisfying specified axioms, which describe the type of the structure. Examples of such structures such as groups and spaces, are described. The viewpoint is now dominant in organizing much of mathematics, but does not cover all mathematics, in particular most applications. It does not explain why certain structures are dominant, not why the same mathematical structure can have so many different and protean realizations. ‘structure’ is just one part of the full situation, which must somehow connect the ideal structures with their varied examples.

Very nice philosophy paper by one of the progenitors of category theory on structure. The idea to show a correspondence between Bourbaki and category theory seems like a nice grad school project.

by kawcco 1 month ago

13 Dec 25

We further develop the group-theoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically faster than the standard algorithm. We describe several families of wreath product groups that achieve matrix multiplication exponent less than 3, the asymptotically fastest of which achieves exponent 2.41. We present two conjectures regarding specific improvements, one combinatorial and the other algebraic. Either one would imply that the exponent of matrix multiplication is 2.

Part of Prof. Cohn’s larger matmul program. Don’t completely have the chops for it yet, but definitely something to hold onto.

by kawcco 2 months ago