Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Logicism, Intuitionism, and Formalism
This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.
Functions and Generality of Logic
This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intu...
L'épistémologie du dedans
This book, which brings together historians, philosophers and mathematicians, is a tribute to the works of Hourya Benis-Sinaceur, internationally recognized specialist of history and philosophy of mathematics.
Origins and Varieties of Logicism
This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. Part I focuses on major authors like Frege, Dedekind, and Russell, providing a historical and theoretical exploration of such figures in the philosophical and mathematical milieu in which logicist views were first expounded. Part II sheds new light on the interconnections between...
L'épistémologie du dedans
"This book, which brings together historians, philosophers and mathematicians, is a tribute to the works of Hourya Benis-Sinaceur, internationally recognized specialist of history and philosophy of mathematics."--Provided by publisher.
Writing the History of the Mind
For much of the twentieth century, French intellectual life was dominated by theoreticians and historians of mentalité. Traditionally, the study of the mind and of its limits and capabilities was the domain of philosophy, however in the first decades of the twentieth century practitioners of the emergent human and social sciences were increasingly competing with philosophers in this field: ethnologists, sociologists, psychologists and historians of science were all claiming to study 'how people think'. Scholars, including Gaston Bachelard, Georges Canguilhem, Léon Brunschvicg, Lucien Lévy-Bruhl, Lucien Febvre, Abel Rey, Alexandre Koyré and Hélène Metzger were all investigating the mind...
Great Circles
This volume explores the interaction of poetry and mathematics by looking at analogies that link them. The form that distinguishes poetry from prose has mathematical structure (lifting language above the flow of time), as do the thoughtful ways in which poets bring the infinite into relation with the finite. The history of mathematics exhibits a dramatic narrative inspired by a kind of troping, as metaphor opens, metonymy and synecdoche elaborate, and irony closes off or shifts the growth of mathematical knowledge. The first part of the book is autobiographical, following the author through her discovery of these analogies, revealed by music, architecture, science fiction, philosophy, and the study of mathematics and poetry. The second part focuses on geometry, the circle and square, launching us from Shakespeare to Housman, from Euclid to Leibniz. The third part explores the study of dynamics, inertial motion and transcendental functions, from Descartes to Newton, and in 20th c. poetry. The final part contemplates infinity, as it emerges in modern set theory and topology, and in contemporary poems, including narrative poems about modern cosmology.
Logic's Lost Genius
Gerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on...
