Verena Huber-Dyson

E31257

human logician mathematician philosopher of mathematics

Verena Huber-Dyson was a Swiss-American mathematician known for her work in group theory and logic, and for her contributions to the philosophy of mathematics.

Statements (49)

Predicate	Object
instanceOf	human → logician → mathematician → philosopher of mathematics →
academicDegree	PhD in mathematics →
child	Esther Dyson → George Dyson →
countryOfBirth	Switzerland →
countryOfCitizenship	Switzerland → United States of America →
countryOfDeath	United States of America →
dateOfBirth	1923-05-02 →
dateOfDeath	2016-03-12 →
doctoralAdvisor	Paul Bernays →
educatedAt	University of Zurich →
employer	University of Bern → University of Calgary → University of Illinois at Urbana–Champaign → University of Ottawa → University of Washington → University of Zurich →
familyName	Huber-Dyson →
fieldOfWork	group theory → mathematical logic → model theory → philosophy of mathematics → set theory →
givenName	Verena →
languagesSpokenWrittenOrSigned	English → German →
memberOf	American Mathematical Society → Association for Symbolic Logic →
name	Verena Huber-Dyson →
nativeLanguage	German →
notableIdea	applications of group theory in logic → philosophical analysis of mathematical practice →
notableStudent	William W. Boone →
notableWork	contributions to the philosophy of mathematics → work on group theory and logic →
occupation	mathematician → university teacher →
placeOfBirth	Bern →
placeOfDeath	Bellingham, Washington →
residence	Bellingham, Washington → Bern → Calgary → Seattle →
sexOrGender	female →
spouse	Freeman Dyson →

Referenced by (5)

Subject (surface form when different)	Predicate
Esther Dyson → George Dyson →	parent
Freeman Dyson → Freeman Dyson →	spouse
Verena Huber-Dyson →	name