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

Верена Хубер-Дайсон
Рожденный	Верена Эстер Хубер ( 1923-05-06 ) 6 мая 1923 г. Неаполь , Италия
Умер	12 марта 2016 г. (12 марта 2016 г.) (92 года) Беллингем, Вашингтон
Другие имена	Верена Хубер, Верена Хафели
Гражданство	Швейцария Соединенные Штаты
Образование	Университет Цюриха
Известный	Теория групп Математическая логика
Супруги	Ханс-Георг Хафели ( м. 1942; див. 1948) Фриман Дайсон ( м. 1950; дивизия 1958)
Дети	Катарина Хальм Эстер Дайсон Джордж Дайсон
Научная карьера
Поля	Логика, алгебра
Учреждения	Калифорнийский университет, Беркли Университет Адельфи Калифорнийский университет, Лос-Анджелес Университет Иллинойса в Урбане-Шампейне Университет Калгари
Диссертация	Дуализм как принцип классификации в абстрактной теории групп   (1947).
Докторантура	Андреасспейзер

Верена Эстер Хубер-Дайсон (6 мая 1923 — 12 марта 2016) — швейцарско-американский математик, известная своими работами по теории групп и формальной логике . Ее описывают как «блестящего математика». который исследовал взаимодействие алгебры и логики , уделяя особое внимание неразрешимости в теории групп. На момент смерти она была почетным преподавателем философского факультета Университета Калгари , Альберта.

Биография

Ранняя жизнь и образование

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

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

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

Карьера

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

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

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

Академическая принадлежность до июня 1968 г.

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

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

Академическая принадлежность после сентября 1968 г.

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

Чем заняться в Калгари

• Преподавал аспирантуру по основам математики, философии и методологии наук.
• Началась работа над монографией «Теоремы Гёделя: рабочая тетрадь по формализации».

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

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

Дальнейшая жизнь

Внешний образ
Верена Хубер-Дайсон
Дальнейшая жизнь ,

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

Личная жизнь

Внешний образ
Верена Хубер-Дайсон
Нью-Джерси, 1949 год.

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

Впоследствии она вышла замуж за Фримена Дайсона в Анн-Арборе, штат Мичиган, 11 августа 1950 года. У них было двое детей, Эстер Дайсон (род. 14 июля 1951 года, в Цюрихе) и Джордж Дайсон (род. 1953, Итака, Нью-Йорк). и развелись в 1958 году.

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

есть нечто большее «В истине , чем можно уловить доказательствами ».

- Робертс 2016 г.

Монографии

• Хафели-Хубер, Верена Эстер (1948). как принцип классификации в абстрактной теории групп ( Дуализм доктор философии) (на немецком языке). Цюрихский университет. ОСЛК   2277810 .
• Роггенкамп, Клаус В.; Хубер-Дайсон, Верена (1970). Решетки над порядками I . Конспект лекций по математике (№ 115). Спрингер-Верлаг . дои : 10.1007/BFb0068796 . ISBN  978-3-540-04904-3 .
• Хубер-Дайсон, Верена (1991). Теоремы Гёделя: Учебное пособие по формализации . 122 в текстах Тойбнера по математике. Издательство Б. Г. Тойбнера. ISBN  978-3-8154-2023-2 .

Статьи

Внешний образ
Верена Хубер-Дайсон
28 июля 2006 г.

