Combining Texts

Ideas for 'Dialectic of Enlightenment', 'What Required for Foundation for Maths?' and 'Convergence'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

2 ideas

2. Reason / D. Definition / 2. Aims of Definition

17774	Definitions make our intuitions mathematically useful [Mayberry]
	Full Idea: Definition provides us with the means for converting our intuitions into mathematically usable concepts.
	From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-1)

2. Reason / E. Argument / 6. Conclusive Proof

17773	Proof shows that it is true, but also why it must be true [Mayberry]
	Full Idea: When you have proved something you know not only that it is true, but why it must be true.
	From: John Mayberry (What Required for Foundation for Maths? [1994], p.405-2)
	A reaction: Note the word 'must'. Presumably both the grounding and the necessitation of the truth are revealed.