« first day (316 days earlier)      last day (424 days later) » 

user131753
2:07 PM
@Conifold I suppose you were responding to this comment of mine. If that's the case then the part which I have difficulty to understand is the following (quotes from your answer), "If we add the negation of the Godel sentence to Peano arithmetic Godel's proof presumably produces a contradiction".
 
user131753
I want to know precisely what contradiction were you talking about here and how to obtain it.
 
user131753
Recently I have found and eventually bookmarked a conversation between user21820 and me regarding your answer which puzzled me at that time. If you are interested then you can see the conversation here.
 
Conifold
Conifold
6:52 PM
@user170039 Russell was writing neither precisely nor formally, he certainly was not familiar with the language of models, nor does it fit here. The idea of Principia was of an all-encompassing language where the kinds of distinctions Godel was making are not possible, and true=provable. In such a scheme having an unprovable statement which is then proved to be true is a contradiction on its face.
 

« first day (316 days earlier)      last day (424 days later) »