Andrew Quinn

Book Review: Naive Set Theory (MIRI research guide)

The inverses Halmos defines here are more general than the inverse functions described on wikipedia. Halmos' inverses work even when the functions are not bijective.

I believe that what you are speaking of here is Halmos's discourse on what are called these days "images and preimages" or "inverse images". I found the subtle difference between these and inverse functions proper annoying when I was learning proof writing, so let me illustrate the concept, so that we have a *caveat emptor* for the budding mathematician.

Take the sets A = {0, 1} and B = {2}, and define a function f: A -> B as f(x) = 2 for whatever x in A you throw in there.

Then,

- f(0) = 2, of course.
- f(1) = 2, as well.
- f(A) = {2}, which is the
*image*of the whole*set*A "under" the function f. - f^{-1}(B) = {0, 1}, which is the
*pre-image*of the whole*set*of B under f. Meaning, "anything I can throw into f, from A, to get something in B". - f^{-1}(2) , however, is
**meaningless,**at least as far as functions go. Functions can only return one thing, so how would you decide whether f^{-1}(2) should give you back 0 or 1?

If you say f^{-1}(2) should give back both, well, now you're not dealing with an inverse *function* any more, you're dealing with the inverse *relation*. You can in fact deal with that, with some other tools in the book

These are more general, which is nice, but I've found that in a rigorous environment it won't do to describe them with the same language you use with functions. You really want to toy with these gently, if you can.

Book Review: Naïve Set Theory (MIRI course list)

I used your axiom list and Zorn's lemma proof sketch to make Mnemosyne cards. Thanks a bunch!

Two prescriptions for fixing a procedural/declarative knowledge mismatch.

Thanks, habryka. I added a short explanation and linked this in the post. I thought it would be more common knowledge than it is around these parts.

[Math] Towards Proof Writing as a Skill In Itself

Nice dude!

I don't think this refutes my essential point, but it does add a caveat to it that might help exceptions realize when such a course wouldn't actually help them much. I've never taken a course in logic, and have in fact only recently cracked open a book on FOL proper.

I quite like this approach. :) I’ll see if I can apply it to electrical engineering and pure mathematics soon, as those are the subjects I am studying in school. Linear algebra will be my first stop.