cionx

3 ms·

1.
by cionx 9mo ago
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 the specific situation, let’s say that by an array we mea
2.
by cionx 1y ago
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 modules, vector spaces, or abelian groups. (But th
3.
by cionx 2y ago
> 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 reference?
4.
by cionx 2y ago
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 fairly basic operation, which occurs all the time in mathemat
5.
by cionx 4y ago
> 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 it […].” [1] [1]: https://www.youtube.com&#x2F
6.
by cionx 4y ago
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/articles/d41586-018-00513-8 [2]: https
7.
by cionx 4y ago
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 be part of the next major release, which is supposed to arri
8.
by cionx 6y ago
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 most commonly done before they are used, with formulations li
9.
by cionx 6y ago
There is also “Mathematical Writing” by Knuth: https://jmlr.csail.mit.edu/reviewing-papers/knuth_mathematic...