Lapsang Souchong tea, most people seem to hate it. Also plastic glue
ns1
joined 1 year ago
Use it to find the mooving average
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!
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