Comment by avadodin
6 days ago
Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.
I do not think it is a given that humans or algorithms can find such a proof for any given problem.
6 days ago
Something as simple as the FCT may have an alternative intuitive proof that humans can relate to.
I do not think it is a given that humans or algorithms can find such a proof for any given problem.
My layman understanding of Godel's Incompleteness Theorem is that you are correct. It states that there are things that are true but no proof can exist (providable by human or AI provers).