Alfred Tarski

Alfred Tarski
Sinh	Alfred Teitelbaum (1901-01-14)14 tháng 1, 1901 Warsaw, Congress Poland
Mất	26 tháng 10, 1983(1983-10-26) (82 tuổi) Berkeley, California, Hoa Kỳ
Quốc tịch	Polish American
Tư cách công dân	Polish American
Học vị	University of Warsaw (Ph.D., 1924)
Nổi tiếng vì	Work on the foundations of modern logic Semantic theory of truth (Convention T) Tarski's undefinability theorem Development of model theory Logic of relations Banach–Tarski paradox Tarski-style universes Tarski's axioms Tarski monster group
Sự nghiệp khoa học
Ngành	Toán học, logic, formal language
Nơi công tác	University of Warsaw (1925–1939) University of California, Berkeley (1942–1983)
Luận án	O wyrazie pierwotnym logistyki (On the Primitive Term of Logistic) (1924)
Người hướng dẫn luận án tiến sĩ	Stanisław Leśniewski
Các nghiên cứu sinh nổi tiếng	Solomon Feferman Haim Gaifman Bjarni Jónsson Howard Jerome Keisler Roger Maddux Richard Montague Anne C. Morel Andrzej Mostowski Julia Robinson Wanda Szmielew Robert Vaught
Các sinh viên nổi tiếng	Evert Willem Beth
Ảnh hưởng bởi	Charles Sanders Peirce
Ảnh hưởng tới	Kenneth Arrow Rudolf Carnap John Corcoran Donald Davidson Erich Leo Lehmann Karl Popper Willard Van Orman Quine Patrick Suppes

Alfred Tarski (/ˈtɑːrski/; 14 tháng 1 năm 1901 – 26 tháng 10 năm 1983), tên khai sinh Alfred Teitelbaum, ^[1][2][3] là một nhà logic học và toán học ^[4] mang quốc tịch Ba Lan-Mỹ ^[5] gốc Ba Lan-Do Thái. Được đào tạo tại Ba Lan tại Đại học Warsaw, và là thành viên của trường phái logic Lwów-Warsaw và trường phái toán học Warsaw, ông di cư đến Hoa Kỳ vào năm 1939, nơi ông trở thành công dân nhập tịch vào năm 1945. Tarski dạy và nghiên cứu toán học tại Đại học California, Berkeley, từ năm 1942 cho đến khi ông qua đời năm 1983.^[6]

Là một tác giả nổi tiếng với các công trình nghiên cứu về lý thuyết mô hình, metamathematics và logic đại số, ông cũng đóng góp cho đại số trừu tượng, tô pô, hình học, lý thuyết độ đo, logic toán, lý thuyết tập hợp và triết học phân tích.

Những người viết tiểu sử về ông Anita Burdman Feferman và Solomon Feferman nói rằng, "Cùng với nhà toán học đương thời Kurt Gödel, ông đã thay đổi bộ mặt logic học của thế kỷ XX, đặc biệt thông qua các công trình của ông về khái niệm chân lý và lý thuyết về các mô hình." ^[7]

1. ^ Alfred Tarski, "Alfred Tarski", Encyclopædia Britannica.
2. ^ School of Mathematics and Statistics, University of St Andrews, "Alfred Tarski", School of Mathematics and Statistics, University of St Andrews.
3. ^ “Alfred Tarski - Oxford Reference”. Chú thích journal cần |journal= (trợ giúp)
4. ^ Alfred Tarski, "Alfred Tarski", Stanford Encyclopedia of Philosophy.
5. ^ Gomez-Torrente, Mario (ngày 27 tháng 3 năm 2014). “Alfred Tarski - Philosophy - Oxford Bibliographies”. Oxford University Press. Truy cập ngày 24 tháng 10 năm 2017.
6. ^ Feferman A.
7. ^ Feferman & Feferman, p.1