Joined on 2/19/05
Posted by sharpnova - July 31st, 2023
give me an EXP-complete algebra and i'll show you a degenerate spectral sequence. (not based on a known cohomology; a perfectly non-trivial zero of the subspace of spectral sequences that just happens to have degenerate splines)
if i can't, i'll pay you .25 BTC and just know that bijections on spectral sequences and any abelian ring are verifiable in polynomial time. so if i suggest something wrong, you'll be able to prove its wrongness with more or less zero effort.
It's the way everyone was too intimidated to even try rofl.
Even though people love to play devil's advocate like there's not an isomorphism. TSC immediately shifted everyone to being skeptical about isos rather than picking up the actual lesson which is that isos are everywhere in all the non-computable algebras.
You can even take out the degeneracy condition it just has to hit any kind of finite loop
.25 BTC still stands, cowards.
Curtains-Joe
@chiralanomaly