stringtranslate.com

Джон Трасс

Джон Кеннет Трасс (родился в апреле 1947 года) — математик и почётный профессор чистой математики в Университете Лидса , где он специализируется на математической логике , бесконечных группах перестановок , однородных структурах и теории моделей . [1] Трасс начал свою карьеру в качестве младшего научного сотрудника в Оксфордском университете, затем занимал ряд академических должностей и, наконец, присоединился к Университету Лидса . Он написал книги по дискретной математике (1991) и математическому анализу (1997) и был соредактором главного редактора журнала Лондонского математического общества до июня 2003 года. Он является отцом бывшего премьер-министра Соединённого Королевства Лиз Трасс .

Ранняя жизнь и семья

Джон Трасс родился в апреле 1947 года. [2] [3] Он окончил Королевский колледж в Кембридже в 1968 году и получил докторскую степень в Университете Лидса в 1973 году за диссертацию под названием «Некоторые результаты о кардинальных числах без аксиомы выбора», которую курировал Фрэнк Дрейк. [4] В 1969 году он женился на Присцилле Мэри Грасби, медсестре, [5] с которой он познакомился, когда они были студентами в Кембридже. [5] Вместе у них есть дочь Лиз Трасс и трое сыновей. [6] Лиз Трасс описала политику своих родителей как «левее лейбористов ». [7] Трасс и его жена оба были сторонниками Кампании за ядерное разоружение . [8] Они развелись в 2003 году. [5]

Трасс отказался вести агитацию вместе со своей дочерью по поводу ее избрания кандидатом от Консервативной партии в Юго-Западном Норфолке на всеобщих выборах в Великобритании в 2010 году . [9]

Карьера

Первой академической должностью Трасса была должность младшего научного сотрудника в Математическом институте Оксфордского университета. [10] Затем он преподавал в школе в Киддерминстере , [11] Вустершире, а затем с 1979 по 1985 год читал лекции в Технологическом колледже Пейсли . [5] В 1987 году он работал в Университете Саймона Фрейзера [12] в Британской Колумбии, Канада, а затем в Университете Лидса, где в 1988 году вместе с Фрэнком Дрейком он редактировал сборник статей Logic Colloquium '86, состоявшегося в Университете Халла в 1986 году. [13]

В 1990 году Питер Кэмерон воздал должное Трассу в своих заметках об олигоморфных группах перестановок в серии заметок лекций Лондонского математического общества № 152 за то, что он уберег его от «совершения некоторых поспешных предположений (путем их опровержения)», и «в частности» за его вклад в вопрос о том, каковы возможные структуры циклов автоморфизмов M ? [14] В 1991 году Трасс опубликовал «Дискретную математику для специалистов по информатике» , которую Джон Бейлисс охарактеризовал в « The Mathematical Gazette» как «мастерскую и основательную» и «быстро проникающую в суть некоторых очень захватывающих тем», но посчитал, что это скорее книга для математиков, чем для специалистов по информатике, как утверждал автор. Тем не менее, Бейлисс считал, что подход, использованный Трассом при организации и представлении своего материала, оказался весьма успешным в сжатии различных направлений математики, так что автор показал, что « дискретная математика достигла зрелости и больше не является набором разрозненных тем». [15]

В 1999 году Трасс и С. Барри Купер , также из Университета Лидса, совместно отредактировали два тома статей в серии Lecture Notes Лондонского математического общества, вышедших из Европейской встречи Ассоциации символической логики в Лидсе в июле 1997 года по множествам и доказательствам [16] [17] и моделям и вычислимости. [16] Тома были одобрены философом Грэмом Пристом из Университета Квинсленда , который отметил, что они сосредоточены на логике, практикуемой на математических факультетах, с небольшим содержанием философского или компьютерного характера, но, возможно, в результате этого, были более последовательными, чем обычно для сборников конференционных статей. [16] К тому времени Трасс и Джонатан Партингтон были соредакторами Журнала Лондонского математического общества . [18] Их сменили 6 июня 2003 года Фрэнсис Берстолл и Джон Толанд . [19]

