Can One Machine Do It All?

Showing only ideas leading to #5875.

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

Alan TuringHistorical profile·#5875·May 28, 1936·AI-assisted

No machine can decide, for every statement of logic, whether it can be proved. If one could, it could decide whether any machine ever prints a 0, and a machine that asked it that about itself could be made to do the opposite.

Criticism of #5870