All Questions

Filter by
Sorted by
Tagged with
4
votes
2answers
263 views

Can programming help one understand constructive mathematics?

I have read about the principles of constructive mathematics, for example, the principle of excluded middle is not allowed, and now I want to do some exercises to increase my understanding of the ...