Peter Freyd

Peter Freyd

Peter John Freyd (nato il 5 febbraio 1936 a Evanston , Illinois ) è un matematico e informatico americano e professore presso l' Università della Pennsylvania .

Vita

Freyd ha studiato alla Brown University (Bachelor 1958) e ha conseguito il dottorato di ricerca in matematica presso la Princeton University nel 1960 con Norman Steenrod ( Functor Theory ). Dal 1960 al 1962 è stato Ritt Instructor presso la Columbia University e poi primo Assistant Professor e dal 1968 Professore presso il Laboratory for Logic and Computer Science presso l'Università della Pennsylvania. Dal 1987 è Professore di Informatica e dal 1993 Capo del Laboratorio di Logica e Informatica presso l'Università della Pennsylvania. È stato professore in visita presso le università di Milano, Leuven, Cambridge, Sydney, Montreal, Messico, Carnegie Mellon University e Università di Chicago.

Offerte Freyd di teoria delle categorie , teoria dei topoi , teoria della dimostrazione , stabile teoria omotopia , teoria dei modelli, e la teoria dei nodi . Ha dimostrato il teorema principale per i funtori aggiunti .

È un membro della American Mathematical Society .

È sposato dal 1957 e ha due figlie.

controversia

Peter J. Freyd è stato accusato di abusi sessuali da sua figlia, la professoressa di psicologia Jennifer Freyd . Nega le accuse e in risposta ha istituito la False Memory Syndrome Foundation .

Lavori

• Peter J. Freyd, Categorie abeliane, un'introduzione alla teoria dei funtori . Harper & Row (1964). Disponibile online.
• Peter J. Freyd e Andre Scedrov: categorie, allegorie . Olanda settentrionale (1999). ISBN 0-444-70368-3 .
• Peter J. Freyd: Integrali di percorso, visione bayesiana e quadratura gaussiana davvero buona? Elettr. Note teoriche 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)

Prove individuali

1. ^ Dati biografici basati su American Men and Women of Science , Thompson Gale 2005
2. ^ Progetto di genealogia matematica
3. ^ Saunders Mac Lane : Categorie: linguaggio concettuale e teoria matematica . Springer, Berlino 1972, ISBN 978-3-540-05634-8 , p. 145 ( anteprima limitata nella ricerca di libri di Google [accesso 5 gennaio 2017]). 
4. ↑ Bloomberg, Peter. "La tragedia di una famiglia genera un gruppo nazionale", The Baltimore Sun, 12 settembre 1994 http://www.skepticfiles.org/misctext/onefam.htm