数学のコード：証明と真理（テキスト）
The Code of Mathematics
Proof and Truth
Mathematics Study Resources 11
Mueller-Stach, Stefan
- 内容紹介：
-
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 covered. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.