Філософський енциклопедичний словник
Тарський, Альфред
Тарський (Тайтельбаум), Альфред (1901, Варшава - 1983) - польськ. -амер. логік і математик, один із найвидатніших представників Львівсько-варшавської логіко-філософської школи. Навчався у Варшавському ун-ті під керівництвом Лукасевича і Лесневського. В 1924 р. отримав ступінь докт. філософії за дисертацію "Примітивні терміни логістики". До 1939 р. - доцент і ад'юнкт-проф. Варшавського ун-ту. Од 1939 р. - у США. У 1942 - 1968 рр. викладав на математичному ф-ті Каліфорнійського ун-ту у Берклі (од 1946 р. - проф. математики). Був членом Національної академії наук США, Королівської нідерландської національної академії наук, Британської академії. З ім'ям Т. пов'язані значні результати у розвитку метаматематики (разом із Гільбертом вважається її засновником): запропонував аксіоматичну теорію довільних формальних систем; аксіоматизував теорії, що ґрунтуються на класичній пропозиційній логіці. Започаткував формальну семантику, обґрунтував перехід від синтаксичної до семантичної парадигми в логіці. У роботі "Поняття істини в формалізованих мовах" (1935) сформулював семантичний метод побудови адекватної реальності і формально коректного визначення терміна "істинне висловлювання" для різних типів формалізованих мов. У галузі семантики запропонував також теоретико-множинну інтерпретацію пропозиційних числень, зробив значний внесок у розробку теорії моделей. Т. здійснив систематизацію семантичних і синтаксичних теорій визначеності. Важливих результатів досягнув у дослідженні проблеми розв'язання та в аналізі нерозв'язуваних теорій. Низка праць Т. присвячена розробці інтуїціоністської та модальної пропозиційної логіки.
Основні твори: "Поняття істини в мовах дедуктивних наук" (1933); "Поняття істини в формалізованих мовах" (1935); "Вступ до логіки і методології дедуктивних наук" (1941); "Нерозв'язувані теорії", у співавт. (1953); "Логіка. Семантика. Метаматематика" (1956); "Зібрання творів". Т. 1 - 4 (1981); "Формалізація теорії класів без змінних", у співавт. (1983).
Тарський (Тайтельбаум), Альфред (1901, Варшава - 1983) - польськ. -амер. логік і математик, один із найвидатніших представників Львівсько-варшавської логіко-філософської школи. Навчався у Варшавському ун-ті під керівництвом Лукасевича і Лесневського. В 1924 р. отримав ступінь докт. філософії за дисертацію "Примітивні терміни логістики". До 1939 р. - доцент і ад'юнкт-проф. Варшавського ун-ту. Од 1939 р. - у США. У 1942 - 1968 рр. викладав на математичному ф-ті Каліфорнійського ун-ту у Берклі (од 1946 р. - проф. математики). Був членом Національної академії наук США, Королівської нідерландської національної академії наук, Британської академії. З ім'ям Т. пов'язані значні результати у розвитку метаматематики (разом із Гільбертом вважається її засновником): запропонував аксіоматичну теорію довільних формальних систем; аксіоматизував теорії, що ґрунтуються на класичній пропозиційній логіці. Започаткував формальну семантику, обґрунтував перехід від синтаксичної до семантичної парадигми в логіці. У роботі "Поняття істини в формалізованих мовах" (1935) сформулював семантичний метод побудови адекватної реальності і формально коректного визначення терміна "істинне висловлювання" для різних типів формалізованих мов. У галузі семантики запропонував також теоретико-множинну інтерпретацію пропозиційних числень, зробив значний внесок у розробку теорії моделей. Т. здійснив систематизацію семантичних і синтаксичних теорій визначеності. Важливих результатів досягнув у дослідженні проблеми розв'язання та в аналізі нерозв'язуваних теорій. Низка праць Т. присвячена розробці інтуїціоністської та модальної пропозиційної логіки.
Основні твори: "Поняття істини в мовах дедуктивних наук" (1933); "Поняття істини в формалізованих мовах" (1935); "Вступ до логіки і методології дедуктивних наук" (1941); "Нерозв'язувані теорії", у співавт. (1953); "Логіка. Семантика. Метаматематика" (1956); "Зібрання творів". Т. 1 - 4 (1981); "Формалізація теорії класів без змінних", у співавт. (1983).
Ви можете поставити посилання на це слово:
матиме такий вигляд: Тарський, Альфред
матиме такий вигляд: Що таке Тарський, Альфред
матиме такий вигляд: Тарський, Альфред
матиме такий вигляд: Що таке Тарський, Альфред