Tarski
ontology/Person, skos:Concept · http://data.judaicalink.org/data/rujen/tarskiy
This record is one of the sources of the entity page Tarski.
From rujen
- rdf:type
- ontology/Person
- rdf:type
- skos:Concept
- described at
- http://rujen.ru/index.php//index.php/%D1%82%D0%B0%D1%80%D1%81%D0%BA%D0%B8%D0%B9
- has abstract
ТАРСКИЙ (наст. фам. Тайтельбаум) Альфред (1902, Варшава – 1983, Беркли, Калифорния, США), математик, логик. Д-р философии, проф. (1946), акад. Нац. АН США. После окончания Варшавского ун-та (1923) преподавал там же. С 1939 – в США. Преподавал в Гарвардском (1939–41) и Принстонско…
ТАРСКИЙ (наст. фам. Тайтельбаум) Альфред (1902, Варшава – 1983, Беркли, Калифорния, США), математик, логик. Д-р философии, проф. (1946), акад. Нац. АН США. После окончания Варшавского ун-та (1923) преподавал там же. С 1939 – в США. Преподавал в Гарвардском (1939–41) и Принстонском (1941–42) ун-тах; с 1942 – в Калифорнийском ун-те в Беркли, где создал отд-ние матем. логики. Тр. Т., в т. ч. «Концепция истины в формализованных языках» (1931), «Введение в логику» (1936), переведенные на мн. яз., «Неразрешимые теории» (1948), определили роль логич. семантики как особой филос. науки. Идеи Т. повлияли на развитие матем. логики, теории чисел, теории групп, методологии дедуктивных наук. Чл. Амер. матем. об-ва, чл. Нидерландской королевской академии наук и иск-в, поч. ч. Датского матем. об-ва. В 1944–46 през. Междунар. ассоциации символич. логики; в 1959 през. Междунар. союза истории и философии науки.Соч.: Введение в логику и методологию дедуктивных наук. М., 1948.- identifier
- тарский
- alternative label
- Тарский
- preferred label
- Тарский
- has related
- ВАРШАВА
From rujen-translation
- has abstract
TARSKY (real name Teitelbaum) Alfred (1902, Warsaw - 1983, Berkeley, California, USA), mathematician, logician. Doctor of Philosophy, prof. (1946), acad. Nat. US Academy of Sciences. After graduating from Warsaw University (1923) he taught there. Since 1939 - in the USA. He taugh…
TARSKY (real name Teitelbaum) Alfred (1902, Warsaw - 1983, Berkeley, California, USA), mathematician, logician. Doctor of Philosophy, prof. (1946), acad. Nat. US Academy of Sciences. After graduating from Warsaw University (1923) he taught there. Since 1939 - in the USA. He taught at Harvard (1939–41) and Princeton (1941–42) high fur boots; from 1942 - at the University of California in Berkeley, where he created a department of mat. logic. Tr. T., including "The concept of truth in formalized languages" (1931), "Introduction to logic" (1936), translated into plural. yaz., "Undecidable theories" (1948), determined the role of logical. semantics as a special philosophy. Sciences. T.'s ideas influenced the development of mat. logic, number theory, group theory, methodology of deductive sciences. Member Amer. mat. about-va, chl. Royal Netherlands Academy of Sciences and Arts, hon. part Danish mat. about-va. In 1944–46 prez. Int. associations are symbolic. logic; in 1959 prez. Int. union of history and philosophy of science. Cit .: Introduction to the logic and methodology of deductive sciences. M., 1948.- has abstract
TARSKY (richtiger Name Teitelbaum) Alfred (1902, Warschau - 1983, Berkeley, Kalifornien, USA), Mathematiker, Logiker. Doktor der Philosophie, prof. (1946), acad. Nat. US Akademie der Wissenschaften. Nach seinem Abschluss an der Warschauer Universität (1923) unterrichtete er dort.…
TARSKY (richtiger Name Teitelbaum) Alfred (1902, Warschau - 1983, Berkeley, Kalifornien, USA), Mathematiker, Logiker. Doktor der Philosophie, prof. (1946), acad. Nat. US Akademie der Wissenschaften. Nach seinem Abschluss an der Warschauer Universität (1923) unterrichtete er dort. Seit 1939 - in den USA. Er unterrichtete in Harvard (1939–41) und Princeton (1941–42) hohe Pelzstiefel; ab 1942 - an der University of California in Berkeley, wo er eine Abteilung für Matten gründete. Logik. Tr. T., einschließlich "Der Begriff der Wahrheit in formalisierten Sprachen" (1931), "Einführung in die Logik" (1936), übersetzt in Plural. yaz., "Undecidable Theories" (1948), bestimmte die Rolle der Logik. Semantik als besondere Philosophie. Wissenschaften. Die Ideen von T. beeinflussten die Entwicklung von mat. Logik, Zahlentheorie, Gruppentheorie, Methodik der deduktiven Wissenschaften. Mitglied Amer. Matte. about-va, chl. Königlich Niederländische Akademie der Wissenschaften und Künste, hon. Teil dänische Matte. about-va. In den Jahren 1944–46 prez. Int. Assoziationen sind symbolisch. Logik; 1959 prez. Int. Vereinigung von Geschichte und Wissenschaftstheorie. Cit .: Einführung in die Logik und Methodik der deduktiven Wissenschaften. M., 1948.- preferred label
- Tarski
- preferred label
- Tarski