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/