# David Berlinski

## A Quote by David Berlinski on arithmetic, mathematics, content, logic, and certainty

Arithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 81

Contributed by: Chris

## A Quote by David Berlinski on axiom, scheme, and formula

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, Pages: 73

Contributed by: Chris

## A Quote by David Berlinski on axiom, mathematics, theorem, and confidence

An axiomatic system establishes a reverberating relationship between what a mathematician assumes (the axioms) and what he or she can derive (the theorems). In the best of circumstances, the relationship is clear enough so that the mathematician can submit his or her reasoning to an informal checklist, passing from step to step with the easy confidence the steps are small enough so that he cannot be embarrassed nor she tripped up.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 49..50

Contributed by: Chris

## A Quote by David Berlinski on axiom, mathematics, symbol, rules, and intuition

An axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an *explicit* list of symbols, an *explicit* set of rules governing their cohabitation, an *explicit* list of axioms, and, above all, an *explicit* list of rules *explicitly* governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 50

Contributed by: Chris

## A Quote by David Berlinski on algebra and logic

The individual variables x, y, z,... now make a semiformal appearance, performing the function in logic that pronouns perform in ordinary English, the sentence "She is blonde", cognate to the proposition "x is blonde", both *she* and *x* specifying something but specifying that thing indeterminately.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 66

Contributed by: Chris

## A Quote by David Berlinski on meaning, mind, and symbols

The motion of the mind is conveyed along a cloud of meaning.~ There is this paradox that we get to meaning only when we strip the meaning from symbols.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 71

Contributed by: Chris

## A Quote by David Berlinski on men, women, love, work, and dreams

Bystanders wandered in and out of the merchant's stall, passing the time, talking of dreams they might purchase. Workers and slaves stooped from labor asked timidly for dreams of wine and ease. Women asked for dreams of love, and men for dreams of women.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 37

Contributed by: Chris

## A Quote by David Berlinski on dream, discovery, youth, and age

"Young men wish always to dream of what they have lost."

"And old men?"

"Of what they have not found."

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 43

Contributed by: Chris

## A Quote by David Berlinski on logic and legacy

Aristotelian logic is massive and marmoreal, but every monument accumulates graffiti.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 47

Contributed by: Chris

## A Quote by David Berlinski on leibniz, algorithm, symbol, and mind

Leibniz endeavored to provide an account of inference and judgment involving the mechanical play of symbols and very little else. The checklists that result are the first of humanity's intellectual artifacts. They express, they explain, and so they ratify a power of the mind. And, of course, they are artifacts in the process of becoming algorithms.

Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Pages: 19..20

Contributed by: Chris