Difference between revisions
computation
Status and infobox
- kind:
—→ region
Source +14 −0
+---
+title: 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
+
+- [[Space:complexity|Complexity classes]] (4 problems)
+- [[Space:algorithms|Algorithms]] (5 problems)
+- [[Space:cryptography|Cryptography]] (2 problems)
+- [[Space:learning-theory|Learning and AI]] (2 problems)
Revision 58 as rendered
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 (4 problems)
- Algorithms (5 problems)
- Cryptography (2 problems)
- Learning and AI (2 problems)