Haskell is a great logical language and can be used for proofs and has Curry-Howard isomorphic-mathematical-glorious beauty. With that in mind I feel that when ghci says Peano's eighth postulate is false you best listen.
Showing posts with label peano floating-point lame. Show all posts
Showing posts with label peano floating-point lame. Show all posts
Thursday, June 17, 2010
Subscribe to:
Posts (Atom)