Complexity No Bar to AI

Re:Complexity No Bar to AI by rq1 on Sunday February 21, 2021 @05:37PM (#26218022)

Hi Carl.

Thanks for sharing and your work in general.

I always thought Godel results’ point is undecidability. Which (always?) arise with (StringTheoremsAreEnumerable and SomeKindOfCantorDiagonalReasoning). Where am I wrong?

Do you have any historical writings to recommend about Wittgenstein/Gödel battle?

[ Parent | on HN ]

Re:Complexity No Bar to AI by ProfHewitt on Monday February 22, 2021 @11:21PM (#26233790)

You are very welcome!

In addition to the article linked in this discussion, see the following:

Hao Wang. "Reflections on Kurt Gödel" MIT Press. 1987.

[ Parent | on HN ]

Re:Complexity No Bar to AI by rq1 on Saturday February 27, 2021 @08:31PM (#26289855)

Thank you very much!

[ Parent | on HN ]