Scholar Profile: Chen Chung Chang (1927–2014)
Chen Chung Chang, known professionally as C.C. Chang, was a titan of 20th-century mathematical logic. As a primary architect of Model Theory—the branch of mathematics dealing with the relationship between formal languages and their interpretations (models)—Chang’s work provided the structural framework that logicians still use today. His textbook, co-authored with H. Jerome Keisler, remains the "gold standard" for the field.
1. Biography: From Lanzhou to Los Angeles
Chen Chung Chang was born on April 4, 1927, in Lanzhou, China. His early education took place against the backdrop of the Second Sino-Japanese War, yet his aptitude for mathematics led him to the United States for higher education during the post-war era.
- Academic Foundations: Chang earned his B.A. from Cornell University in 1949 and his M.A. from the University of California, Berkeley, in 1950.
- The Tarski Influence: He remained at Berkeley for his doctoral studies, working under the legendary Alfred Tarski, one of the four greatest logicians of all time (alongside Aristotle, Frege, and Gödel). Chang received his Ph.D. in 1955 with a dissertation titled On the Structure of Cardinals in Map-Theoretical Systems.
- Career Trajectory: After a brief stint as an Assistant Professor at the University of Southern California (USC) from 1955 to 1958, Chang joined the faculty at the University of California, Los Angeles (UCLA). He spent the remainder of his career at UCLA, helping to establish it as a world-class center for mathematical logic, eventually retiring as Professor Emeritus. He passed away on September 11, 2014.
2. Major Contributions
Chang’s work bridged the gap between abstract algebra and formal logic. His contributions are categorized into three primary pillars:
Model Theory
Chang was instrumental in defining model theory as a distinct discipline. He focused on how mathematical structures (like groups, rings, or fields) satisfy specific logical formulas. His work helped mathematicians understand that by studying the properties of the language used to describe a system, one could discover deep truths about the system itself.
MV-Algebras (Multi-Valued Logic)
In the late 1950s, Chang introduced MV-algebras (Multi-Valued algebras). This was a landmark discovery intended to provide an algebraic counterpart to Łukasiewicz infinite-valued logic. Just as Boolean algebra provides the foundation for classical "true/false" logic, MV-algebras provide the foundation for logics where "truth" can exist on a spectrum between 0 and 1. This has since found applications in fuzzy logic and quantum computation.
Chang’s Conjecture
In set theory, Chang’s Conjecture is a specific statement regarding the relationship between different infinite cardinal numbers. It posits a structural similarity between large infinite sets that cannot be proven using standard axioms (ZFC). This conjecture became a vital tool in the study of large cardinals and forcing, influencing the work of major set theorists like Saharon Shelah and Kenneth Kunen.
3. Notable Publications
Chang’s bibliography contains several works that are considered foundational to modern logic:
- "Algebraic analysis of many-valued logics" (1958): The seminal paper that introduced MV-algebras to the world.
- "A proof of the completeness of the Łukasiewicz axioms" (1959): A definitive proof that settled long-standing questions in non-classical logic.
- "Continuous model theory" (with H. Jerome Keisler, 1966): An exploration of models where the truth values are continuous rather than discrete.
- "Model Theory" (with H. Jerome Keisler, 1973): This is Chang’s magnum opus. Often referred to simply as "Chang and Keisler," this book codified the field. It has been revised and reprinted multiple times (1990, 2012) and remains the definitive graduate-level text on the subject.
4. Awards & Recognition
While mathematical logicians rarely receive the "celebrity" awards of physics or medicine, Chang was highly esteemed by his peers:
- Guggenheim Fellowship (1962): Awarded for his exceptional capacity for productive scholarship.
- Sloan Research Fellowship: Recognized as one of the most promising young scientists in North America during his early career.
- The Tarski Lectureship: He was honored by his alma mater, Berkeley, to deliver the prestigious Tarski Lectures, a nod to his status as one of Tarski’s most successful protégés.
5. Impact & Legacy
Chang’s legacy is most visible in the "Berkeley-UCLA School" of logic. Before Chang, logic was often seen as a niche sub-discipline of philosophy or foundational mathematics. Chang helped transform it into a robust tool for mainstream mathematics.
His book Model Theory essentially "trained the field." Almost every working logician in the last 50 years has studied from his text. Furthermore, his development of MV-algebras created a bridge between logic and functional analysis, influencing the study of AF C*-algebras, a sophisticated area of modern mathematical physics.
6. Collaborations
Chang was a deeply collaborative researcher, most notably forming a lifelong partnership with H. Jerome Keisler (University of Wisconsin-Madison). Their partnership is one of the most productve in the history of logic, resulting in the "Ultraproduct" construction—a method for building new mathematical structures by taking a weighted average of a family of structures.
Notable Students
Chang was a dedicated mentor. His most famous student was Kenneth Kunen, who became one of the world's leading set theorists. Through Kunen and others, Chang’s "intellectual DNA" continues to propagate through the top mathematics departments globally.
7. Lesser-Known Facts
- The "Other" Chang: In the 1960s and 70s, students often confused him with the famous topologist S.S. Chern or other prominent Chinese-American mathematicians. However, within the world of logic, "Chang" refers exclusively to C.C. Chang.
- The Philosophical Bridge: Despite being a "hard" mathematician, Chang was deeply interested in the philosophical implications of his work. He was one of the few who could move seamlessly between the technical rigor of Model Theory and the philosophical questions of Truth as defined by Tarski.
- A Quiet Giant: Chang was known for a modest, unassuming personality. While his textbook was a "behemoth" of 500+ pages of dense logic, colleagues remember him as a gentle teacher who could simplify the most abstract concepts of infinity into understandable parts.