The intuitionism and the problem with non-constructive proofs
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Griot : Revista de Filosofia |
Texto Completo: | http://www3.ufrb.edu.br/seer/index.php/griot/article/view/749 |
Resumo: | 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. |
id |
UFRB-4_5b70aa0df377a352ae7d7595df8e7a96 |
---|---|
oai_identifier_str |
oai:seer.www.ufrb.edu.br:article/749 |
network_acronym_str |
UFRB-4 |
network_name_str |
Griot : Revista de Filosofia |
repository_id_str |
|
spelling |
The intuitionism and the problem with non-constructive proofsO intuicionismo e o problema com as provas não construtivasIntuicionismo; Provas matemáticas; Terceiro excluído; Lógicas não clássicas.Intuitionism; Mathematicals Proofs; Excluded Middle; Nonclassical Logic.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.O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para assim falar sobre o problema das provas não construtivas e da consequência em não aceitá-las. Ao tomar a matemática unicamente como um empreendimento de construção mental, o intuicionismo quebra com o realismo platônico dominante e estabelece um debate frutífero sobre os fundamentos da matemática.Universidade Federal do Recôncavo da Bahia2017-06-18info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionPeer-ReviewedEvaluados por los paresAvaliados pelos paresapplication/pdfhttp://www3.ufrb.edu.br/seer/index.php/griot/article/view/74910.31977/grirfi.v15i1.749Griot : Revista de Filosofia; v. 15 n. 1 (2017); 100-1102178-1036reponame:Griot : Revista de Filosofiainstname:Universidade Federal do Recôncavo na Bahia (UFRB)instacron:UFRBporhttp://www3.ufrb.edu.br/seer/index.php/griot/article/view/749/464Copyright (c) 2017 Diego Henrique Figueira de Meloinfo:eu-repo/semantics/openAccessMelo, Diego Henrique Figueira de2020-06-30T18:15:44Zoai:seer.www.ufrb.edu.br:article/749Revistahttp://www.ufrb.edu.br/griot/PUBhttp://www3.ufrb.edu.br/seer/index.php/griot/oai||griotrevista@gmail.com2178-10362178-1036opendoar:2020-06-30T18:15:44Griot : Revista de Filosofia - Universidade Federal do Recôncavo na Bahia (UFRB)false |
dc.title.none.fl_str_mv |
The intuitionism and the problem with non-constructive proofs O intuicionismo e o problema com as provas não construtivas |
title |
The intuitionism and the problem with non-constructive proofs |
spellingShingle |
The intuitionism and the problem with non-constructive proofs Melo, Diego Henrique Figueira de Intuicionismo; Provas matemáticas; Terceiro excluído; Lógicas não clássicas. Intuitionism; Mathematicals Proofs; Excluded Middle; Nonclassical Logic. |
title_short |
The intuitionism and the problem with non-constructive proofs |
title_full |
The intuitionism and the problem with non-constructive proofs |
title_fullStr |
The intuitionism and the problem with non-constructive proofs |
title_full_unstemmed |
The intuitionism and the problem with non-constructive proofs |
title_sort |
The intuitionism and the problem with non-constructive proofs |
author |
Melo, Diego Henrique Figueira de |
author_facet |
Melo, Diego Henrique Figueira de |
author_role |
author |
dc.contributor.author.fl_str_mv |
Melo, Diego Henrique Figueira de |
dc.subject.por.fl_str_mv |
Intuicionismo; Provas matemáticas; Terceiro excluído; Lógicas não clássicas. Intuitionism; Mathematicals Proofs; Excluded Middle; Nonclassical Logic. |
topic |
Intuicionismo; Provas matemáticas; Terceiro excluído; Lógicas não clássicas. Intuitionism; Mathematicals Proofs; Excluded Middle; Nonclassical Logic. |
description |
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. |
publishDate |
2017 |
dc.date.none.fl_str_mv |
2017-06-18 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Peer-Reviewed Evaluados por los pares Avaliados pelos pares |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www3.ufrb.edu.br/seer/index.php/griot/article/view/749 10.31977/grirfi.v15i1.749 |
url |
http://www3.ufrb.edu.br/seer/index.php/griot/article/view/749 |
identifier_str_mv |
10.31977/grirfi.v15i1.749 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
http://www3.ufrb.edu.br/seer/index.php/griot/article/view/749/464 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2017 Diego Henrique Figueira de Melo info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2017 Diego Henrique Figueira de Melo |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal do Recôncavo da Bahia |
publisher.none.fl_str_mv |
Universidade Federal do Recôncavo da Bahia |
dc.source.none.fl_str_mv |
Griot : Revista de Filosofia; v. 15 n. 1 (2017); 100-110 2178-1036 reponame:Griot : Revista de Filosofia instname:Universidade Federal do Recôncavo na Bahia (UFRB) instacron:UFRB |
instname_str |
Universidade Federal do Recôncavo na Bahia (UFRB) |
instacron_str |
UFRB |
institution |
UFRB |
reponame_str |
Griot : Revista de Filosofia |
collection |
Griot : Revista de Filosofia |
repository.name.fl_str_mv |
Griot : Revista de Filosofia - Universidade Federal do Recôncavo na Bahia (UFRB) |
repository.mail.fl_str_mv |
||griotrevista@gmail.com |
_version_ |
1754732699128430592 |