Mathematician:John C. Shepherdson