Questions tagged [intuitionism]
The intuitionism tag has no usage guidance.
5
questions
3
votes
2
answers
103
views
Objection to indirect proof in Intuitionism
From my understanding, Brouwer's conception of intuitionism is that mathematical objects only exist in the mind once they have been constructed. And we can create constructions using computable ...
- 237
5
votes
3
answers
1k
views
Is intuitionistic mathematics situated in time?
Mathematics, or at least classical mathematics (that is, mathematics based on classical logic), is thought to be timeless. A theorem that is proven to be true in classical mathematics was true always ...
- 7,706
2
votes
4
answers
2k
views
Do intutionists think the law of the excluded middle is universally, metaphysically false?
The law of the excluded middle (LEM) is that every well-formed formula of a sound logical system is either true or false. In systems that do not reject the law of the excluded middle, there can be ...
- 2,537
4
votes
4
answers
455
views
What is intuitionistic mathematics?
What is intuitionistic mathematics?
What are its claims, and what are their justifications?
1a. Intuitionism as a philosophy.
L. E. J. Brouwer is credited as the originator of intuitionistic ...
- 2,537
35
votes
3
answers
5k
views
How is Gödel's incompleteness theorem interpreted in intuitionistic logic?
Classically, one sets up an axiomatic system with a formal deduction system & an interpretation in a model. Generally it is sound, that is: a formally deduced theorem is also true when interpreted ...
- 47.9k