Difference between revisions
computation
Source +0 −0
… 15 unchanged lines
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)