John Newsome Crossley - John Newsome Crossley
John Newsome Crossley | |
---|---|
Urodzony |
|
28 września 1937
Narodowość | brytyjski |
Alma Mater |
Uniwersytet Oksfordzki Uniwersytet Monash |
Kariera naukowa | |
Pola | Matematyka |
Doradca doktorski | Kenneth AH Gravett |
Doktoranci |
Peter Aczel Wilfrid Hodges |
John Newsome Crossley (ur. 28 września 1937, Yorkshire , Anglia) jest brytyjsko-australijskim matematykiem i logikiem, który pisze w dziedzinie logiki w informatyce , historii matematyki i historii średniowiecza . Zajmuje się logiką matematyczną w Australii i Azji Południowo-Wschodniej.
Począwszy od 2010 roku, Crossley jest emerytowany profesor logiki na Monash University , Australia , gdzie został podłączony od 1968 roku.
Biografia
Crossley kształcił się w Queen Elizabeth Grammar School w Wakefield , a następnie poszedł do St John's College w Oksfordzie . Był starszym stypendystą Harmsworth w Merton College od 1960 do 1962, zanim podjął tam roczny Junior Research Fellowship; otrzymał tytuł DPhil i MA (matematyka) w 1963. Jego wczesna kariera spędziła w Oksfordzie, gdzie był pierwszym wykładowcą logiki matematycznej na uniwersytecie i był Fellow of All Souls College w Oksfordzie . Nadal jest tam Quondam Fellow . Zaproponowano mu stanowisko Czytelnika, a po wykładzie wykładowym na Uniwersytecie Monash w 1968 roku został wybrany na Katedrę Matematyki Czystej. Przyjął to stanowisko i od 2010 r. Crossley nadal jest aktywny na Uniwersytecie Monash, gdzie służy za pośrednictwem Wydziału Technologii Informacyjnych.
Crossley pisał książki z zakresu logiki, matematyki i informatyki. Jest znany jako główny autor książki Czym jest logika matematyczna . Książka, napisana wspólnie z kilkoma jego uczniami, spopularyzowała temat wśród zainteresowanych laików. Wielu doktorantów Crossleya zostało profesorami i napisało książki z dziedziny matematyki lub informatyki, w tym Peter Aczel , Wilfrid Hodges , John Lane Bell i Rod Downey .
Crossley jest również zapalonym fotografem. W 1974 roku po raz pierwszy wystawił swoje zdjęcia w Melbourne, a w 2005 ponownie wystawił Kompozycja i kontekst , zbiór fotografii wykonanych przez Crossleya na całym świecie, który ilustruje tytuł i temat wystawy. Wiele z tych fotografii ukazało się od tego czasu w publikacjach w Australii, Wielkiej Brytanii i na Filipinach.
Publikacje
Książki
- Konstruktywne typy zamówień John N. Crossley North-Holland Publishing Company, Amsterdam, 1969
- Czym jest logika matematyczna John N. Crossley i in. Oxford University Press, 1972
- Funktory kombinatoryczne John N. Crossley i Anil Nerode , Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974
- Pojawienie się numeru John Newsome Crossley, World Scientific, Singapur, 1987 r.
- Dziewięć rozdziałów o sztuce matematycznej – Towarzysz i komentarz , Shen Kangshen, John N. Crossley i Anthony W.-C. Lun. Oxford University Press, 1999
- Adaptacja dowodów jako programów: The Curry-Howard Protocol , Iman Hafiz Poernomo, John Newsome Crossley i Martin Wirsing , Springer Monographs in Computer Science, Springer, Nowy Jork, 2005
- Rosnące pomysły numeru John N. Crossley Australian Council for Educational Research, Camberwell, 2007well
- Ars musice Constant J. Mews, John N. Crossley, Catherine Jeffreys, Leigh McKinnon i Carol Williams (wyd. i przeł.), Johannes de Grocheio. Konsorcjum Nauczania Średniowiecza (TEAMS), Kalamazoo, MI, 2011