Julia F. Knight (original) (raw)
Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory. She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there.
| Property | Value |
|---|---|
| dbo:abstract | Julia Frandsen Knight (* 1942 oder 1943 als Julia Frandsen) ist eine US-amerikanische mathematische Logikerin, Professorin für Mathematik an der University of Notre Dame. Knight stammt aus Logan (Utah). Sie studierte an der Utah State University mit dem Bachelor-Abschluss 1964 und wurde 1972 an der University of California, Berkeley, bei Robert Vaught promoviert (Some Problems in Model Theory). Sie ist seit 1977 Professorin an der University of Notre Dame. Dort ist sie Charles L. Huisking Professor für Mathematik. Knight befasst sich mit Modelltheorie und Berechenbarkeitstheorie. 2014 wurde sie als Gödel-Lecturer ausgewählt, 2015 als Tarski Lecturer. 2012 wurde sie Fellow der American Mathematical Society. Sie ist seit 1967 mit William Knight verheiratet, Informatik-Professor an der Indiana University South Bend, und hat einen Sohn. (de) Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory. She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there. (en) Julia Knight (née Frandsen) est une mathématicienne américaine spécialisée en logique mathématique, professeure de mathématiques à l'université Notre-Dame-du-Lac. (fr) Julia Frandsen Knight (nascida Julia Frandsen) é uma matemática estadunidense, professora de matemática da Universidade de Notre Dame. Estudou na Universidade do Estado de Utah com o bacharelado em 1964, obtendo em 1972 um doutorado na Universidade da Califórnia em Berkeley, orientada por Robert Lawson Vaught, com a tese Some Problems in Model Theory. É desde 1977 professora da Universidade de Notre Dame, onde tem a cátedra Charles L. Huisking Professor de matemática. Knight trabalha com teoria dos modelos e teoria da computabilidade. Em 2014 apresentou a Gödel Lecturer e em 2015 a Tarski Lectures. Em 2012 foi eleita fellow da American Mathematical Society. É desde 1967 casada com William Knight. (pt) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Knight_julia.jpg?width=300 |
| dbo:wikiPageID | 40816534 (xsd:integer) |
| dbo:wikiPageLength | 2737 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1054524132 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Model_theory dbr:Robert_Lawson_Vaught dbr:University_of_California,_Berkeley dbr:University_of_Notre_Dame dbr:Utah_State_University dbc:21st-century_American_women dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbr:Computability_theory dbr:Mathematical_Sciences_Research_Institute dbc:Gödel_Lecturers dbc:Tarski_lecturers dbr:Fellow dbc:20th-century_American_mathematicians dbc:20th-century_American_women dbc:21st-century_American_mathematicians dbc:University_of_California,_Berkeley_alumni dbc:Utah_State_University_alumni dbc:University_of_Notre_Dame_faculty dbr:Gödel_Lecture dbr:American_Mathematical_Society dbc:Fellows_of_the_American_Mathematical_Society dbc:20th-century_women_mathematicians dbc:21st-century_women_mathematicians dbc:American_women_mathematicians dbc:Model_theorists dbr:Association_for_Symbolic_Logic dbr:File:Knight_julia.jpg |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Reflist dbt:Short_description dbt:US-mathematician-stub |
| dct:subject | dbc:21st-century_American_women dbc:Living_people dbc:Year_of_birth_missing_(living_people) dbc:Gödel_Lecturers dbc:Tarski_lecturers dbc:20th-century_American_mathematicians dbc:20th-century_American_women dbc:21st-century_American_mathematicians dbc:University_of_California,_Berkeley_alumni dbc:Utah_State_University_alumni dbc:University_of_Notre_Dame_faculty dbc:Fellows_of_the_American_Mathematical_Society dbc:20th-century_women_mathematicians dbc:21st-century_women_mathematicians dbc:American_women_mathematicians dbc:Model_theorists |
| gold:hypernym | dbr:Mathematician |
| rdf:type | owl:Thing dbo:Person yago:WikicatAmericanMathematicians yago:WikicatLivingPeople yago:WikicatModelTheorists yago:WikicatUtahStateUniversityAlumni yago:WikicatWomenMathematicians yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Intellectual109621545 yago:LivingThing100004258 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:WikicatFellowsOfTheAmericanMathematicalSociety |
| rdfs:comment | Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory. She is the Charles L. Huisking Professor of Mathematics at the University of Notre Dame and director of the graduate program in mathematics there. (en) Julia Knight (née Frandsen) est une mathématicienne américaine spécialisée en logique mathématique, professeure de mathématiques à l'université Notre-Dame-du-Lac. (fr) Julia Frandsen Knight (* 1942 oder 1943 als Julia Frandsen) ist eine US-amerikanische mathematische Logikerin, Professorin für Mathematik an der University of Notre Dame. Knight stammt aus Logan (Utah). Sie studierte an der Utah State University mit dem Bachelor-Abschluss 1964 und wurde 1972 an der University of California, Berkeley, bei Robert Vaught promoviert (Some Problems in Model Theory). Sie ist seit 1977 Professorin an der University of Notre Dame. Dort ist sie Charles L. Huisking Professor für Mathematik. Knight befasst sich mit Modelltheorie und Berechenbarkeitstheorie. (de) Julia Frandsen Knight (nascida Julia Frandsen) é uma matemática estadunidense, professora de matemática da Universidade de Notre Dame. Estudou na Universidade do Estado de Utah com o bacharelado em 1964, obtendo em 1972 um doutorado na Universidade da Califórnia em Berkeley, orientada por Robert Lawson Vaught, com a tese Some Problems in Model Theory. É desde 1977 professora da Universidade de Notre Dame, onde tem a cátedra Charles L. Huisking Professor de matemática. Knight trabalha com teoria dos modelos e teoria da computabilidade. É desde 1967 casada com William Knight. (pt) |
| rdfs:label | Julia Knight (de) Julia Knight (fr) Julia F. Knight (en) Julia Knight (pt) |
| owl:sameAs | freebase:Julia F. Knight yago-res:Julia F. Knight http://viaf.org/viaf/94526226 wikidata:Julia F. Knight http://data.bibliotheken.nl/id/thes/p197758274 dbpedia-cy:Julia F. Knight dbpedia-de:Julia F. Knight dbpedia-fr:Julia F. Knight dbpedia-pt:Julia F. Knight http://ta.dbpedia.org/resource/ஜூலியா_எப்._நைட் https://global.dbpedia.org/id/ZAVe |
| prov:wasDerivedFrom | wikipedia-en:Julia_F._Knight?oldid=1054524132&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Knight_julia.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Julia_F._Knight |
| is dbo:person of | dbr:Association_for_Symbolic_Logic__PersonFunction__1 |
| is dbo:wikiPageRedirects of | dbr:Julia_Knight |
| is dbo:wikiPageWikiLink of | dbr:Ulrich_Kohlenbach dbr:List_of_people_by_Erdős_number dbr:Gödel_Lecture dbr:Hyperarithmetical_theory dbr:Association_for_Symbolic_Logic dbr:List_of_women_in_mathematics dbr:Tarski_Lectures dbr:Julia_Knight |
| is dbp:leaderName of | dbr:Association_for_Symbolic_Logic |
| is foaf:primaryTopic of | wikipedia-en:Julia_F._Knight |
