Property |
Value |
dbo:abstract
|
- Leo Anthony Harrington (* 17. Mai 1946) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Mengenlehre beschäftigt. Harrington promovierte 1973 am Massachusetts Institute of Technology bei Gerald E. Sacks (Contributions to Recursion Theory on Higher Types). Er ist Professor an der University of California, Berkeley. Harrington bewies 1977 mit Jeff Paris die Unentscheidbarkeit eines Satzes innerhalb der Peano-Arithmetik. 1995 war er Gödel-Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)). 1978 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Helsinki (Definability theory). Zu seinen Doktoranden zählt Ehud Hrushovski. (de)
- Leo Anthony Harrington (* 17. Mai 1946) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Mengenlehre beschäftigt. Harrington promovierte 1973 am Massachusetts Institute of Technology bei Gerald E. Sacks (Contributions to Recursion Theory on Higher Types). Er ist Professor an der University of California, Berkeley. Harrington bewies 1977 mit Jeff Paris die Unentscheidbarkeit eines Satzes innerhalb der Peano-Arithmetik. 1995 war er Gödel-Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)). 1978 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Helsinki (Definability theory). Zu seinen Doktoranden zählt Ehud Hrushovski. (de)
|
dbo:birthDate
| |
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageRevisionID
| |
prop-de:gndcheck
| |
prop-de:gndfehlt
| |
prop-de:kurzbeschreibung
|
- US-amerikanischer Mathematiker
|
prop-de:typ
| |
dc:description
|
- US-amerikanischer Mathematiker
|
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Leo Anthony Harrington (* 17. Mai 1946) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Mengenlehre beschäftigt. Harrington promovierte 1973 am Massachusetts Institute of Technology bei Gerald E. Sacks (Contributions to Recursion Theory on Higher Types). Er ist Professor an der University of California, Berkeley. Harrington bewies 1977 mit Jeff Paris die Unentscheidbarkeit eines Satzes innerhalb der Peano-Arithmetik. 1995 war er Gödel-Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)). Zu seinen Doktoranden zählt Ehud Hrushovski. (de)
- Leo Anthony Harrington (* 17. Mai 1946) ist ein US-amerikanischer Mathematiker, der sich mit mathematischer Logik und Mengenlehre beschäftigt. Harrington promovierte 1973 am Massachusetts Institute of Technology bei Gerald E. Sacks (Contributions to Recursion Theory on Higher Types). Er ist Professor an der University of California, Berkeley. Harrington bewies 1977 mit Jeff Paris die Unentscheidbarkeit eines Satzes innerhalb der Peano-Arithmetik. 1995 war er Gödel-Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)). Zu seinen Doktoranden zählt Ehud Hrushovski. (de)
|
rdfs:label
|
- Leo Harrington (de)
- Leo Harrington (de)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:givenName
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- Harrington, Leo (de)
- Leo Harrington
|
foaf:nick
|
- Harrington, Leo Anthony (vollständiger Name) (de)
- Harrington, Leo Anthony (vollständiger Name) (de)
|
foaf:surname
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is foaf:primaryTopic
of | |