Paolo Mancosu is een hoogleraar filosofie wiens werk zich verdiept in de filosofie en geschiedenis van de wiskunde en wiskundige logica. Zijn huidige onderzoek richt zich op neologicisme en de filosofie van wiskundige praktijk. Hij onderzoekt de diepe verbanden tussen abstract denken en de toepassingen ervan in de echte wereld, en onthult zo de essentie van wiskundige principes aan de lezers. Zijn geschriften zijn bedoeld voor degenen die inzichtelijke verkenningen van de fundamenten van logica en wiskunde zoeken.
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.
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.
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.