Why aren’t all functions well-defined? | Gowers's Weblog
I’m in the happy state of just having finished marking exams for this year. There is very little of interest to say about the week that was removed from my life: it would be fun to talk about particularly bizarre mistakes, but I can’t really do that, especially as the results are not yet known (or even fully decided). However, one general theme emerged that made no difference to anybody’s marks. There seems to be a common misconception amongst many Cambridge undergraduates that I’d like to discuss here in the hope that I can clear things up for a few people. (It is an issue that I have discussed already on my web page, but rather than turning that into a blog post I’m starting again.) The question where the misconception made itself felt was one about functions, injections, surjections, etc. I noticed that a lot of people wrote things like, “If then so is well defined.” Now if you fully understand what a function is, then you will find this quite amusing: if then trivially by the
Why aren’t all functions well-defined? | Gowers's Weblog Gowers's Weblog Mathematics related discussions << Swine flu and British public health policy DHJ write-up and other matters >> Why aren’t all functions well-defined? I’m in the happy state of just having finished marking exams for this year. There is very little of interest to say about the week that was removed from my life: it would be fun to talk about particularly bizarre mistakes, but I can’t really do that, especially as the results are not yet known (or even fully decided). However, one general t
Explore this link on the map →related reading
- Well-defined expression - Wikipediaen.wikipedia.org
- Napkin.pdfvenhance.github.io
- 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- Abuse of notation - Wikipediaen.wikipedia.org
- Category Theory on Math3mamath3ma.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Thomas Lam's Websitecims.nyu.edu
- Logical difficulties in modern mathematics | njwildberger: tangential thoughtsnjwildberger.com
- What Makes Algebra Difficult is the Equal Sign - Part 1 of x >> Mathematics for Teachingweb.archive.org
- How Sridhar Thinkssridharramesh.github.io
- Schröder–Bernstein theorem - Wikipediaen.wikipedia.org
- Extensional and intensional definitions - Wikipediaen.wikipedia.org