4 ideas
18189 | ZFC could contain a contradiction, and it can never prove its own consistency [MacLane] |
18281 | In mathematics everything is algorithm and nothing is meaning [Wittgenstein] |
6606 | Consider: "Imagine this butterfly exactly as it is, but ugly instead of beautiful" [Wittgenstein] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |