O intuicionismo e o problema com as provas não construtivas
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, send...
Main Author: | Diego Henrique Figueira de Melo |
---|---|
Format: | Article |
Language: | Portuguese |
Published: |
Universidade Federal do Recôncavo da Bahia
2017-06-01
|
Series: | Griot: Revista de Filosofia |
Subjects: | |
Online Access: | https://www3.ufrb.edu.br/seer/index.php/griot/article/view/749 |
Similar Items
-
O INTUICIONISMO E O PROBLEMA COM AS PROVAS NÃO CONSTRUTIVAS
by: Diego Henrique Figueira de Melo
Published: (2017-06-01) -
El intuicionismo analítico de Bejarano
by: Jorge Iván Gonzalez
Published: (2022-09-01) -
El intuicionismo de Prichard
by: Mauricio Rengifo Gardeazábal
Published: (2005-01-01) -
Lógica intuicionista I1 : correção e completude
by: Pedro Henrique Paiola, et al.
Published: (2020-02-01) -
APONTAMENTOS EM FILOSOFIA DA LÓGICA
by: Gilson Maicá de Oliveira
Published: (2019-01-01)