Peter Freyd

Peter Freyd

Peter John Freyd (született február az 5., 1936-os in Evanston , Illinois ) amerikai matematikus és számítógép-tudós és professzor a University of Pennsylvania .

Élet

Freyd tanult Brown University (Bachelor 1958) és kapott doktori matematikából származó Princeton University in 1960 és Norman Steenrod ( funktorhoz Theory ). 1960 és 1962 között a Columbia Egyetemen Ritt oktatója volt , majd egyetemi adjunktusa, 1968-tól a Pennsylvaniai Egyetem logikai és informatikai laboratóriumának professzora. 1987 óta a számítástechnika professzora, 1993 óta a Pennsylvaniai Egyetem logikai és informatikai laboratóriumának vezetője. Vendégprofesszor volt a milánói, a leuveni, a cambridge-i, a sydneyi, a montreali, a mexikói egyetemen, a Carnegie Mellon Egyetemen és a chicagói egyetemen.

Freyd kategóriaelmélettel , toposzelmélettel , bizonyítási elmélettel , stabil homotópiaelmélettel , modellelmélettel és csomóelmélettel foglalkozik . Bebizonyította a szomszédos functorok fő tételét .

Az American Mathematical Society munkatársa .

1957 óta házas, két lánya van.

vita

Lánya, Jennifer Freyd pszichológiai professzor szexuális zaklatással vádolta Peter J. Freyd-et . Tagadja a vádakat, és válaszul létrehozta a False Memory Syndrome Foundation-t .

Művek

• Peter J. Freyd, Abeli ​​kategóriák, Bevezetés a Functorok elméletébe . Harper és Row (1964). Online elérhető.
• Peter J. Freyd és Andre Scedrov: Kategóriák, allegóriák . Észak-Hollandia (1999). ISBN 0-444-70368-3 .
• Peter J. Freyd: A Path Integrals, a Bayes-látás és a Gauss-kvadrátum valóban jó? Electr. Megjegyzi az elméletet. Számítsd ki. Sci. 29: (1999)
• Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent: Bireflektivitás. Theor. Számítsd ki. Sci. 228 (1-2): 49-76 (1999)

Egyéni bizonyíték

1. ↑ Az American Men and Women of Science életrajzi adatai , Thompson Gale 2005
2. ^ Matematika Genealógiai Projekt
3. ^ Saunders Mac Lane : Kategóriák: Fogalmi nyelv és matematikai elmélet . Springer, Berlin 1972, ISBN 978-3-540-05634-8 , 145. o. ( Korlátozott előnézet a Google könyvkeresőjében [hozzáférés: 2017. január 5.]). 
4. ↑ Bloomberg, Peter. "Az egyik család tragédiája nemzeti csoportot szül," The Baltimore Sun, 1994. szeptember 12. http://www.skepticfiles.org/misctext/onefam.htm