"Gottfried Leibniz is famous... for his slogan Calculemus, which means "Let us calculate." He envisioned a formal language to reduce reasoning to calculation, and he said that reasonable men, faced with a difficult question of philosophy or policy, would express the question in a precise language and use rules of calculation to carry out precise reasoning. This is the first reduction of reasoning to calculation ever envisioned. ...he actually designed and built a working calculating machine, the Stepped Reckoner ...inspired by the somewhat earlier work of Pascal, who built a machine that could add and subtract. Leibniz's machine could add, subtract, divide, and multiply, and was apparently the first machine with all four arithmetic capabilities."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Academics from GermanyInventorsMathematicians from GermanyPhysicists from GermanyPhilosophers from Germany
Original Language: English
Available Languages (1)
Sources
Michael J. Beeson, "The Mechanization of Mathematics," in Alan Turing: Life and Legacy of a Great Thinker (2004)
https://en.wikiquote.org/wiki/Gottfried_Leibniz
Revision History
No revisions have been submitted for this quote.
Categories
Gottfried Leibniz
Gottfried Wilhelm von Leibniz (1 July 1646 {21 June O.S.} – 14 November 1716) was a German philosopher and mathematician.
61 quotes on TrueQuotesView all quotes by Gottfried Leibniz →
Related Quotes
"Musica est exercitium arithmeticae occultum nescientis se numerare animi."
"quando orientur controversiae, non magis disputatione opus erit inter duos philosophos, quam inter duos computistas. …"
"Languages are the best mirror of the human mind [and] the most ancient monuÂments of peoples."
"Theologus: Amare autem? Philosophus: Felicitate alterius delectari."
"Nam filum labyrintho de compositione continui deque maximo et minimo ac indesignabili at que infinito non nisi geomet…"
"To love is to be delighted by the happiness of someone, or to experience pleasure upon the happiness of another. I de…"
"Omne possibile exigit existere."
"Chaque substance est comme un monde à part, indépendant de toute autre chose, hors de Dieu..."
"As regards the objection that possibles are independent of the decrees of God I grant it of actual decrees (although …"
"Il y a deux labyrinthes fameux où notre raison s’égare bien souvent : l'un regarde la grande question du libre et du …"