Fork me on GitHub
Math for the people, by the people.

User login

Typo: Inequality as equality

Primary tabs

Typo: Inequality as equality


"An easy way to see that $P_1$ effects a one-to-one correspondence between $\mathbb{Z}_+^2$ and $\mathbb{Z}_+$ is as follows: Define the ``successor'' of a pair $(x,y) \in \mathbb{Z}_+^2$ to be the pair $(x-1,y+1)$ when $x=0$ ; otherwise, when $x=0$ , the successor is $(y+1,0)$ ."

The first occurence of $x = 0$ should be replaced with $x \neq 0$ for the recursion to be well-defined.

Parting words from the person who closed the correction: 
Status: Accepted
Reference to the user who closed the correction.: 
Reference to the article this correction is about: 
Status of the article (was it accepted?): 
Status of the article (is it closed?): 
What kind of correction is this: 

Subscribe to Comments for "Typo: Inequality as equality"