Practical foundations of mathematics
著者
書誌事項
Practical foundations of mathematics
（Cambridge studies in advanced mathematics, 59）
Cambridge University Press, 1999
- : hardback
大学図書館所蔵 件 / 全52件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"Transferred to digital printing 2003"--T.p. verso of 2003 printing
Includes bibliographical references (p. [530]-552) and index
内容説明・目次
内容説明
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.
目次
- 1. First order reasoning
- 2. Types and induction
- 3. Posets and lattices
- 4. Cartesian closed categories
- 5. Limits and colimits
- 6. Structural recursion
- 7. Adjunctions
- 8. Algebra with dependent types
- 9. The quantifiers.
「Nielsen BookData」 より