JenniferRM comments on Rationality quotes: May 2010 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (288)
The first person to come to mind for me was Friedrich Ludwig Gottlob Frege who is famous for basically inventing symbolic logic (specifically, predicate logic with quantified variables). He spent an enormous amount of time working on the thesis that the results of mathematics flow rather directly from little more than the rules of logic plus set theory. He aimed to provide a constructive proof of this thesis.
Bertrand Russell discovered a logical flaw (now called Russell's paradox) in Frege's first book containing the constructive proof when the second book in his series was already in press and communicated it to Frege. Russell wrote of Frege's reaction in a bit of text I recall reading in a textbook on symbolic logic but found duplicated in this document with more details from which I quote:
I don't think science generally lives up to its own ideals... but as I grow older and more cynical I find myself admiring the mere fact that it has those ideals and that every so often I find examples of people living up to them :-)