Джон Коўтс, матэматык