Хубер-Дайсон, Верена

Верена Хубер-Дайсон

англ. Verena Huber-Dyson

Имя при рождении

Верена Эстер Хубер

Дата рождения

6 мая 1923 года

Место рождения

Неаполь, Италия

Дата смерти

12 марта 2016 года

Место смерти

Беллингхем, Вашингтон

Гражданство

Швейцария • США

Род деятельности

математик

Супруг

• Ханс-Георг Хефели (1942—1948)
• Фримен Дайсон (1950—1958)

Дети

• Катарина Халм
• Эстер Дайсон
• Джордж Дайсон

Верена Эстер Хубер-Дайсон (англ. Verena Esther Huber-Dyson, урождённая Хубер; ^{[Нет даты!]}) — швейцарско-американский математик. Известна работами по теории групп и формальной логике. Исследовала взаимосвязь алгебры и логики, уделяя особое внимание неразрешимости в теории групп.

Биография

Ранние годы и образование

Верена Эстер Хубер родилась в Неаполе (Италия) 6 мая 1923 года. Её родители, Карл (Чарльз) Хубер (1893—1946) и Берти Риффель (1899—1945), были гражданами Швейцарии. Они воспитывали Верену и её сестру Адельхайд («Хайди», 1925—1987) в Афинах (Греция), где девочки посещали немецкоязычную школу (Deutsche Schule, или Немецкая школа в Афинах), пока в 1940 году из-за войны не были вынуждены вернуться в Швейцарию.

Чарльз Хубер, руководивший ближневосточными операциями швейцарской компании по производству пищевого оборудования Bühler AG, начал работать в Международном комитете Красного Креста (МККК), контролируя обращение с военнопленными в лагерях для интернированных. В качестве делегата МККК в Индии и на Цейлоне он отвечал за итальянских пленных, содержавшихся в британских лагерях, а также посещал немецкие и союзные лагеря в Европе. В 1945—1946 годах он служил делегатом МККК в США, которые он описывал Верене как место, которое ей «определённо стоит узнать подробно и глубоко, но так же определённо не стоит там селиться».

Она изучала математику, а также физику и философию в Цюрихском университете, где в 1947 году получила степень доктора философии по математике, защитив диссертацию по теории конечных групп под руководством Андреаса Шпайзера.

Карьера

В 1948 году Хубер-Дайсон получила должность постдока в Институте перспективных исследований в Принстоне, где работала над теорией групп и формальной логикой. В это же время она начала преподавать в Гаучер-колледже недалеко от Балтимора.

Она переехала в Калифорнию с дочерью Катариной, в 1959 году начала преподавать в Университете штата Калифорния в Сан-Хосе, а затем присоединилась к группе Альфреда Тарского по логике и методологии науки в Калифорнийском университете в Беркли.

Хубер-Дайсон преподавала на кафедрах математики и философии в Университете штата Калифорния в Сан-Хосе, Цюрихском университете, Университете Монаша, а также в Калифорнийском университете в Беркли, Университете Адельфи, Калифорнийском университете в Лос-Анджелесе и Иллинойсском университете в Чикаго. В 1973 году она приняла должность на кафедре философии Университета Калгари, став почётным профессором в 1988 году.

Академические связи до июня 1968 года

Автопортрет, 1954 год

• Корнеллский университет
• Гаучер-колледж
• Университет штата Калифорния в Сан-Хосе (сентябрь 1959 года)
• Университет Адельфи
• UCLA
• Лондонский университет
• ETH Zürich
• Уорикский университет
• Мельбурнский университет
• Университет Монаша
• Австралийский национальный университет в Канберре
• Цюрихский университет
• Миллс-колледж
• UC Berkeley

Академические связи после сентября 1968 года

