22 results
7 - Homotopy Type Theory and the Vertical Unity of Concepts in Mathematics
- from Part IV
-
-
- Book:
- What is a Mathematical Concept?
- Published online:
- 26 July 2017
- Print publication:
- 22 June 2017, pp 125-142
-
- Chapter
- Export citation
Preface
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp ix-x
-
- Chapter
- Export citation
10 - Higher-dimensional algebra
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 237-270
-
- Chapter
- Export citation
7 - Lakatos's philosophy of mathematics
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 151-174
-
- Chapter
- Export citation
Index
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 286-288
-
- Chapter
- Export citation
PART IV - THE INTERPRETATION OF MATHEMATICS
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 233-236
-
- Chapter
- Export citation
4 - The role of analogy in mathematics
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 80-100
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp i-vi
-
- Chapter
- Export citation
1 - Introduction: a role for history
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 1-34
-
- Chapter
- Export citation
Towards a Philosophy of Real Mathematics
-
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003
5 - Bayesianism in mathematics
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 103-129
-
- Chapter
- Export citation
2 - Communicating with automated theorem provers
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 37-56
-
- Chapter
- Export citation
PART I - HUMAN AND ARTIFICIAL MATHEMATICIANS
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 35-36
-
- Chapter
- Export citation
9 - The importance of mathematical conceptualisation
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 204-232
-
- Chapter
- Export citation
Appendix
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 271-273
-
- Chapter
- Export citation
6 - Uncertainty in mathematics and science
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 130-148
-
- Chapter
- Export citation
PART III - THE GROWTH OF MATHEMATICS
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 149-150
-
- Chapter
- Export citation
Contents
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp vii-viii
-
- Chapter
- Export citation
3 - Automated conjecture formation
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 57-79
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Towards a Philosophy of Real Mathematics
- Published online:
- 22 September 2009
- Print publication:
- 24 April 2003, pp 274-285
-
- Chapter
- Export citation