3 ms·
Contemporary mathematics is duck typed.
by anon291 2y ago
Contemporary mathematics is duck typed.
- bluGill 2y agoUsually but when it matters (which is rare) the can use types.
- anon291 2y agoSo, what was the purpose of the conversation then? In the vast majority of cases, in most normal mathematical manuscripts, '3.0' is '3'. There is no distinction.
- bluGill 2y agoThe point is to refute the claim that math never uses a bunch of computer concepts like types - those concepts all have roots in formal math theories and so the claim is false. That that theory is not of much use in the vast majority of math doesn't mean there is no math behind it.
- anon291 2y agoYou said: > The right answer they were looking for was 3, not 3.0. Adding that .0 implies a precision which is not correct. In contemporary mathematics, 3 is 3.0 . Both 3 and 3.0 belong to the set of integers. There is no additional precision being demonstrated by adding a 0 at the end of the 3. This is simple notation, not refering to a new concept.