4 ideas
17914 | He made a molten sea, which was ten cubits across, and thirty cubits round the edge [Anon (Kings)] |
Full Idea: And he made a molten sea, ten cubits from the one brim to the other; it was round all about, and his height was five cubits: and a line of cubits did compass it round about. | |
From: Anon (Kings) (11: Book of Kings 1 [c.550 BCE], 7:23) | |
A reaction: In the sixth century BCE, this appears to give 3 as the value of Pi, though perhaps it shouldn't be taken too literally! |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |
Full Idea: A theory of abstraction is any account that reconstructs mathematical theories using second-order abstraction principles of the form: §xFx = §xGx iff E(F,G). We ignore first-order abstraction principles such as Frege's direction abstraction. | |
From: R Cook / P Ebert (Notice of Fine's 'Limits of Abstraction' [2004], 1) | |
A reaction: Presumably part of the neo-logicist programme, which also uses such principles. The function § (extension operator) 'provides objects corresponding to the argument concepts'. The aim is to build mathematics, rather than the concept of a 'rabbit'. |
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. |