Yiannis Moschovakis
contemporaryMathematical Logic, Analytic Philosophy of Languageb. 1938
Yiannis N. Moschovakis (born 1938) is a Greek-American mathematician and logician, Professor Emeritus at UCLA, known for foundational contributions to descriptive set theory and the theory of computation. He has also developed an influential logical theory of meaning in which the sense of an expression is identified with an algorithm, bridging mathematical logic and the philosophy of language.
Notable Achievements
1
Authored the definitive graduate text Descriptive Set Theory (1980; revised 2009), shaping the field for decades
2
Developed a computational theory of meaning in which the intension (sense) of an expression is an algorithm rather than a Fregean abstract object
3
Made foundational contributions to the theory of inductive definability and abstract recursion in Elementary Induction on Abstract Structures (1974)
4
Demonstrated deep connections between definability hierarchies in set theory and computational complexity
5