Calculus ratiocinator  

From The Art and Popular Culture Encyclopedia

Jump to: navigation, search

Related e

Google
Wikipedia
Wiktionary
Wiki Commons
Wikiquote
Wikisource
YouTube
Shop


Featured:
Train wreck at Montparnasse (October 22, 1895) by Studio Lévy and Sons.
Enlarge
Train wreck at Montparnasse (October 22, 1895) by Studio Lévy and Sons.

The Calculus ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned characteristica universalis, a universal conceptual language.

Contents

Two views

There are two contrasting points of view on what Leibniz meant by calculus ratiocinator. The first is associated with computer software, the second is associated with computer hardware.

The analytic view

The synthetic view

The history of the modern computing machine goes back to Leibniz and Pascal. Indeed, the general idea of a computing machine is nothing but a mechanization of Leibniz's calculus ratiocinator. (Wiener 1948: 214)
...like his predecessor Pascal, [Leibniz] was interested in the construction of computing machines in the Metal. ... just as the calculus of arithmetic lends itself to a mechanization progressing through the abacus and the desk computing machine to the utra-rapid computing machines of the present day, so the calculus ratiocinator of Leibniz contains the germs of the machina ratiocinatrix, the reasoning machine (Wiener 1965: 12)

Leibniz constructed just such a machine for mathematical calculations, which was also called a Stepped Reckoner. As a computing machine, the ideal calculus ratiocinator would perform Leibniz's integral and differential calculus. In this way the meaning of the word, "ratiocinator" is clarified and can be understood as a mechanical instrument that combines and compares ratios.

Hartley Rogers saw a link between the two, defining the calculus ratiocinator as "an algorithm which, when applied to the symbols of any formula of the characteristica universalis, would determine whether or not that formula were true as a statement of science" (Hartley Rogers, Jr. 1963; p. 934).

A classic discussion of the calculus ratiocinator is Couturat (1901: chpts. 3,4), who maintained that the characteristica universalis—and thus the calculus ratiocinator—were inseparable from Leibniz's encyclopedic project (chpt. 5). Hence the characteristic, calculus ratiocinator, and encyclopedia form three pillars of Leibniz's project.

See also




Unless indicated otherwise, the text in this article is either based on Wikipedia article "Calculus ratiocinator" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on original research by Jahsonic and friends. See Art and Popular Culture's copyright notice.

Personal tools