ns1
@ns1@feddit.uk
- Comment on explosions 3 weeks ago:
Clearly the artist believes in the axiom of choice
- Comment on Personally I prefer NASA's pronunciation, which is "charon". 2 months ago:
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
- Comment on Closure of exponentiation of real algebraic numbers. 3 months ago:
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.
- Comment on Closure of exponentiation of real algebraic numbers. 3 months ago:
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.
- Comment on Cowstsnts x and cowsine x 3 months ago:
Use it to find the mooving average
- Comment on Giant spiders the size of rats making a comeback in UK 3 months ago:
Don’t think I’d want to subject the poor spider to that, however funny it would be for onlookers!
- Comment on Giant spiders the size of rats making a comeback in UK 3 months ago:
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.
- Comment on Maths vs Philosophy 4 months ago:
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!
- Comment on Maths vs Philosophy 4 months ago:
Facebook comment sections on anything scientific are always entertaining!
- Comment on I just cited myself. 5 months ago:
Sure 0.999…95
Just kidding, the guy on the left is correct.
- Comment on Planetary travel guide 5 months ago:
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
- Comment on Zero to hero 7 months ago:
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)
- Comment on hawt 7 months ago:
en.wikipedia.org/wiki/Cousin_prime
2 -> twin 4 -> cousin 6 -> sexy 8 -> ???
- Comment on histories mysteries 7 months ago:
I just assumed it was one of these www.voting.ukscientists.com/penrose.html
- Comment on Military horses run loose in central London, injuring 4 people and causing havoc 7 months ago:
I canter -nderstand it
- Comment on suck it, math nerds 9 months ago:
More likely a mathematician would correct you instead of crying. Pi is not infinite, its decimal expansion is infinite!
- Comment on Report: UK Ranks Second-Worst Globally for Mental Health 9 months ago:
It is pretty surprising that the UK has been put behind places like Sudan, Syria and DRC, so yes. Maybe we can blame the weather
- Comment on Russia pulls out of fishing deal and tells Britons to 'lose weight' 9 months ago:
Yes. Because it is.