Timeline for When did the abuse of notation $y=y(x)$ start?
Current License: CC BY-SA 3.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Aug 17, 2017 at 7:43 | comment | added | Andrej Bauer | In this particular case you can avoid AC, but people do this sort of thing all the time, and in general it amounts to AC. | |
Aug 17, 2017 at 7:41 | comment | added | Tobias Kildetoft | @AndrejBauer Where in this would AC be applied? For each $k$ we would just need to choose an element from a well-ordered set. | |
Aug 17, 2017 at 7:39 | comment | added | Andrej Bauer | And we inadvertently applied the Axiom of Choice. | |
Nov 2, 2016 at 13:58 | history | answered | Gerald Edgar | CC BY-SA 3.0 |