About: Alfred Tarski

An Entity of Type: scientist, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.

Property Value
dbo:abstract
  • ألفريد تارسكي (بالبولندية: Alfred Tarski)‏ هو عالم رياضيات بولندي. (ar)
  • Alfred Tarski (14. ledna 1901, Varšava, Ruskem ovládaná část Polska – 26. října 1983, Berkeley, Kalifornie, USA) byl polský logik a matematik, který téměř 40 let žil a pracoval v USA. Zabýval se zejména matematickou logikou, teorií modelů, algebrou a teorií množin. Publikoval však také články z jiných oblastí matematiky. Významným způsobem ovlivnil rozvoj logiky a matematiky ve 20. století. (cs)
  • Ο Άλφρεντ Τάρσκι (Alfred Tarski, 14 Ιανουαρίου 1901 – 26 Οκτωβρίου 1983) ήταν Πολωνός επιστήμονας της Λογικής, μαθηματικός και φιλόσοφος. Σπούδασε στο Πανεπιστήμιο της Βαρσοβίας και ήταν μέλος της και της . Μετανάστευσε στις ΗΠΑ το 1939, έγινε Αμερικανός πολίτης το 1945 και δίδαξε και πραγματοποίησε έρευνα στα μαθηματικά στο Πανεπιστήμιο Μπέρκλεϋ στην Καλιφόρνια από το 1942 μέχρι τον θάνατό του. Ήταν παραγωγικός συγγραφέας γνωστός για το έργο του σχετικά με τη θεωρία μοντέλων, τα και την . Συνέβαλε και σε άλλα πεδία, όπως η , η τοπολογία, η γεωμετρία, η θεωρία μέτρου, η μαθηματική λογική, η θεωρία συνόλων και η αναλυτική φιλοσοφία. Οι βιογράφοι του Ανίτα και αναφέρουν ότι «Μαζί με τον σύγχρονό του, Κουρτ Γκέντελ, άλλαξε το πρόσωπο της λογικής στον εικοστό αιώνα, κυρίως μέσα από το έργο του σχετικά με την έννοια της αλήθειας και της θεωρίας μοντέλων». (el)
  • Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models." (en)
  • Alfred TARSKI antaŭe Alfred Tajtelbaum (naskiĝis la 14-an de januaro 1901 en Varsovio, mortis la 26-an de oktobro 1983 en Berkeley, Usono) – pola logikisto, membro de la Lvova-Varsovia skolo. De 1939 laboris en Usono. Kreinto interalie de modeloteorio kaj semantika teorio de vero. Konsiderata kiel unu el kvar la plej grandaj logikistoj en la historio – krom Aristotelo, Gottlob Frege kaj Kurt Gödel. (eo)
  • Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. (de)
  • Alfred Tarski (Varsovia, Polonia, 1901eko urtarrilaren 14a - Berkeley, Kalifornia, AEB, 1983ko urriaren 26a) poloniar matematikaria eta logikaria izan zen. (eu)
  • Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco. Nació el 14 de enero de 1901 en la ciudad de Varsovia, Polonia, y murió el 26 de octubre de 1983 en Berkeley, Estados Unidos. De origen judío acomodado, adoptó su apellido definitivo al convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo. Formó parte de la importante escuela polaca de lógica y filosofía hasta 1939, en que se estableció en Estados Unidos de América; la emigración le salvó de la suerte de la mayor parte de su familia, que pereció bajo la ocupación nazi de Polonia. Desde Estados Unidos, donde viviría y enseñaría hasta su muerte, influyó en toda la investigación lógica posterior a la Segunda Guerra Mundial. Hizo aportaciones destacadas en teoría de conjuntos, lógica polivalente, niveles de lenguaje y metalenguaje y conceptos semánticos. Fue el autor de Introducción a la lógica y a la metodología de las ciencias deductivas en el año 1941 y La concepción semántica de la verdad y los fundamentos de la semántica en 1944. (es)
  • Alfred Tarski, né Alfred Teitelbaum le 14 janvier 1901 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du XXe siècle, fondateur de la théorie des modèles et de la sémantique formelle. (fr)
  • アルフレト・タルスキ(Alfred Tarski, 1901年1月14日 - 1983年10月26日)は、ポーランドおよびアメリカの数学者・論理学者。 (ja)
  • Alfred Tarski (Warschau (Polen), 14 januari 1901 – Berkeley (VS), 26 oktober 1983) was een Amerikaans wiskundige en logicus van Pools-Joodse afkomst. Tarski heeft belangrijke bijdragen geleverd aan de algebra, maattheorie, modeltheorie, verzamelingenleer, metawiskunde en wiskundige logica. (nl)
  • Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, 14 de janeiro de 1901 — Berkeley, Estados Unidos, 26 de outubro de 1983) foi um lógico, matemático e filósofo polonês. Emigrou para os Estados Unidos em 1939, onde tornou-se cidadão naturalizado em 1945, foi professor de matemática da Universidade da Califórnia em Berkeley, de 1942 até sua morte. Escreveu, dentre outras áreas, sobre topologia, geometria, teoria da mensuração, axiomatização da álgebra e geometria, , lógica matemática, teoria dos conjuntos, metamatemática, e, especialmente, sobre teoria dos modelos, teoria semântica da verdade, álgebra abstrata e . Seu trabalho possui grande relevância filosófica. É considerado um dos maiores lógicos da história, junto de Aristóteles, Frege e Kurt Gödel. Tarski descrevia-se como "um matemático (e também um lógico e, talvez, de certa forma, um filósofo)". Na filosofia, ganha destaque especialmente por suas caracterizações matemáticas dos conceitos de verdade, constante lógica e consequência lógica para sentenças de linguagens formalizadas clássicas. Já na matemática e na filosofia, sua fama deve-se principalmente a seus impressionantes trabalhos sobre teoria dos conjuntos, teoria dos modelos e álgebra, incluindo resultados e desenvolvimentos como o paradoxo de Banach-Tarski, o , a integralidade e decibilidade da álgebra e da , e as noções de cardinal, ordinal, relação e . (pt)
  • Alfred Tarski, dawniej Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia) – polski logik, członek Szkoły Lwowsko-Warszawskiej. Od 1939 r. pracował w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy. Bywa wymieniany jako jeden z czterech najwybitniejszych logików wszech czasów – obok Arystotelesa, Gottloba Frege oraz Kurta Gödla. (pl)
  • Alfred Tarski, född 1902, död 1983, polsk matematiker och logiker, var en ledande gestalt inom Warszawagruppen fram till dess upplösning vid andra världskrigets utbrott och verkade därefter vid University of California, USA. Tarski rönte stor uppmärksamhet för sin sanningsteori, som presenterades 1931 i artikeln Sanningsbegreppet i formaliserade språk. (sv)
  • Альфред Тарский (польск. Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966). (ru)
  • 阿尔弗雷德·塔斯基(Alfred Tarski,1901年1月14日-1983年10月26日),美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国,一直任教于加利福尼亚大学伯克利分校。成员,广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域,专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道:“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目,尤其是通过他对真值概念和模型论的研究。” (zh)
  • Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності. Йому належить вагомий внесок у теорію моделей, у теорію понять, у розвиток алгебраїчних методів вивчення предикатів, у багатозначну логіку та інші розділи математичної логіки й основ математики. Він став засновником формальної семантики. У роботі «Поняття істини у формалізованих мовах» Тарський дав класичне визначення поняття істини для великої групи формалізованих мов. Йому належить ряд досліджень в галузі методології дедуктивних наук. Роботи Тарського з семантики й металогіки помітно вплинули на розвиток семіотики й слугували зразком застосування формальних методів для аналізу змістовних проблем і теорій. З 1939 — професор Гарвардського і Каліфорнійського університетів (США). Створив теорію семантичних моделей, сформулював дефініції ряду понять, в тому числі семантичну дефініцію істини для дедуктивних наук. Разом зі Стефаном Банахом розвивав дослідження з теорії ансамблів. Опублікував понад 150 робіт, включно з 9 книгами. Член Польської Академії наук і Національної Академії наук США. (uk)
