Talk:Numbering (computability theory)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Priority
 Field:  Foundations, logic, and set theory

Definition broken?[edit]

A numbering is first defined as a function from to S, but the example that follows is a function from S to . AmirOnWiki (talk) 08:05, 16 April 2017 (UTC)

That numbering is a bijection, unlike most, so it could be specified in either direction. The article had written it in the other order, which wasn't literally correct but is more clean. I reversed it, so now it is literally right, but at the cost of more convoluted prose. — Carl (CBM · talk) 15:48, 16 April 2017 (UTC)