Changes related to "Gentzen's consistency proof"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
5 December 2013
30 November 2013
- (diff | hist) . . Gerhard Gentzen; 23:15 . . (-20) . . 188.8.131.52 (→Work: Wittgenstein never had an aphorism saying "meaning is use", or anything like it. He said that for a large class of cases,the meaning of a word is explained by giving its use in the language. How something is explained is not identification.)