I have just finished reading "Mathematics - form and function" by Saunders Mac Lane. The main goal of the book is to present the author's philosophy of mathematics, answering the question "what is mathematics?". In doing so, he also answers the question "is mathematics true?" and demonstrates that it is a non-question. He presents mathematics as a set of tightly intervowen formal rules, wherein deduction is only allowed following the "rules of deduction". Continue reading Mathematics - Form and function by Saunders Mac Lane