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?
- 2 Posts
- 1.25K Comments
For me, “imagine a circle” is kind of a meaningless instruction until you follow it up with something
MBMto Not Just Bikes@feddit.nl•Not Just Bikes — They Tore Down a Highway and Made it a River (and traffic got better)2·4 days agoOh! Sorry, I watched the youtube version (which has a bit of a shady sponsor)
MBMto Not Just Bikes@feddit.nl•Not Just Bikes — They Tore Down a Highway and Made it a River (and traffic got better)0·4 days agoGreat video, very disappointing sponsorship
MBMto TechTakes@awful.systems•Stubsack: weekly thread for sneers not worth an entire post, week ending 25th May 2025English10·5 days agoSorry if this doesn’t fit the thread. Just came across this non-profit called 80,000 hours, after they sponsored NotJustBikes. It “provides free career advice for finding a meaningful career that can help you make a positive impact on the world,” which actually sounds nice, but then I realised that they’re talking about AI risk and that this comes from the TESCREAL corner.
MBMto World News@lemmy.world•Belgium’s future queen caught up in Harvard foreign student banEnglish14·5 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
I do the feeding thing, but mostly because it feels wrong to kill a mosquito and then just throw it in the trash
Also a friend tactic. It’s just a nickname
Doing the UK, France and Italy in one vacation is already interesting to me
MBMto Eurovision Song Contest@lemmy.world•Austria's Eurovision winner JJ calls for Israel to be banned from contestEnglish5·8 days agoLet the whole mena region participate if Israel stays
At least Morocco and Egypt are in fact allowed to participate, since they’re also EBU members
MBMto tumblr@lemmy.world•Wafrn is a tumblr alternative that connects to the fediverse and bluesky.2·8 days agoSame as Mastodon I assume, since it’s also about following users instead of communities
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
Makes sense, because you make me want to throw up