7 ideas
18261 | A simplification which is complete constitutes a definition [Kant] |
9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
18260 | If we knew what we know, we would be astonished [Kant] |
23226 | There is a single mouse neuron which has 862 inputs and 626 outputs [Cobb] |
23216 | The brain is not passive, and merely processing inputs; it is active, and intervenes in the world [Cobb] |