Mathematics – Logic
Scientific paper
2010-04-13
Mathematics
Logic
13 pages
Scientific paper
The concept of informal mathematical proof considered in intuitionism is apparently vulnerable to a version of the liar paradox. However, a careful reevaluation of this concept reveals a subtle error whose correction blocks the contradiction. This leads to a general resolution of the classical semantic paradoxes. This paper is an expanded version of parts of my earlier paper "Constructive truth and circularity" [arXiv:0905.1681].
No associations
LandOfFree
Intuitionism and the liar paradox does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Intuitionism and the liar paradox, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Intuitionism and the liar paradox will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-282826