It shouldn't be called "constructive" but rather "computable". But it's certainly good to see such an implementation, with a bag full of cool tricks, on a billion devices!
-
-
-
That's what they call it, because they based their implementation on this paper: Boehm, H.J. The constructive reals as a Java library. J. Logic and Algebraic Programming 64, 1 (2005), 3–11.
- Još 6 drugih odgovora
Novi razgovor -
-
-
"There is nothing so practical as a good theory". It's great to see this work realised in such an impactful way.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
-
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.