3 ms·
> "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 automati
by weinzierl 5y ago
> "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.
- ProfHewitt 5y agoIt 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]
- bumbledraven 5y agovon Plato, "In Search of the Sources of Incompleteness", Proc. Int. Cong. of Math, Vol. 4 (2018) (https://eta.impa.br/dl/209.pdf 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.
- P-NP 5y agoVon Neumann is actually mentioned 3 times in the text and in the references.