Practical Foundations of Mathematics
Seiten
1999
Cambridge University Press (Verlag)
978-0-521-63107-5 (ISBN)
Cambridge University Press (Verlag)
978-0-521-63107-5 (ISBN)
This book is about the basis of mathematical reasoning both in pure mathematics itself (particularly algebra and topology) and in computer science (how and what it means to prove correctness of programmes). It deliberately transcends disciplinary boundaries and challenges many established attitudes to the foundations of mathematics.
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.
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.
Erscheint lt. Verlag | 13.5.1999 |
---|---|
Reihe/Serie | Cambridge Studies in Advanced Mathematics |
Verlagsort | Cambridge |
Sprache | englisch |
Maße | 157 x 236 mm |
Gewicht | 880 g |
Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
ISBN-10 | 0-521-63107-6 / 0521631076 |
ISBN-13 | 978-0-521-63107-5 / 9780521631075 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €