Джон Ньюсом Кроссли (родился 28 сентября 1937 года, Йоркшир , Англия) - британско-австралийский математик и логик, который пишет в области логики в компьютерных науках , истории математики и средневековой истории . Он занимается математической логикой в Австралии и Юго-Восточной Азии.
По состоянию на 2010 год Кроссли является почетным профессором логики [1] в Университете Монаша , Австралия, где он работает с 1968 года.
Биография [ править ]
Кроссли получил образование в гимназии королевы Елизаветы в Уэйкфилде , а затем поступил в колледж Святого Иоанна в Оксфорде . Он был старшим научным сотрудником Хармсворта в Мертон-колледже с 1960 по 1962 год, прежде чем устроился там на однолетнюю младшую научную стипендию; он получил докторскую степень и магистр математики в 1963 году. [2] Его ранняя карьера прошла в Оксфорде, где он был первым университетским лектором по математической логике и был членом колледжа Всех Душ в Оксфорде . Он по-прежнему там работает сотрудником Quondam . [3]Ему предложили должность читателя, и после посещения лекции в Университете Монаша в 1968 году он был избран на кафедру чистой математики. Он принял эту должность, и с 2010 года Кроссли продолжает работать в Университете Монаша, где он работает на факультете информационных технологий.
Кроссли написал книги по логике, математике и информатике. Он известен как ведущий автор книги « Что такое математическая логика» . [4] Книга, написанная в соавторстве с некоторыми из его учеников, популяризировала эту тему среди заинтересованных неспециалистов. Многие из докторантов Кроссли [5] сами стали профессорами и написали книги в области математики или вычислений, в том числе Питер Акзель , Уилфрид Ходжес , Джон Лейн Белл и Род Дауни .
Кроссли также заядлый фотограф. В 1974 году он впервые выставил свои фотографии в Мельбурне и снова 2005 он выставил состав и контекст , [6] коллекция фотографий , снятых Crossley по всему миру , который иллюстрирует название и тему выставки. Некоторые из этих фотографий с тех пор появились в публикациях в Австралии, Великобритании и на Филиппинах.
Публикации [ править ]
Книги [ править ]
- Типы конструктивного порядка Джон Н. Кроссли, издательство North-Holland Publishing, Амстердам, 1969 г.
- Что такое математическая логика? Джон Н. Кроссли и др. Издательство Оксфордского университета, 1972 г.
- Комбинаторные функторы Джон Н. Кроссли и Анил Нероде , Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, Berlin, 1974
- Появление числа Джон Ньюсом Кроссли, World Scientific, Сингапур, 1987 г.
- Девять глав по математическому искусству - компаньоны и комментарии , Шен Каншен, Джон Н. Кроссли и Энтони В.-К. Лун. Издательство Оксфордского университета, 1999 г.
- Адаптация доказательств как программ: Протокол Карри-Ховарда , Иман Хафиз Поерномо, Джон Ньюсом Кроссли и Мартин Вирсинг , Монографии Springer в области компьютерных наук, Спрингер, Нью-Йорк, 2005
- Растущие идеи числа Джон Н. Кроссли Австралийский совет исследований в области образования, Камберуэлл, 2007 г.
- Ars musice Констант Дж. Мьюз, Джон Н. Кроссли, Кэтрин Джеффрис, Ли Маккиннон и Кэрол Уильямс (под ред. И пер.), Йоханнес де Грохейо. Консорциум по преподаванию средневековья (TEAMS), Каламазу, штат Мичиган, 2011 г.
Ссылки [ править ]
- ^ Университет Монаша Справочник Персонал архивации 18 сентября 2008 в Wayback Machine
- ^ Levens, RGC, изд. (1964). Регистр колледжа Мертон 1900-1964 . Оксфорд: Бэзил Блэквелл. п. 521.
- ^ Quondam Fellows в All Souls College, Оксфорд архивации 5 августа 2010 на Wayback Machine
- ^ Список публикаций на philpapers.org
- ↑ Джон Ньюсом Кроссли в проекте « Математическая генеалогия»
- ^ Хинстон Брук
Внешние ссылки [ править ]
- Статья Джона Гоу
- Поиск в библиотеке Монаша: публикации 1990–2009 гг. [ Постоянная мертвая ссылка ]
- Домашняя страница Джона Н. Кроссли