Shriram Krishnamurthi

The latter brings to mind Davis and Hersh's definition of mathematics in "The Experience of Mathematics": "the study of mental objects with reproducible properties". That makes it (like chess) especially amenable to computational attack.