3 ms·
> I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway. The appeal and strength of a programming
by xkapastel 7y ago
> I find that the appeal of programming languages, their strength, fades away in the face of pure mathematics anyway.
The appeal and strength of a programming language is its ability to be executed, something that pure mathematics does not and cannot ever have.
- martin__ 7y agoYou might want to look into something called Constructivism: https://en.wikipedia.org/wiki/Constructive_proof https://en.wikipedia.org/wiki/Constructive_proof