PL EN


Journal
2010 | 18 | 4 | 49-76
Article title

On the Notion of Truth in Mathematical Intuitionism

Authors
Content
Title variants
PL
O pojęciu prawdy w intuicjonizmie matematycznym
EN
On the Notion of Truth in Mathematical Intuitionism
Languages of publication
PL
Abstracts
PL
The basic philosophical idea of intuitionism is that mathematical entities exist only as mental constructions and that the notion of truth of a proposition should be equated with its verification or the existence of proof. However different intuitionists explained the existence of a proof in fundamentally different ways. There seem to be two main alternatives: the actual and potential existence of a proof. The second pro-posal is also understood in two alternative ways: as knowledge of a method of con-struction of a proof or as knowledge-independent and tenseless existence of a proof. This paper is a presentation and analysis of these alternatives.
Keywords
Journal
Year
Volume
18
Issue
4
Pages
49-76
Physical description
Dates
published
2010-12-01
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2657-5868-year-2010-volume-18-issue-4-article-621
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.