ТАРСКИЙ

- (Tarski) Альфред (1902-83) - польский и американский логик иматематик, один из главных представителей львовско-варшавской школы. С1939 в США. Труды по логико-алгебраической теории моделей, методамизучения исчисления предикатов. Основоположник логической семантики какдедуктивной теории.

Смотреть больше слов в «Большом энциклопедическом словаре»

ТАРСУС →← ТАРСИС

Смотреть что такое ТАРСКИЙ в других словарях:

ТАРСКИЙ

ТАРСКИЙ (Tarski) Альфред (1901—1983) — пол. логик и математик. Изучал математику и философию в Варшаве в 1919—1923; его учителями были логики С. Ле... смотреть

ТАРСКИЙ

ТАРСКИЙ (Tarski) Альфред (1902-1984) - польско-американский логик и математик, один из главных представителей Львовско-варшавской школы. Доцент Варшавс... смотреть

ТАРСКИЙ

Стик Старик Скит Скат Ска Ситар Сиртак Сатир Сати Сари Сак Сайт Рита Риска Риск Рис Рик Риа Раст Ракс Рак Раис Кси Крит Криста Крис Крат Край Китай Кит Киста Киса Кира Кий Кат Карст Карий Кайт Кайс Каир Итр Итак Истра Искра Иск Исак Исай Стирка Стр Иса Стрика Таир Ирка Ирак Икт Икс Таис Тарский Икар Таск Атрий Аск Арт Акт Акр Тик Тир Тирс Тис Трак Аист Аир Трас Триас Аки Арк Арский Астр Икра Такси... смотреть

ТАРСКИЙ

корень - ТАР; суффикс - СК; окончание - ИЙ; Основа слова: ТАРСКВычисленный способ образования слова: Суффиксальный∩ - ТАР; ∧ - СК; ⏰ - ИЙ; Слово Тарски... смотреть

ТАРСКИЙ

ТАРСКИЙ (Tarski) Альфред (1902-83), американский математик и философ, уроженец Польши. Известен тем, что разработал семантический метод, применяемый в ... смотреть

ТАРСКИЙ

ТАРСКИЙ (Tarski) Альфред (1902-83), польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.<br><br><br>... смотреть

ТАРСКИЙ

Начальная форма - Тарский, винительный падеж, единственное число, мужской род, неодушевленное

ТАРСКИЙ (TARSKI) АЛЬФРЕД

(род. 14 янв. 1902, Варшава) польск.-амер. логик и математик. С 1939 живет в США. Основоположник формальной семантики, изучающей значения понятий и суждений в логике, дал определение классического понятия истины для большой группы формализованных языков. Разрабатывал теории моделей, определимости понятий, проблемы построения дедуктивных теорий, металогику, семиотику, внес большой вклад в развитие математической логики и оснований математики. Осн. труды: *Logic, semantic, metamathematics*, 1956; на рус. яз. *Введение в логику и методологию дедуктивных наук*, М., 1948; *Истина и доказательство*. *Вопросы философии*, 1972, Me 8.... смотреть

ТАРСКИЙ (TARSKI) АЛЬФРЕД

(1902-1984) польск. логик и математик. Его взгляды сформировались в рамках Львовско-варшавской школы, на них повлияли идеи Котарбиньского, Лукасевича и Лесьневского. С 1926 преподавал в Варшавском ун-те. В 1939 эмигрировал в США, с 1942 работал в Гарвардском ун-те и Институте высших исследований в Принстоне, с 1946 проф. математики Калифорнийского ун-та. Т. был президентом Международного союза истории и философии науки, президентом Ассоциации символической логики, со-редактором крупнейшего логического журнала *The Journal of Symbolic Logic*. Наиболее значителен вклад Т. в теорию множеств, алгебру, теорию моделей, в различные разделы математической логики, признание получили его работы, посвященные основаниям математики. Т. считают основоположником формальной семантики. Им дано ставшее классическим семантическое определение истины для большой группы формализованных языков. Он является также автором исследований по общим свойствам дедуктивных теорий. Труды Т. по логической семантике, металогике и методологии дедуктивных наук открыли принципиально новые возможности применения строгих формальных методов в логико-методологическом анализе многих проблем. Введение в логику и методологию дедуктивных наук. М., 1948; Истина и доказательство // Вопросы философии. 1972, №8; Logic, Semantic, Metamathematic. Oxford, 1956.... смотреть

ТАРСКИЙ (TARSKI) АЛЬФРЕД

ТАРСКИЙ (Tarski) Альфред (1902-83) - польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.<br>... смотреть

ТАРСКИЙ (TARSKI) АЛЬФРЕД (190283)

ТАРСКИЙ (Tarski) Альфред (1902-83), польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.... смотреть

ТАРСКИЙ (TARSKI) АЛЬФРЕД (190283)

ТАРСКИЙ (Tarski) Альфред (1902-83) , польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории.... смотреть

ТАРСКИЙ АЛЬФРЕД

