This is not the book for those who were maddened by Berlinski's A Tour of the Calculus; his style remains quirky, digressive, self-referential, and dense:
And then, by some inscrutable incandescent insight, Leibniz came to see that what is crucial in what he had written is the alternation between God and Nothingness. And for this, the numbers 0 and 1 suffice.Twinkies and Diet Coke in hand, computer programmers can now be observed pausing thoughtfully at their consoles.
Berlinski's argument seems to be that algorithms--step-by-step procedures for getting answers--superceded logic, and will be superceded in turn by more biological, empirical, fuzzy methods. The structure of the book reflects this argument--sketches of people like Leibniz, Hilbert, Gödel, and Turing are interwoven with proofs and with characters of Berlinski's own invention. Berlinski's voice, closer to Hofstadter than to Knuth, remains unique. --Mary Ellen Curtin
You have to be a Gaia member to post reviews. Join now!
Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Page: 73
Contributed by: Christopher Galtenberg.
The same procedure may be used in the predicate calculus, but it is complicated, tedious, and ugly. It is for this reason–plain laziness, too–that the logiciain repairs to axiom schemata instead of axioms when formalizing the predicate calculus. Axiom schemata do not themselves appear in the formal system. They are part of the logician's own vernacular, expressed in the same language that he or she employs to talk about formulas and predicate symbols. Each axiom schemata specifies the form of a formula, and each axiom of the system itself is obtained from the form as an instance.








Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Page: 81
Contributed by: Christopher Galtenberg.
Arithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.