Джон Ньюсом Кроссли - John Newsome Crossley
Джон Ньюсом Кроссли (1937 г.р., Йоркшир, Англия) - британско-австралийский математик и логик, который пишет в области логика в информатике, история математики и средневековая история. Он занимается математической логикой в Австралии и Юго-Восточной Азии.
По состоянию на 2010 год Кроссли Почетный профессор логики[1] в Университет Монаша, Австралия где он связан с 1968 года.
биография
Кроссли учился в Оксфордский университет где он получил докторскую степень и магистр математики в 1963 году. Его ранняя карьера прошла в Оксфорде, где он был первым университетским лектором по математической логике и был научным сотрудником Колледж All Souls, Оксфорд. Он все еще Сотрудник Quondam там.[2] Ему предложили должность читателя, и после посещения лекции в Университете Монаша в 1968 году он был избран на кафедру чистой математики. Он принял эту должность, и по состоянию на 2010 год Кроссли продолжает работать в Университете Монаша, где он работает на факультете информационных технологий.
Кроссли написал книги по логике, математике и информатике. Он известен как ведущий автор книги. Что такое математическая логика.[3] Написанная в соавторстве с некоторыми из его учеников, книга популяризировала эту тему среди заинтересованных неспециалистов. Многие из докторантов Кроссли[4] впоследствии сами стали профессорами и написали книги в области математики или вычислений, в том числе Питер Акзель, Уилфрид Ходжес, Джон Лейн Белл и Род Дауни.
Кроссли также заядлый фотограф. В 1974 году он впервые выставил свои фотографии в Мельбурне, а в 2005 году он снова выставил свои фотографии. Состав и контекст,[5] Коллекция фотографий, снятых Кроссли по всему миру, которые иллюстрируют название и тему выставки. Некоторые из этих фотографий с тех пор появились в публикациях в Австралии, Великобритании и на Филиппинах.
Публикации
Книги
- Типы конструктивных ордеров Издательство John N. Crossley North-Holland Publishing Company, Амстердам, 1969 г.
- Что такое математическая логика Джон Н. Кроссли и другие. Издательство Оксфордского университета, 1972 г.
- Комбинаторные функторы Джон Н. Кроссли и Анил Нероде, Ergebnisse der Mathematik und ihrer Grenzgebiete, Шпрингер, Берлин, 1974 г.
- Появление числа Джон Ньюсом Кроссли, World Scientific, Сингапур, 1987 г.
- Девять глав по математическому искусству - компаньоны и комментарии, Шен Каншен, Джон Н. Кроссли и Энтони В.-К. Лун. Издательство Оксфордского университета, 1999 г.
- Адаптация доказательств как программ: протокол Карри-Ховарда, Иман Хафиз Поерномо, Джон Ньюсом Кроссли и Мартин Вирсинг, Springer Monographs in Computer Science, Springer, New York, 2005.
- Растущие идеи числа Джон Н. Кроссли Австралийский совет образовательных исследований, Камберуэлл, 2007 г.
- Ars Musice Констант Дж. Мьюс, Джон Н. Кроссли, Кэтрин Джеффрис, Ли Маккиннон и Кэрол Уильямс (под ред. И пер.), Йоханнес де Грошайо. Консорциум по преподаванию средневековья (TEAMS), Каламазу, штат Мичиган, 2011 г.
