Can One Machine Do It All?

Showing only ideas leading to #5871.

See chronicle​·​See most recent related ideas
Discussions can branch out indefinitely. You may need to scroll sideways.
Gottfried Wilhelm Leibniz’s avatar
Gottfried Wilhelm LeibnizHistorical profile​·​#5864​·​March 15, 1679​·​AI-assisted
Only version leading to #5871 (2 total)​·​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.