4 of 4 people found the following review helpful:
4.0 out of 5 stars
A limited introduction to the limits of Computation, 24 Jan 2003
This review is from: Computers Ltd: What They REALLY Can't Do (Hardcover)
This another nice book from David Harel, the author of the delightful
'Algorithmics : the spirit of Computer Science', which introduces the
general reader to the limits of computation (and hence the limits of
what computers can do).
Harel, who's a renowned figure in the field of Theoretical Computer Science,
has the ability to write and explain in a way that makes things seem
wonderfully clear, and indeed it is only such authors who can write good
books for the general reader.
This small (240 pages) book is quite ambitious in its coverage of topics -
starting off with the notion of an algorithm, it goes on to discuss
Efficiency and correctness, Turing machines, Finite state machines,
Decidability, Computability, Complexity, NP-completeness, Recursion,
Parallel algorithms, Probabilistic algorithms, and even touches upon
Quantum Computing and Artificial Intelligence !!
All this is done with almost no mathematics, at least hardly any beyond
high-school level. The reader is gently introduced to some of the most
celebrated problems of Computer Science, and he/she can get a feel of
the nature of this exciting and interesting field.
Throughout the book, the author keeps underscoring the fact that no matter
how far technology progresses, there'll always be problems that we can't
solve cheaply, or can't solve at all, or can't ever know whether they
can be solved or not (!!), ie he stresses that there are problems that
are 'beyond computers', which cannot be tamed by more and more processing
power or any other technological advancements.
This book covers pretty much the same range of topics as Harel's earlier
book, 'Algorithmics : the spirit of Computer Science', but in only half
the number of pages, and with a heavy emphasis on the 'limitations' of
computers, which actually are limitations of our knowledge rather than
of the machines themselves.
How does it compare with the eariler book ? Well, it's more uptodate,
since it was published in 2000, whereas the other one was in 1992 -
so here you find buzzwords like 'Java', 'Dotcom', 'Quantum Computing',
etc, which you wouldn't find in the earlier book, but on the whole
i prefer the earlier one, since it had a little more detail, made you
think a little more, and even had exercises for those who were interested
in probing further.
So all in all, if you want a light, breezy introduction to the basic ideas
of Theoretical Computer Science which doesn't demand too much concentration,
this is a good choice, but if you're willing to put in some time & effort
& enjoy puzzles & logical thinking, then you'll find Harel's other book,
'Algorithmics : the spirit of Computer Science' much more rewarding.
Help other customers find the most helpful reviews
Was this review helpful to you? Yes
No
1 of 1 people found the following review helpful:
3.0 out of 5 stars
Interesting but repetitive, 28 Jan 2001
This review is from: Computers Ltd: What They REALLY Can't Do (Hardcover)
Harel presented an interesting case against computers, but he just seemed to be driving one or two points home too much. Yes, we KNOW computers are serial and that some tasks take ages. Yet it the current paradigm of computing is rapidly shifting (parallel, quantum, molecular...) and while he does briefly address these, I don't think enough emphasis is given to quite how important non-computable issues are. At the moment, cryptography is non-computable (well, not true - but very hard) and quantum computing will theoritically destroy that...etc.
I don't mean to dismiss this book - it does have some very interesting points, thoughts and ideas and the title of the books obviously suggests that it should look at the BAD points of computers as opposed to the good, but a more open approach could have been taken.
Help other customers find the most helpful reviews
Was this review helpful to you? Yes
No