Whenever mathematicians invoke theorems, I always picture them as anime characters calling out their attacks in a fight.
Dedekinnnndddd CUT! (slices across the real line)
Frobenius! Automorphism! (transforms into a car)
Taaaate... Shafareviiich... GROUP! (summons a swarm of sharp geometric shurikens)
RIEMAAAAANNNN!!! HYPOTHESISSSSS!! (ultimate attack, unblockable, ignores all defenses, huge mushroom cloud leaving behind a huge smouldering crater)
@JordiGH This is too much like how I think... I have these cards in my hand, which will I play? The thing writhes in front of me, I drop an 'abelian Galois group' on it, suddenly the writhing stops and it sorts itself into a row of primes with exponents on their shoulders. Almost there, just one more... glancing at my hand I select 'idempotent decomposition' and lay it gently on top. Their armor suits shatter, I select the one shard I needed.
@kimreece It does always seem like just a matter of picking the right angles of attack, doesn't it? And sometimes requires creating entirely new ones.
@JordiGH The worst part isn't choosing how to attack, it's explaining to anyone else what happened when you did it and how.
@JordiGH that sounds like Bungou Stray Dogs but with mathematicians instead of authors and poets
Kinda surprised an anime series on that premise hasn't popped up yet
@JordiGH Some of the monsters lurking out there are powerful enough to require a technique as overpowered as the Reimann Hypothesis to defeat...
@urusan Jokes aside, there are a bunch of papers out there that prove results assuming RH, so, yeah, it kind of is already being used as an "attack".
@urusan There's a result that was proven in a funny way. Assume RH: Then the result holds. Assume RH is false: Then the result holds.
Therefore, the result holds.
I'm trying to remember what crazy thing was proven this way.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!