dbo:academicDiscipline
dbo:birthDate
  • 1901-01-14 (xsd:date)
dbo:birthName
  • Alfred Teitelbaum (en)
dbo:birthPlace
dbo:citizenship
dbo:deathDate
  • 1983-10-26 (xsd:date)
dbo:deathPlace
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:influenced
dbo:influencedBy
dbo:institution
dbo:knownFor
dbo:nationality
dbo:notableStudent
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 59920 (xsd:integer)
dbo:wikiPageLength
  • 47162 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1072766472 (xsd:integer)
dbo:wikiPageWikiLink
dbp:birthDate
  • 1901-01-14 (xsd:date)
dbp:birthName
  • Alfred Teitelbaum (en)
dbp:birthPlace
dbp:citizenship
  • Poland, United States (en)
dbp:deathDate
  • 1983-10-26 (xsd:date)
dbp:deathPlace
dbp:doctoralAdvisor
dbp:doctoralStudents
  • (en)
  • Bjarni Jónsson (en)
  • Wanda Szmielew (en)
  • Andrzej Mostowski (en)
  • Anne C. Morel (en)
  • Haim Gaifman (en)
  • Howard Jerome Keisler (en)
  • Julia Robinson (en)
  • Richard Montague (en)
  • Robert Vaught (en)
  • Roger Maddux (en)
  • Solomon Feferman (en)
