O pojęciu prawdy w intuicjonizmie matematycznym

Filozofia Nauki 18 (4) (2010)
  Copy   BIBTEX

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 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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-03-14

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Zbigniew Tworak
Adam Mickiewicz University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references