TOWARDS AN EVALUATION OF THE NORMALISATION THESIS ON IDENTITY OF PROOFS: THE CASE OF CHURCH-TURING THESIS AS TOUCHSTONE

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 so...