Towards a Philosophy of Real Mathematics

Innovative approaches to the philosophy of mathematics are explored, questioning the role of computers in generating mathematical proofs and conjectures. The study delves into the use of analogy, Bayesian confirmation theory, and the justification of new concepts. By examining these diverse topics, the book encourages both philosophers and mathematicians to expand their philosophical resources, fostering a deeper understanding of research within their fields. This original work challenges conventional perspectives and promotes interdisciplinary dialogue.