[<<][math][>>][..]

https://en.wikipedia.org/wiki/Constructive_analysis IVT: rephrase as approximation algorithm, essentially. This does seem like a more appropriate way to talk about things when computers are involved.

[Reply][About]