The Universal Computer: The road from Leibniz to Turing by Martin Davis,
Norton, $26.95, ISBN 0393047857
LET X be the class of mathematical logicians, and Y the
class of good popular science writers. By reading Martin Davis’s The
Universal Computer: The road from Leibniz to Turing you should be able to
demonstrate conclusively that “no X are Y”.
Were I a mathematical logician myself, I would leave my review at that.
Â鶹´«Ã½ readers are, however, more demanding. Which is the
point, since Davis’s book claims to be “about the underlying concepts on which
our modern computers are based and…
