Elongations of Jupiter's Fifth Satellite, 1898 April 10 to June 19

19 April 2013 − − François Jacob . 17 June 1920

First Draft : April 10 , 2000 Second Draft : April 25 , 2000 Third Draft : May 24 , 2000 Fourth Draft : June 1 , 2000 Fifth Draft :

19 April 2013 − − François

19 April 2013 − −

Draft : June 19 ,

In their 2000 paper, “A Note on Wittgenstein’s ‘Notorious Paragraph’ about the Gödel theorem,” Juliet Floyd and Hilary Putnam present a new analysis of Wittgenstein’s “notorious” remarks on Gödel’s first incompleteness theorem. A substantial portion of this analysis focuses on the following key claim. Let “P” be the “I am not provable” sentence from Gödel’s proof of incompleteness, and let “PM”...