John Crossley (mathematician)
Encyclopedia
John Newsome Crossley, DPhil, MA (Oxon), (born 1937, Yorkshire
, England) is a British-Australian mathematician and logician who writes in the field of logic in computer science
, history of mathematics
and medieval history. He is involved in the field of mathematical logic in Australia and South East Asia.
As of 2010, Crossley was Emeritus Professor of Logic at Monash University
, Australia
where he has been connected since 1968. Crossley studied at Oxford University where 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
. 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. His is known as the lead author of the book What is Mathematical Logic. Co-written by 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
, Wilfrid Hodges
, John Lane Bell
and Rod Downey.
Crossley is also an avid photographer. In 1974 he first exhibited his photographs in Melbourne and again 2005 he exhibited Composition and Context, 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.
Yorkshire
Yorkshire is a historic county of northern England and the largest in the United Kingdom. Because of its great size in comparison to other English counties, functions have been increasingly undertaken over time by its subdivisions, which have also been subject to periodic reform...
, England) is a British-Australian mathematician and logician who writes in the field of logic in computer science
Logic programming
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
, history of mathematics
History of mathematics
The area of study known as the history of mathematics is primarily an investigation into the origin of discoveries in mathematics and, to a lesser extent, an investigation into the mathematical methods and notation of the past....
and medieval history. He is involved in the field of mathematical logic in Australia and South East Asia.
As of 2010, Crossley was Emeritus Professor of Logic at Monash University
Monash University
Monash University is a public university based in Melbourne, Victoria. It was founded in 1958 and is the second oldest university in the state. Monash is a member of Australia's Group of Eight and the ASAIHL....
, Australia
Australia
Australia , officially the Commonwealth of Australia, is a country in the Southern Hemisphere comprising the mainland of the Australian continent, the island of Tasmania, and numerous smaller islands in the Indian and Pacific Oceans. It is the world's sixth-largest country by total area...
where he has been connected since 1968. Crossley studied at Oxford University where 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, Oxford
The Warden and the College of the Souls of all Faithful People deceased in the University of Oxford or All Souls College is one of the constituent colleges of the University of Oxford in England....
. 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. His is known as the lead author of the book What is Mathematical Logic. Co-written by 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 Aczel
Peter Aczel is a British mathematician, logician and computer scientist based at the University of Manchester. He is known for his work in non-well-founded set theory and constructive mathematics.-External links:*http://www.cs.man.ac.uk/~petera/...
, Wilfrid Hodges
Wilfrid Hodges
Wilfrid Augustine Hodges is a British mathematician, known for his work in model theory. He was Professor of Mathematics at Queen Mary, University of London from 1987 to 2006, and is the author of numerous books on logic....
, John Lane Bell
John Lane Bell
John Bell is Professor of Philosophy at the University of Western Ontario in Canada. He is an outstanding figure in mathematical logic and philosophy...
and Rod Downey.
Crossley is also an avid photographer. In 1974 he first exhibited his photographs in Melbourne and again 2005 he exhibited Composition and Context, 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.
Books
- What is Mathematical Logic John N. Crossley et al. Oxford University Press, 1972
- 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.
- 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
- Nine Chapters on the Mathematical Art -- Companion & Commentary, Shen Kangshen, John N. Crossley and Anthony W.-C. Lun. Oxford University Press, 1999
- Combinatorial Functors John N. Crossley and A. Nerode, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974
- Constructive Order Types John N. Crossley North-Holland Publishing Company, Amsterdam, 1969,