Paolo Mancosu is a professor of philosophy whose work delves into the philosophy and history of mathematics and mathematical logic. His current research focuses on neologicism and the philosophy of mathematical practice. He explores the profound connections between abstract thought and its real-world applications, revealing the essence of mathematical principles to readers. His writings are for those seeking insightful explorations into the foundations of logic and mathematics.
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
The post-Nobel history of Boris Pasternak and his partner Olga Ivinskaya reveals the enduring conflict with Soviet Communists surrounding the publication of Doctor Zhivago. Paolo Mancosu's book delves into the complexities of their lives and the repercussions they faced even after Pasternak received the Nobel Prize, highlighting the struggles against censorship and the impact on their personal and professional existence.
Exploring the intersection of phenomenology and the exact sciences, this collection of studies delves into key themes in logic and mathematics from the early twentieth century. Mancosu examines the nature of truth, logical consequence, and mathematical intuition, offering fresh insights into these foundational concepts. His work highlights the evolving understanding of logic and mathematics during this pivotal period, making significant contributions to contemporary discussions in the field.
Provides an account of the relationship between mathematical advances of the 17th century and the philosophy of mathematics of the period. Starting with the Renaissance debates on the certainty of mathematics, the book explores the issues raised by the emergence of these mathematical techniques.