Fun question! I don't know the answer other than to say it's not just the algebraics because of the Gelfond-Schneider constant
Are you sure this is well-defined? You say that a and b are algebraic but "closure" implies that they could also be any members of S. This might mess up your proof that it's not all the reals if you do mean the closure.
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"
Always uplifting to see a struggling native species doing well. Hope I get to see one of these beauties up close one day, shame they are still limited to just a few locations.
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!
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
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)
Fun question! I don't know the answer other than to say it's not just the algebraics because of the Gelfond-Schneider constant
Are you sure this is well-defined? You say that a and b are algebraic but "closure" implies that they could also be any members of S. This might mess up your proof that it's not all the reals if you do mean the closure.