| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6424842 | Annals of Pure and Applied Logic | 2012 | 9 Pages |
Abstract
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 Weaver [10]
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Nik Weaver,