The link is here (link)
It's an attempt to answer these questions:
How is it mathematical techniques and tools are so suited to describe physical processes?
How do mathematical concepts work?
What kinds of knowledge does mathematics provide?
How do we know that a theory does not harbour fatal inconsistencies?
How do mathematicians get and develop their ideas?
How do we judge the value of a technique, theorem or subject?
What constitutes progress in maths?
It proceeds through discussions of these issues in the context of differential equations, functional analysis, infinity, functions, numerical analysis and recursive functions, and the various types of numbers, from the counting numbers to the p-adics. There's a discussion of axiomatics and model theory and a brief look at category theory; the way mathematical ideas are structured and what mathematical knowledge is (epistemology); how we might appraise different mathematical theories (methodology); and what constitutes progress and then a discussion of how to get ideas and solve problems (heuristics).
It proceeds through discussions of these issues in the context of differential equations, functional analysis, infinity, functions, numerical analysis and recursive functions, and the various types of numbers, from the counting numbers to the p-adics. There's a discussion of axiomatics and model theory and a brief look at category theory; the way mathematical ideas are structured and what mathematical knowledge is (epistemology); how we might appraise different mathematical theories (methodology); and what constitutes progress and then a discussion of how to get ideas and solve problems (heuristics).
What there isn't is detailed presentations and rebuttals of existing philosophies of mathematics, what I've called the “where Smith mistakes Jones’ summary of Brown’s critique of Frege’s
misunderstanding of Kant” school of scholarly discussion.