Kurt Gödel's incompleteness theorems demonstrate that no sufficiently expressive formal system can prove its own consistency, yet humans can intuit the consistency of such systems, meaning humans can know truths about a system that the system cannot prove about itself.

Authors

• Person: Not available Organization: arXiv
  Consciousness in Artificial Intelligence? A Framework for Classifying ...

Sources

• Consciousness in Artificial Intelligence? A Framework for Classifying ... arxiv.org arXiv via serper

Referenced by nodes (1)

• consistency concept