Abstract
Gödel’s disjunction is the philosophical thesis according to which either it is impossible to mechanize the mathematical endeavour or else there exist absolutely unsolvable mathematical problems. After briefly describing the historical and theoretical context of the disjunction, we stress its relevance to both philosophy of mathematics and philosophy of mind. We then present a possible proof of the disjunction by highlighting its philosophical and mathematical assumptions as well as the problems of idealization involved. Furthermore, we discuss in detail the two horns of the disjunction together with various attempts to establish their respective validity.
La disgiunzione di Gödel è la tesi filosofica secondo cui o l’abilità matematica umana non è meccanizzabile oppure esistono problemi matematici assolutamente insolubili. Dopo aver brevemente delineato il contesto storico e teoretico della disgiunzione, ne sottolineiamo la rilevanza e per la filosofia della matematica e per la filosofia della mente. Procediamo poi a presentarne una possibile dimostrazione sottolineando gli assunti filosofici e i problemi d’idealizzazione che ne stanno alla base. Discutiamo inoltre in dettaglio i due corni della disgiunzione, soffermandoci su alcuni tentativi di stabilirne la validità e sulle critiche relative.
Citazione
Francesco Beccuti, “La disgiunzione di Gödel”, in “APhEx 18”, 2018, pp. 22.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
Si laurea in matematica a Torino con una tesi in teoria degli insiemi e successivamente a Oxford con una tesi magistrale in informatica teorica. Dopo un periodo a Milano come ricercatore nel campo dell'intelligenza artificiale applicata a problemi industriali, decide di dedicarsi agli studi umanistici prima a Trieste e poi a Udine, dove si laurea in filosofia con una tesi magistrale sul ruolo dell'intuizione in matematica. Ritorna quindi a Torino per un dottorato in matematica incentrato su problemi fondazionali e didattici. Sito personale: www.fbeccuti.it.