dbp:education
dbp:fields
dbp:influenced
  • Karl Popper (en)
  • Willard Van Orman Quine (en)
  • (en)
  • John Corcoran (en)
  • Donald Davidson (en)
  • Erich Leo Lehmann (en)
  • Kenneth Arrow (en)
  • Patrick Suppes (en)
  • Rudolf Carnap (en)
dbp:influences
dbp:knownFor
  • (en)
  • Banach–Tarski paradox (en)
  • Development of model theory (en)
  • Jónsson–Tarski duality (en)
  • Logic of relations (en)
  • Semantic theory of truth (en)
  • Tarski monster group (en)
  • Tarski's axioms (en)
  • Tarski's circle-squaring problem (en)
  • Tarski's undefinability theorem (en)
  • Tarski-style universes (en)
  • Work on the foundations of modern logic (en)
dbp:name
  • Alfred Tarski (en)
dbp:nationality
  • Polish, American (en)
dbp:notableStudents
dbp:thesisTitle
  • O wyrazie pierwotnym logistyki (en)
dbp:thesisUrl
dbp:thesisYear
  • 1924 (xsd:integer)
dbp:wikiPageUsesTemplate
dbp:workplaces
dct:subject
gold:hypernym
schema:sameAs
rdf:type
rdfs:comment
  • ألفريد تارسكي (بالبولندية: Alfred Tarski)‏ هو عالم رياضيات بولندي. (ar)
  • Alfred Tarski (14. ledna 1901, Varšava, Ruskem ovládaná část Polska – 26. října 1983, Berkeley, Kalifornie, USA) byl polský logik a matematik, který téměř 40 let žil a pracoval v USA. Zabýval se zejména matematickou logikou, teorií modelů, algebrou a teorií množin. Publikoval však také články z jiných oblastí matematiky. Významným způsobem ovlivnil rozvoj logiky a matematiky ve 20. století. (cs)
  • Alfred TARSKI antaŭe Alfred Tajtelbaum (naskiĝis la 14-an de januaro 1901 en Varsovio, mortis la 26-an de oktobro 1983 en Berkeley, Usono) – pola logikisto, membro de la Lvova-Varsovia skolo. De 1939 laboris en Usono. Kreinto interalie de modeloteorio kaj semantika teorio de vero. Konsiderata kiel unu el kvar la plej grandaj logikistoj en la historio – krom Aristotelo, Gottlob Frege kaj Kurt Gödel. (eo)
  • Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (* 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; † 26. Oktober 1983 in Berkeley, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski erarbeitete grundlegende Beiträge zu beiden Formalwissenschaften sowie zur formalen Wahrheitstheorie (Konvention T) und ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. (de)
  • Alfred Tarski (Varsovia, Polonia, 1901eko urtarrilaren 14a - Berkeley, Kalifornia, AEB, 1983ko urriaren 26a) poloniar matematikaria eta logikaria izan zen. (eu)
  • Alfred Tarski, né Alfred Teitelbaum le 14 janvier 1901 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du XXe siècle, fondateur de la théorie des modèles et de la sémantique formelle. (fr)
  • アルフレト・タルスキ(Alfred Tarski, 1901年1月14日 - 1983年10月26日)は、ポーランドおよびアメリカの数学者・論理学者。 (ja)
  • Alfred Tarski (Warschau (Polen), 14 januari 1901 – Berkeley (VS), 26 oktober 1983) was een Amerikaans wiskundige en logicus van Pools-Joodse afkomst. Tarski heeft belangrijke bijdragen geleverd aan de algebra, maattheorie, modeltheorie, verzamelingenleer, metawiskunde en wiskundige logica. (nl)
  • Alfred Tarski, dawniej Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia) – polski logik, członek Szkoły Lwowsko-Warszawskiej. Od 1939 r. pracował w Stanach Zjednoczonych. Twórca m.in. teorii modeli i semantycznej definicji prawdy. Bywa wymieniany jako jeden z czterech najwybitniejszych logików wszech czasów – obok Arystotelesa, Gottloba Frege oraz Kurta Gödla. (pl)
  • Alfred Tarski, född 1902, död 1983, polsk matematiker och logiker, var en ledande gestalt inom Warszawagruppen fram till dess upplösning vid andra världskrigets utbrott och verkade därefter vid University of California, USA. Tarski rönte stor uppmärksamhet för sin sanningsteori, som presenterades 1931 i artikeln Sanningsbegreppet i formaliserade språk. (sv)
  • Альфред Тарский (польск. Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966). (ru)
  • 阿尔弗雷德·塔斯基(Alfred Tarski,1901年1月14日-1983年10月26日),美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国,一直任教于加利福尼亚大学伯克利分校。成员,广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域,专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道:“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目,尤其是通过他对真值概念和模型论的研究。” (zh)
  • Ο Άλφρεντ Τάρσκι (Alfred Tarski, 14 Ιανουαρίου 1901 – 26 Οκτωβρίου 1983) ήταν Πολωνός επιστήμονας της Λογικής, μαθηματικός και φιλόσοφος. Σπούδασε στο Πανεπιστήμιο της Βαρσοβίας και ήταν μέλος της και της . Μετανάστευσε στις ΗΠΑ το 1939, έγινε Αμερικανός πολίτης το 1945 και δίδαξε και πραγματοποίησε έρευνα στα μαθηματικά στο Πανεπιστήμιο Μπέρκλεϋ στην Καλιφόρνια από το 1942 μέχρι τον θάνατό του. (el)
  • Alfred Tarski (/ˈtɑːrski/, born Alfred Teitelbaum; January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. (en)
  • Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco. Nació el 14 de enero de 1901 en la ciudad de Varsovia, Polonia, y murió el 26 de octubre de 1983 en Berkeley, Estados Unidos. (es)
  • Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, 14 de janeiro de 1901 — Berkeley, Estados Unidos, 26 de outubro de 1983) foi um lógico, matemático e filósofo polonês. Emigrou para os Estados Unidos em 1939, onde tornou-se cidadão naturalizado em 1945, foi professor de matemática da Universidade da Califórnia em Berkeley, de 1942 até sua morte. (pt)
  • Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності. Йому належить вагомий внесок у теорію моделей, у теорію понять, у розвиток алгебраїчних методів вивчення предикатів, у багатозначну логіку та інші розділи математичної логіки й основ математики. Він став засновником формальної семантики. У роботі «Поняття істини у формалізованих мовах» Тарський дав класичне визначення поняття істини для великої групи формалізованих мов. Йому належить ряд досліджень в галузі методології дедуктивних наук. Роботи Тарського з семантики й металогіки помітно вплинули на розвиток семіотики й слугували зразком застосування формальних методів для аналізу змістовних проблем і теорій. З 1939 — професор Гарвард (uk)
rdfs:label
  • Alfred Tarski (en)
  • ألفريد تارسكي (ar)
  • Alfred Tarski (ca)
  • Alfred Tarski (cs)
  • Άλφρεντ Τάρσκι (el)
  • Alfred Tarski (de)
  • Alfred Tarski (eo)
  • Alfred Tarski (es)
  • Alfred Tarski (eu)
  • Alfred Tarski (fr)
  • Alfred Tarski (in)
  • アルフレト・タルスキ (ja)
  • Alfred Tarski (it)
  • 알프레트 타르스키 (ko)
  • Alfred Tarski (nl)
  • Alfred Tarski (pl)
  • Alfred Tarski (pt)
  • Тарский, Альфред (ru)
  • Альфред Тарський (uk)
  • Alfred Tarski (sv)
  • 阿尔弗雷德·塔斯基 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • Alfred Tarski (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:influencedBy of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:doctoralAdvisor of
is dbp:doctoralAdvisors of
is dbp:doctoralStudents of
is dbp:influenced of
is dbp:influences of
is dbp:note of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License