-
1 Альфред Тайтельбаум
див. Тарський, Альфред -
2 Альфред Тарський
див. Тарський, Альфред -
3 Тайтельбаум, Альфред
див. Тарський, Альфред -
4 Тарський, Альфред
Тарський (Тайтельбаум), Альфред (1901, Варшава - 1983) - польськ.-амер. логік і математик, один із найвидатніших представників Львівсько-варшавської логіко-філософської школи. Навчався у Варшавському ун-ті під керівництвом Лукасевича і Лесневського. В 1924 р. отримав ступінь докт. філософії за дисертацію "Примітивні терміни логістики". До 1939 р. - доцент і ад'юнкт-проф. Варшавського ун-ту. Од 1939 р. - у США. У 1942 - 1968 рр. викладав на математичному ф-ті Каліфорнійського ун-ту у Берклі (од 1946 р. - проф. математики). Був членом Національної академії наук США, Королівської нідерландської національної академії наук, Британської академії. З ім'ям Т. пов'язані значні результати у розвитку метаматематики (разом із Гільбертом вважається її засновником): запропонував аксіоматичну теорію довільних формальних систем; аксіоматизував теорії, що ґрунтуються на класичній пропозиційній логіці. Започаткував формальну семантику, обґрунтував перехід від синтаксичної до семантичної парадигми в логіці. У роботі "Поняття істини в формалізованих мовах" (1935) сформулював семантичний метод побудови адекватної реальності і формально коректного визначення терміна "істинне висловлювання" для різних типів формалізованих мов. У галузі семантики запропонував також теоретико-множинну інтерпретацію пропозиційних числень, зробив значний внесок у розробку теорії моделей. Т. здійснив систематизацію семантичних і синтаксичних теорій визначеності. Важливих результатів досягнув у дослідженні проблеми розв'язання та в аналізі нерозв'язуваних теорій. Низка праць Т. присвячена розробці інтуїціоністської та модальної пропозиційної логіки.[br]Осн. тв.: "Поняття істини в мовах дедуктивних наук" (1933); "Поняття істини в формалізованих мовах" (1935); "Вступ до логіки і методології дедуктивних наук" (1941); "Нерозв'язувані теорії", у співавт. (1953); "Логіка. Семантика. Метаматематика" (1956); "Зібрання творів". Т. 1 - 4 (1981); "Формалізація теорії класів без змінних", у співавт. (1983). -
5 Тайтельбаум
див. Тайтельбаум, Альфред -
6 Тарський
див. Тарський, Альфред
См. также в других словарях:
Альфред — (Alfred) английское Род: муж. Этимологическое значение: «эльф советник» Отчество: Альфредович Альфредовна Другие формы: Альфредас Иноязычные аналоги … Википедия
Альфред — а, муж. Заимств.Отч.: Альфредович, Альфредовна; разг. Альфредыч.Производные: Альфредка; Альфа; Аля; Фреда.Именины: 3 янв., 15 сент., 12 окт., 26 окт. Словарь личных имён. Альфред русск. мужское имя отч. Альфредович, Альфредов … Словарь личных имен
АЛЬФРЕД — (древн. герм. Alfred миролюбивый). Мужское имя. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. АЛЬФРЕД древновогреч. Alfred, миролюбивый. Мужское имя. Объяснение 25000 иностранных слов, вошедших в употребление в… … Словарь иностранных слов русского языка
альфред — советчик; Альфредка, Альфа, Аля, Фреда Словарь русских синонимов. альфред сущ., кол во синонимов: 1 • имя (1104) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
Альфред Пенниуорт — История публикаций Издатель DC Comics Дебют … Википедия
Альфред Саксен-Кобург-Готский — англ. Alfred, Duke of Saxe Coburg and Gotha … Википедия
Альфред Шнитке — Композитор Альфред Гарриевич Шнитке родился 24 ноября 1934 года в городе Энгельсе Саратовской области. Он был старшим сыном в семье журналиста и русско немецкого переводчика Гарри Шнитке и его жены, преподавателя немецкого языка Марии Фогель.… … Энциклопедия ньюсмейкеров
Альфред Бестер (Вавилон-5) — Персонаж «Вавилона 5» Альфред Бестер Организация Пси корпус … Википедия
Альфред Великобританский — англ. Prince Alfred of Great Britain … Википедия
Альфред Лант — Альфред Лант Имя при рождении: Альфред Лант Дата рождения … Википедия
Альфред Хичкок представляет (телесериал — Альфред Хичкок представляет (телесериал, 1985) У этого термина существуют и другие значения, см. Альфред Хичкок представляет. Альфред Хичкок представляет Alfred Hitchcock Presents Жанр триллер детектив Продюсер Джон Слэн Майкл Слоун Роберт Де… … Википедия
