This looks great!
- 0 Posts
- 30 Comments
Joined 2 years ago
Cake day: June 17th, 2023
You are not logged in. If you use a Fediverse account that is able to follow users, you can follow this user.
Doesn’t have the “updates” part, but there is !bestoflemmy@lemmy.world
Good to see, but a shame that the plans only apply to new housing developments, and they’re being very vague about anything after that. Seems to take an extremely long time to do anything on this issue despite the changes apparently having wide support
Clearly the artist believes in the axiom of choice
You could say something like “the image of exponentiation over…” to mean the set of values created by applying the function once, but it sounds slightly clunky.
Looks like there aren’t really very many sets of mostly transcendental numbers that have names. Computational numbers and periods are two of them, I’d guess that both probably contain your set, so you could compare with those to see where it gets you.
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.
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
Don’t think I’d want to subject the poor spider to that, however funny it would be for onlookers!
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!
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
I like cafes and sometimes shop at Morrisons, but I can’t say I’ve ever been to the cafe in Morrisons. This is sad but maybe not surprising