Decimal notion may be cumbersome, but the base to which we represent floats hardly matters. Conversely, non computable axiomatic definitions are problematic to computer scientists, since they cannot refer to real (implementable) objects

→ View original post on X — @plinz