The Code of Mathematics Proof and Truth /
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 inco...
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2024.
|
| 版: | 1st ed. 2024. |
| シリーズ: | Mathematics Study Resources,
11 |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-662-69483-1 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- Fundamental Questions
- Scientific Languages
- Mathematical Thinking
- Mathematics in our Culture
- Computability and Decidability
- Deductive Systems and Incompleteness
- Category Theory
- Type Theory
- Semantics and Reality.