Johna Newsome'a ​​Crossleya

Johna Newsome'a ​​Crossleya
Urodzić się	( 1937-09-28 ) 28 września 1937 Yorkshire, Anglia
Narodowość	brytyjski
Alma Mater	Uniwersytet Oksfordzki Monash University
Kariera naukowa
Pola	Matematyka
Doradca doktorski	Kennetha AH Gravetta
Doktoranci	Petera Aczela Wilfrida Hodgesa

John Newsome Crossley (urodzony 28 września 1937, Yorkshire , Anglia) to brytyjsko-australijski matematyk i logik, który pisze w dziedzinie logiki w informatyce , historii matematyki i historii średniowiecza . Zajmuje się logiką matematyczną w Australii i Azji Południowo-Wschodniej.

Od 2010 roku Crossley jest emerytowanym profesorem logiki na Uniwersytecie Monash w Australii , z którym jest związany od 1968 roku.

Biografia

Crossley kształcił się w Queen Elizabeth Grammar School w Wakefield , a następnie udał się do St John's College w Oksfordzie . Był starszym uczonym w Harmsworth w Merton College od 1960 do 1962, zanim podjął tam roczne stypendium dla młodszych naukowców; uzyskał tytuł DPhil i MA (matematyka) w 1963 r. Jego wczesną karierę spędził w Oksfordzie, gdzie był pierwszym wykładowcą uniwersyteckim logiki matematycznej i był członkiem All Souls College w Oksfordzie . Nadal jest tam członkiem Quondam Fellow. Zaproponowano mu stanowisko Czytelnika, a po wykładzie na Uniwersytecie Monash w 1968 roku został wybrany na Katedrę Matematyki Czystej. Przyjął to stanowisko i od 2010 roku Crossley nadal działa na Uniwersytecie Monash, gdzie służy na Wydziale Informatyki.

Crossley jest autorem książek z logiki, matematyki i informatyki. Znany jest jako główny autor książki Czym jest logika matematyczna . Książka, napisana wspólnie z niektórymi jego uczniami, spopularyzowała ten 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 także zapalonym fotografem. W 1974 roku po raz pierwszy wystawił swoje fotografie w Melbourne i ponownie w 2005 roku wystawił Composition and Context , kolekcję fotografii zrobionych przez Crossleya na całym świecie, która ilustruje tytuł i temat wystawy. Od tego czasu wiele z tych fotografii pojawiło się 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
• Dziewięć rozdziałów o sztuce matematycznej - towarzysz i komentarz , Shen Kangshen, John N. Crossley i Anthony W.-C. Poł. Oxford University Press, 1999
• Dostosowanie 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 idee numer Johna N. Crossleya Australijska Rada Badań Edukacyjnych, Camberwell, 2007
• Ars musice Constant J. Mews, John N. Crossley, Catherine Jeffreys, Leigh McKinnon i Carol Williams (red. i tłum.), Johannes de Grocheio. Konsorcjum ds. nauczania średniowiecza (ZESPÓŁ), Kalamazoo, MI., 2011

Linki zewnętrzne

• Artykuł Johna Gougha
• Wyszukiwanie w bibliotece Monash: publikacje 1990–2009
• Strona domowa Johna N. Crossleya