Jump to content

Talk:Numbering (computability theory)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by CBM (talk | contribs) at 15:48, 16 April 2017 (Definition broken?: c). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject iconMathematics Start‑class Low‑priority
WikiProject iconThis 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.
StartThis article has been rated as Start-class on Wikipedia's content assessment scale.
LowThis article has been rated as Low-priority on the project's priority scale.

Definition broken?

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)[reply]

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)[reply]