The Mathematical Principles of Natural Philosophy - Isaac Newton - Mathematical Principles of Natural Philosophy ('Philosophiae Naturalis Principia Mathematica'), is a work in three books by Sir Isaac Newton, first published on the 5th July 1687.
Der Mathematiker Kurt Gödel hat über einen Zeitraum von 22 Jahren (1934-1955) philosophische Bemerkungen, die so genannten Maximen Philosophie (Max Phil), niedergeschrieben.
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence.
The Seventh Letter - Plato - Sophist - Plato - Plato is a Classical Greek philosopher, mathematician, student of Socrates, writer of philosophical dialogues, and founder of the Academy in Athens, the first institution of higher learning in the Western world.
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence.
Dieses Standardwerk zu philosophischen Hintergründen des mathematischen Denkens und Sprechens, Lehrens und Lernens bietet einen umfangreichen Abriss zur Geschichte der Philosophie der Mathematik bis hin zu aktuellen Strömungen.
Dieses Standardwerk zu philosophischen Hintergründen des mathematischen Denkens und Sprechens, Lehrens und Lernens bietet einen umfangreichen Abriss zur Geschichte der Philosophie der Mathematik bis hin zu aktuellen Strömungen.
This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation.
This book provides philosophers and logicians with a broad spectrum of views on contemporary research on the problem of deduction, its justification and explanation.
In 1931, the young Kurt Godel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove.
