Combining Texts

Ideas for 'fragments/reports', 'Towards a Universal Characteristic' and 'Inventing Logical Necessity'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

19391	We can assign a characteristic number to every single object [Leibniz]
	Full Idea: The true principle is that we can assign to every object its determined characteristic number.
	From: Gottfried Leibniz (Towards a Universal Characteristic [1677], p.18)
	A reaction: I add this as a predecessor of Gödel numbering. It is part of Leibniz's huge plan for a Universal Characteristic, to map reality numerically, and then calculate the truths about it. Gödel seems to allow metaphysics to be done mathematically.