Viewing profile — cionx

I don’t understand this argument. Just because functional extensionality is undecidable for arbitrary functions doesn’t mean that it is undecidable for every class of functions. In…

It’s also the standard notation for zero objects, i.e., for terminal objects that are also initial. This entails all abelian/additive/preadditive categories, such as categories of …

> every finite set of vectors, with your favorite metric, can be embedded in euclidean space with at most ~41% relative error I’ve never heard of this before. Do you have a referen…

I think these are two different questions: - Why care about radicals? - Why try to solve polynomial equations in terms of radicals? For the first question: Taking Nth powers is a f…

> Lamport says that either pronunciation is acceptable […]. This fits what Knuth said about the issue in 2006: “[…] lah-tek, lay-tek, the author never has decided how to pronounce …

Barany published his findings as a short article in Nature [1]. He also talked about the topic in an episode of the podcast “My Favorite Theorem” [2]. [1]: https://www.nature.com/a…

MathJax 3 currently only supports the default font, as more general font support is still under development [1]. According to the relevant GitHub issue, font support is planned to …

Variable names in mathematics have no intrinsic meaning (as they have, for example, in physics). In a mathematical text, every occuring variable must be properly defined. This is m…

There is also “Mathematical Writing” by Knuth: https://jmlr.csail.mit.edu/reviewing-papers/knuth_mathematic...