Per Martin-L--ouml--;f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing scien…
Up to now there have been scarcely any publications on Leibniz dedicated to investigating the interrelations between philosophy and mathematics in his thought. In part this is due to the previously restricted textual basis of editions such as those produced by Gerhardt. Through …
This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl…
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of twenty-four mathematical problems presented at a conference opening the new century. Kurt Gödel, a logical icon of that time, showed Hilbert's ideal of complete axiomatization of m…
Mathematics and philosophy
by Parrochia, Daniel, Philosophe
fromMathematics and Statistics
This book, which studies the links between mathematics and philosophy, highlights a reversal. Initially, the (Greek) philosophers were also mathematicians (geometers). Their vision of the world stemmed from their research in this field (rational and irrational numbers, problem o…
Triangle de pensées
by Connes, Alain, Lichnerowicz, André, Schützenberger, Marcel Paul
fromSciences
Ce dialogue entre trois mathématiciens offre une confrontation de trois points de vue sur les mathématiques et de trois pratiques de cette discipline. Le dialogue tourne autour de quatre thèmes : la nature des mathématiques, l'interprétation de la mécanique quantique et son unif…
This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exe…
Paraboles et catastrophes
by Thom, René, Giorello, Giulio, Morini, Simona, Berini, Luciana
fromChamps
Les grandes lignes de la théorie des catastrophes. L'auteur passe aussi en revue les grands thèmes scientifiques de notre époque, avec un esprit critique et passionné.
