TOWARDS AN EVALUATION OF THE NORMALISATION THESIS ON IDENTITY OF PROOFS: THE CASE OF CHURCH-TURING THESIS AS TOUCHSTONE
AUTOR(ES)
ALVES, TIAGO DE CASTRO
FONTE
Manuscrito
DATA DE PUBLICAÇÃO
2020-09
RESUMO
Abstract This article is a methodological discussion of formal approaches to the question of identity of proofs from a philosophical standpoint. First, an introduction to the question of identity of proofs itself is given, followed by a brief reconstruction of the so-called normalisation thesis, proposed by Dag Prawitz in 1971, in which some of its core mathematical and conceptual traits are presented. After that, a comparison between the normalisation thesis and the more well-known Church-Turing thesis on computability is carried out in three main parts: the first dedicated to highlighting some of the analogies between them; the second, their most remarkable differences; and the third, to the possible relations of dependence between the two. Based on these considerations, some concluding remarks concerning the potential of the normalisation thesis and similar approaches to the question of identity of proofs are made in the last section.
Documentos Relacionados
- Turing systems as models of complex pattern formation
- INFANTS WITH ASTHMA: TOWARDS A MULTIDISCIPLINARY EDUCATION PROTOCOL FOR PRIMARY CARE (thesis)
- PROOF OF AN IDENTITY ON JORDAN ALGEBRAS
- Fatalism as a Metaphysical Thesis
- The identity of priests who belong to the Roman Apostolic Catholic Church and the identity police to the Roman Apostolic Catolic Church.