1931: Kurt Gödel shows limits of math, logic, computing, AI

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by weinzierl on Thursday June 17, 2021 @05:40AM (#27537829)

> "How can you leave out von Neumann from such a list?"

When I read the title:

"1931: Kurt Gödel shows limits of math, logic, computing, AI"

my head automatically completed it with

"John von Neumann approves."

I always found it fascinating and a sign of von Neumann's greatness how quickly he not only understood the consequences of Gödel's discovery but also that he immediately and publicly accepted them.

[ Parent | on HN ]

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by ProfHewitt on Thursday June 17, 2021 @10:10AM (#27539751)

It is particularly ironic that Gödel deceived von Neumann

about having already developed an important proof for [Gödel 1931].

The deception was discovered years after both had died.

See [von Plato 2018]

[ Parent | on HN ]

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by bumbledraven on Wednesday June 30, 2021 @01:36PM (#27691313)

von Plato, "In Search of the Sources of Incompleteness", Proc. Int. Cong. of Math, Vol. 4 (2018) (https://eta.impa.br/dl/209.pdf), p 4087:

> A shadow is cast on Gödel’s great achievement; there is no way of undoing the fact that Gödel played a well-planned trick to persuade von Neumann not to publish.

[ Parent | on HN ]

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by P-NP on Monday June 28, 2021 @05:20PM (#27668309)

Von Neumann is actually mentioned 3 times in the text and in the references.

[ Parent | on HN ]