This HTML5 document contains 220 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-elhttp://el.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-cyhttp://cy.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n41https://www.nytimes.com/2009/03/29/magazine/
n37https://itsdifferent4girls.com/2009/03/esther-dyson-visionary-extraordinaire/
n10http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n29http://viaf.org/viaf/
schemahttp://schema.org/
n19http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
n17https://dblp.org/pid/190/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n33http://d-nb.info/gnd/
n27http://dbpedia.org/resource/File:
n4http://www.saltspringarchives.com/driftwood/2002/
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbohttp://dbpedia.org/ontology/
n36https://books.google.com/
dbchttp://dbpedia.org/resource/Category:
n21http://data.bibliotheken.nl/id/thes/
dbpedia-dehttp://de.dbpedia.org/resource/
n38https://itsdifferent4girls.com/wp-content/uploads/2011/04/
n9https://www.edge.org/images/
yagohttp://dbpedia.org/class/yago/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
yago-reshttp://yago-knowledge.org/resource/
n23https://global.dbpedia.org/id/
n24http://www.ams.org/notices/199606/
n20https://www.newyorker.com/tech/annals-of-technology/
provhttp://www.w3.org/ns/prov#
n7https://www.edge.org/conversation/
foafhttp://xmlns.com/foaf/0.1/
n35https://archive.org/details/
freebasehttp://rdf.freebase.com/ns/
owlhttp://www.w3.org/2002/07/owl#
n34https://www.flickr.com/photos/vhd/

Statements

