y=x/(1-x) is not the bijection that he asserts it is, [...]. It’s a function that maps [0,1] onto [1,\intfy] as a subset of the topological closure of R.
How is that not a bijection? Specifically, a bijection between the sets [0,1[∪{1} and IR≥0∪{∞}, which seems exactly to be the claim EY is making.
On a broader point, EY was not calling into question the correctness or consistency of mathematical concepts or claims but whether they have any useful meaning in reality. He was not talking about the map, he was talking about the territory and how we may improve the map to better reflect the territory.
How is that not a bijection? Specifically, a bijection between the sets [0,1[∪{1} and IR≥0∪{∞}, which seems exactly to be the claim EY is making.
On a broader point, EY was not calling into question the correctness or consistency of mathematical concepts or claims but whether they have any useful meaning in reality. He was not talking about the map, he was talking about the territory and how we may improve the map to better reflect the territory.