Open figure viewer
Establishes the claims that Gödel’s Incompleteness Theorems cannot prove the existence or the non‐existence of a machine proving all mathematical truths; there exists a machine proving all mathematical truths and the AI thesis is correct.
This content is only available via PDF.
© MCB UP Limited
1995
You do not currently have access to this content.
