5 ideas
12427 | All of mathematics is properties of the whole numbers [Kronecker] |
10091 | God made the integers, all the rest is the work of man [Kronecker] |
8840 | There are five possible responses to the problem of infinite regress in justification [Cleve] |
8841 | Modern foundationalists say basic beliefs are fallible, and coherence is relevant [Cleve] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |