2021
Cairn
von Plato Jan, « Gödel’s Reading of Peano’s Arithmetices Principia », Philosophia Scientiæ, ID : 10670/1.bza6ga
Pour préparer son article sur la logique mathématique de Russell (1944), Gödel a lu attentivement les Arithmetices Principia de Peano. Les six pages résumant l’œuvre péanienne qu’il a écrites en employant la sténographie de Gabelsberger contiennent une analyse remarquable de la structure formelle des preuves de Peano, en contradiction manifeste avec l’opinion commune selon laquelle le traité de Peano ne contiendrait aucun mécanisme déductif formel.