Yuri Moschovakis
contemporaryMathematical Logic, Foundations of Mathematicsb. 1938
Yiannis (Yuri) Moschovakis is a Greek-American mathematical logician and Professor Emeritus at UCLA, primarily known for foundational contributions to descriptive set theory and the theory of algorithms. His work bridges classical mathematical logic, recursion theory, and the philosophy of mathematics, with particular attention to the semantic and computational foundations of logical knowledge. In later work he developed an algorithmic theory of meaning intended to give logical semantics a computational basis.
Notable Achievements
1
Authored the standard reference monograph Descriptive Set Theory (1980; revised 2009), defining the modern shape of the field
2
Developed abstract recursion theory, extending computability concepts beyond natural numbers to arbitrary structures
3
Proposed an algorithmic theory of meaning (referential intensions) as a foundation for logical semantics
4
Contributed to the study of inductive definitions and their role in set theory and proof theory
5
Long-term influence at UCLA shaping generations of researchers in logic and foundations