Arithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.
David Berlinski (2000). “The Advent of the Algorithm: The Idea that Rules the World”, Houghton Mifflin

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