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.abel@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.abel@gu.se http://www2.tcs.ifi.lmu.de/~abel/