Избранные публикации

Книги

Отредактированные тома

Журнальные статьи

Ссылки

  1. ^ "Профессор Дж. К. Трасс | Школа математики | Университет Лидса". eps.leeds.ac.uk . Архивировано из оригинала 23 февраля 2022 г. Получено 7 сентября 2022 г.
  2. ^ Truss, JK, Библиотека Конгресса. Получено 15 сентября 2022 г.
  3. ^ Файл виртуального международного органа власти. Получено 15 сентября 2022 г.
  4. ^ Джон Кеннет Трасс. Проект генеалогии математики. Получено 12 сентября 2022 г.
  5. ^ abcd Норфолк, Эндрю; Уэйс, Шарлотта; Гриллс, Джордж. «Лиз Трасс: от юной либерал-демократки до любимицы правых тори» . The Times . ISSN  0140-0460 . Получено 7 сентября 2022 г. .
  6. ^ Джош Глэнси; Хьюго Дэниел (3 сентября 2022 г.). «Откуда родом Лиз Трасс? Ее невероятное путешествие охватывает три страны и два континента». The Times . Архивировано из оригинала 4 сентября 2022 г. . Получено 6 сентября 2022 г. .
  7. ^ Куинн, Бен (5 сентября 2022 г.). «Как Лиз Трасс стала лидером Консервативной партии — хронология». The Guardian .
  8. ↑ Хоук, Джек (5 сентября 2022 г.). «Как Лиз Трасс, следующий премьер-министр Великобритании, превратилась из антимонархистской мятежницы в следующую Маргарет Тэтчер». ABC News . Получено 14 марта 2023 г.
  9. ^ Коул, Гарри ; Хил, Джеймс (2022). Из ниоткуда: Внутренняя история неожиданного взлета и стремительного падения Лиз Трасс . HarperCollins . ISBN 978-0-00-860578-0.
  10. ^ «Модели теории множеств, содержащие много совершенных множеств», Ann. Math. Logic 7, 197–219 (1974).
  11. ↑ Откуда в Оксфорде родом Лиз Трасс? Миранда Норрис, Oxford Mail , 6 сентября 2022 г. Получено 12 сентября 2022 г.
  12. ↑ Чан, Шерил (6 сентября 2022 г.). «Новый премьер-министр Великобритании Лиз Трасс посещала школу в Бернаби». Vancouver Sun . Получено 6 сентября 2022 г. .
  13. ^ Сковрон, Анджей (1989). «Обзор логического коллоквиума '86». Студия Логика . 48 (3): 396–400. ISSN  0039-3215. JSTOR  20015451.
  14. ^ Кэмерон, Питер Дж. (1990). Олигоморфные группы перестановок . London Mathematical Society Lecture Notes Series No. 152. Кембридж: Cambridge University Press. стр. v, 3, 86, 104. ISBN 0-521-38836-8
  15. ^ ab Baylis, John (1992). «Обзор дискретной математики для компьютерных ученых». The Mathematical Gazette . 76 (476): 303–305. doi :10.2307/3619163. ISSN  0025-5572. JSTOR  3619163.
  16. ^ abc Priest, Graham (2001). «Обзор множеств и доказательств; модели и вычислимость, S. Barry Cooper, John K. Truss». Studia Logica . 69 (3): 446–448. ISSN  0039-3215. JSTOR  20016368.
  17. ^ Кантини, Андреа (2002). «Обзор первых шагов в метапредикативность в явной математике». Бюллетень символической логики . 8 (4): 535–536. doi :10.2307/797965. ISSN  1079-8986. JSTOR  797965.
  18. ^ "Журнал Лондонского математического общества". Архивировано из оригинала 13 сентября 1999 года.
  19. ^ "Журнал Лондонского математического общества". www1.maths.leeds.ac.uk . Получено 6 сентября 2022 г. .

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