Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy