Avigad, Jeremy

URI(s)

• http://id.loc.gov/authorities/names/nb2018015267

Identifies LC/NAF RWO

• http://id.loc.gov/rwo/agents/nb2018015267

Identifies RWO

• https://d-nb.info/gnd/1271998076

• Has Affiliation

  • Organization: Carnegie Mellon University

• Associated Locale

  United States

• Associated Language

  English

• Field of Activity

  College teaching

  Mathematics--Philosophy

  (lcsh) Mathematics--History




• Occupation

  College teachers

Exact Matching Concepts from Other Schemes

• http://viaf.org/viaf/sourceID/LC%7Cnb2018015267#skos:Concept

Closely Matching Concepts from Other Schemes

• Jeremy Avigad Label from public data source Wikidata

Sources

• found: Interactive theorem proving, [2018]:title page (Jeremy Avigad) title page verso (Jeremy Avigad, Carnegie Mellon University, Pittsburgh, Pa., USA)
• found: Jeremy Avigad's homepage, viewed online 2 August 2018(I am a professor in the Department of Philosophy at Carnegie Mellon University, and (by courtesy) in the Department of Mathematical Sciences ; research interests mathematical logic, proof theory, formal verification, automated reasoning, history of mathematics ; teaches various courses on mathematical logic)

Instance Of

• MADS/RDF PersonalName
• MADS/RDF Authority
• SKOS Concept

Scheme Membership(s)

• Library of Congress Name Authority File

Collection Membership(s)

• Names Collection - Authorized Headings
• LC Names Collection - General Collection

Change Notes

• 2018-08-02: new
• 2021-02-10: revised

Alternate Formats

• RDF/XML (MADS and SKOS)
• N-Triples (MADS and SKOS)
• JSON (MADS/RDF and SKOS/RDF)
• MADS - RDF/XML
• MADS - N-Triples
• MADS/RDF - JSON
• SKOS - RDF/XML
• SKOS - N-Triples
• SKOS - JSON
• MADS/XML
• MARC/XML