| dbo:abstract
|
- Robert Irving Soare (* 22. Dezember 1940 in Orange (New Jersey)) ist ein US-amerikanischer Mathematiker, Informatiker und mathematischer Logiker. Jockusch studierte an der Princeton University mit dem Bachelor-Abschluss 1963 und wurde 1967 an der Cornell University bei Anil Nerode promoviert (Recursion theory on Dedekind cuts). 1967 wurde er Assistant Professor und 1975 Professor für Mathematik und Informatik an der University of Chicago. Von 1983 bis 1987 stand er der Abteilung Informatik vor. Er war dort Paul Snowden Russell Distinguished Service Professor. Er befasst sich mit mathematischer Logik (Berechenbarkeitstheorie, Rekursionstheorie). 1972 bewies er mit Carl Jockusch das Low basis theorem in der mathematischen Logik und Berechenbarkeitstheorie. Dazu führten sie eine eigene Forcing-Methode (Jockusch-Soare Forcing) ein. 2012 wurde er Fellow der American Mathematical Society. (de)
- Robert Irving Soare is an American mathematician. He is the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago, where he has been on the faculty since 1967. He proved, together with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory. In 2012 he became a fellow of the American Mathematical Society. (en)
- Robert Irving Soare é um matemático estadunidense, professor da Universidade de Chicago desde 1967. Provou, juntamente com , o (low basis theorem), trabalhando com lógica matemática, principalmente na área da teoria da computabilidade. Em 2012 foi eleito fellow da American Mathematical Society. Foi palestrante convidado do Congresso Internacional de Matemáticos em Helsinque (1978). (pt)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1937 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Robert Irving Soare is an American mathematician. He is the Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science at the University of Chicago, where he has been on the faculty since 1967. He proved, together with Carl Jockusch, the low basis theorem, and has done other work in mathematical logic, primarily in the area of computability theory. In 2012 he became a fellow of the American Mathematical Society. (en)
- Robert Irving Soare é um matemático estadunidense, professor da Universidade de Chicago desde 1967. Provou, juntamente com , o (low basis theorem), trabalhando com lógica matemática, principalmente na área da teoria da computabilidade. Em 2012 foi eleito fellow da American Mathematical Society. Foi palestrante convidado do Congresso Internacional de Matemáticos em Helsinque (1978). (pt)
- Robert Irving Soare (* 22. Dezember 1940 in Orange (New Jersey)) ist ein US-amerikanischer Mathematiker, Informatiker und mathematischer Logiker. Jockusch studierte an der Princeton University mit dem Bachelor-Abschluss 1963 und wurde 1967 an der Cornell University bei Anil Nerode promoviert (Recursion theory on Dedekind cuts). 1967 wurde er Assistant Professor und 1975 Professor für Mathematik und Informatik an der University of Chicago. Von 1983 bis 1987 stand er der Abteilung Informatik vor. Er war dort Paul Snowden Russell Distinguished Service Professor. (de)
|
| rdfs:label
|
- Robert Soare (de)
- Robert I. Soare (en)
- Robert Irving Soare (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
