Can One Machine Do It All?

Showing only #5864 and its comments.

See chronicle
Discussions can branch out indefinitely. You may need to scroll sideways.
The discussion as it was on July 8, 1985. Chronicle discussions are read-only. Jump to the present
Gottfried Wilhelm Leibniz’s avatar
Gottfried Wilhelm LeibnizHistorical profile​·​#5864​·​March 15, 1679​·​AI-assisted
1st of 2 versions​·​latest

Write every idea in a universal language of symbols, and fixed rules for calculating with them, which a machine could follow, will settle any question that doesn’t turn on facts about the world. Then such disputes can be settled without arguing: the two sides can sit down and calculate.

Criticized1
David Hilbert’s avatar
David HilbertHistorical profile​·​#5871​·​September 8, 1930​·​System-generated

Superseded by #5870.

Criticism of #5864
  • Rationally adoptable.
  • Not rationally adoptable.
  • Older versions with pending criticisms.
  • Ideas are blue, criticisms red, comments small and gray.
  • Hover over ideas to expand them.
  • Click on ideas to jump to their place in the discussion.