We demonstrate certain probles that can be solved algorithmically and others that cannot.
Our objective is to explore the limits of algorithmic solvability.