John Newsome Crossley - John Newsome Crossley
John Newsome Crossley (narozen 1937, Yorkshire, England) je britsko-australský matematik a logik, který píše v oboru logika v informatice, dějiny matematiky a středověké dějiny. Zabývá se oblastí matematické logiky v Austrálii a jihovýchodní Asii.
Od roku 2010 je Crossley Emeritní profesor logiky[1] na Monash University, Austrálie kde je spojen od roku 1968.
Životopis
Crossley studoval na Oxfordská univerzita kde získal titul DPhil a MA (matematika) v roce 1963. Jeho ranou kariéru strávil v Oxfordu, kde byl prvním univerzitním lektorem matematické logiky a byl členem All Souls College, Oxford. Stále je Quondam Fellow tam.[2] Byla mu nabídnuta pozice čtenáře a po přednáškové návštěvě Monash University v roce 1968 byl zvolen za předsedu čisté matematiky. Přijal tuto pozici a od roku 2010 Crossley nadále působí na Monash University, kde působí prostřednictvím Fakulty informačních technologií.
Crossley napsal knihy v oblasti logiky, matematiky a informatiky. Je znám jako hlavní autor knihy Co je to matematická logika.[3] Kniha, napsaná spolu s některými jeho studenty, popularizovala toto téma zájemci z řad laiků. Mnoho Crossleyových doktorandů[4] nadále sami profesoři a psali knihy z oblasti matematiky nebo výpočetní techniky, včetně Peter Aczel, Wilfrid Hodges, John Lane Bell a Rod Downey.
Crossley je také vášnivým fotografem. V roce 1974 poprvé vystavoval své fotografie v Melbourne a znovu 2005 Složení a kontext,[5] sbírka fotografií natočených Crossleyem po celém světě, která ilustruje název a téma výstavy. Řada těchto fotografií se od té doby objevila v publikacích v Austrálii, Británii a na Filipínách.
Publikace
Knihy
- Konstruktivní typy objednávek John N. Crossley North-Holland Publishing Company, Amsterdam, 1969
- Co je to matematická logika John N. Crossley et al. Oxford University Press, 1972
- Kombinatorické funktory John N. Crossley a Anil Nerode, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974
- Vznik čísla John Newsome Crossley, World Scientific, Singapore, 1987
- Devět kapitol o matematickém umění - společník a komentář, Shen Kangshen, John N. Crossley a Anthony W.-C. Lun. Oxford University Press, 1999
- Přizpůsobení korektur jako programů: Curry-Howardův protokol, Iman Hafiz Poernomo, John Newsome Crossley a Martin Wirsing Springer Monographs in Computer Science, Springer, New York, 2005
- Rostoucí myšlenky na počet Australská rada Johna N. Crossleye pro pedagogický výzkum, Camberwell, 2007
- Ars musice Constant J. Mews, John N. Crossley, Catherine Jeffreys, Leigh McKinnon a Carol Williams (ed a trans.), Johannes de Grocheio. Konsorcium pro výuku středověku (TEAMS), Kalamazoo, MI., 2011