Subject Item
dbr:Verena_Huber-Dyson
rdf:type
n10:NaturalPerson yago:WikicatWomenMathematicians wikidata:Q901 yago:Whole100003553 wikidata:Q19088 yago:Organism100004475 wikidata:Q5 yago:WikicatMathematicalLogicians wikidata:Q729 yago:PhysicalEntity100001930 yago:Mathematician110301261 wikidata:Q215627 dbo:Animal owl:Thing yago:CausalAgent100007347 dbo:Eukaryote yago:Logician110269785 schema:Person yago:YagoLegalActor yago:YagoLegalActorGeo yago:Object100002684 dbo:Scientist foaf:Person yago:Expert109617867 dbo:Species dbo:Person yago:Person100007846 yago:WikicatLivingPeople yago:Scientist110560637 yago:LivingThing100004258
rdfs:label
Verena Huber-Dyson Βερίνα Χούμπερ-Ντάισον Verena Huber-Dyson Verena Huber-Dyson
rdfs:comment
Verena Huber-Dyson, née Verena Esther Huber le 6 mai 1923 à Naples et morte le 12 mars 2016 à Bellingham, est une mathématicienne suisse, connue pour son travail sur la théorie des groupes et la logique mathématique. Verena Huber-Dyson (* 6. Mai 1923 in Neapel als Verena Esther Huber; † 12. März 2016 in Bellingham, Washington) war eine Schweizer Mathematikerin. Ihr Schweizer Vater war Repräsentant der Bühler AG für den Nahen Osten und sie besuchte die Deutsche Schule in Athen mit dem Abitur 1940. Danach musste die Familie aufgrund des Zweiten Weltkriegs zurück in die Schweiz. Da sie keine Schweizer Matura hatte, konnte Verena Huber nicht an der ETH Zürich studieren, wurde aber an der Universität Zürich zugelassen, nachdem sie eine Empfehlung ihres Schulleiters in Athen einreichte, eine wissenschaftliche Qualifikationsarbeit und in Abendkursen ihr Haushaltslehrjahr absolvierte. Sie wurde 1947 bei Andreas Speiser in Zürich promoviert (Dissertation: Eine Dualität als Klassifikationsprinzip in der Theorie Verena Esther Huber-Dyson (May 6, 1923 – March 12, 2016) was a Swiss-American mathematician, known for work in group theory and formal logic. She has been described as a "brilliant mathematician", and did research on the interface between algebra and logic, focusing on undecidability in group theory. At the time of her death, she was emeritus faculty in the philosophy department of the University of Calgary, Alberta. Η Βερίνα Έστερ Χούμπερ-Ντάισον (Verena Esther Huber-Dyson, 6 Μαΐου 1923 – 12 Μαρτίου 2016) ήταν Ελβετίδα-Αμερικανίδα μαθηματικός, γνωστή για το έργο της στην θεωρία ομάδων και την τυπική λογική. Έχει περιγραφεί ως "λαμπρή μαθηματικός", και έκανε έρευνα για τη διασύνδεση μεταξύ άλγεβρας και λογικής, με έμφαση στη μη-αποφασισιμότητα στην θεωρία ομάδων. Τη χρονιά του θανάτου της ήταν ομότιμη καθηγήτρια της σχολής στο τμήμα φιλοσοφίας του Πανεπιστημίου του Κάλγκαρι, Αλμπέρτα.
foaf:name
Verena Huber-Dyson
dbp:name
Verena Huber-Dyson
foaf:depiction
n19:Verena_Huber-Dyson.jpg n19:Verena_Huber-Dyson_(cropped).jpg
dbo:birthPlace
dbr:Italy dbr:Naples
dbo:deathPlace
dbr:Bellingham,_Washington
dbp:deathPlace
dbr:Bellingham,_Washington
dbo:deathDate
2016-03-12
dbp:birthPlace
Naples, Italy
dbo:birthDate
1923-05-06
dct:subject
dbc:Goucher_College_faculty_and_staff dbc:Women_logicians dbc:2016_deaths dbc:University_of_Calgary_faculty dbc:University_of_Zurich_alumni dbc:University_of_California,_Berkeley_faculty dbc:Mathematical_logicians dbc:Expatriates_in_Switzerland dbc:Expatriates_in_Canada dbc:Women_mathematicians dbc:Institute_for_Advanced_Study_visiting_scholars dbc:1923_births
dbo:wikiPageID
22253525
dbo:wikiPageRevisionID
1116802398
dbo:wikiPageWikiLink
dbr:University_of_Zurich dbr:University_of_Zürich dbc:Goucher_College_faculty_and_staff dbr:British_Columbia dbr:Princeton_University dbr:Esther_Dyson dbr:Alfred_Tarski dbc:2016_deaths dbr:Springer_Science+Business_Media dbr:University_of_Melbourne dbc:Women_logicians dbr:Pender_Island dbr:Remington_Rand dbr:University_of_Illinois_at_Urbana–Champaign dbc:University_of_Calgary_faculty dbr:Hughes_Aircraft_Company dbr:Greece dbr:Finite_group dbr:University_of_Calgary dbr:University_of_Illinois_at_Chicago dbc:University_of_Zurich_alumni dbc:University_of_California,_Berkeley_faculty dbr:Group_theory n27:Verena_Huber-Dyson.jpg dbr:Bellingham,_Washington dbc:Expatriates_in_Switzerland dbr:Adelphi_University dbr:Freeman_Dyson dbr:Italy dbr:George_Dyson_(science_historian) dbc:Mathematical_logicians dbr:International_Committee_of_the_Red_Cross dbr:Undecidable_problem dbr:Andreas_Speiser dbr:Israel_Journal_of_Mathematics dbr:University_of_California,_Berkeley dbr:German_School_of_Athens dbr:University_of_California,_Los_Angeles dbr:Cornell_University dbr:ETH_Zurich dbr:Australian_National_University dbr:San_Jose_State_University dbr:University_of_Warwick dbr:Goucher_College dbc:Expatriates_in_Canada dbc:Women_mathematicians dbr:Naples dbr:Mathematical_logic dbr:The_New_York_Times dbr:Institute_for_Advanced_Study dbr:University_of_London dbc:1923_births dbr:Mills_College dbr:Athens dbr:Monash_University dbc:Institute_for_Advanced_Study_visiting_scholars
dbo:wikiPageExternalLink
n4:v42n1Jan3-2002.pdf n7:john_brockman-verena-huber-dyson n7:verena_huber_dyson-g%C3%B6del-and-the-nature-of-mathematical-truth-ii%7Cwebsite=Edge.org%7Caccess-date=2020-02-26 n7:verena_huber_dyson-on-the-nature-of-mathematical-concepts-why-and-how-do-mathematicians%7Cwebsite=Edge.org%7Caccess-date=2020-02-26 n9:beach.jpg n7:g-oumldel-in-a-nutshell n20:waiting-for-godel n24:letters.pdf%7Cyear=1996a n34:200618194 n35:alfredtarskilife0000fefe%7Curl-access=registration%7Clocation=Cambridge%7Cpublisher=University n36:books%3Fid=8eDuAAAAMAAJ%7Cyear=1991%7Cpublisher=B.G. n37: n38:Esthers-Mom.jpg n36:books%3Fid=kt4TAQAAIAAJ%7Cyear=1948%7Cpublisher=Zurich n41:29Dyson-t.html
owl:sameAs
dbpedia-de:Verena_Huber-Dyson wikidata:Q16089753 n17:9863 n21:p134022203 yago-res:Verena_Huber-Dyson n23:aaWL n29:91783042 dbpedia-cy:Verena_Huber-Dyson dbpedia-fr:Verena_Huber-Dyson n33:125020570 n33:107707780 n33:1117165094 freebase:m.021ylnn dbpedia-el:Βερίνα_Χούμπερ-Ντάισον n33:1145405967
dbp:spouses
dbr:Freeman_Dyson Hans-Georg Haefeli
dbp:thesisTitle
Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie
dbp:thesisYear
1947
dbp:workplaces
dbr:University_of_California,_Los_Angeles dbr:Adelphi_University dbr:University_of_Illinois_at_Urbana–Champaign dbr:University_of_Calgary dbr:University_of_California,_Berkeley
dbp:wikiPageUsesTemplate
dbt:External_media dbt:Death_date_and_age dbt:Clear dbt:Cite_conference dbt:Cite_book dbt:Quote dbt:Reflist dbt:Refend dbt:Cite_web dbt:Cite_thesis dbt:Refbegin dbt:Cite_magazine dbt:Cite_news dbt:Harvnb dbt:Cite_journal dbt:Authority_control dbt:Short_description dbt:Sfn dbt:Birth_date dbt:Infobox_scientist dbt:Notelist
dbo:thumbnail
n19:Verena_Huber-Dyson_(cropped).jpg?width=300
dbp:birthDate
1923-05-06
dbp:birthName
Verena Esther Huber
dbp:children
Katarina Halm dbr:George_Dyson_(science_historian) dbr:Esther_Dyson
dbp:citizenship
Switzerland United States
dbp:deathDate
2016-03-12
dbp:education
dbr:University_of_Zürich
dbp:fields
Logic, algebra
dbp:float
right
dbp:image
New Jersey, 1949, 2006-07-28 Later life,
dbp:otherNames
Verena Huber, Verena Haefeli
dbp:topic
Verena Huber-Dyson
dbo:abstract
Verena Huber-Dyson (* 6. Mai 1923 in Neapel als Verena Esther Huber; † 12. März 2016 in Bellingham, Washington) war eine Schweizer Mathematikerin. Ihr Schweizer Vater war Repräsentant der Bühler AG für den Nahen Osten und sie besuchte die Deutsche Schule in Athen mit dem Abitur 1940. Danach musste die Familie aufgrund des Zweiten Weltkriegs zurück in die Schweiz. Da sie keine Schweizer Matura hatte, konnte Verena Huber nicht an der ETH Zürich studieren, wurde aber an der Universität Zürich zugelassen, nachdem sie eine Empfehlung ihres Schulleiters in Athen einreichte, eine wissenschaftliche Qualifikationsarbeit und in Abendkursen ihr Haushaltslehrjahr absolvierte. Sie wurde 1947 bei Andreas Speiser in Zürich promoviert (Dissertation: Eine Dualität als Klassifikationsprinzip in der Theorie der endlichen Gruppen). Sie ging in die USA zu Reinhold Baer an der University of Illinois. 1948 war sie am Institute for Advanced Study und unterrichtete in dieser Zeit auch am Goucher College in Baltimore. Neben Gruppentheorie befasste sie sich auch mit mathematischer Logik. Nach der Ehe mit Freeman Dyson ging sie nach Kalifornien und lehrte an der San José State University, während sie sich gleichzeitig der Gruppe um Alfred Tarski in Berkeley anschloss. Es folgten Wanderjahre an verschiedenen Universitäten (so war sie von 1968 bis 1971 Assistant Professor und 1972/73 Associate Professor an der University of Illinois at Chicago), bevor sie 1973 Assistant Professor, 1977 Associate Professor und 1981 Professor in der Fakultät für Philosophie der University of Calgary wurde, wo sie 1988 emeritiert wurde. Danach lebte sie in Bellingham (Washington). Sie befasste sich mit Gödels Sätzen und Wortproblemen in Gruppen und Entscheidbarkeitsfragen bei Gruppen. Sie war von 1942 bis zur Scheidung 1948 mit dem Mathematiker Hans-Georg Haefeli verheiratet und hatte mit ihm eine Tochter (* 1945). Von 1950 bis zur Scheidung 1958 war sie mit Freeman Dyson verheiratet und hatte mit ihm die Kinder Esther Dyson und George Dyson. Sie war Gastprofessorin an verschiedenen australischen Universitäten wie der Monash University. Verena Huber-Dyson, née Verena Esther Huber le 6 mai 1923 à Naples et morte le 12 mars 2016 à Bellingham, est une mathématicienne suisse, connue pour son travail sur la théorie des groupes et la logique mathématique. Η Βερίνα Έστερ Χούμπερ-Ντάισον (Verena Esther Huber-Dyson, 6 Μαΐου 1923 – 12 Μαρτίου 2016) ήταν Ελβετίδα-Αμερικανίδα μαθηματικός, γνωστή για το έργο της στην θεωρία ομάδων και την τυπική λογική. Έχει περιγραφεί ως "λαμπρή μαθηματικός", και έκανε έρευνα για τη διασύνδεση μεταξύ άλγεβρας και λογικής, με έμφαση στη μη-αποφασισιμότητα στην θεωρία ομάδων. Τη χρονιά του θανάτου της ήταν ομότιμη καθηγήτρια της σχολής στο τμήμα φιλοσοφίας του Πανεπιστημίου του Κάλγκαρι, Αλμπέρτα. Verena Esther Huber-Dyson (May 6, 1923 – March 12, 2016) was a Swiss-American mathematician, known for work in group theory and formal logic. She has been described as a "brilliant mathematician", and did research on the interface between algebra and logic, focusing on undecidability in group theory. At the time of her death, she was emeritus faculty in the philosophy department of the University of Calgary, Alberta.
dbp:doctoralAdvisor
dbr:Andreas_Speiser
dbo:doctoralAdvisor
dbr:Andreas_Speiser
dbo:institution
dbr:University_of_Illinois_at_Urbana–Champaign dbr:Adelphi_University dbr:University_of_Calgary dbr:University_of_California,_Berkeley dbr:University_of_California,_Los_Angeles
gold:hypernym
dbr:Mathematician
schema:sameAs
n29:91783042
prov:wasDerivedFrom
wikipedia-en:Verena_Huber-Dyson?oldid=1116802398&ns=0
dbo:wikiPageLength
17179
dbo:alternativeName
Verena Huber, Verena Haefeli
dbo:birthName
Verena Esther Huber
dbo:child
dbr:George_Dyson_(science_historian) dbr:Esther_Dyson
foaf:isPrimaryTopicOf
wikipedia-en:Verena_Huber-Dyson