Content deleted Content added
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Merge {{VA}} into {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. |
→Origin of enumerable = partial?: new section |
||
Line 163:
== 2021 renaming ==
Detailed here: [[Wikipedia_talk:WikiProject_Mathematics/Archive/2021/Jun#Proposal: change terminology from "recursive" to "computable"]]. --[[User:Dan Polansky|Dan Polansky]] ([[User talk:Dan Polansky|talk]]) 14:55, 10 October 2023 (UTC)
== Origin of enumerable = partial? ==
Instinctively, I would expect ’enumerable’ to mean that I can make an enumeration, in which case ‘computably enumerable’ ought to mean that there is some algorithm which computes the next item in the sequence for me. Instead it seems to mean the opposite: adding this attribute to a term ''weakens'' it so that I can never be sure what is the next item in a sequence, unless it is just the numerical successor! ‘Partial’ I can see why it should be like that, but for ‘enumerable’ it comes across as a mystery. What is the historical background for this choice of terminology? (That would be a useful addition to the article.) [[Special:Contributions/130.243.94.123|130.243.94.123]] ([[User talk:130.243.94.123|talk]]) 16:45, 25 January 2024 (UTC)
| |||