Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Elements of Intuitionism' and 'works'

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

---

4 ideas

6. Mathematics / A. Nature of Mathematics / 5. The Infinite / c. Potential infinite

15938

Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism

15939

For intuitionists it is constructed proofs (which take time) which make statements true [Dummett]

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]

23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues

7903	The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]