Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on An intutive counterexample to the axiom of choice. Parent comment
To choose an element from every one of a set of sets, we must describe the method of choice as a halting algorithm executable by a Turing Machine.
There are no comments on this comment yet.
To choose an element from every one of a set of sets, we must describe the method of choice as a halting algorithm executable by a Turing Machine.