Mathematician:J.C. Shepherdson