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 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
システム保守作業中
現在、図書館管理システムは保守作業中です。
現在、予約と貸出情報の閲覧は利用できません。ご不便をおかけし大変申し訳ありません。詳細は担当にご連絡ください: