Чен Чунг Чанг (кит. 晨钟) был математиком , занимавшимся теорией моделей . Он получил докторскую степень в Беркли в 1955 году по теме «Кардинальная и порядковая факторизация типов отношений» под руководством Альфреда Тарски . Он написал стандартный текст Chang & Keisler (1990) по теории моделей. Гипотеза Чанга и модель Чанга названы в его честь. Он также доказал теорему о порядковом разбиении (выраженную стрелками для теории Рамсея ) ω ω → (ω ω , 3) 2 , первоначально являвшуюся проблемой Эрдеша и Хайнала.. Он также представил MV-алгебры как модели для логики Лукасевича . Чанг был профессором математического факультета Калифорнийского университета в Лос-Анджелесе .
Чч чанг | |
---|---|
Родившийся | 1927 г. Тяньцзинь, Китай |
Умер | 17 июля 2014 г. (86 или 87 лет) Санта-Кларита, Калифорния |
Известен | Гипотеза Чанга |
Научная карьера | |
Поля | Математика |
Учреждения | Калифорнийский университет в Лос-Анджелесе |
Докторант | Альфред Тарский |
Избранные публикации
- Чанг, Чен Чунг; Кейслер, Х. Джером (1966), Теория непрерывных моделей , Анналы математических исследований, 58 , Princeton University Press, ISBN 0691079293; xii + 165 с.CS1 maint: postscript ( ссылка )
- Чанг, Чен Чунг; Кейслер, Х. Джером (1990), Теория моделей , Исследования в области логики и основ математики (3-е изд.), Elsevier , ISBN 978-0-444-88054-3
- CC Chang. Алгебраический анализ многозначных логик. Труды Американского математического общества, 88, 467–490, 1958, ‹См. Tfd› doi : 10.1090 / S0002-9947-1958-0094302-9 ‹См. Tfd›
Внешние ссылки
- Чен Чунг Чанг на проекте « Математическая генеалогия»