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 environment. This problem is discussed here in a previous question I have asked.

Now, consider Gödel's second incompleteness theorem

a coherent theory does not demonstrate its own coherence

Can we say that Gödel's second incompleteness theorem puts a limitation on artificial intelligence, how could AI bypass the Gödel's second incompleteness theorem?

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 externally by the environment. This problem is discussed here in a previous question I have asked.

Now, consider Gödel's second incompleteness theorem

a coherent theory does not demonstrate its own coherence

Can we say that Gödel's second incompleteness theorem puts a limitation on artificial intelligence? How could AI bypass Gödel's second incompleteness theorem?

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 environment. This problem is discussed here in a previous question I have asked.

Now, consider Gödel's second incompleteness theorem

a coherent theory does not demonstrate its own coherence

Can we say that Gödel's second incompleteness theorem puts a limitation on artificial intelligence, how could AI bypass the Gödel's second incompleteness theorem?

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 environment. This problem is discussed here in a previous question I have asked.

Now, consider Gödel's second incompleteness theorem

a coherent theory does not demonstrate its own coherence

Can we say that Gödel's second incompleteness theorem puts a limitation on artificial intelligence, how could AI bypass the Gödel's second incompleteness theorem?

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 environment. This problem is discussed here in a previous question I have asked.

But, even if we consider "adaptive AI", it will be limited by the Gödel's second incompleteness theorem

a coherent theory does not demonstrate its own coherence

Can we see the Gödel's second incompleteness theorem as an inaccessible limitation of artificial intelligence, how could AI bypass the Gödel's second incompleteness theorem?

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 environment. This problem is discussed here in a previous question I have asked.

Now, consider Gödel's second incompleteness theorem

a coherent theory does not demonstrate its own coherence

Can we say that Gödel's second incompleteness theorem puts a limitation on artificial intelligence, how could AI bypass the Gödel's second incompleteness theorem?