Peter Freyd

from Wikipedia, the free encyclopedia
Peter Freyd

Peter John Freyd (born February 5, 1936 in Evanston , Illinois ) is an American mathematician and computer scientist and professor at the University of Pennsylvania .

Life

Freyd studied at Brown University (Bachelor 1958) and received his PhD in mathematics from Princeton University in 1960 with Norman Steenrod ( Functor Theory ). 1960 to 1962 he was Ritt Instructor at Columbia University and then first Assistant Professor and from 1968 Professor at the Laboratory for Logic and Computer Science at the University of Pennsylvania. Since 1987 he has been Professor of Computer Science and since 1993 Head of the Laboratory for Logic and Computer Science at the University of Pennsylvania. He was visiting professor at the universities of Milan, Leuven, Cambridge, Sydney, Montreal, Mexico, Carnegie Mellon University and the University of Chicago.

Freyd deals with category theory , topos theory , proof theory , stable homotopy theory , model theory, and knot theory . He proved the main theorem for adjoint functors .

He is a fellow of the American Mathematical Society .

He has been married since 1957 and has two daughters.

controversy

Peter J. Freyd has been accused of sexual abuse by his daughter, psychology professor Jennifer Freyd . He denies the allegations and in response he set up the False Memory Syndrome Foundation .

Works

  • Peter J. Freyd, Abelian Categories, an Introduction to the Theory of Functors . Harper & Row (1964). Available online.
  • Peter J. Freyd and Andre Scedrov: Categories, Allegories . North Holland (1999). ISBN 0-444-70368-3 .
  • Peter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? Electr. Notes theor. Comput. Sci. 29: (1999)
  • Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflectivity. Theor. Comput. Sci. 228 (1-2): 49-76 (1999)

Individual evidence

  1. ^ Biographical data based on American Men and Women of Science , Thompson Gale 2005
  2. ^ Mathematics Genealogy Project
  3. ^ Saunders Mac Lane : Categories: Conceptual Language and Mathematical Theory . Springer, Berlin 1972, ISBN 978-3-540-05634-8 , p. 145 ( limited preview in Google book search [accessed January 5, 2017]).
  4. ↑ Bloomberg, Peter. "One family's tragedy spawns national group," The Baltimore Sun, Sept 12, 1994 http://www.skepticfiles.org/misctext/onefam.htm
personal data
SURNAME Freyd, Peter
ALTERNATIVE NAMES Freyd, Peter John (full name)
BRIEF DESCRIPTION American mathematician
DATE OF BIRTH February 5, 1936
PLACE OF BIRTH Evanston , Illinois