Questions tagged [incompleteness-theorems]

For questions related to Gödel's incompleteness theorems, which are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system capable of modeling basic arithmetic.

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1
vote
0answers
54 views

Does Gödel's second incompleteness theorem put a limitation on artificial intelligence systems?

According to Brian Cantwell Smith no calculation without representation Therefore, computers depend on models. So, we can say that AI is limited internally by the model and external by the ...