O pojęciu prawdy w intuicjonizmie matematycznym
On the Notion of Truth in Mathematical Intuitionism

Summary/Abstract: 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 proposal is also understood in two alternative ways: as knowledge of a method of construction of a proof or as knowledge-independent and tenseless existence of a proof. This paper is a presentation and analysis of these alternatives.

• Details
• Contents