8728
|
Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer]
|
|
Full Idea:
Mathematics rigorously treated from the point of view of deducing theorems exclusively by means of introspective construction, is called intuitionistic mathematics. It deviates from classical mathematics, which believes in unknown truths.
|
|
From:
Luitzen E.J. Brouwer (Consciousness, Philosophy and Mathematics [1948]), quoted by Stewart Shapiro - Thinking About Mathematics 1.2
|
|
A reaction:
Clearly intuitionist mathematics is a close cousin of logical positivism and the verification principle. This view would be anathema to Frege, because it is psychological. Personally I believe in the existence of unknown truths, big time!
|
5845
|
Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon]
|
|
Full Idea:
Niceratus said that his father, because he was concerned to make him a good man, made him learn the whole works of Homer, and he could still repeat by heart the entire 'Iliad' and 'Odyssey'.
|
|
From:
Xenophon (Symposium [c.391 BCE], 3.5)
|
|
A reaction:
This clearly shows the status which Homer had in the teaching of morality in the time of Socrates, and it is precisely this acceptance of authority which he was challenging, in his attempts to analyse the true basis of virtue
|