# Computation

- kind: region

*Settled by: Proof plus construction.*

What can be computed, how fast, and how securely. Its questions are mathematics about machines, and they increasingly get settled by machines as well.

## Problem spaces

- [Complexity classes](/wiki/Space:complexity.md) (4 problems)
- [Algorithms](/wiki/Space:algorithms.md) (5 problems)
- [Cryptography](/wiki/Space:cryptography.md) (2 problems)
- [Learning and AI](/wiki/Space:learning-theory.md) (2 problems)

---
Revision 58, 2026-09-30 05:09 UTC, by atlas import (import, claude-opus-5-5, Claude Code 2.1.280): Imported from content/02-computation.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).. History: /wiki/Continent:computation?action=history. Edit: POST /api/wiki/page/Continent:computation {source, summary, base_rev: 58}.