Джеффри Б. Реммель

Джеффри Б. Реммель
Джеффри Б. Реммель
Рожденный	12 октября 1948 г. ; Клинтонвилл, Висконсин
Умер	2 сентября 2017 г. (68 лет) ; Ла-Хойя, Калифорния
Заголовок	Заслуженный профессор математики
Академическое образование
Образование	Суортморский колледж ( бакалавр ) ; Корнелльский университет ( MS , PhD ) ;
Диссертация	Ко-рекурсивно перечислимые структуры (1974)
Докторантура	Анил Нероде
Академическая работа
Дисциплина	Математик
Субдисциплина	Комбинаторика ; логика ; математическая логика ; Информатика ; вычислимость ;
Учреждения	Калифорнийский университет в Сан-Диего

Джеффри Брайан Реммел (12 октября 1948 — 29 сентября 2017) — американский математик, работавший в Калифорнийском университете в Сан-Диего . ^[1] На момент смерти он занимал выдающуюся профессорскую должность — его звание было «Заслуженный профессор математики»; ^[2] он также занимал должность профессора информатики . ^[3]

Личная жизнь [ править ]

Реммель родился 12 октября 1948 года в Клинтонвилле, штат Висконсин . ^[4] Он умер в возрасте 68 лет в Мемориальной больнице Скриппса в Ла-Хойе, Калифорния, 2 сентября 2017 года. ^[1] Сообщается, что причиной смерти стал сердечный приступ . ^[5]

Образование [ править ]

Реммель получил степень бакалавра гуманитарных наук по математике в Суортмор-колледже в 1974 году. Позже он получил две степени в Корнелльском университете — магистра наук по математике и доктора философии , также по математике (1972 и 1974 годы соответственно). ^[3] В Корнелле его консультировал Анил Нерод , и его диссертация называлась «Ко-рекурсивно перечислимые структуры» . ^[6]

Карьера [ править ]

Получив докторскую степень, ^[а] хотя до того, как он опубликовал единственную статью, ^[4] Реммель поступил на факультет Калифорнийского университета в Сан-Диего в качестве доцента , где проработал всю свою карьеру. ^[2] Реммель был известен своими успешными публикациями в двух отдельных областях: логике , в которой он публиковал статьи по математической логике ; и комбинаторика , где он опубликовал статьи по алгебраической комбинаторике . ^[6] Он опубликовал более 20 статей по логике вместе с Виктором Мареком . ^[7] и более выдающаяся карьера Реммеля в комбинаторике включала более 20 статей, написанных в соавторстве с Сергеем Китаевым . ^[4] Двойной выпуск журнала комбинаторики. ^[б] было опубликовано в его память. ^[8]

Работы Реммеля широко цитируются в области векторных пространств , включая вычислимо перечислимые множества и векторные пространства. ^[с]

Ссылки [ править ]

^ Jump up to: ^а ^б Роббинс, Гэри (6 октября 2017 г.). «Неожиданно умирает известный математик из Калифорнийского университета в Сан-Диего Джефф Реммель» . Сан-Диего Юнион-Трибьюн . Проверено 11 января 2024 г. Переиздано в Chicago Tribune .
^ Jump up to: ^а ^б Боггс, Стивен ; Ни, Лей. «Джеффри Б. Реммель» . Ученый Сенат . Калифорнийский университет . Проверено 11 января 2024 г. Также опубликовано в качестве мемориала Калифорнийским университетом в Сан-Диего .
^ Jump up to: ^а ^б «Домашняя страница Джеффа Реммеля» . Калифорнийский университет в Сан-Диего . Проверено 12 января 2024 г.
^ Jump up to: ^а ^б ^с ^д Китаев Сергей ; Мендес, Энтони (19 февраля 2021 г.). «Комбинаторика Джеффа Реммеля». Перечислительная комбинаторика и ее приложения . 1 (2) С1Н2. arXiv : 2102.07269 . ИДЕНТИФИКАТОР 124254336 .
^ Ни, Лей; Басс, Сэм (30 сентября 2017 г.). «[FOM] Печальные новости, Джефф Реммель» . Проверено 13 января 2024 г.
^ Jump up to: ^а ^б «Уведомления». Бюллетень символической логики . 23 (4): 540–545. Декабрь 2017 г. doi : 10.1017/bsl.2017.40 . ISSN 1079-8986 . JSTOR 26409199 . Также появляется в информационном бюллетене Ассоциации символической логики за ноябрь 2017 г.
^ Марек, Виктор В. «Комментарии к логике и представлению знаний» (PDF) .
^ Лоер, Николас А. (2019). «Предисловие: специальный выпуск памяти Джеффа Реммеля» (PDF) . Журнал комбинаторики . 10 (2): 409–410.

Примечания [ править ]

