Sy-David Friedman (born May 23, 1953 in

Chicago (''City in a Garden''); I Will , image_map = , map_caption = Interactive Map of Chicago , coordinates = , coordinates_footnotes = , subdivision_type = List of sovereign states, Count ...

) is an American and

Austria Austria, , bar, Östareich officially the Republic of Austria, is a country in the southern part of Central Europe, lying in the Eastern Alps. It is a federation of nine states, one of which is the capital, Vienna, the most populous ...

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

and a (retired) professor of mathematics at the

University of Vienna The University of Vienna (german: Universität Wien) is a public research university located in Vienna, Austria. It was founded by Duke Rudolph IV in 1365 and is the oldest university in the German-speaking world. With its long and rich h ...

and the former director of the Kurt Gödel Research Center for Mathematical Logic. His main research interest lies in

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

, in particular in

set theory Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...

and

recursion theory Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has sinc ...

. Friedman is the brother of Ilene Friedman and the brother of mathematician

Harvey Friedman __NOTOC__ Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the ax ...

Biography

He studied at

Northwestern University Northwestern University is a private research university in Evanston, Illinois. Founded in 1851, Northwestern is the oldest chartered university in Illinois and is ranked among the most prestigious academic institutions in the world. Chart ...

and, from 1970, at the

Massachusetts Institute of Technology The Massachusetts Institute of Technology (MIT) is a Private university, private Land-grant university, land-grant research university in Cambridge, Massachusetts. Established in 1861, MIT has played a key role in the development of modern t ...

. He received his

Ph.D. A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...

in 1976 from MIT (his thesis ''Recursion on Inadmissible Ordinals'' was written under the supervision of Gerald E. Sacks). In 1979 Sy Friedman accepted a position at MIT, and in 1990 he became a full professor there. Since 1999 he has been a professor of mathematical logic at the University of Vienna (since 2018 retired). He is a Fellow of

Collegium Invisibile Collegium Invisibile is an Learned society, academic society founded in 1995 in Warsaw, Poland, Warsaw that affiliates outstanding Polish students in the humanities and science with distinguished scholars in accordance with the idea of a libera ...

Selected publications and results

He has authored about 70 research articles, including: * * * * He also published a research monograph *

References

External links

* 20th-century American mathematicians 21st-century American mathematicians Austrian mathematicians American emigrants to Austria Set theorists Fellows of Collegium Invisibile 1953 births Living people {{europe-mathematician-stub