Combining Philosophers

All the ideas for Archimedes, Roger M. White and Alan Turing

expand these ideas     |    start again     |     specify just one area for these philosophers

---

5 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic

23505

Aristotelian logic cannot express 'Everyone loves someone' [White,RM]

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry

13007

Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz]

18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines

3193	Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]

3979	The Turing Machine is the best idea yet about how the mind works [Fodor on Turing]

18. Thought / B. Mechanics of Thought / 6. Artificial Thought / c. Turing Test

5321	In 50 years computers will successfully imitate humans with a 70% success rate [Turing]