- Have universal machine that can, within Turing limits, compute anything it has been programmed to compute.
- Develop software that lets anyone generate some programs without having to understand what they are doing or specify precisely what the generated program ought to do or don’t do.
- ???
- Disruption!