Tarski, Alfred) (1902—83), польск. математик, логик и философ. Получил известность благодаря своим работам 1930-х гг. о понятиях истины и логического следования (вошли в издание 1972 г.: Логика, семантика и метаматематика), крые составляют лишь небольшую часть его достижений в математике. Т. показал, как математически точно определить филос. понятия, во всяком случае в той мере, в какой они приложимы к формальным яз., используемым, напр., в арифметике и теории множеств. Первой реакцией философов было ощущение того, что они разом освободились от традиц. затруднений, связанных с проблемой истины. Но впоследствии, когда отношение к этой концепции стало более трезвым, философы выразили сомнение в ее адекватности теории истины как когерентной и согласованной системы. ... смотреть

ТАРСКИЙ АЛЬФРЕД

род. 14 янв. 1902, Варшава) - польск.-амер. логик и математик. С 1939 живет в США. Основоположник формальной семантики, изучающей значения понятий и суждений в логике, дал определение классического понятия истины для большой группы формализованных языков. Разрабатывал теории моделей, определимости понятий, проблемы построения дедуктивных теорий, металогику, семиотику, внес большой вклад в развитие математической логики и оснований математики. Осн. труды: "Logic, semantic, metamathematics", 1956; на рус. яз. - "Введение в логику и методологию дедуктивных наук", М., 1948; "Истина и доказательство". - "Вопросы философии", 1972, Me 8. ... смотреть

ТАРСКИЙ АЛЬФРЕД

Tarski), Альфред (р. 14 янв. 1902) – логик и математик, один из наиболее значит. представителей львовско-варшавской школы. Философские и логич. взгляды Т. сложились под влиянием Котарбиньского и Лукасевича. С 1939 Т. живет в США и ведет исследовательскую и педагогич. работу сначала в Гарвардском ун-те и Ин-те высших исследований (Принстон), а затем в Калифорнийском ун-те в Беркли. Т. был президентом Международного союза истории и философии науки и президентом Ассоциации символич. логики; он является членом Нидерландской королевской академии наук и иск-в. Т. принадлежат работы во мн. разделах математической логики и оснований математики, а именно: в теории множеств и булевой алгебре, в теории моделей и элементарных теориях, в теории отношений, в алгебрах с замыканием, в теории логик с формулами бесконечной длины, в многозначных логиках, в теории цилиндрич. алгебр и т.д. Значителен вклад Т. в развитие методов решения разрешения проблем и особенно в теорию моделей, а также в теорию определимости понятий и в алгебраич. методы изучения предикатов исчисления. Т. является основоположником формальной семантики, к-рая фактически возникает после его работы "Понятие истины в формализованных языках" (см. Семантика в логике, Логическая семантика, Логическая истинность). Эта работа, выполненная им независимо от работ К. Геделя, примыкает к важному кругу результатов о неполноте (см. Полнота) достаточно богатых формализованных языков. Т. принадлежат также работы по общим свойствам дедуктивных теорий, названным им методологией дедуктивных наук (см. Металогика). Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и послужили одним из источников распространения идеи о необходимости изучать содержат, теории посредством их формализов. аппроксимаций. Соч.: The semantic conception ot truth and the foundations of semantics, "Philosophy and Phenomenological Research", 1944, v. 4, No 3; The algebra of topology. "Annals of Mathematics", 1944, v. 45, No 1 (совм. с J. С. С. McKinsey); On closed elements in closure algebras, там же, 1946, v. 47, No 1 (совм. с J. С. С. McKinsey); Some general properties of cylondric algebras. Preliminary report, "Bulletin of the American Mathematical Society", 1952, v. 58, No 1 (совм. с F. B. Thompson); Some notions and methods on the borderline of algebra and metamathematics, в кн. : Proceedings of the International Congress of Mathematicians. Camb. (Mass.), USA. 1950, v. 1, Providence, 1952; Undecidable theories, N. Y., 1954 (соавтор); Logic, semantics, metamathematics, Oxf., 1956; Contributions to the theory of models, "J. Symbolic Logic", 1956, No 21; Notions of proper models for set theories, "Bulletin of the American Mathematical Society", 1956, v. 62, No 6; Remarks on predicate logic with infinitely long expressions, "Colloquium Mathematicum", 1958, v. 6; в рус. пер. – Введение в логику и методологию дедуктивных наук, М., 1948. В. Финн. Москва. ... смотреть

ТАРСКИЙ АЛЬФРЕД

(p. 14.1.1902, Baршава), польск. логик и математик, один из гл. представителей львовсковаршавркой школы. С1939 в США. Внёс значит. вклад в разработку методов решения проблемы разрешения, в теорию моделей, в теорию определимости понятий, в развитие аягебраич. методов изучения исчисления предикатов, в теорию логик с формулами бесконечной длины, в многозначную логику и др, разделы математич. логики и оснований математики. Основоположник формальной семантики. В работе «Понятие истины в формализованных языках» Т. дал определение классич. понятия истины для большой группы формализованных языков. Т. принадлежит ряд исследований в области методологии дедуктивных наук. Работы Т. по семантике и металогике оказали большое влияние на развитие семиотики и дослужили образцом применения формальных методов для анализа содержат. проблем и теорий,... смотреть

ТАРСКИЙ АЛЬФРЕД

Тарский (Tarski) Альфред (р. 14.1.1902, Варшава), польский логик и математик (с 1939 живёт в США). Полученные Т. результаты относятся к теории множеств... смотреть

T: 181