Алфред Тарски
полско-американски математик
Алфред Та̀рски (на полски: Alfred Tarski), с рождено име Алфред Тайтелбаум (на полски: Alfred Tajtelbaum) е полско-американски математик логик от еврейски произход.[2]
Алфред Тарски Alfred Tarski | |
полско-американски математик | |
1968 г. | |
Роден | |
---|---|
Починал | 26 октомври 1983 г.
|
Погребан | Бъркли, САЩ |
Религия | католицизъм |
Учил във | Варшавски университет[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.
Бележки
редактиране- ↑ www.gf.org
- ↑ Feferman, An. Solomon Feferman, Alfred Tarski. Life and Logic. Cambridge University Press. 2004.