3 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
1490 | You would have to be very morally lazy to ignore criticisms of your own culture [Nagel] |