Wikipedia

Verena Huber-Dyson: Difference between revisions

Browse history interactively
← Previous edit
Content deleted Content added
VisualWikitext
→‎Sources: Corrected formatting for one title and spelling/punctuation of “it’s”
Tags: Mobile edit Mobile web edit Advanced mobile edit
 
(80 intermediate revisions by 41 users not shown)
Line 1:
{{Short description|Swiss-American mathematician (1923–2016)}}
{{Infobox scientist
| name = Verena Huber-Dyson
Line 5 ⟶ 6:
| alt =
| caption =
| birth_name = Verena Esther Huber
| birth_date = {{birthBirth date |1923|05|06}}
| birth_place = [[Naples]], Italy
| death_date = {{Death date and age|2016|03|12|1923|05|06}}<ref name="obituary" />
| death_date = {{death date and age |2016|03|12 |1923|05|06}}<ref name="obituary">{{cite web |url=http://molesfarewelltributes.com/tribute/details/1427/Verena-Huber-Dyson/obituary.html |title=Obituary of Verena Huber-Dyson |date=12 March 2016 |website=Moles Farewell Tributes |access-date=12 December 2016 |archiveurl=http://www.webcitation.org/6mhuU6Nl2?url=http://www.webcitation.org/6mhuU6Nl2url=http%3A%2F%2Fmolesfarewelltributes.com%2Ftribute%2Fdetails%2F1427%2FVerena-Huber-Dyson%2Fobituary.html&date=2016-12-12 |archivedate=12 December 2016}}</ref>
| death_place = [[Bellingham, Washington]]
| other_names = Verena Huber, Verena Haefeli
<!-- | residence = Switzerland, United States, Canada -->
| citizenship = Swiss, {{hlist|Switzerland|United States, Canada}}
| nationality =
| fields = Logic, algebra
| workplaces = {{ublistUnbulleted list | [[University of California, Berkeley]] | [[Adelphi University]] | [[UCLAUniversity of California, Los Angeles]] | [[University of Illinois at Urbana–Champaign]] | [[University of Calgary]]}}
| patrons =
| education = [[University of Zürich]]
| alma_mater = [[University of Zurich]]
| thesis_title = Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie
| thesis_url = <!--(or | thesis1_url = and | thesis2_url = )-->
Line 26:
| doctoral_students =
| notable_students =
| known_for = {{ubl|[[Group theory]]|[[Mathematical logic]]}}
| influences =
| influenced =
Line 32:
| author_abbrev_bot =
| author_abbrev_zoo =
| spouses = {{ublistubl | {{Marriage|Hans-Georg Haefeli|1942|1948|end=div}} | {{Marriage|[[Freeman Dyson]] (|1950&ndash;|1958)|end=div}}}}
| partner = <!--(or | partners = )-->
| children = {{ublistubl | Katarina Halm |[[Esther Dyson]] |[[George Dyson (science historian)|George Dyson]]}}
| signature = <!--(filename only)-->
| signature_alt =
Line 40:
}}
 
'''Verena Esther Huber-Dyson''' (May 6, 1923 &nbsp;– March 12, 2016) was a Swiss-American mathematician, known for her work inon [[group theory]] and [[Mathematical logic|formal logic]].<ref name="obituary" /><ref name="nyt-2009">Nicholas {{sfn|Dawidoff, [http://www.nytimes.com/|2009/03/29/magazine/29Dyson-t.html "The Civil Heretic"], ''[[New York Times]]'', March 29, 2009.</ref> }} She has been described as a "brilliant mathematician",<ref name="nyt-{{sfn|Dawidoff|2009"}} /> and haswho donedid research on the interface between [[algebra]] and [[logic]], focusing on [[undecidable problem|undecidability]] in [[group theory]]. At the time of her death, she was emeritus faculty in the philosophy department of the [[University of Calgary]], Alberta.
 
== Life and careerBiography ==
=== Early life and education===
Huber-Dyson was born Verena Esther Huber in [[Naples]], [[Italy]], on May 6, 1923. Her parents, Karl (Charles) Huber (1893–1946) and Berthy Ryffel (1899–1945), were Swiss nationals{{sfn|Schewe|2013|p=52}} who raised Verena and her sister Adelheid ("Heidi", 1925–1987) in [[Athens]], [[Greece]], where the girls attended the German-speaking ''Deutsche Schule'', or [[German School of Athens]], until forced to return to Switzerland in 1940 by the war.
 
Charles Huber, who had managed the Middle Eastern operations of Bühler AG, a Swiss food-process engineering firm, began working for the [[International Committee of the Red Cross]] (ICRC), monitoring the treatment of prisoners of war in internment camps. As the ICRC delegate to India and Ceylon, he was responsible for Italian prisoners held in British camps, but also visited German and Allied camps in Europe. In 1945-46 he served as an ICRC delegate to the United States, which he described to Verena as a place she "definitely ought to experience at length and in depth but just as definitely ought not to settle in."<ref name="obituary" />
=== Family and early life ===
Huber-Dyson was born Verena Esther Huber in [[Naples]], [[Italy]], on May 6, 1923. Her parents, Karl (Charles) Huber (1893-1946) and Berthy Ryffel (1899-1945), were Swiss nationals<ref>{{cite book|last=Schewe|first=Phillip|title=Maverick Genius: The Pioneering Odyssey of Freeman Dyson|year=2013|ref=harv}}</ref> who raised Verena and her sister Adelheid ("Heidi", 1925-1987) in [[Athens]], [[greece]], where the girls attended the German-speaking ''Deutsche Schule'', or [[German School of Athens]], until forced to return to Switzerland in 1940 by the war.
 
She studied mathematics, with minors in physics and philosophy, at the [[University of Zurich]], where she obtained her Ph.D. in mathematics in 1947 with a thesis in [[Finite group|finite group theory]]{{sfn|Haefeli-Huber|1948}}<ref name="jocfer" /><ref name="MathGen" /> under the supervision of [[Andreas Speiser]].
Charles Huber, who had managed the Middle Eastern operations of Bühler AG, a Swiss food-process engineering firm, began working for the [[International Committee of the Red Cross]] (ICRC), monitoring the treatment of prisoners of war in internment camps. As the ICRC delegate to India and Ceylon, he was responsible for Italian prisoners held in British camps, but also visited German and Allied camps in Europe, and in 1945-46 served as an ICRC delegate to the United States, which he described to Verena as a place she "definitely ought to experience at length and in depth but just as definitely ought not to settle in."<ref name="obituary" />
 
She studied mathematics, with minors in physics and philosophy, at the [[University of Zurich]], where she obtained her Ph.D in mathematics there in 1947 with a thesis in [[finite group theory]].<ref>''Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie'' (dissertation).</ref><ref name="jocfer">John J. O'Connor and Edmund F. Robertson, [http://www-history.mcs.st-andrews.ac.uk/Biographies/Dyson.html Freeman Dyson], The MacTutor History of Mathematics Archive, University of St. Andrews Scotland (last visited March 14, 2014).</ref><ref>{{MathGenealogy|id=90286}}</ref> under the supervision of [[Andreas Speiser]].
 
=== Children ===
Verena married Hans-Georg Haefeli, a fellow mathematician, in 1942, and was divorced in 1948. Her first daughter, Katarina Haefeli (now Halm), was born in 1945.{{sfn|Schewe|2013}} <ref>{{cite book|last=Feferman|first=Soloman|last2=Feferman|first2=Anita|title=Alfred Tarski: Life and Logic|pp=272–276|year=2004|ref=harv}}</ref>
 
She subsequently married [[Freeman Dyson]] in Ann Arbor, Michigan, on August 11, 1950.<ref name="jocfer" /> They had two children together, [[Esther Dyson]] (born July 14, 1951, in Zurich) and [[George Dyson (science historian)|George Dyson]] (born 1953, Ithaca, New York)<ref name="nyt-2009" /> <ref name="jocfer" /> and divorced in 1958.{{sfn|Feferman|Feferman|2004|pp=272–276}}
 
=== Career ===
Huber-Dyson accepted a postdoctoral fellow appointment at the [[Institute for Advanced Study]] in [[Princeton University|Princeton]] in 1948,<ref>[http://www. name=ias.edu/people/cos/users/vhaefeli01org Directory], ''A Community of Scholars: Institute for Advanced Study'', [[Institute for Advanced Study]] (last visited March 14, 2014)</ref> where she worked on [[group theory]] and [[Mathematical logic|formal logic]].{{sfn|ScheweFeferman|2013Feferman|2004|pp=72272-276}}{{sfn|FefermanSchewe|Feferman2013|2004|ppp=272-27672}} She also began teaching at [[Goucher College]] near Baltimore during this time.<ref>{{sfn|last=Schewe|title=Maverick Genius: The Pioneering Odyssey of Freeman Dyson2013|refp=harf72}}</ref>
 
She moved to California with her daughter Katarina, began teaching at [[San Jose State University]] in 1959, and then joined [[Alfred Tarski]]'s Group in Logic and the Methodology of Science at the [[University of California, Berkeley]]. {{sfn|Feferman|Feferman|2004|pp=272-276}} <ref name="edge-godel">Verena {{sfn|Huber-Dyson, [https://www.edge.org/conversation/g-oumldel-in-a-nutshell "Gödel in a Nutshell"], ''Edge'', May 13, |2006.</ref>}}
 
Huber-Dyson taught at [[San Jose State University]], the [[University of Zürich]], [[Monash University of Monash]], as well as at [[UCUniversity of California, Berkeley]], [[Adelphi University]], [[UCLAUniversity of California, Los Angeles]], and the [[University of Illinois at Chicago]], in mathematics and in philosophy departments. She accepted a position in the philosophy department of the [[University of Calgary]] in 1973, becoming emerita in 1988.{{sfn|Schewe|2013|p=}}
 
==== Academic affiliations (nontenure-track)prior to June 1968 ====
[[File:Verena Huber-Dyson.jpg|thumb|alt=Self-portrait|[[Hand with Reflecting Sphere|Self-portrait]], 1954{{sfn|Brockman|2016}}]]
* [[Cornell University]]
* [[Goucher College]]
Line 78 ⟶ 73:
* [[Mills College]]
* [[University of California, Berkeley|UC Berkeley]]
{{clear}}
 
==== Academic affiliations (tenure-track)after September 1968 ====
* Department of Mathematics, [[University of Illinois at Chicago]] (September 1968--&nbsp;– June 19731971) tenure-track Assistant Professor
* Department of Philosophy, [[University of Calgary]] (September 1973–-June1971 1988–June 1972) nontenure-track
* Department of Mathematics, University of Illinois at Chicago (September 1972&nbsp;– June 1973) tenured Associate Professor
** Taught graduate courses on foundations of mathematics and the philosophy and methodology of the sciences
* Department of Philosophy, University of Calgary (September 1973&nbsp;– June 1975) tenure-track Assistant Professor
** Began work on the monograph, Gödel's theorems: a workbook on formalization<ref>{{Cite book|title=Gödel's Theorems: A Workbook on Formalization|last=Huber-Dyson|first=Verena|publisher=Teubner|year=|isbn=9783815420232|location=|pages=}}</ref> (published by Teubner in 1991)
* Department of Philosophy, University of Calgary (September 1977&nbsp;– June 1981) tenured Associate Professor.
* Department of Philosophy, University of Calgary (September 1981&nbsp;– June 1988) Full Professor
* Department of Philosophy, [[University of Calgary]] (September 1988&nbsp;– March 2016) Emerita Professor
 
==== Non-academicActivities while at Calgary ====
* Taught graduate courses on foundations of mathematics and the philosophy and methodology of the sciences
* Began work on the monograph, Gödel's theorems: a workbook on formalization{{sfn|Huber-Dyson|1991|p=}}
 
=== Non-academic employment ===
* Consultant for [[Remington Rand]] (Univac) in Philadelphia
* Consultant for [[Hughes Aircraft Company|Hughes Aircraft]] in Los Angeles
 
=== Later life ===
{{External media
After retiring from Calgary, Verena Huber-Dyson moved to [[South Pender Island]] in [[British Columbia]], where she lived for 14 years. She died on March 12, 2016 in [[Bellingham, Washington]], at the age of 92.<ref name="obituary" /><ref name="MyUser_Https:_March_15_2016c">{{cite web|url=https://www.edge.org/conversation/vhd|title=Verena Huber-Dyson|date=March 13, 2016|newspaper=[[Edge Foundation, Inc.|Edge]]|author=John Brockman|accessdate=March 15, 2016}}</ref>
| float = right
| topic = Verena Huber-Dyson
| image1 = [https://itsdifferent4girls.com/wp-content/uploads/2011/04/Esthers-Mom.jpg Later life],{{sfn|Sherman|2009}}
}}
After retiring from Calgary, Verena Huber-Dyson moved back to [[Pender Island|South Pender Island]] in [[British Columbia]], where she lived for 14 years.{{sfn|Huber-Dyson|1996a|p=653}}{{sfn|Brooks|2002|p=20}} She died on March 12, 2016, in [[Bellingham, Washington]], at the age of 92.<ref name="obituary" />{{sfn|Brockman|2016}}
=== Personal life ===
{{external media
| float = right
| topic = Verena Huber-Dyson
| image1 = [https://www.edge.org/images/beach.jpg New Jersey, 1949],{{sfn|Brockman|2016}}
}}
 
Verena married Hans-Georg Haefeli, a fellow mathematician, in 1942, and was divorced in 1948. Her first daughter, [[Katarina Halm]] (née Halm), was born in 1945.{{sfn|Schewe|2013|p=52}}{{sfn|Feferman|Feferman|2004|pp=272-276}}
==Selected publications==
 
She subsequently married [[Freeman Dyson]] in Ann Arbor, Michigan, on August 11, 1950.<ref name=jocfer /> They had two children together, [[Esther Dyson]] (born July 14, 1951, in Zurich) and [[George Dyson (science historian)|George Dyson]] (born 1953, Ithaca, New York),{{sfn|Dawidoff|2009}}<ref name=jocfer /> and divorced in 1958.{{sfn|Feferman|Feferman|2004|pp=272-276}}
===Books===
 
== Selected publications ==
* {{cite book
{{quote|"There is more to ''truth'' than can be caught by ''proof''". |source={{harvnb|Roberts|2016}}}}
|last1=Huber-Dyson |first1=Verena
===Monographs===
|title=Gödel's Theorems: A Workbook on Formalization
{{refbegin}}
|publisher=[[Springer Vieweg Verlag|Teubner Verlag]]
*{{cite thesis|type=PhD|last=Haefeli-Huber|first=Verena Esther |title=Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie|url=https://books.google.com/books?id=kt4TAQAAIAAJ|year=1948|publisher=Zurich University|oclc=2277810|lang=de|trans-title=A dualism as a classification principle in abstract group theory}}
|series=Teubner-Texte zur Mathematik
* {{cite book|title=Lattices over Orders I|publisher=[[Springer Science+Business Media#History|Springer-Verlag]]|series=Lecture Notes in Mathematics (No 115)|last1=Roggenkamp|first1=Klaus W.|last2=Huber-Dyson|first2=Verena|doi=10.1007/BFb0068796|isbn=978-3-540-04904-3|year=1970}}
|volume=122
* {{cite book|last=Huber-Dyson|first=Verena |title=Gödel's Theorems: A Workbook on Formalization|url=https://books.google.com/books?id=8eDuAAAAMAAJ|year=1991|publisher=B.G. Teubner Verlagsgesellschaft|isbn=978-3-8154-2023-2|series=122 in Teubner-Texte zur Mathematik}}
|isbn=9783815420232
{{refend}}
|year=1970}}
* {{cite book
|title=Lattices over Orders I
|publisher=[[Springer-Verlag]]
|volume=115
|series=Lecture Notes in Mathematics
|last1=Roggenkamp
|first1=Klaus W.
|last2=Huber-Dyson
|first2=Verena
|doi=10.1007/BFb0068796
|isbn=978-3-540-04904-3
|year=1970}}
 
=== Articles ===
{{external media
| float = right
| topic = Verena Huber-Dyson
| image1 = [https://www.flickr.com/photos/vhd/200618194 July 28, 2006]<ref name=Flickr />
}}
 
{{refbegin}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|last2=Kreisel|first2=Georg|title=Analysis of Beth’s Semantic Construction of Intuitionistic Logic|journal=Stanford Research Report|date=1961|volume=3}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|last2=Kreisel|first2=Georg|title=OnAnalysis theof DecisionBeth's ProblemSemantic for TheoriesConstruction of FiniteIntuitionistic ModelsLogic|journal=IsraelStanford JournalResearch of MathematicsReport|date=19641961|volume=2|issue=13}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=StrongOn representabilitythe Decision Problem for Theories of Number-TheoreticFinite Functions,Models|journal=Hughes[[Israel AircraftJournal Reportof Mathematics]]|date=19651964|volume=2|issue=1|pages=55–70|doi=10.1007/bf02759735|doi-access=|s2cid=122395102}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=OnStrong the Decision Problem for Extensionsrepresentability of aNumber-Theoretic Decidable TheoryFunctions|journal=FundamentaHughes MathematicaAircraft Report|date=1969|volume=641965}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=On the Decision Problem for Extensions of a Decidable Theory|journal=Fundamenta Mathematicae|date=1969|volume=64|pages=7–40|doi=10.4064/fm-64-1-7-40|doi-access=free}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=A Family of Groups with Nice Word Problems|journal=Journal of the Australian Mathematical Society|date=1974|volume=17}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=Talking about Free Groups in Naturally Enriched Languages|journal=Communications in Algebra|date=1977|volume=5|issue=11|pages=1163–1191|doi=10.1080/00927877708822214}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=An Inductive Theory for Free Products of Groups|journal=Algebra Universalis|date=1979|volume=9|pages=35–44|doi=10.1007/BF02488014|s2cid=119943802}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=A Reduction of the Open Sentence Problem for Finite Groups|journal=Bulletin of the London Mathematical Society|date=1981|volume=13|issue=4|pages=331–338|doi=10.1112/blms/13.4.331}}
* {{cite conference|last1=Huber-Dyson|first1=Verena|title=Symmetric Groups and the Open Sentence Problem|booktitlebook-title=Patras Logic Symposium|publisher=North-Holland|date=1982}}
* {{cite conference|last1=Huber-Dyson|first1=Verena|title=Finiteness Conditions and the Word Problem|booktitlebook-title=Groups St. Andrews 1981|series=LMS Lecture Notes|date=1982|volume=71}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|last2=Jones|first2=JJames Parks|last3=Shepherdson|first3=JJohn Cedric|title=Some Diophantine Forms of Gödel’sGödel's Theorem|journal=Archiv für Mathematische Logik|date=1982|volume=22}}
* {{cite conference|last1=Huber-Dyson|first1=Verena|title=Decision Problems in Group Theory|booktitlebook-title=Recent Trends in Mathematics, Reinhardsbrunn 1982| series=Teubner Texte zur Mathematik|date=1982|volume=50}}
* {{cite conference|last1=Huber-Dyson|first1=Verena|title=HNN-constructing Finite Groups|booktitlebook-title=Groups Korea 1983|series=Springer Lecture Notes in Mathematics|date=1984|volume=1098}}
* {{cite journal|last1=Huber-Dyson|first1=Verena|title=Critical Notice on Gödel, Escher, Bach by D.R. Hofstadter|journal=Canadian Journal of Philosophy|date=1981|volume=11|issue=4}}
* {{cite book|last1=Huber-Dyson|first1=Verena|chapter=Thoughts on the Occasion of Kreisel’s 70th Birthday|title=Kreiseliana, about and around George Kreisel|editor-last=Odifreddi|publisher=AK Peters|date=1996}}
*{{Cite journal|title=Shrieks and Shadows Over the Notices |last=Huber-Dyson |first=Verena |journal=Notices of the AMS |date=June 1996 |volume=43 |issue=6 |page=653 |access-date=2 November 2020 |url= http://www.ams.org/notices/199606/letters.pdf|year=1996a }}
 
* {{cite web|last1=Huber-Dyson|first1=Verena|title=On The Nature Of Mathematical Concepts: Why And How Do Mathematicians Jump To Conclusions?|date=15 February 1998|url=https://www.edge.org/conversation/verena_huber_dyson-on-the-nature-of-mathematical-concepts-why-and-how-do-mathematicians|website=Edge.org|access-date=2020-02-26}}
==Notes==
* {{cite web|last1=Huber-Dyson|first1=Verena|title=Gödel And The Nature Of Mathematical Truth II|date=27 July 2005|url=https://www.edge.org/conversation/verena_huber_dyson-g%C3%B6del-and-the-nature-of-mathematical-truth-ii|website=Edge.org|access-date=2020-02-26}}
{{Reflist|30em}}
*{{Cite web |title=Gödel in a Nutshell |last=Huber-Dyson |first=Verena |work=edge.org |date=13 May 2006 |access-date=2 November 2020 |url= https://www.edge.org/conversation/g-oumldel-in-a-nutshell }}
{{refend}}
 
==References==
===Notes===
* {{cite book|last=Feferman|first=Soloman|last2=Feferman|first2=Anita|title=Alfred Tarski:Life and Logic|year=2004|pp=272-276|ref=harv}}
{{notelist}}
* {{cite book|last=Schewe|first=Phillip|title=Maverick Genius: The Pioneering Odyssey of Freeman Dyson|year=2013|ref=harv}}
===Citations===
{{Reflist|refs=
 
<ref name="obituary">{{cite web | url=https://www.molesfarewelltributes.com/obituaries/verena-huber-dyson/ |title=Obituary of Verena Huber-Dyson |date=12 March 2016 |website=Moles Farewell Tributes |access-date=2020-02-26 |archive-url=https://web.archive.org/web/20200226155910/https://www.molesfarewelltributes.com/obituaries/verena-huber-dyson/ |archive-date=2020-02-26 |url-status=live }}</ref><!-- {{cite web |url=http://molesfarewelltributes.com/tribute/details/1427/Verena-Huber-Dyson/obituary.html |title=Obituary of Verena Huber-Dyson |date=12 March 2016 |website=Moles Farewell Tributes |access-date=12 December 2016 |archiveurl=https://www.webcitation.org/6mhuU6Nl2?url=http://molesfarewelltributes.com/tribute/details/1427/Verena-Huber-Dyson/obituary.html |archivedate=12 December 2016 |url-status=dead }} -->
 
<ref name=jocfer>{{MacTutor|id=Dyson|title=Freeman Dyson}}</ref>
 
<ref name=MathGen>{{MathGenealogy|id=90286}}</ref>
 
<ref name=Flickr>{{Flickr image inline link |vhd}}</ref>
 
<ref name=ias.org>{{cite web|archive-url=https://web.archive.org/web/20130107133237/http://www.ias.edu/people/cos/users/vhaefeli01 |archive-date=2013-01-07|url=http://www.ias.edu/people/cos/users/vhaefeli01 |title=A Community of Scholars|website=Institute for Advanced Study|access-date=March 14, 2014}}</ref>
 
}}
 
===Sources===
{{refbegin}}
*{{Cite web |title=Verena Huber-Dyson May 6, 1923—March 12, 2016 |last=Brockman |first=John |work=edge.org |date=13 March 2016 |access-date=2 November 2020 |url= https://www.edge.org/conversation/john_brockman-verena-huber-dyson }}
*{{Cite news |title=Pender Snippets |last=Brooks |first=Pamela |page=20 |newspaper=Gulf Island Driftwood |date=3 January 2002 |access-date=2 November 2020 |url= http://www.saltspringarchives.com/driftwood/2002/v42n1Jan3-2002.pdf }}
*{{Cite web |title=The Civil Heretic |last=Dawidoff |first=Nicholas |work=[[The New York Times]] |date=25 March 2009 |access-date=30 October 2020 |url= https://www.nytimes.com/2009/03/29/magazine/29Dyson-t.html }}
* {{cite book|last1=Feferman|first1=Soloman|last2=Feferman|first2=Anita|title=Alfred Tarski: Life and Logic|year=2004|url=https://archive.org/details/alfredtarskilife0000fefe|url-access=registration|location=Cambridge|publisher=University Press|isbn=9780521802406}}
*{{Cite magazine |title=Waiting for Gödel |last=Roberts |first=Siobhan |magazine=The New Yorker |date=29 June 2016 |access-date=2 November 2020 |url= https://www.newyorker.com/tech/annals-of-technology/waiting-for-godel }}
* {{cite journal|last=Schewe|first=Phillip|title=Maverick Genius: The Pioneering Odyssey of Freeman Dyson|journal=Physics Today|volume=66|issue=6|pages=52|year=2013|bibcode=2013PhT....66f..52B|doi=10.1063/PT.3.2012|doi-access=free}}
*{{Cite web |title=Esther Dyson Visionary Extraordinaire |last=Sherman |first=Linda |work=It's Different For Girls |date=24 March 2009 |access-date=2 November 2020 |url= https://itsdifferent4girls.com/2009/03/esther-dyson-visionary-extraordinaire/ }}
{{refend}}
 
 
{{Authority control}}
 
{{DEFAULTSORT:Huber-Dyson, Verena}}
 
[[Category:1923 births]]
[[Category:2016 deaths]]
[[Category:Swiss expatriates in Canada]]
[[Category:Swiss emigrants to the United States]]
[[Category:Goucher College faculty and staff]]
[[Category:Institute for Advanced Study visiting scholars]]
[[Category:Mathematical logicians]]
[[Category:Women logicians]]
[[Category:Academic staff of the University of Calgary]]
[[Category:University of California, Berkeley faculty]]
[[Category:University of Calgary faculty]]
[[Category:University of Zurich alumni]]
[[Category:Women mathematicians]]
[[Category:Swiss mathematicians]]
[[Category:San Jose State University faculty]]
Retrieved from "https://en.wikipedia.org/wiki/Verena_Huber-Dyson"