What can be computed?
Church's Thesis: Whatever can be computed can be implemented in the CS100 subset of Java
Pessimists: Terrible – we will never discover any fundamentally more powerful mechanism permitting new things to be computed.
Optimists: Great – we can start immediately trying to program the most difficult problems.