News for hackers. Stuff that matters.
Re:What is the Axiom of Choice? by shadowlight on Friday July 16, 2021 @08:21PM (#27862613)
Yes I know that's your point. I'm saying you can't enumerate algorithms without selecting an algorithm.

One way of selecting an algorithm is to select a way to encode the algorithms.

It's easy to see that this is true. You chose an arbitrary example above. Try to do the same without choosing anything arbitrary. You can't.

There are no comments on this comment yet.