4 ms·
An infinite computable sequence is fine. Making "choices" from an uncountable collection of uncomputable sequences is not fine. I'm embarrassed to have to wri
by lupire 2y ago
An infinite computable sequence is fine.
Making "choices" from an uncountable collection of uncomputable sequences is not fine.
I'm embarrassed to have to write that out.
- kccqzy 2y agoHistorically the definition of computability came quite a bit later than ZFC. Zermelo might have formulated his set theory differently if computability came first.