Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre an der Universität Oxford und später an der Universität Edinburgh und ist zurzeit am Queen Mary College der Universität London. 1993 war er Gödel-Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges).

Property Value
dbo:abstract
  • Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre an der Universität Oxford und später an der Universität Edinburgh und ist zurzeit am Queen Mary College der Universität London. 1993 war er Gödel-Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges). Er ist seit 1993 Fellow der Royal Society und erhielt 2003 den Pólya-Preis der London Mathematical Society. 1998 hielt er die Tarski Lectures in Berkeley. Er ist mit der Mathematikerin Beatrice Pelloni verheiratet. (de)
  • Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre an der Universität Oxford und später an der Universität Edinburgh und ist zurzeit am Queen Mary College der Universität London. 1993 war er Gödel-Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges). Er ist seit 1993 Fellow der Royal Society und erhielt 2003 den Pólya-Preis der London Mathematical Society. 1998 hielt er die Tarski Lectures in Berkeley. Er ist mit der Mathematikerin Beatrice Pelloni verheiratet. (de)
dbo:birthDate
  • 0020-01-01 (xsd:date)
dbo:individualisedGnd
  • 113746377
dbo:lccn
  • n/78/53452
dbo:thumbnail
dbo:viafId
  • 118737816
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 4873503 (xsd:integer)
dbo:wikiPageRevisionID
  • 152974193 (xsd:integer)
prop-de:geburtsdatum
  • 20 (xsd:integer)
prop-de:kurzbeschreibung
  • britischer Logiker
prop-de:typ
  • p
dc:description
  • britischer Logiker
dct:subject
rdf:type
rdfs:comment
  • Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre an der Universität Oxford und später an der Universität Edinburgh und ist zurzeit am Queen Mary College der Universität London. 1993 war er Gödel-Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges). (de)
  • Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt. Macintyre promovierte 1968 an der Stanford University bei Dana Scott (Classifying pairs of real closed fields). In den 1970er Jahren war er Professor an der Yale University, Anfang der 1990er Jahre an der Universität Oxford und später an der Universität Edinburgh und ist zurzeit am Queen Mary College der Universität London. 1993 war er Gödel-Lecturer (Logic of Real and p-adic Analysis: Achievements and Challenges). (de)
rdfs:label
  • Angus Macintyre (de)
  • Angus Macintyre (de)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:givenName
  • Angus
foaf:isPrimaryTopicOf
foaf:name
  • Macintyre, Angus (de)
  • Angus Macintyre
foaf:nick
  • Macintyre, Angus John (de)
  • Macintyre, Angus John (de)
foaf:surname
  • Macintyre
is dbo:author of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of