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 = Country , subdivision_name ...

) 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, structure, space, models, and change. History On ...

and a (retired) professor of

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern 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 histor ...

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 logic, 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 for ...

, 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 conce ...

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 since e ...

. 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 axi ...

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. Charte ...

and, from 1970, at the

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

. 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 ...

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 academic society founded in 1995 in Warsaw that affiliates outstanding Polish students in the humanities and science with distinguished scholars in accordance with the idea of a liberal education. The association aim ...

Selected publications and results

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

monograph A monograph is a specialist work of writing (in contrast to reference works) or exhibition on a single subject or an aspect of a subject, often by a single author or artist, and usually on a scholarly subject. In library cataloging, ''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