Джон Ньюсом Кроссли

Джон Ньюсом Кроссли
Рожденный	( 1937-09-28 ) 28 сентября 1937 г. Йоркшир, Англия
Национальность	Британский
Альма-матер	Оксфордский университет Университет Монаша
Научная карьера
Поля	Математика
Докторантура	Кеннет А. Х. Граветт
Докторанты	Питер Аксель Уилфрид Ходжес

Джон Ньюсом Кроссли (родился 28 сентября 1937, Йоркшир , Англия) — британско-австралийский математик и логик, пишущий в области логики в информатике , истории математики и истории Средневековья . Он занимается математической логикой в ​​Австралии и Юго-Восточной Азии.

По состоянию на 2010 год Кроссли является почетным профессором логики. в Университете Монаша , Австралия , с которым он связан с 1968 года.

Биография

Кроссли получил образование в гимназии королевы Елизаветы в Уэйкфилде , а затем поступил в колледж Святого Иоанна в Оксфорде . Он был старшим научным сотрудником Хармсворта в Мертон-колледже с 1960 по 1962 год, прежде чем получить там годовую младшую исследовательскую стипендию; он получил степень доктора философии и магистра математики в 1963 году. Его ранняя карьера прошла в Оксфорде, где он был первым университетским лектором по математической логике и был членом Колледжа All Souls в Оксфорде . Он до сих пор является там научным сотрудником Quondam . Ему предложили должность читателя, и после посещения с лекциями Университета Монаша в 1968 году он был избран на кафедру чистой математики. Он принял эту должность, и с 2010 года Кроссли продолжает работать в Университете Монаша, где работает на факультете информационных технологий.

Кроссли написал книги по логике, математике и информатике. Он известен как ведущий автор книги « Что такое математическая логика» . Книга, написанная совместно с некоторыми из его учеников, популяризировала эту тему среди заинтересованных непрофессионалов. Многие из докторантов Кроссли сами стали профессорами и написали книги в области математики и информатики, в том числе Питер Аксель , Уилфрид Ходжес , Джон Лейн Белл и Род Дауни .

Кроссли также является заядлым фотографом. В 1974 году он впервые выставил свои фотографии в Мельбурне, а в 2005 году снова выставил «Композицию и контекст» . коллекция фотографий, снятых Кроссли по всему миру, иллюстрирующая название и тему выставки. Некоторые из этих фотографий с тех пор появились в публикациях в Австралии, Великобритании и на Филиппинах.

Публикации

Книги

• Конструктивные типы порядка Издательство Джона Н. Кроссли Северной Голландии, Амстердам, 1969 г.
• Что такое математическая логика Джон Н. Кроссли и др. Издательство Оксфордского университета, 1972 г.
• Комбинаторные функторы Джон Н. Кроссли и Анил Нерод , Результаты математики и ее границ, Спрингер, Берлин, 1974 г.
• Появление числа Джон Ньюсом Кроссли, World Scientific, Сингапур, 1987 г.
• Девять глав о математическом искусстве - компаньон и комментарии , Шен Каншен, Джон Н. Кроссли и Энтони В.-К. Лун. Издательство Оксфордского университета, 1999 г.
• Адаптация доказательств как программ: Протокол Карри-Ховарда , Иман Хафиз Поэрномо, Джон Ньюсом Кроссли и Мартин Вирсинг , Монографии Спрингера по информатике, Спрингер, Нью-Йорк, 2005 г.
• Растущие идеи числа Джон Н. Кроссли Австралийский совет по исследованиям в области образования, Камбервелл, 2007 г.
• Ars musice Констант Дж. Мьюс, Джон Н. Кроссли, Кэтрин Джеффрис, Ли Маккиннон и Кэрол Уильямс (редактор и пер.), Йоханнес де Грошейо. Консорциум по преподаванию средневековья (TEAMS), Каламазу, Мичиган, 2011 г.

Внешние ссылки

• Статья Джона Гофа
• Домашняя страница Джона Н. Кроссли