Chen Chung Chang (Chinese: 张晨钟) was a
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 ...
who worked in
model theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...
. He obtained his PhD from
Berkeley
Berkeley most often refers to:
*Berkeley, California, a city in the United States
**University of California, Berkeley, a public university in Berkeley, California
* George Berkeley (1685–1753), Anglo-Irish philosopher
Berkeley may also refer ...
in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under
Alfred Tarski
Alfred Tarski (, born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician a ...
. He wrote the standard text on model theory.
Chang's conjecture In model theory, a branch of mathematical logic, Chang's conjecture, attributed to Chen Chung Chang by , states that every model of type (ω2,ω1) for a countable language has an elementary submodel of type (ω1, ω). A model is of type (α,β) if ...
and
Chang's model are named after him. He also proved the ordinal partition theorem (expressed in the
arrow notation for
Ramsey theory
Ramsey theory, named after the British mathematician and philosopher Frank P. Ramsey, is a branch of mathematics that focuses on the appearance of order in a substructure given a structure of a known size. Problems in Ramsey theory typically ask a ...
) ω
ω→(ω
ω,3)
2, originally a problem of
Erdős
Erdős, Erdos, or Erdoes is a Hungarian surname.
People with the surname include:
* Ágnes Erdős (born 1950), Hungarian politician
* Brad Erdos (born 1990), Canadian football player
* Éva Erdős (born 1964), Hungarian handball player
* Józse ...
and
Hajnal. He also introduced
MV-algebra In abstract algebra, a branch of pure mathematics, an MV-algebra is an algebraic structure with a binary operation \oplus, a unary operation \neg, and the constant 0, satisfying certain axioms. MV-algebras are the algebraic semantics of Łukasie ...
s as models for
Łukasiewicz logic
In mathematics and philosophy, Łukasiewicz logic ( , ) is a non-classical, many-valued logic. It was originally defined in the early 20th century by Jan Łukasiewicz as a three-valued logic;Łukasiewicz J., 1920, O logice trójwartościowej (in P ...
. Chang was a professor at the mathematics department of the
University of California, Los Angeles
The University of California, Los Angeles (UCLA) is a public land-grant research university in Los Angeles, California. UCLA's academic roots were established in 1881 as a teachers college then known as the southern branch of the California St ...
.
Selected publications
*
*
* C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society, 88, 467–490, 1958,
External links
*
20th-century American mathematicians
21st-century American mathematicians
Model theorists
University of California, Berkeley alumni
University of California, Los Angeles faculty
1927 births
2014 deaths
{{mathematician-stub