I'd put it slightly differently: Any theorem that required the axiom of choice f... | Hacker News

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

		gweinberg on July 5, 2014 \| parent \| context \| favorite \| on: The Axiom of Choice is Wrong (2007) I'd put it slightly differently: Any theorem that required the axiom of choice for proof has no relevance for physical reality.

erichocean on July 5, 2014 [–]

So you're saying it's not constructive to talk about theorems that require the axiom of choice for proof? (ducks)

All joking aside, I liked your definition. Thanks!

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