5 ideas
17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
10670 | A 'singulariser' converts a plural like 'number of' to a syntactically neutral form [Cartwright,H, by Hossack] |
17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
1658 | In early Greece the word for punishment was also the word for vengeance [Vlastos] |