Talk:Numbering (computability theory)

Latest comment: 7 years ago by CBM in topic Definition broken?

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)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