Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Robert Irving Soare is an American mathematician. He is currently 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. Carl Groos Jockusch, Jr. is an American mathematician. He is a professor emeritus at the University of Illinois at Urbana-Champaign. In 1972 Jockusch and Robert I. Soare proved the Low Basis Theorem, an important result in mathematical logic with applications to recursion theory and reverse mathematics.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.