[munich-lisp] Re: Buridan's Paradox [Re: [high-order-munich] Haskell Hackathon Mittwoch 2.04.2014]

[cheater00 .]

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