18247
|
Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro]
|
|
Full Idea:
In his early writing, Brouwer took a real number to be a Cauchy sequence determined by a rule. Later he augmented rule-governed sequences with free-choice sequences, but even then the attitude is that Cauchy sequences are potential, not actual infinities.
|
|
From:
report of Luitzen E.J. Brouwer (works [1930]) by Stewart Shapiro - Philosophy of Mathematics 6.6
|
|
A reaction:
This is the 'constructivist' view of numbers, as espoused by intuitionists like Brouwer.
|
6019
|
If someone squashed a horse to make a dog, something new would now exist [Mnesarchus]
|
|
Full Idea:
If, for the sake of argument, someone were to mould a horse, squash it, then make a dog, it would be reasonable for us on seeing this to say that this previously did not exist but now does exist.
|
|
From:
Mnesarchus (fragments/reports [c.120 BCE]), quoted by John Stobaeus - Anthology 179.11
|
|
A reaction:
Locke would say it is new, because the substance is the same, but a new life now exists. A sword could cease to exist and become a new ploughshare, I would think. Apply this to the Ship of Theseus. Is form more important than substance?
|