The wikipedia article on Gottfried Wilhelm Leibniz mentions, in the chapter on symbolic thought, that: "Leibniz saw that the uniqueness of prime factorization suggests a central role for prime numbers in the universal characteristic, a striking anticipation of Gödel numbering. Granted, there is no intuitive or mnemonic way to number any set of elementary concepts using the prime numbers".

First of all, as far as I understand, Gödel numbering is an operation that does assign a prime number to every elementary symbol (or the elementary concept it represents) or logical operation (such as logical conjuction) , and therefore the second sentence is unclear to me. Secondly, i'd like to get a reference about the manuscript\s in which Leibniz anticipated Gödel numbering (of which the wikipedia claim is based). I guess it's in of his writings on "characteristic numbers" and the "calculus of propositions", but the Leibniz's nachlass is too vast and i don't know where to find the relevant material.

Everyone with useful information is welcomed to contribute to the answer of my question.

  • $\begingroup$ leibnizedition.de/reihen/reihe-vi $\endgroup$ – sand1 Sep 29 '18 at 18:34
  • $\begingroup$ Best place currently is the Akademie Ausgabe, perhaps VI.4 A ( leibnizedition.de/reihen/reihe-vi ); Regulae ex quibus de bonitate consequentiarum judicari potest per numerum, p.242 $\endgroup$ – sand1 Sep 29 '18 at 18:40
  • $\begingroup$ See also Characteristica universalis with ref to Leibniz's works and literature. $\endgroup$ – Mauro ALLEGRANZA Sep 30 '18 at 8:35
  • $\begingroup$ See also De Arte Combinatoria. See also Ramon Lull and Art of memory. $\endgroup$ – Mauro ALLEGRANZA Sep 30 '18 at 8:40
  • 1
    $\begingroup$ Gödel numbering is a rather arbitrary way of assigning numbers to sentences of a particular formal language (Principia Mathematica originally, later Peano arithmetic), even if it did assign primes to primitives it would hardly be "intuitive or mnemonic". Leibniz would need some intrinsic relation between primitive concepts themselves (if there was such a thing), not formal sentences, and primes to assign the numbers canonically. $\endgroup$ – Conifold Sep 30 '18 at 21:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.