dc.contributor.author | Melo, Diego Henrique Figueira de | de |
dc.date.accessioned | 2018-11-29T14:26:15Z | |
dc.date.available | 2018-11-29T14:26:15Z | |
dc.date.issued | 2017 | de |
dc.identifier.issn | 2178-1036 | de |
dc.identifier.uri | https://www.ssoar.info/ssoar/handle/document/60398 | |
dc.description.abstract | This article aims to evaluate the intuitionist problem with non-constructive mathematicals proofs. For this constructivist position the principle of the excluded middle, of classical logic, shouldn't operate on mathematical demonsrations. Non-constructive proofs aren't accepted, and the constructive proofs are the only with positive character. After a brief introduction about intuitionism and its creator, the article will address the relationship between the principle of the excluded middle and the mathematicals demonstrations, so to talk about the problem of non-constructive proofs and the consequences for not to accepting them. Taking the mathematics only as a mental construction project, the intuitionism break with the dominant platonic realism and establishing a fruitful debate on the foundations of mathematics. | de |
dc.language | pt | de |
dc.subject.ddc | Philosophie | de |
dc.subject.ddc | Philosophy | en |
dc.subject.other | Intuitionism; Mathematicals Proofs; Excluded Middle; Nonclassical Logic | de |
dc.title | O intuicionismo e o problema com as provas não construtivas | de |
dc.title.alternative | The intuitionism and the problem with non-constructive proofs | de |
dc.description.review | begutachtet (peer reviewed) | de |
dc.description.review | peer reviewed | en |
dc.source.journal | Griot: Revista de Filosofia | |
dc.source.volume | 15 | de |
dc.publisher.country | BRA | |
dc.source.issue | 1 | de |
dc.subject.classoz | Philosophie, Theologie | de |
dc.subject.classoz | Philosophy, Ethics, Religion | en |
dc.rights.licence | Creative Commons - Namensnennung, Nicht-kommerz. 4.0 | de |
dc.rights.licence | Creative Commons - Attribution-NonCommercial 4.0 | en |
internal.status | formal und inhaltlich fertig erschlossen | de |
dc.type.stock | article | de |
dc.type.document | Zeitschriftenartikel | de |
dc.type.document | journal article | en |
dc.source.pageinfo | 100-110 | de |
internal.identifier.classoz | 30100 | |
internal.identifier.journal | 1416 | |
internal.identifier.document | 32 | |
internal.identifier.ddc | 100 | |
dc.identifier.doi | https://doi.org/10.31977/grirfi.v15i1.749 | de |
dc.description.pubstatus | Veröffentlichungsversion | de |
dc.description.pubstatus | Published Version | en |
internal.identifier.licence | 32 | |
internal.identifier.pubstatus | 1 | |
internal.identifier.review | 1 | |
dc.subject.classhort | 30100 | de |
internal.pdf.wellformed | true | |
internal.pdf.encrypted | false | |
ssoar.urn.registration | false | de |