Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Nelson later withdrew his proof (after Terrence Tao corrected him).

Instead, he took a philosophical position on the matter of whether Mathematics is discovered or invented: https://web.math.princeton.edu/~nelson/papers/rome.pdf

He sided with Computer Scientists.



That was a great read, thanks for the link.

> Plato was a dreadful fellow, the source of a persistent evil from which the world has not yet been liberated, [...]

Does anyone more familiar with Plato know what Nelson could have meant by that?

Edit:

Alright, I think I found the reason: "platonism" is a form of mathematical realism, while Nelson strongly favored mathematical formalism.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: