Mathematician:Peter Freyd