[fr] AUTOUR DE LA THÈSE DE CHURCH ET DE L INTUITIONNISME LOGIQUE

[pt] EM TORNO DA TESE DE CHURCH E DO INTUICIONISMO LÓGICO

[pt] BRUNO RIGONATO MUNDIM

[pt] FENOMENOLOGIA

[pt] INTUICIONISMO

[pt] FORMALIZACAO

[pt] TESE DE CHURCH

[fr] PHENOMENOLOGIE

[fr] INTUITIONISME

[fr] FORMALISATION

[fr] THESE DE CHURCH

[pt] A tese de Church propõe que tanto a noção de computável quanto a de função recursiva (ou equivalentes: máquina de Turing, cálculo lambda) possuem a mesma extensão. Sua peculiaridade, de acordo com as interpretações mais consolidadas, deve-se ao fato de não poder ser matematicamente demonstrada, uma vez que uma das noções envolvidas, a de computável, possui um caráter informal. Neste trabalho, consideraremos diversas críticas à tese de Church, prestando especial atenção às críticas de caráter intuicionista. Acreditamos ter obtido dois resultados, um que diz respeito diretamente à tese de Church, e outro que diz respeito à lógica intuicionista. Quanto ao primeiro, propomos, na contramão de um realismo ingênuo, que os conceitos matemáticos não são imutáveis e que, por essa razão, uma maneira mais adequada de compreender a tese de Church seria levando em consideração a gênese intencional do conceito de computável. Quanto ao segundo resultado, que diz respeito à associação que o intuicionismo faz entre demonstração e verdade, propõe-se uma maneira coerente de conciliar a condição contingente e temporal de posse de uma demonstração com o caráter necessário e atemporal do valor de verdade de proposições matemáticas.

[fr] La thèse de Church suppose que les notions de fonction calculable et de fonction récursive (ou ses équivalents: machine de Turing, lambda-calcul, etc.) possèdent la même extension. Sa particularité, selon les interprétations les plus consolidées, tient au fait qu elle ne peut pas être démontrée mathématiquement, car l une des notions impliquées, celle du calculable, présente un caractère informel. Dans ce travail, nous examinerons plusieurs critiques de la thèse de Church, en accordant une attention particulière aux critiques de caractère intuitionniste. Nous pensons avoir obtenu deux résultats, l un qui se rapporte directement à la thèse de Church, et l autre qui concerne la logique intuitionniste. Quant au premier, nous proposons, contrairement à un réalisme naif, que les concepts mathématiques ne sont pas immuables et que, pour cette raison, une meilleure façon de comprendre la thèse de Church consisterait à prendre en compte la genèse intentionnelle du concept du calculable. Quant au deuxième résultat, qui traite de l association que l intuitionnisme effectue entre démonstration et vérité, nous proposons une manière cohérente de réconcilier la condition contingente et temporelle de possession de la démonstration avec le caractère nécessaire et intemporel de la valeur de vérité des propositions mathématiques.

LUIZ CARLOS PINHEIRO DIAS PEREIRA

ANDRE DA SILVA PORTO

LUIZ CARLOS PINHEIRO DIAS PEREIRA

OSWALDO CHATEAUBRIAND FILHO

ABILIO AZAMBUJA RODRIGUES FILHO

ANDRE DA SILVA PORTO

JEAN BAPTISTE JOINET

2020-02-18

2019-08-26

[pt] TEXTO

application/pdf

PORTUGUÊS

https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=46898@1

https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=46898@3

https://doi.org/10.17771/PUCRio.acad.46898