• Кафедра математики, Иллинойсский университет в Чикаго (сентябрь 1968 — июнь 1971), доцент (tenure-track)
• Кафедра философии, Университет Калгари (сентябрь 1971 — июнь 1972), без постоянного контракта
• Кафедра математики, Иллинойсский университет в Чикаго (сентябрь 1972 — июнь 1973), штатный доцент
• Кафедра философии, Университет Калгари (сентябрь 1973 — июнь 1975), доцент (tenure-track)
• Кафедра философии, Университет Калгари (сентябрь 1977 — июнь 1981), штатный доцент
• Кафедра философии, Университет Калгари (сентябрь 1981 — июнь 1988), профессор
• Кафедра философии, Университет Калгари (сентябрь 1988 — март 2016), почётный профессор

Деятельность в Калгари

• Преподавала курсы для аспирантов по основаниям математики и философии и методологии наук.
• Начала работу над монографией «Теоремы Гёделя: рабочая тетрадь по формализации» (Gödel's theorems: a workbook on formalization).

Неакадемическая занятость

• Консультант Remington Rand (Univac) в Филадельфии.
• Консультант Hughes Aircraft в Лос-Анджелесе.

Поздние годы

После выхода на пенсию в Калгари Верена Хубер-Дайсон вернулась на Саут-Пендер-Айленд в Британской Колумбии, где прожила 14 лет. Она умерла 12 марта 2016 года в Беллингхеме, штат Вашингтон, в возрасте 92 лет.

Личная жизнь

В 1942 году Верена вышла замуж за математика Ханса-Георга Хефели; они развелись в 1948 году. Её первая дочь родилась в 1945 году.

Затем она вышла замуж за Фримена Дайсона в Анн-Арборе, штат Мичиган, 11 августа 1950 года. У них родилось двое детей, Эстер Дайсон и Джордж Дайсон. Они развелись в 1958 году.

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

Монографии

• Haefeli-Huber, Verena Esther (1948), «Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie», Zurich University, OCLC 2277810, <https://books.google.com/books?id=kt4TAQAAIAAJ> 
• Roggenkamp, Klaus W. Lattices over Orders I. — Springer-Verlag, 1970. — (Lecture Notes in Mathematics (No 115)). — ISBN 978-3-540-04904-3. — DOI:10.1007/BFb0068796
• Huber-Dyson, Verena Gödel's Theorems: A Workbook on Formalization. — B.G. Teubner Verlagsgesellschaft, 1991. — (122 in Teubner-Texte zur Mathematik). — ISBN 978-3-8154-2023-2.

Статьи

• (1982) "Symmetric Groups and the Open Sentence Problem"., North-Holland. 
• (1982) "Finiteness Conditions and the Word Problem". 71. 
• (1982) "Decision Problems in Group Theory". 50. 
• (1984) "HNN-constructing Finite Groups". 1098. 
• Huber-Dyson, Verena Thoughts on the Occasion of Kreisel’s 70th Birthday // Kreiseliana, about and around George Kreisel / Odifreddi. — AK Peters, 1996.
• Huber-Dyson, Verena Shrieks and Shadows Over the Notices // Notices of the AMS. — 1996. — том 43. — № 6. — С. 653.
• On The Nature Of Mathematical Concepts: Why And How Do Mathematicians Jump To Conclusions?. Edge.org (15 February 1998). Проверено 26 февраля 2020.
• Gödel And The Nature Of Mathematical Truth II. Edge.org (27 July 2005). Проверено 26 февраля 2020.
• Huber-Dyson, Verena Gödel in a Nutshell. edge.org (13 May 2006). Проверено 2 ноября 2020.

Литература

• Brockman, John Verena Huber-Dyson May 6, 1923—March 12, 2016. edge.org (13 March 2016). Проверено 2 ноября 2020.
• Brooks, Pamela. Pender Snippets (2002 год), стр. 20.
• Dawidoff, Nicholas The Civil Heretic. The New York Times (25 March 2009). Проверено 30 октября 2020.
• Feferman, Soloman Alfred Tarski: Life and Logic. — Cambridge: University Press, 2004. — ISBN 9780521802406.
• Roberts, Siobhan Waiting for Gödel // The New Yorker. — 2016.
• Sherman, Linda Esther Dyson Visionary Extraordinaire. It's Different For Girls (24 March 2009). Проверено 2 ноября 2020.

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Хубер-Дайсон, Верена», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Хубер-Дайсон,_Верена Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».