Pièce n° 0217
Logique formelle. Gödel etc.
Il s’agit d’un ensemble de notes disparates autour de Gödel et de la logique formelle (démonstration de Gödel, fonctions récursives, formalisation du paradoxe du menteur etc.), Desanti semble notamment prendre des notes sur le livre de P. Rosenbloom, en particulier sur l’algèbre booléenne (cf. p.1sqq. et p.18sqq. du livre de Rosenbloom).