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…
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…
> 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?
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…
> 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]:…
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]:…
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,…
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,…
There is also “Mathematical Writing” by Knuth: https://jmlr.csail.mit.edu/reviewing-papers/knuth_mathematic...
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…
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…
> 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?
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…
> 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]:…
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]:…
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,…
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,…
There is also “Mathematical Writing” by Knuth: https://jmlr.csail.mit.edu/reviewing-papers/knuth_mathematic...