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.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Robert Soare (de)
- Robert I. Soare (en)
- Robert Irving Soare (pt)
|
| 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)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has 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)
|
| gold:hypernym
| |
| schema:sameAs
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
