Chen Chung Chang

C. C. Chang
C. C. Chang
Born	1927; Tianjin, China
Died	July 17, 2014 (aged 86 or 87); Santa Clarita, California
Known for	Chang's conjecture
	Scientific career
Fields	Mathematics
Institutions	University of California, Los Angeles
Doctoral advisor	Alfred Tarski

Chen Chung Chang (Chinese: 张晨钟) was a mathematician who worked in model theory. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski. He wrote the standard text Chang & Keisler (1990) on model theory. Chang's conjecture and Chang's model are named after him. He also proved the ordinal partition theorem (expressed in the arrow notation for Ramsey theory) ω^ω→(ω^ω,3)², originally a problem of Erdős and Hajnal. He also introduced MV-algebras as models for Łukasiewicz logic. Chang was a professor at the mathematics department of the University of California, Los Angeles.

Selected publications

Chang, Chen Chung; Keisler, H. Jerome (1966), Continuous Model Theory, Annals of Mathematical Studies, 58, Princeton University Press; xii+165 pp.
Chang, Chen Chung; Keisler, H. Jerome (1990), Model Theory, Studies in Logic and the Foundations of Mathematics (3rd ed.), Elsevier, ISBN 978-0-444-88054-3
C. C. Chang. Algebraic analysis of many-valued logics. Transactions of the American Mathematical Society, 88, 467–490, 1958, doi:10.1090/S0002-9947-1958-0094302-9

gollark: No, pass `event.timer` or whatever `function() foo(args, whatever, bees, args) end`. You're defining a new anonymous function which just calls `foo` with whatever arguments.

gollark: CC is good too! Well, CC: Tweaked.

gollark: You can also just pass it a function `function() foo(whatever, arguments, you, want) end`.

gollark: Also, you would probably need to have the computer store CA certificates and stuff...

gollark: Implementing TLS yourself in Lua would be very not fun.

External links

Chen Chung Chang at the Mathematics Genealogy Project

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.