Yiannis N. Moschovakis

Yiannis ( John ) Nicholas Moschovakis ( born January 18, 1938 in Athens ) is a Greek -born American logician who deals with descriptive set theory, theory of algorithms and recursion theory.

Life and work

Moschovakis went to school in Athens, and came to the United States in 1956, where he studied at the Massachusetts Institute of Technology until 1960 and then at the University of Wisconsin -Madison, where he received his doctorate in 1963 at Stephen Kleene ( Recursive Analysis). After a year as a post-doc at Harvard University, he was from 1964 at the University of California, Los Angeles, where he is a professor. 1997 to 2005 he was also at Athens University, but was there previously regularly. His PhD, Alexander S. Kechris. He is married to the logician Joan Rand Moschovakis, who also studied with Kleene and taught at Occidental College. With it, he has a son and a daughter.

In 2008 he held the Tarski Lectures ( Algorithms and Implementations / English as a programming language to / The axiomatic derivation of absolute lower bounds ). In 1974 he was invited speaker at the International Congress of Mathematicians in Vancouver (New Methods and Results in Descriptive Set Theory ).

Writings

• Descriptive Set Theory, North Holland 1980