Brouwer and Absolutely Unprovable Propositions

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

Moniri Morteza

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: MANTEQ-PAZHUHI (LOGICAL STUDIES) Year:2024 | Volume:15 | Issue:1 Page(s): 137-146

Download Full-Text

Persian Verion

View:

Download:

Cites:

Information Journal Paper

Title

Brouwer and Absolutely Unprovable Propositions

Author(s)

Moniri Morteza | Issue Writer Certificate

Keywords

Intuitionism

Brouwer

Logic

Absolutely unprovable propositions

Abstract

In this article, we discuss Absolutely unprovable propositions from the point of view of Brouwerian Intuitionism. According to Brouwer’s definition, a proposition is absolutely unprovable if the creative mind as an ideal mathematician has a proof that both the proposition itself and its negation are unprovable from a constructive point of view. Brouwer has shown that the existence of such propositions is impossible. In his book on Brouwer and Intuitionism, Mark van Atten has described and elaborated Brouwer’s short proof on this matter. The Persian translator of this book has reconstructed and explained this proof in two different ways. In this paper, we present a more appropriate reconstruction of Brouwer’s proof. In the meantime, we will deal with Gödel’s work in generalizing Brouwer’s result from propositional Logic to first-order predicate Logic. In addition, we will point out that such formalizations of intuitionistic ideas in the formal language of Logic cannot do justice to Brouwer’s ideas.

Multimedia

No record.

Cites

No record.

References

No record.

Cite

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans