Peter Freyd

Datei:Peter Freyd.jpg

Peter Freyd, 2008

Peter John Freyd (* 5. Februar 1936 in Evanston, Illinois)<ref>Biografische Daten nach American Men and Women of Science, Thompson Gale 2005</ref> ist ein US-amerikanischer Mathematiker und Informatiker. Er war Professor an der University of Pennsylvania.

Leben

Freyd studierte an der Brown University (Bachelor 1958) und wurde 1960 an der Princeton University bei Norman Steenrod (Functor Theory)<ref>Mathematics Genealogy Project</ref> 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 bewies den Hauptsatz für adjungierte Funktoren.<ref>{{#invoke:Vorlage:Literatur|f}}</ref>

Er ist Fellow der American Mathematical Society.

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

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.<ref>Bloomberg, Peter. "One family’s tragedy spawns national group", The Baltimore Sun, 12 Sept 1994 </ref>

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 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)

Weblinks

• Peter J. Freyd in der Datenbank zbMATH

Einzelnachweise

<references />

{{#ifeq: p | p | | {{#if: 172080975n/88/3208727148678 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 172080975 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 172080975 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n/88/32087 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n/88/32087 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 27148678 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 27148678 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Freyd, Peter | {{#if: Freyd, Peter John (vollständiger Name) | {{#if: US-amerikanischer Mathematiker | {{#if: 5. Februar 1936 | {{#if: Evanston, Illinois | {{#if: | {{#if: |