Es freut mich, dass wir mit Reelen Zahlen nicht programmieren, und stattdessen die viel einfachere IEEE Floats benutzen: http://www.eecs.berkeley.edu/~wkahan/ieee754status/IEEE754.PDF
LG, Damian 2014-03-22 11:41 GMT+01:00 Andreas Abel <andreas.a...@ifi.lmu.de>: > Buridan's Paradox findet seinen Niederschlag auch in der konstruktiven > Mathematik: Es ist unentscheidbar, für zwei reelle Zahlen x und y, ob x > > y. Für jede korrekte berechenbare Funktion gt : R * R -> Bool, also > > gt x y returns True => x > y > gt x y returns False => x <= y > > und jede Zeitdauer t gibt es x,y : R, so dass gt x y terminiert nicht binnen > t. > > Die konstruktive Mathematik wird im Mathematikunterricht und im normalen > Mathestudium ignoriert --- eigentlich ein Skandal. Man bekommt in der > klassischen Mathematikbildung den Eindruck, Eigenschaften von unendlichen > Objekten (wie reellen Zahlen) wären entscheidbar; und muss dann alles > umlernen, wenn man in die Programmierung geht... > > > On 21.03.2014 21:30, Haskell Hackathon wrote: >> >> - wir haben über Buridan's Paradoxon gesprochen: >> >> http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#buridan > > > -- > Andreas Abel <>< Du bist der geliebte Mensch. > > Department of Computer Science and Engineering > Chalmers and Gothenburg University, Sweden > > andreas.a...@gu.se > http://www2.tcs.ifi.lmu.de/~abel/
