There is an algorithm to compute étale cohomology in finite time (but we don't know how long it takes) — link
Gro-Tsen
- 32.5k
- 5
- 86
- 372