Peter Freyd

Peter John Freyd (* 5. Februar 1936 in Evanston, Illinois)^[1] ist ein US-amerikanischer Mathematiker und Informatiker und Professor an der University of Pennsylvania.

Freyd studierte an der Brown University (Bachelor 1958) und wurde 1960 an der Princeton University bei Norman Steenrod (Functor Theory)^[2] in Mathematik promoviert. 1960 bis 1962 war er Ritt Instructor an der Columbia University und danach zunächst Assistant Professor und ab 1968 Professor am Labor für Logik und Informatik der University of Pennsylvania. Seit 1987 ist er Professor für Informatik und seit 1993 Leiter des Labors für Logik und Informatik an der University of Pennsylvania. Er war unter anderem Gastprofessor an den Universitäten in Mailand, Löwen, Cambridge, Sydney, Montreal, in Mexiko, der Carnegie Mellon University und der Universität Chicago.

Freyd befasst sich mit Kategorientheorie, Topos-Theorie, Beweistheorie, stabiler Homotopietheorie, Modelltheorie und Knotentheorie.

Er ist seit 1957 verheiratet und hat zwei Töchter.

Werke

• 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 0444703683.
• 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)

Kontroverse

Peter J. Freyd ist von seiner Tochter, der Psychologie-Professorin Jennifer Freyd, des sexuellen Missbrauchs beschuldigt worden. Er bestreitet die Vorwürfe und hat als Reaktion darauf die False Memory Syndrome Foundation ins Leben gerufen.^[3]

Einzelnachweise

1. ↑ Biographische Daten nach American Men and Women of Science, Thompson Gale 2005
2. ↑ Mathematics Genealogy Project
3. ↑ Bloomberg, Peter. "One family's tragedy spawns national group", The Baltimore Sun, 12 Sept 1994 http://www.skepticfiles.org/misctext/onefam.htm

Normdaten: LCCN: n88032087 | WorldCat | WP-Personeninfo