Clearly the artist believes in the axiom of choice

Nice work!

I always found it funny to read it as Sharon, and now you’re telling me it’s named after someone called Charlene? This keeps getting better

Use it to find the mooving average

It can feel like that, though I’m sure it’s (mostly) not deliberate. Also the sudden jump from straightforward to incomprehensible, accompanied by a comment from the author along the lines of “well duh”

All maths papers are like this

I definitely don’t get this comic, but I can give us a starting point on the first statement: “moral situations can be described using Kripke Models”-

Kripke Models are based on Modal Logic, which is a way of doing formal logic including definitions of “necessarily” and “possibly”. The link between Modal Logic and ethics is Deontic logic, where “necessarily” is taken to mean “obligatory” and “possibly” means “permitted”. Sheaves and Topos theory are pure mathematics stuff and “Globo Matho” doesn’t mean anything as far as I can tell.

Be sure to let us all know if you find out what this means!

Facebook comment sections on anything scientific are always entertaining!

Sure 0.999…95

Just kidding, the guy on the left is correct.

I thought that too as there is 1 planet too many, but now I think Pluto is the extra. The one between Mars and Neptune is Mercury

Counterpoint: if you say you have a number of things, you have at least two things, so maybe 1 is not a number either. (I’m going to run away and hide now)

https://en.wikipedia.org/wiki/Cousin_prime

2 -> twin, 4 -> cousin, 6 -> sexy, 8 -> ???

I just assumed it was one of these http://www.voting.ukscientists.com/penrose.html

If you haven’t seen them you’ve been lucky. They are definitely out there

More likely a mathematician would correct you instead of crying. Pi is not infinite, its decimal expansion is infinite!

The “roommate” is your cat, isn’t it?