Comment by bluGill
3 days ago
The 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.
You 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.