John Newsome Crossley

John Newsome Crossley
Född	( 1937-09-28 ) 28 september 1937 Yorkshire, England
Nationalitet	brittisk
Alma mater	University of Oxford Monash University
Vetenskaplig karriär
Fält	Matematik
Doktorand rådgivare	Kenneth AH Gravett
Doktorander	Peter Aczel Wilfrid Hodges

John Newsome Crossley (född 28 september 1937, Yorkshire , England) är en brittisk-australisk matematiker och logiker som skriver inom området logik i datavetenskap , matematikens historia och medeltida historia . Han är involverad i området matematisk logik i Australien och Sydostasien.

Sedan 2010 är Crossley emeritusprofessor i logik vid Monash University, Australien , som han har varit ansluten till sedan 1968.

Biografi

Crossley utbildades vid Queen Elizabeth Grammar School, Wakefield , och gick sedan upp till St John's College, Oxford . Han var en Harmsworth Senior Scholar vid Merton College från 1960 till 1962, innan han tog upp ett ettårigt Junior Research Fellowship där; han fick sin DPhil och MA (matematik) 1963. Hans tidiga karriär tillbringades i Oxford där han var den första universitetsläraren i matematisk logik och var en Fellow of All Souls College, Oxford . Han är fortfarande Quondam Fellow där. Han erbjöds en lästjänst och efter ett föreläsningsbesök vid Monash University 1968 valdes han till en lärostol i ren matematik. Han accepterade denna position och från och med 2010 fortsätter Crossley att vara aktiv vid Monash University där han tjänstgör genom dess fakultet för informationsteknologi.

Crossley har skrivit böcker inom logik, matematik och datavetenskap. Han är känd som huvudförfattare till boken What is Mathematical Logic . Boken skrevs tillsammans med några av hans elever och gjorde ämnet populärt för den intresserade lekmannen. Många av Crossleys doktorander har själva blivit professorer och har skrivit böcker inom området matematik eller databehandling, inklusive Peter Aczel , Wilfrid Hodges , John Lane Bell och Rod Downey .

Crossley är också en ivrig fotograf. 1974 ställde han ut sina fotografier för första gången i Melbourne och igen 2005 ställde han ut Composition and Context , en samling fotografier tagna av Crossley runt om i världen som illustrerar utställningens titel och tema. Ett antal av dessa fotografier har sedan dess dykt upp i publikationer i Australien, Storbritannien och Filippinerna.

Publikationer

Böcker

• Konstruktiva ordertyper John N. Crossley North-Holland Publishing Company, Amsterdam, 1969
• Vad är matematisk logik John N. Crossley et al. Oxford University Press, 1972
• Combinatorial Functors John N. Crossley och Anil Nerode , Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974
• Uppkomsten av nummer John Newsome Crossley, World Scientific, Singapore, 1987
• Nio kapitel om matematisk konst -- Companion & Commentary , Shen Kangshen, John N. Crossley och Anthony W.-C. Lun. Oxford University Press, 1999
• Att anpassa proofs-as-programs: The Curry-Howard Protocol , Iman Hafiz Poernomo, John Newsome Crossley och Martin Wirsing , Springer Monographs in Computer Science, Springer, New York, 2005
• Växande idéer John N. Crossley Australian Council for Educational Research, Camberwell, 2007
• Ars musik Constant J. Mews, John N. Crossley, Catherine Jeffreys, Leigh McKinnon och Carol Williams (red och översättning), Johannes de Grocheio. Consortium on the Teaching of the Middle Ages (TEAMS), Kalamazoo, MI., 2011

externa länkar

• John Goughs artikel
• Monash Library Search: Publications 1990–2009
• Hemsida för John N. Crossley