Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable... | Hacker News

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

		throw310822 62 days ago \| parent \| context \| favorite \| on: 100 years of Zermelo's axiom of choice: What was t... Isn't that equivalent (or, ok, similar) to saying that we can decide undecidable mathematical truths?

littlestymaar 61 days ago [–]

As far as I understand there's no such thing “undecidable” in absolute, Gödel incompleteness theorem is about being undecidable under a certain set of axioms.

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