John Newsome Crossley (born 28 September 1937) is a British-Australian mathematician and logician who writes in the field of

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

history of mathematics The history of mathematics deals with the origin of discoveries in mathematics and the History of mathematical notation, mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples ...

and

medieval history In the history of Europe, the Middle Ages or medieval period lasted approximately from the 5th to the late 15th centuries, similarly to the post-classical period of World history (field), global history. It began with the fall of the West ...

. He is involved in the field of

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

in Australia and South East Asia. As of 2010, Crossley is

Emeritus Professor ''Emeritus/Emerita'' () is an honorary title granted to someone who retires from a position of distinction, most commonly an academic faculty position, but is allowed to continue using the previous title, as in "professor emeritus". In some c ...

of Logic at

Monash University Monash University () is a public university, public research university based in Melbourne, Victoria (state), Victoria, Australia. Named after World War I general Sir John Monash, it was founded in 1958 and is the second oldest university in the ...

Australia Australia, officially the Commonwealth of Australia, is a country comprising mainland Australia, the mainland of the Australia (continent), Australian continent, the island of Tasmania and list of islands of Australia, numerous smaller isl ...

, to which he has been connected since 1968.

Biography

Crossley was educated at

Queen Elizabeth Grammar School, Wakefield Queen Elizabeth Grammar School (QEGS) is a Public school (United Kingdom), public school (day school, no boarding) for boys in Wakefield, West Yorkshire, England. The school was founded by Royal Charter of Elizabeth I of England, Queen Elizabet ...

, and then went up to

St John's College, Oxford St John's College is a Colleges of the University of Oxford, constituent college of the University of Oxford. Founded as a men's college in 1555, it has been coeducational since 1979.Communication from Michael Riordan, college archivist Its foun ...

. He was a Harmsworth Senior Scholar at

Merton College Merton College (in full: The House or College of Scholars of Merton in the University of Oxford) is a constituent college of the University of Oxford in England. Its foundation can be traced back to the 1260s when Walter de Merton, chancellor ...

from 1960 to 1962, before taking up a one-year Junior Research Fellowship there; he received his DPhil and MA (Mathematics) in 1963. His early career was spent at Oxford where he was the first university lecturer in mathematical logic and was a Fellow of

All Souls College, Oxford All Souls College (official name: The College of All Souls of the Faithful Departed, of Oxford) is a constituent college of the University of Oxford in England. Unique to All Souls, all of its members automatically become fellows (i.e., full me ...

. He is still a Quondam Fellow there. He was offered a Readership position and following a lecturing visit to Monash University in 1968, he was elected to a Chair in Pure Mathematics. He accepted this position and as of 2010, Crossley continues to be active at Monash University where he serves through its Faculty of Information Technology. Crossley has written books in logic, mathematics and computer science. He is known as the lead author of the book ''What is Mathematical Logic''. Co-written with some of his students, the book popularized the subject to the interested layman. Many of Crossley's doctoral students have gone on to be professors themselves and have written books in the field of mathematics or computing, including

Peter Aczel Peter Henry George Aczel (; 31 October 1941 – 1 August 2023) was a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known f ...

Wilfrid Hodges Wilfrid Augustine Hodges, Fellow of the British Academy, FBA (born 27 May 1941) is a British mathematician and logic, logician known for his work in model theory. Life Hodges attended New College, Oxford (1959–65), where he received degrees i ...

John Lane Bell John Lane Bell (born March 25, 1945) is an Anglo-Canadian philosopher, mathematician and logician. He is Professor Emeritus of Philosophy at the University of Western Ontario in Canada. His research includes such topics as set theory, model theo ...

and

Rod Downey Rodney Graham Downey (born 20 September 1957) is a New Zealand and Australian mathematician and computer scientist,. an emeritus professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand.

. Crossley is also an avid photographer. In 1974 he first exhibited his photographs in Melbourne and again in 2005 he exhibited ''Composition and Context'',Hinston Brook
/ref> a collection of photographs shot by Crossley around the world that illustrates the title and theme of the exhibition. A number of these photographs since have appeared in publications in Australia, Britain and the Philippines.

Publications

Books

*''Constructive Order Types'' John N. Crossley North-Holland Publishing Company, Amsterdam, 1969 *''What is Mathematical Logic'' John N. Crossley ''et al.'' Oxford University Press, 1972 *''Combinatorial Functors'' John N. Crossley and

Anil Nerode Anil Nerode (born 1932) is an American mathematician, known for his work in mathematical logic and for his many-decades tenure as a professor at Cornell University. He received his undergraduate education and a Ph.D. in mathematics from the Uni ...

, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974 *
The emergence of number
' John Newsome Crossley, World Scientific, Singapore, 1987 *''Nine Chapters on the Mathematical Art -- Companion & Commentary'', Shen Kangshen, John N. Crossley and Anthony W.-C. Lun. Oxford University Press, 1999 *''Adapting proofs-as-programs: The Curry-Howard Protocol'', Iman Hafiz Poernomo, John Newsome Crossley and Martin Wirsing, Springer Monographs in Computer Science, Springer, New York, 2005 *''Growing ideas of number'' John N. Crossley Australian Council for Educational Research, Camberwell, 2007 *''Ars musice'' Constant J. Mews, John N. Crossley, Catherine Jeffreys, Leigh McKinnon, and Carol Williams (ed and trans.), Johannes de Grocheio. Consortium on the Teaching of the Middle Ages (TEAMS), Kalamazoo, MI., 2011

References

External links

John Gough's Article

Homepage of John N. Crossley
{{DEFAULTSORT:Crossley, John Newsome 1937 births Living people Scientists from Yorkshire English mathematicians English logicians Academic staff of Monash University Fellows of All Souls College, Oxford Australian logicians 20th-century Australian philosophers 21st-century Australian philosophers 21st-century English philosophers Alumni of Merton College, Oxford Fellows of Merton College, Oxford Alumni of St John's College, Oxford 20th-century English philosophers