Overview: Introduction into fundamental concepts of mathematics.Explains the main three foundations of mathematics: set theory, category theory and homotopy type theory.Depicts the motivation behind homotopy ty.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. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gödel and Tarski on incompleteness, undecidability and truth in deductive systems and their semantic models are c
|