3 ideas
18469 | God might necessitate that something happen, but He is not the truth-maker for it [Smith,B] |
13416 | Mathematics must be based on axioms, which are true because they are axioms, not vice versa [Tait, by Parsons,C] |
3178 | A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey] |