Can One Machine Do It All?

Showing only ideas leading to #5874.

See chronicle·See most recent related ideas

Discussions can branch out indefinitely. You may need to scroll sideways.

Gottfried Wilhelm LeibnizHistorical profile·#5870·September 8, 1930·AI-assisted

Only version leading to #5874 (2 total)·revised by David HilbertHistorical profile

Every question of mathematics can be answered: there is no “we will not know.” All of mathematics can be written in one system of symbols and rules that proves every true statement, and a mechanical procedure can decide, for any statement, whether it can be proved.

Criticized4*

Alonzo ChurchHistorical profile·#5874·May 28, 1936·AI-assisted

Some problems can’t be solved by any effective calculation: I’ve found one in elementary number theory. So no mechanical procedure can decide, for every statement of logic, whether it can be proved.

Criticism of #5870