FID logo

Тарский

PropertyValueLabel
Described At Тарский rujen
Has Abstract ТАРСКИЙ (наст. фам. Тайтельбаум) Альфред (1902, Варшава – 1983, Беркли, Калифорния, США), математик, логик. Д-р философии, проф. (1946), акад. Нац. АН США. После окончания Варшавского ун-та (1923) преподавал там же. С 1939 – в США. Преподавал в Гарвардском (1939–41) и Принстонском (1941–42) ун-тах; с 1942 – в Калифорнийском ун-те в Беркли, где создал отд-ние матем. логики. Тр. Т., в т. ч. «Концепция истины в формализованных языках» (1931), «Введение в логику» (1936), переведенные на мн. яз., «Неразрешимые теории» (1948), определили роль логич. семантики как особой филос. науки. Идеи Т. повлияли на развитие матем. логики, теории чисел, теории групп, методологии дедуктивных наук. Чл. Амер. матем. об-ва, чл. Нидерландской королевской академии наук и иск-в, поч. ч. Датского матем. об-ва. В 1944–46 през. Междунар. ассоциации символич. логики; в 1959 през. Междунар. союза истории и философии науки.Соч.: Введение в логику и методологию дедуктивных наук. М., 1948. rujen
Has Abstract
  • TARSKY (richtiger Name T…
  • TARSKY (real name Teitel…
rujen-translation
is Represents of 1860677 ep
Identifier тарский rujen
22 Rdf Syntax Ns Type rujen
is Owl Same As of 1860677 ep
Core Alt Label Тарский rujen
Core Pref Label
  • Tarski
  • Tarski
rujen-translation
Core Pref Label Тарский rujen
is Core Related of Varshava rujen
Core Related Varshava rujen
Dataset Picture