Алфред Тарски

Алфред Та̀рски (на полски: Alfred Tarski), с рождено име Алфред Тайтелбаум (на полски: Alfred Tajtelbaum) е полско-американски математик логик от еврейски произход.^[2]

Алфред Тарски Alfred Tarski
полско-американски математик
1968 г.
Роден	14 януари 1901 г. Варшава, Полско царство
Починал	26 октомври 1983 г. (82 г.) Бъркли, САЩ
Погребан	Бъркли, САЩ
Религия	католицизъм
Учил във	Варшавски университет[1]
Научна дейност
Област	Математика
Учил при	Станислав Лешневски
Работил в	Калифорнийски университет в Бъркли
Видни студенти	Соломон Феферман Хауърд Кайзлер Роджър Мадъкс J. Donald Monk Ричард Монтегю Анджей Мостовски Джулия Робинсън Робърт Вот
Алфред Тарски в Общомедия

Биография

Тарски получава висше образование във Варшавския институт за математика и философия, след което през 1939 г. емигрира в САЩ. Там преподава и прави изследвания в областта на математиката в Калифорнийския университет в Бъркли от 1942 до смъртта си.

Научна дейност

Плодотворен автор, той е известен със своята работа в областта на теория на моделите, метаматематиката и алгебричната логика, той също така е допринасял за абстрактната логика, топологията, геометрията, измерване на множества, математическа логика, теория на множествата и аналитичната философия.

Библиография

• 1930 „Une contribution a la theorie de la mesure“. Fund Math 15 (1930), 42 – 50.
• 1930. (в съавторство с Ян Лукашевич). „Untersuchungen uber den Aussagenkalkul“ [„Investigations into the Sentential Calculus“], Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Vol, 23 (1930) Cl. III, pp. 31 – 32 in Tarski (1983): 38 – 59.
• 1931. „Sur les ensembles définissables de nombres réels I“, Fundamenta Mathematica 17: 210 – 239 in Tarski (1983): 110 – 142.
• 1936. Grundlegung der wissenschaftlichen Semantik, Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, vol. III, Language et pseudo-problèmes, Paris, Hermann, 1936, pp. 1 – 8 in Tarski (1983): 401 – 408.
• 1936. "Über den Begriff der logischen Folgerung", Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, vol. VII, Logique, Paris: Hermann, pp. 1 – 11 in Tarski (1983): 409 – 420.
• 1936 (в съавторство с Адолф Линденбаум). „On the Limitations of Deductive Theories“ in Tarski (1983): 384 – 92.
• 1994 (1941).Introduction to Logic and to the Methodology of Deductive Sciences. Dover.
• 1941. „On the calculus of relations“, Journal of Symbolic Logic 6: 73 – 89.
• 1944. "The Semantical Concept of Truth and the Foundations of Semantics". Philosophy and Phenomenological Research 4: 341 – 75.
• 1948. A decision method for elementary algebra and geometry. Santa Monica CA: RAND Corp.
• 1949. Cardinal Algebras. Oxford Univ. Press.
• 1956. Ordinal algebras. North-Holland.
• 1965. „A simplified formalization of predicate logic with identity“, Archiv für Mathematische Logik und Grundlagenforschung 7: 61 – 79
• 1969. "Truth and Proof", Scientific American 220: 63 – 77.
• 1971 (в съавторство с Леон Хенкин и Доналд Монк). Cylindric Algebras: Part I. North-Holland.
• 1985 (в съавторство с Леон Хенкин и Доналд Монк). Cylindric Algebras: Part II. North-Holland.
• 1986. „What are Logical Notions?“, Corcoran, J., ed., History and Philosophy of Logic 7: 143 – 54.
• 1987 (в съавторство със Стивън Живант). A Formalization of Set Theory Without Variables. Vol.41 of American Mathematical Society colloquium publications. Providence RI: American Mathematical Society.
• 1999 (в съавторство със Стивън Живант). Tarski's system of geometry, Bulletin of Symbolic Logic 5: 175 – 214.
• 2002. „On the Concept of Following Logically“ (Magda Stroińska and David Hitchcock, trans.) History and Philosophy of Logic 23: 155 – 96.

Бележки

1. www.gf.org
2. Feferman, An. Solomon Feferman, Alfred Tarski. Life and Logic. Cambridge University Press. 2004.