Can One Machine Do It All?

Showing only ideas leading to #5872.

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 #5872 (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*

Kurt GödelHistorical profile·#5872·September 8, 1930·AI-assisted

In any consistent system of rules strong enough for arithmetic, there are true statements that the rules can neither prove nor disprove. So no one system can answer every question of mathematics.

Criticism of #5870