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 pullbackstability 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 reassembled, 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 (wellorganised) 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 CookBook 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: BioChemistry 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 ObjectRelational 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: Redpapers IBM Spectrum Connect and IBM Storage Enabler for Containers: Practical Example with IBM FlashSystem A9000 Consolidation Planning Workbook Practical Migration from x86 to IBM LinuxOne
Section: Software Engineering TaskCentered User Interface Design  A Practical Introduction
Section: Telecommunication Practical Radio Frequency Handbook
Section: Software Testing Practical Software Testing: A ProcessOriented 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 HandsOn Introduction for Developers
Similar Books from Amazon :

