- Series: Cambridge Tracts in Theoretical Computer Science (Book 5)
- Hardcover: 224 pages
- Publisher: Cambridge University Press; First edition (stated) edition (June 30, 1989)
- Language: English
- ISBN-10: 0521360625
- ISBN-13: 978-0521360623
- Product Dimensions: 6.8 x 0.7 x 9.7 inches
- Shipping Weight: 1.2 pounds
- Average Customer Review: 3 customer reviews
- Amazon Best Sellers Rank: #4,932,820 in Books (See Top 100 in Books)
To get the free app, enter your mobile phone number.
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) Hardcover – June 30, 1989
The Amazon Book Review
Author interviews, book reviews, editors picks, and more. Read it now
Customers who bought this item also bought
This is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.
Top customer reviews
Locales are lattices, which also have all joins of arbitrary subsets, just as topologies also have finite intersections of open sets and arbitrary unions; finite meets also distribute over arbitrary joins.
In locale theory, you can do topology without using points (the art of "pointless thinking", as Johnstone likes to call it), although you can also introduce points in locales by definition.
Locales, in other words, are complete lattices, and their elements can be identified with open sets. In the other direction, "points" in locales (which can be identified with principal prime ideals) correspond to the points in a corresponding topological space.
The book is a nice introduction to Johnstone's now classic *Stone Spaces*. But the "logic&qu! ot; as in *Topology via Logic*-- refers to "logic" in the sense of computer science. Readers at home with symbolic logic may therefore find the examples, all based on "data streams" of bits, a bit strange, and may want to translate them into more familiar terms. But the reward is worth the effort.
The informal style and free use of pictures to illustrate ideas is also a refreshing, and welcome change from the rigid and unnecessarily formal style too often encountered in books on this and similar topics.