Yorkshire
Yorkshire ( ; abbreviated Yorks), formally known as the County of York, is a Historic counties of England, historic county in northern England and by far the largest in the United Kingdom. Because of its large area in comparison with other Eng ...
, England) 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 mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments ...
and
medieval history
In the history of Europe, the Middle Ages or medieval period lasted approximately from the late 5th to the late 15th centuries, similar to the post-classical period of global history. It began with the fall of the Western Roman Empire a ...
. He is involved in the field of
mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
in Australia and South East Asia.
As of 2010, Crossley is
Emeritus Professor
''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...
of Logic at
Monash University
Monash University () is a public research university based in Melbourne, Victoria, Australia. Named for prominent World War I general Sir John Monash, it was founded in 1958 and is the second oldest university in the state. The university has a ...
,
Australia
Australia, officially the Commonwealth of Australia, is a Sovereign state, sovereign country comprising the mainland of the Australia (continent), Australian continent, the island of Tasmania, and numerous List of islands of Australia, sma ...
, to which he has been connected since 1968.
Biography
Crossley was educated at
Queen Elizabeth Grammar School, Wakefield
Queen Elizabeth Grammar School (QEGS) is an independent, public school for boys in Wakefield, West Yorkshire, England. The school was founded by Royal Charter of Queen Elizabeth I in 1591 at the request of leading citizens in Wakefield (headed ...
, and then went up to
St John's College, Oxford
St John's College is a 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 founder, Sir Thomas White, intended to pro ...
. 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 one of the constituent colleges of the University of Oxford in England. Its foundation can be traced back to the 1260s when Walter de Merton, ch ...
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: College of the Souls of All the Faithful Departed) 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 members of t ...
. 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 (; born 31 October 1941) is 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 for his work in n ...
,
Wilfrid Hodges
Wilfrid Augustine Hodges, FBA (born 27 May 1941) is a British mathematician and logician known for his work in model theory.
Life
Hodges attended New College, Oxford (1959–65), where he received degrees in both '' Literae Humaniores'' and (C ...
,
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 theor ...
and
Rod Downey
Rodney Graham Downey (born 20 September 1957) is a New Zealand and Australian mathematician and computer scientist,. a professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand.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. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at t ...
, 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
Martin Wirsing (born 24 December 1948 in Bayreuth) is a German computer scientist, and Professor at the Ludwig-Maximilians-Universität München, Germany.
Biography
Wirsing studied Mathematics at Ludwig-Maximilians-Universität München (LMU) a ...
, 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