• Хубер-Дайсон, Верена; Крайзель, Георг (1961). «Анализ семантической конструкции интуиционистской логики Бет». Отчет Стэнфордского исследования . 3 .
• Хубер-Дайсон, Верена (1964). «О проблеме принятия решений для теорий конечных моделей». Израильский математический журнал . 2 (1): 55–70. дои : 10.1007/bf02759735 . S2CID   122395102 .
• Хубер-Дайсон, Верена (1965). «Сильная представимость теоретико-числовых функций». Отчет о самолете Хьюза .
• Хубер-Дайсон, Верена (1969). «О проблеме решения расширений разрешимой теории» . Фундамента Математика . 64 : 7–40. дои : 10.4064/fm-64-1-7-40 .
• Хубер-Дайсон, Верена (1974). «Семья групп с проблемами с красивыми словами». Журнал Австралийского математического общества . 17 .
• Хубер-Дайсон, Верена (1977). «Говоря о свободных группах в естественно обогащенных языках». Связь в алгебре . 5 (11): 1163–1191. дои : 10.1080/00927877708822214 .
• Хубер-Дайсон, Верена (1979). «Индуктивная теория свободных произведений групп». Алгебра Универсалис . 9 : 35–44. дои : 10.1007/BF02488014 . S2CID   119943802 .
• Хубер-Дайсон, Верена (1981). «Редукция проблемы открытого предложения для конечных групп». Бюллетень Лондонского математического общества . 13 (4): 331–338. дои : 10.1112/blms/13.4.331 .
• Хубер-Дайсон, Верена (1982). «Симметричные группы и проблема открытого предложения». Патрский логический симпозиум . Северная Голландия.
• Хубер-Дайсон, Верена (1982). «Условия конечности и проблема слов». Группы Сент-Эндрюс 1981г . Конспекты лекций LMS. Том. 71.
• Хубер-Дайсон, Верена; Джонс, Джеймс Паркс; Шепердсон, Джон Седрик (1982). «Некоторые диофантовые формы теоремы Гёделя». Архив математической логики . 22 .
• Хубер-Дайсон, Верена (1982). «Проблемы принятия решений в теории групп». Последние тенденции в математике, Рейнхардсбрунн, 1982 . Тойбнер Текст по математике. Том. 50.
• Хубер-Дайсон, Верена (1984). «HNN-построение конечных групп». Группы Корея 1983 . Конспекты лекций Спрингера по математике. Том. 1098.
• Хубер-Дайсон, Верена (1981). «Критическое замечание доктора Хофштадтера о Гёделе, Эшере, Бахе». Канадский философский журнал . 11 (4).
• Хубер-Дайсон, Верена (1996). «Мысли по поводу 70-летия Крейзеля». В Одифредди (ред.). Крейзелиана, о Джордже Крейзеле и его окрестностях . АК Петерс.
• Хубер-Дайсон, Верена (июнь 1996 г.). «Визги и тени над объявлениями» (PDF) . Уведомления АМС . 43 (6): 653 . Проверено 2 ноября 2020 г. {{cite journal}}: CS1 maint: дата и год ( ссылка )
• Хубер-Дайсон, Верена (15 февраля 1998 г.). «О природе математических понятий: почему и как математики делают поспешные выводы?» . Edge.org . Проверено 26 февраля 2020 г.
• Хубер-Дайсон, Верена (27 июля 2005 г.). «Гёдель и природа математической истины II» . Edge.org . Проверено 26 февраля 2020 г.
• Хубер-Дайсон, Верена (13 мая 2006 г.). «Гедель в двух словах» . Edge.org . Проверено 2 ноября 2020 г.

Ссылки

Источники

• Брокман, Джон (13 марта 2016 г.). «Верена Хубер-Дайсон, 6 мая 1923 г. — 12 марта 2016 г.» . Edge.org . Проверено 2 ноября 2020 г.
• Брукс, Памела (3 января 2002 г.). «Фрагменты Пендера» (PDF) . Остров Галф Дрифтвуд . п. 20 . Проверено 2 ноября 2020 г.
• Давидов, Николас (25 марта 2009 г.). «Гражданский еретик» . Нью-Йорк Таймс . Проверено 30 октября 2020 г. .
• Феферман, Соломан; Феферман, Анита (2004). Альфред Тарский: Жизнь и логика . Кембридж: Университетское издательство. ISBN  9780521802406 .
• Робертс, Шивон (29 июня 2016 г.). «В ожидании Гёделя» . Житель Нью-Йорка . Проверено 2 ноября 2020 г.
• Шеве, Филипп (2013). «Гений-индивидуалист: новаторская одиссея Фримена Дайсона» . Физика сегодня . 66 (6): 52. Бибкод : 2013ФТ....66ф..52Б . дои : 10.1063/PT.3.2012 .
• Шерман, Линда (24 марта 2009 г.). «Выдающийся провидец Эстер Дайсон» . Для девочек все по-другому . Проверено 2 ноября 2020 г.