Il primo teorema di Gödel e l'indeterminabilità del riferimento (incompletezza sintattica, insaturabilità semantica) - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Article Dans Une Revue Epistemologia Année : 2004

Il primo teorema di Gödel e l'indeterminabilità del riferimento (incompletezza sintattica, insaturabilità semantica)

Résumé

Perché la costruzione di Ippaso di Metaponto, stando alla leggenda, gli guadagnò la maledizione di Pitagora? Perché la scoperta che nella più familiare delle figure piane la diagonale non si lascia dividere dal suo lato, superando i confini della teoria arcaica del numero, decretava l'impossibilità ontologica di determinare ogni fenomeno mediante i numeri naturali e le loro relazioni. L'antico crimine di Ippaso è stato spesso associato a un'altra moderna "dimostrazione d'impossibilità": quella espressa dai celeberrimi risultati gödeliani di incompletezza. Secondo un'interpretazione scontata, i teoremi di incompletezza sancirebbero un limite costitutivo dei formalismi logico-matematici di fronte al ragionamento non formalizzato o, se si vuole, "intuitivo". Ma i risultati di Gödel vengono anche abbinati, in modo altrettanto scontato, alla dialettica.

Mots clés

Fichier non déposé

Dates et versions

halshs-00790976 , version 1 (21-02-2013)

Identifiants

Citer

Francesco Berto. Il primo teorema di Gödel e l'indeterminabilità del riferimento (incompletezza sintattica, insaturabilità semantica). Epistemologia, 2004, 27, pp.29-54. ⟨10.1400/23316⟩. ⟨halshs-00790976⟩
122 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More