6 ideas
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
2427 | Maybe understanding doesn't need consciousness, despite what Searle seems to think [Searle, by Chalmers] |
7389 | A program won't contain understanding if it is small enough to imagine [Dennett on Searle] |
7390 | If bigger and bigger brain parts can't understand, how can a whole brain? [Dennett on Searle] |