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
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!
!askmath@lemmings.world is one I know of
I remember reading that the transporter was added to TOS mainly to speed up storytelling, with the technobabble behind it being expanded on later. Then replicators/holodeck put in TNG because it made sense based on similar technology. So basically you're exactly right, it is magic
Yes, I remember seeing this comment. The bias there is really obvious to anyone following the discussion.
Hi Chris! Nice pictures
Slow, ageing cold-blooded reptile meets giant tortoise
You can instantly tell it's Newcastle without knowing the exact point on the map, because it's the same place that is "shirtless"
Any shop selling a "Cornish pastry" must be awful. The pasty shops that are actually in Cornwall are definitely better!
Yeah it's not clear what the axes are in this picture. Looks more like a single scale split in 4
Not an expert but I'd guess that is Tycho crater, and the stripes are called its ray system https://en.wikipedia.org/wiki/Ray_system