4 ideas
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
Full Idea: Turing showed that any formal process can be specified computationally, and captured by a Turing Machine. Hence logical rules (and arithmetic) could be obeyed not by someone representing and following them, but by causal organisation of the brain. | |
From: report of Alan Turing (works [1935]) by Georges Rey - Contemporary Philosophy of Mind 8.2 | |
A reaction: It is questionable whether logic is an entirely formal process, if it involves truth. You would need an entirely formal notion of truth for that. But a brain can do whatever a flow diagram can do. |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
Full Idea: Archelaus was the first person to say that the universe is boundless. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |
1515 | Pythagoreans believe it is absurd to seek for goodness anywhere except with the gods [Iamblichus] |
Full Idea: The thinking behind Pythagorean philosophy is that people behave in an absurd fashion if they try to find any source for the good other than the gods. | |
From: Iamblichus (Life of Pythagoras [c.290], 137) |