The Stack Overflow podcast is back! Listen to an interview with our new CEO.

All Questions

Filter by
Sorted by
Tagged with
12
votes
3answers
736 views

How come intuitive thinking is related to constructing a proof?

I am researching Constructivism and Intuitionism. I can't understand why Intuitionism and Intuitionistic Logic are named as they are. Intuitionistic logic requires constructing a proof of every ...