On 22 Nov 2002, Dan Connolly wrote: > I'm somewhat surprised by this (my impression was that the value > space of float was a bunch of open intervals around rationals > or something), but after checking a bunch of details, > I'm convinced. They're always points; just the operators have been changed. (Otherwise it's hard to see how 1+1-1 = 1 with floats as open intervals.) -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 http://ioctl.org/jan/ Goedel would be proud - I'm both inconsistent _and_ incomplete.Received on Saturday, 23 November 2002 05:43:11 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:09 EDT