Talk:Numbering (computability theory)
Appearance
![]() | Mathematics Start‑class Low‑priority | |||||||||
|
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)
- That numbering is a bijection. The article had written it in the other order, which wasn't literally write 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)