↑ Один источник подтверждает, что он официально не защитил докторскую диссертацию. после поступления в Калифорнийский университет в Сан-Диего. ^[4]
^ ISSN 2156-3527 ; ISSN 2150-959X .
^
См., например:
- Калантари, Ирадж (1978). «Основные подпространства рекурсивно перечислимых векторных пространств» . Журнал символической логики . 43 (2): 293–303. дои : 10.2307/2272828 . ISSN 0022-4812 . JSTOR 2272828 .
- Дауни, Род Г .; Стоб, М. (1986). «Структурные взаимодействия рекурсивно перечислимых Т- и W-степеней» . Анналы чистой и прикладной логики . 31 : 205–236. дои : 10.1016/0168-0072(86)90071-0 .
- Димитров, Румен Д.; Харизанов, Валентина (2017). День, Адам; Ребята, Майкл; Гринберг, Ноам; Хусаинов, Бахадыр (ред.). «Решетка вычислимо перечислимых векторных пространств» (PDF) . Вычислимость и сложность . Том. 10010. Чам: Springer International Publishing. стр. 366–393. дои : 10.1007/978-3-319-50062-1_23 . ISBN 978-3-319-50061-4 .

[Robbins-1] Jump up to: ^а ^б Роббинс, Гэри (6 октября 2017 г.). «Неожиданно умирает известный математик из Калифорнийского университета в Сан-Диего Джефф Реммель» . Сан-Диего Юнион-Трибьюн . Проверено 11 января 2024 г. Переиздано в Chicago Tribune .

[Boggs-2] Jump up to: ^а ^б Боггс, Стивен ; Ни, Лей. «Джеффри Б. Реммель» . Ученый Сенат . Калифорнийский университет . Проверено 11 января 2024 г. Также опубликовано в качестве мемориала Калифорнийским университетом в Сан-Диего .

[Home_Page-3] Jump up to: ^а ^б «Домашняя страница Джеффа Реммеля» . Калифорнийский университет в Сан-Диего . Проверено 12 января 2024 г.

[Kitaev-4] Jump up to: ^а ^б ^с ^д Китаев Сергей ; Мендес, Энтони (19 февраля 2021 г.). «Комбинаторика Джеффа Реммеля». Перечислительная комбинаторика и ее приложения . 1 (2) С1Н2. arXiv : 2102.07269 . ИДЕНТИФИКАТОР 124254336 .

[5] Ни, Лей; Басс, Сэм (30 сентября 2017 г.). «[FOM] Печальные новости, Джефф Реммель» . Проверено 13 января 2024 г.

[:3-6] Jump up to: ^а ^б «Уведомления». Бюллетень символической логики . 23 (4): 540–545. Декабрь 2017 г. doi : 10.1017/bsl.2017.40 . ISSN 1079-8986 . JSTOR 26409199 . Также появляется в информационном бюллетене Ассоциации символической логики за ноябрь 2017 г.

[8] Марек, Виктор В. «Комментарии к логике и представлению знаний» (PDF) .

[10] Лоер, Николас А. (2019). «Предисловие: специальный выпуск памяти Джеффа Реммеля» (PDF) . Журнал комбинаторики . 10 (2): 409–410.

[7] Один источник подтверждает, что он официально не защитил докторскую диссертацию. после поступления в Калифорнийский университет в Сан-Диего. ^[4]

[9] ISSN 2156-3527 ; ISSN 2150-959X .

[11] См., например:
Калантари, Ирадж (1978). «Основные подпространства рекурсивно перечислимых векторных пространств» . Журнал символической логики . 43 (2): 293–303. дои : 10.2307/2272828 . ISSN 0022-4812 . JSTOR 2272828 .
Дауни, Род Г .; Стоб, М. (1986). «Структурные взаимодействия рекурсивно перечислимых Т- и W-степеней» . Анналы чистой и прикладной логики . 31 : 205–236. дои : 10.1016/0168-0072(86)90071-0 .
Димитров, Румен Д.; Харизанов, Валентина (2017). День, Адам; Ребята, Майкл; Гринберг, Ноам; Хусаинов, Бахадыр (ред.). «Решетка вычислимо перечислимых векторных пространств» (PDF) . Вычислимость и сложность . Том. 10010. Чам: Springer International Publishing. стр. 366–393. дои : 10.1007/978-3-319-50062-1_23 . ISBN 978-3-319-50061-4 .

[12] Калантари, Ирадж (1978). «Основные подпространства рекурсивно перечислимых векторных пространств» . Журнал символической логики . 43 (2): 293–303. дои : 10.2307/2272828 . ISSN 0022-4812 . JSTOR 2272828 .

[13] Дауни, Род Г .; Стоб, М. (1986). «Структурные взаимодействия рекурсивно перечислимых Т- и W-степеней» . Анналы чистой и прикладной логики . 31 : 205–236. дои : 10.1016/0168-0072(86)90071-0 .

[14] Димитров, Румен Д.; Харизанов, Валентина (2017). День, Адам; Ребята, Майкл; Гринберг, Ноам; Хусаинов, Бахадыр (ред.). «Решетка вычислимо перечислимых векторных пространств» (PDF) . Вычислимость и сложность . Том. 10010. Чам: Springer International Publishing. стр. 366–393. дои : 10.1007/978-3-319-50062-1_23 . ISBN 978-3-319-50061-4 .

[1]

[2]

[3]

[4]

[5]

[6]

[а]

[7]

[б]

[8]

[с]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Германия Израиль
академики	ЦиНии ДБЛП MathSciNet Проект математической генеалогии Скопус zbMATH
Другой	ИдРеф