What Gödel’s incompleteness theorems say about AI morality | Aeon Essays
aeon.co
“If there’s a clear answer, AI can do it”
“Most of the time there is no clear answer”
Most do not know that computers were invented initially to show that mathematics is inconsistent and incomplete. It was a profoundly blackpilling moment for lots of mathematicians.
The story starts with David Hilbert, a German mathematician, who was insanely jazzed about the future of mathematics. In 1900, at the... See more