Leibniz dreamed of machines that could calculate and reason. Three hundred and fifty years later, mathematics has created AI, a machine that can both calculate and reason—and thereby create new mathematics. Mathematics has become a tool for its own development. What is the role of human reasoning?
When controversies arise, there will be no more need of disputation between two philosophers than between two accountants. For it will suffice to take their pens in their hands, to sit down to their counting tables, and to say to each other: Let us calculate. Leibniz, The Art of Discovery (1685)
For when propositions are denied, there is an end
of them, but if they bee allowed, it requireth a
new worke. The Essais of Sr. Francis Bacon, London, 1612
The further a society drifts from the truth, the more it will hate those who speak it. George Orwell
Nothing is created by coincidence, rather there is reason and necessity for everything. Leukippus, 5th Century BC.
De Omnibus Dubitandum
Science advances one funeral at a time.
Max Planck
Inga kommentarer:
Skicka en kommentar