Yeah Hilbert’s Program wasn't actually set back by the incompleteness theorems i... | Hacker News

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

		Ericson2314 on Dec 6, 2020 \| parent \| context \| favorite \| on: A mathematical formalisation challenge by Peter Sc... Yeah Hilbert’s Program wasn't actually set back by the incompleteness theorems in the first place, it was all FUD.

pfortuny on Dec 6, 2020 [–]

Not sure what you mean by that: after Gödel, Hilbert essentially became hopeless.

Ericson2314 on Dec 6, 2020 | [–]

Hilbert misunderstood his own program :D

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