Leo Harrington

http://dbpedia.org/resource/Leo_Harrington an entity of type: Thing

ليو هارينجتون (بالإنجليزية: Leo Harrington)‏ هو رياضياتي وفيلسوف أمريكي، ولد في 17 مايو 1946. rdf:langString

Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.Having retired from being a Mathematician, Professor Leo Harrington is now a Philosopher. His notable results include proving the Paris–Harrington theorem along with Jeff Paris,showing that if the axiom of determinacy holds for all analytic sets then x# exists for all reals x,and proving with Saharon Shelah that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable. rdf:langString

Leo Anthony Harrington, né le 17 mai 1946, est un professeur de mathématiques américain qui travaille à l'université de Californie à Berkeley, et dont les travaux portent sur la théorie de la calculabilité, la théorie des modèles et la théorie des ensembles. Harrington et Jeff Paris ont notamment prouvé le (en). rdf:langString

Лео Энтони Харрингтон (англ. Leo Anthony Harrington; род. 17 мая 1946 США) — американский математик, профессор Калифорнийского университета в Беркли, специалист по теориям вычислимости, моделей и множеств. * В 1977 году совместно с Джеффом Парисом опубликовал доказательство теоремы Париса–Харрингтона. * Харрингтон доказал, что аксиома точна для всех , то есть существует для каждого числа. * Харрингтон и Сахарон Шелах показали, что теория упорядочения рекурсивно перечисляемых . rdf:langString

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. rdf:langString

Leo Anthony Harrington (17 de maio de 1946) é um matemático estadunidense. Harrington obteve um doutorado em 1973 no Instituto de Tecnologia de Massachusetts, orientado por Gerald Sacks, com a tese Contributions to Recursion Theory on Higher Types. É professor da Universidade da Califórnia em Berkeley. Harrington provou em 1977 com Jeff Paris a indeterminação de um teorema pertencente à aritmética de Peano. Em 1995 foi Gödel Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)). Dentre seus doutorandos consta Ehud Hrushovski. rdf:langString

rdfs:label

rdf:langString ليو هارينجتون

rdf:langString Leo Harrington

rdf:langString Харрингтон, Лео

foaf:name

rdf:langString Leo A. Harrington

dbpprop:name

rdf:langString Leo A. Harrington

dbpedia-owl:birthDate

xsd:date 1946-05-17

dbpedia-owl:wikiPageID

xsd:integer 5693354

dbpedia-owl:wikiPageRevisionID

xsd:integer 1054210470

dbpprop:birthDate

xsd:date 1946-05-17

dbpedia-owl:abstract

rdf:langString ليو هارينجتون (بالإنجليزية: Leo Harrington)‏ هو رياضياتي وفيلسوف أمريكي، ولد في 17 مايو 1946.

rdf:langString 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)). 1976 erhielt er ein Forschungsstipendium der Alfred P. Sloan Foundation (Sloan Research Fellowship). 1978 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Helsinki (Definability theory). Zu seinen Doktoranden zählt Ehud Hrushovski.

rdf:langString Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory.Having retired from being a Mathematician, Professor Leo Harrington is now a Philosopher. His notable results include proving the Paris–Harrington theorem along with Jeff Paris,showing that if the axiom of determinacy holds for all analytic sets then x# exists for all reals x,and proving with Saharon Shelah that the first-order theory of the partially ordered set of recursively enumerable Turing degrees is undecidable.

rdf:langString Leo Anthony Harrington, né le 17 mai 1946, est un professeur de mathématiques américain qui travaille à l'université de Californie à Berkeley, et dont les travaux portent sur la théorie de la calculabilité, la théorie des modèles et la théorie des ensembles. Harrington et Jeff Paris ont notamment prouvé le (en).

rdf:langString Лео Энтони Харрингтон (англ. Leo Anthony Harrington; род. 17 мая 1946 США) — американский математик, профессор Калифорнийского университета в Беркли, специалист по теориям вычислимости, моделей и множеств. * В 1977 году совместно с Джеффом Парисом опубликовал доказательство теоремы Париса–Харрингтона. * Харрингтон доказал, что аксиома точна для всех , то есть существует для каждого числа. * Харрингтон и Сахарон Шелах показали, что теория упорядочения рекурсивно перечисляемых .

rdf:langString Leo Anthony Harrington (17 de maio de 1946) é um matemático estadunidense. Harrington obteve um doutorado em 1973 no Instituto de Tecnologia de Massachusetts, orientado por Gerald Sacks, com a tese Contributions to Recursion Theory on Higher Types. É professor da Universidade da Califórnia em Berkeley. Harrington provou em 1977 com Jeff Paris a indeterminação de um teorema pertencente à aritmética de Peano. Em 1995 foi Gödel Lecturer (Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist)). Em 1978 foi Invited Speaker no Congresso Internacional de Matemáticos em Helsinque (Definability theory). Dentre seus doutorandos consta Ehud Hrushovski.

data from the linked data cloud