15 Nov
2012
15 Nov
'12
9:54 p.m.
="meekerdb" <meekerdb@verizon.net> Floating point arithmetic would an example. But is there an axiomatic foundation of floating point arithmetic as a separate theory - not just as an approximation to real numbers.
Heh, well, of course, sure--one can "axiomatize" any random set of facts, right? But more informally, I've always liked Gosper's formulation: "Flonums are just rationals with a 'Kick Me!' sign taped to their butts."