Timeline for Mathematical Foundation for Dimensioned Quantities?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 27 at 8:00 | comment | added | Michael Bächtold | It is the same use, if you accept that the space of lengths, times, masses etc (i.e. physical dimensions) are one dimensional vector spaces. | |
| Mar 26 at 19:46 | comment | added | winitzki | @MichaelBächtold It's not the same use of the term "dimension". The original post is asking about dimensions such as kilograms and meters. You are talking about dimensions of vector spaces. | |
| Mar 26 at 19:46 | comment | added | winitzki | @JamesBowery I would agree with the comment of Andrej Bauer - FOL is irrelevant to the question of dimensional quantities. | |
| Mar 26 at 8:08 | comment | added | Michael Bächtold | "Dimensions play an important role in all natural sciences, but not in mathematics" This is not true. Dimensions, as the ones appearing in physics and natural sciences, also play an important role in mathematics, for for instance in the form of "abstract" one dimensional vector spaces (that are not canonically isomorphic to $\mathbb{R}$), or more interestingly in the form of line bundles, which leads to K-theory for instance. | |
| Mar 25 at 21:21 | comment | added | James Bowery | Did you miss my comment on FOL? Do you know what FOL is and its bearing on both the foundation of mathematics and observations of the empirical world? | |
| Mar 25 at 20:07 | history | answered | winitzki | CC BY-SA 4.0 |