Book Review:
Book Description
The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It is intended, amongst other things, to provide a bridge between the use of logic underlying mathematical constructions and its abstract study in disciplines such as the lambda calculus, predicate calculus, type theory and universal algebra. It began as the prerequisites for another book (Domains and Duality), so it contains very little domain theory itself, but it does treat the fundamental issues of the semantics of programming languages.
Mathematical and computing issues are interwoven. For example the classifying category for an algebraic theory is defined as a declarative programming language, which is in turn illustrated by the solution of cubic equations.
Category theory plays a major role in the book, but the abstract concepts are introduced on a "need to know" basis. Emphasis is placed on how functoriality, naturality, uniqueness, universality and pullback-stability carry the force of the constructions and properties (such as invariance under substitution), rather than allowing the reader to think that these are merely bureaucratic side conditions. Wherever possible, the poset analogues of categorical results are given first.
Excluded Middle is avoided, being largely irrelevant to algebra and category theory (these are often done "inside a topos"). However just as it is easier to teach a baby to swim before it has learnt the fear of water, so it is simpler to be constructive from the beginning with naive set theory than to recover it later with Kripke models or Grothendieck toposes.
Every result has been taken apart, sharpened, polished and re-assembled, so most of the sections contain material which is in some way original, and much of it could have been published individually. However much of the value of the book is that it deliberately blurs distinctions between disciplines, resolving numerous apparent conflicts of viewpoint which would never have been considered so thoroughly if they had been treated separately.
Intended Audience
Students and teachers of computing, mathematics and philosophy should find this book both readable and of lasting value as a reference work.
Review
'This is a fascinating and rewarding book ... each chapter has several pages of subtle, provocative and imaginative exercises. In summary, it is a magnificent compilation of ideas and techniques: it is a mine of (well-organised) information suitable for the graduate student and experienced researcher alike.' Roy Dyckhoff, Bulletin of the London Mathematical Society
 add to del.icio.us
 Digg Freebookzone.com!
You may use anyone of the download options
Missing Link?, Report It and try these 2 + 1 alternates...
Similar Book titles in Mathematics section:
Mathematical Foundations of Computer Science
The Limits of Mathematics
Implementing Mathematics with The Nuprl Proof System
Elementary Mathematics
The Unknowable (Discrete Mathematics and Theoretical Computer Science)
Derivations of Applied Mathematics
A Short Course in Discrete Mathematics
Mathematics for Algorithm and Systems Analysis
Foundations of Combinatorics with Applications
Logic for Computer Science: Foundations of Automatic Theorem Proving
Mathematics Of The Discrete Fourier Transform (DFT) - With Audio Applications
Discrete Mathematics
A Cook-Book Of Mathematics
The Structure of Finite Algebras (Contemporary Mathematics)
Linear Methods of Applied Mathematics
Basic Concepts of Mathematics
The Chaos Hypertextbook - Mathematics in the Age of the Computer
Mathematics of the Rubik's cube
Basic Elements of Real Analysis (Undergraduate Texts in Mathematics)
Essential Mathematics
Algorithmic Mathematics
Discrete Mathematics with Algorithms
Introduction to Methods of Applied Mathematics
Similar Book titles in Other sections:
Section: Bio-Chemistry
Protein sequence analysis - A practical guide, University of Manchester
Section: CS -> Compilers and Languages
Parsing Techniques - A Practical Guide
Section: Data Structures and Algorithms
Algorithm Design - Foundations, Analysis & Internet Examples
Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications
Section: CS -> Theory
Foundations of Computer Science
Crafting a Chip, A Practical Guide to the UofU VLSI CAD Flow
Templates for the Solution of Algebraic Eigenvalue Problems: a Practical Guide
Section: DB -> Others
Foundations of Object-Relational Mapping
Section: DB -> Postgre SQL
Practical PostgreSQL (O'Reilly Unix)
Section: DB -> SQL
Structured Query Language (SQL) : A Practical Introduction
Section: Computer Hardware
Build Your Own Laptop - An Impractical Guide to Building a Laptop Computer
Section: Internet
Cataloging Internet Resources: A Manual and Practical Guide
Practical UNIX & Internet Security
Section: Advanced Java
Practical Artificial Intelligence Programming in Java
Section: Miscellaneous
The Foundations of Cryptography
Call Center Mathematics - A scientific method for understanding and improving contact centers
Foundations of Constraint Satisfaction
Section: Microsoft Visual Basic
Practical Standards for Microsoft Visual Basic
Section: Networking
Wireless LANs A Theoretical and Practical Guide
Practical VoIP Security [ILLUSTRATED]
Section: GNU/Linux OS
Practical File System Design - with the BE File System
Section: C++ Language
Thinking in C++, Volume 2: Practical Programming, Second Edition
Programming with Class: A Practical Introduction to Object Oriented Programming with C++
Section: Other Programming
Practical Common Lisp
Linear Programming, Second Edition - Foundations and Extensions
Ada in Action: With Practical Programming Examples, Second Edition
A Practical Theory of Programming, Second Edition
Prolog Experiments in Discrete Mathematics, Logic, and Computability
Show all..
Section: Perl Scripting
Practical mod_perl
PERL -- Practical Extraction and Report Language
Practical Perl Programming
Section: Scripting
Practical Programming in Tcl and Tk
Section: Smalltalk
Practical Smalltalk: Using Smalltalk/V
Section: Redbooks Draft
Linux Client Migration Cookbook, Version 2 A Practical Planning and Implementation Guide for Migrating to Desktop Linux
IBM TotalStorage 3494 Tape Library: A Practical Guide to Tape Drives and Tape Automation
IBM TS3500 Tape Library with System z Attachment: A Practical Guide to TS1120 Tape Drives and TS3500 Tape Automation
Getting Started with SCLM - A Practical Guide to SCLM and SCLM Advanced Edition
Introduction to the ISPF Productivity Tool: Turbocharge your ISPF for z/OS Environment - IPT based on practical examples
Show all..
Section: Redbooks
Linux Client Migration Cookbook, Version 2: A Practical Planning and Implementation Guide for Migrating to Desktop Linux
IBM TS3500 Tape Library with System z Attachment: A Practical Guide to TS1120 Tape Drives and TS3500 Tape Automation
IBM TotalStorage 3494 Tape Library: A Practical Guide to Tape Drives and Tape Automation
Getting Started with SCLM: A Practical Guide to SCLM and SCLM Advanced Edition
IBM i5/OS Network Security Scenarios A Practical Approach
Show all..
Section: Software Engineering
Task-Centered User Interface Design - A Practical Introduction
Section: Telecommunication
Practical Radio Frequency Handbook
Section: Software Testing
Practical Software Testing: A Process-Oriented Approach
Section: Web Programming
Practical PHP Programming
Secure PHP Development: Building 50 Practical Applications
Section: Web Technology
Practical Guide to SGML/XML Filters
Section: XML, XSL & UML
XSL Concepts and Practical Use
Practical UML: A Hands-On Introduction for Developers
Similar Books from Amazon :
|
|
