Incompleteness means that maybe it’s actually impossible to prove or disprove the Riemann hypothesis, or whether P=NP. I think that’s a big deal. Maybe the fact that there are meaningful results shown to be unprovable (like axiom of choice) is more satisfying?
- 0 Posts
- 23 Comments
MBM@lemmings.worldto Comic Strips@lemmy.world•Can you rotate an apple in your head? (by Shen)1·7 days agoFor me, “imagine a circle” is kind of a meaningless instruction until you follow it up with something
MBM@lemmings.worldto World News@lemmy.world•Belgium’s future queen caught up in Harvard foreign student banEnglish14·9 days agoYeah… electing Trump a second time kind of ruined that
Also I hope it’s fake because that’s the tiniest aquarium and there’s no plants.
Maggie Simpson
You almost gave me a heart attack. It’s Marge. (that said, I trust internet perverts enough to go for adult Maggie)
Edit: oh… it’s the blurred out one
Maybe I should block more. People say you only need to block like five users to drastically improve your Lemmy experience.
Maybe it’s an artistic statement
The trick is to spend uncomfortably long trying to remember what you decided you should say
Drivers seem to love complaining about drivers
Feels inspired by one of my favourite Tumblr posts
Edit: played through some more paths and those were definitely inspired by the post :)
AMA confuses me, because every post title I come across just sounds like someone playing pretend
What progress do you get by blaming humanity instead?
It’s not bad grammar, it’s more like an internet dialect. Reminds me of fantasy books that capitalise special nouns
There isn’t even the “this is a US website” excuse anymore, like on Reddit
MBM@lemmings.worldto Europe@feddit.org•Netherlands court upholds world first ban of fossil fuel adsEnglish1·1 month agofossil fuels, fossil-powered transport, and the aviation sector in all public spaces
I think this includes ads for non-electric cars, which is huge. Flights too.
🍔 is the set of integers modulo 2 (more literally, if two integers differ by an even integer you consider them the same). I can write out more in a bit.
Edit: this previous post has some good comments, and you can find some of the notation and the answer on the wikipedia page for cohomology ring (they use F2 for integers mod 2 and RPn instead of Pn(R)). I don’t know enough algebraic topology to actually know why that’s the answer but I can at least answer these:
The first definition of 🍕 with the contravariant thing also doesn’t parse for me, what does that “-” mean in the function arguments?
I assume it’s shorthand for saying that if you define f(x) = 🍕(x, B) then f : C --> Set is contravariant.
In the definition of 🌭, what is the n (or the P)? ChatGPT started yapping about real projective space, but I’m not sure if that’s correct.
It’s not the notation I’m used to (I’d also think of power sets first), but I think it’s n-dimensional real projective space.
MBM@lemmings.worldto Europe@feddit.org•Paris Mayor: I want a city with less cars. Perhaps it's controversial, but I think I'm on the right side of history. I had lobbyists from car companies threaten me in my own office. [2017]English2·1 month agoand Paris made a lot of progress in getting rid of cars since then
I don’t think this is a political compass
That’s just the rule of Tumblr screenshots, you always have to include one reply too many
Is this an old image or do people actually want to do a men’s health month in the same month as Pride?