News for hackers. Stuff that matters.

A comment on 1931: Kurt Gödel shows limits of math, logic, computing, AI. Parent comment

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 ]