Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [intuitionistic-logic]

The tag has no usage guidance.

5
votes
1answer
324 views

Was Kant an Intuitionist about mathematical objects?

In regards to the ontology of mathematics, as far as I can understand, Kant believed that Mathematical objects existed only as features of our perception that influenced how we viewed things-in-...
2
votes
1answer
109 views

Reference Request for an introduction to constructive mathematics and intuitionistic logic

I have become deeply interested in intuitionist and constructivist logics after reading the well phrased answer of joberkmark here: Nondisprovable Claims And some of the works of Brouwer. I am ...
1
vote
1answer
112 views

Intuitionism and physics

Is there a conflict between Brouwer's intuitionism and the claim that the free will must not exist because nature is deterministic ? It seems to me that the act of mental construction of mathematical ...
2
votes
1answer
146 views

understanding intuitionistic logic

Just started a chapter on Intuitionism, and already I'm kinda confused on how to structure a proof in favor of intuitionistic logic. Here are the following definitions I am supposed to use: There ...