Alfred Tarski

http://dbpedia.org/resource/Alfred_Tarski an entity of type: Thing

Alfred Tarski (Varsòvia, 14 de gener de 1901 - Berkeley, 26 d'octubre de 1983) va ser un filòsof polonès especialitzat en lògica i un matemàtic destacat. Va haver de deixar el seu país per l'avanç dels nazis (era de família jueva) i es va refugiar als Estats Units fins a la seva mort. rdf:langString

ألفريد تارسكي (بالبولندية: Alfred Tarski)‏ هو عالم رياضيات بولندي. rdf:langString

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í. rdf:langString

Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (geboren 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; gestorben 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 war einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg. rdf:langString

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. rdf:langString

Alfred Tarski (Varsovia, Polonia, 1901eko urtarrilaren 14a - Berkeley, Kalifornia, AEB, 1983ko urriaren 26a) poloniar matematikaria eta logikaria izan zen. rdf:langString

Alfred Tarski (lahir di Warsawa 14 Januari 1902; meninggal 26 Oktober 1983) adalah ilmuwan Amerika asal Polandia menekuni bidang matematika, filsafat logika, dan bahasa. Ia adalah guru besar di , Kalifornia. Salah satu karya yang paling terkenal dari Tarski adalah logika dalam bidang matematika. Ia menciptakan teori-model, pengertian-kebenaran, definisi-terhingga Taski, bilangan kardinal terukur dan bilangan kardinal tak terpakai, dan masalah kepastian aljabar elementer serta logika analitik. Ia seorang penganut paham neo-positivisme. rdf:langString

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. rdf:langString

アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）は、ポーランドおよびアメリカの数学者・論理学者。 rdf:langString

알프레트 타르스키(폴란드어: Alfred Tarski, 1901년 1월 14일 ~ 1983년 10월 26일)는 폴란드 출신의 논리학자·수학자·철학자이다. 논리학과 수학기초론에 큰 영향을 끼쳤고, 20세기 논리학에서 쿠르트 괴델과 함께 양대를 이루는 학자였다. rdf:langString

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. rdf:langString

Alfred Tarski (Varsavia, 14 gennaio 1902 – Berkeley, 26 ottobre 1983) è stato un matematico, logico e filosofo polacco trasferitosi negli Stati Uniti, dove finì per ottenere la cittadinanza.Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel. In particolare è considerato il risolutore del paradosso del mentitore. rdf:langString

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. rdf:langString

Альфред Тарский (польск. Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966). rdf:langString

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. rdf:langString

阿尔弗雷德·塔斯基（英語：Alfred Tarski，1901年1月14日－1983年10月26日）是一名波兰裔美国逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。他是成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。” rdf:langString

Ο Άλφρεντ Τάρσκι (Alfred Tarski, 14 Ιανουαρίου 1901 – 26 Οκτωβρίου 1983) ήταν Πολωνός επιστήμονας της Λογικής, μαθηματικός και φιλόσοφος. Σπούδασε στο Πανεπιστήμιο της Βαρσοβίας και ήταν μέλος της και της . Μετανάστευσε στις ΗΠΑ το 1939, έγινε Αμερικανός πολίτης το 1945 και δίδαξε και πραγματοποίησε έρευνα στα μαθηματικά στο Πανεπιστήμιο Μπέρκλεϋ στην Καλιφόρνια από το 1942 μέχρι τον θάνατό του. rdf:langString

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. rdf:langString

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. rdf:langString

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. rdf:langString

Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності. Йому належить вагомий внесок у теорію моделей, у теорію понять, у розвиток алгебраїчних методів вивчення предикатів, у багатозначну логіку та інші розділи математичної логіки й основ математики. Він став засновником формальної семантики. У роботі «Поняття істини у формалізованих мовах» Тарський дав класичне визначення поняття істини для великої групи формалізованих мов. Йому належить ряд досліджень в галузі методології дедуктивних наук. Роботи Тарського з семантики й металогіки помітно вплинули на розвиток семіотики й слугували зразком застосування формальних методів для аналізу змістовних проблем і теорій. З 1939 — професор Гарвард rdf:langString

rdfs:label

rdf:langString Alfred Tarski

rdf:langString ألفريد تارسكي

rdf:langString Alfred Tarski

rdf:langString Άλφρεντ Τάρσκι

rdf:langString Alfred Tarski

rdf:langString アルフレト・タルスキ

rdf:langString 알프레트 타르스키

rdf:langString Alfred Tarski

rdf:langString Тарский, Альфред

rdf:langString 阿尔弗雷德·塔斯基

rdf:langString Альфред Тарський

foaf:name

rdf:langString Alfred Tarski

dbpprop:name

rdf:langString Alfred Tarski

dbpprop:deathPlace

rdf:langString Berkeley, California, US

dbpedia-owl:deathDate

xsd:date 1983-10-26

dbpedia-owl:birthDate

xsd:date 1901-01-14

dbpedia-owl:wikiPageID

xsd:integer 59920

dbpedia-owl:wikiPageRevisionID

xsd:integer 1115001980

dbpprop:thesisTitle

rdf:langString O wyrazie pierwotnym logistyki

dbpprop:thesisYear

xsd:integer 1924

dbpprop:workplaces

rdf:langString

dbpprop:birthDate

xsd:date 1901-01-14

dbpprop:birthName

rdf:langString Alfred Teitelbaum

dbpprop:deathDate

xsd:date 1983-10-26

dbpprop:influenced

rdf:langString Karl Popper

rdf:langString Willard Van Orman Quine

rdf:langString

rdf:langString John Corcoran

rdf:langString Donald Davidson

rdf:langString Erich Leo Lehmann

rdf:langString Kenneth Arrow

rdf:langString Patrick Suppes

rdf:langString Rudolf Carnap

dbpprop:influences

rdf:langString Charles Sanders Peirce

rdf:langString

rdf:langString Jan Łukasiewicz

dbpprop:knownFor

rdf:langString

rdf:langString Banach–Tarski paradox

rdf:langString Development of model theory

rdf:langString Jónsson–Tarski duality

rdf:langString Logic of relations

rdf:langString Semantic theory of truth

rdf:langString Tarski monster group

rdf:langString Tarski's axioms

rdf:langString Tarski's circle-squaring problem

rdf:langString Tarski's undefinability theorem

rdf:langString Tarski-style universes

rdf:langString Work on the foundations of modern logic

dbpprop:nationality

rdf:langString Polish, American

dbpedia-owl:abstract

rdf:langString Alfred Tarski (Varsòvia, 14 de gener de 1901 - Berkeley, 26 d'octubre de 1983) va ser un filòsof polonès especialitzat en lògica i un matemàtic destacat. Va haver de deixar el seu país per l'avanç dels nazis (era de família jueva) i es va refugiar als Estats Units fins a la seva mort.

rdf:langString ألفريد تارسكي (بالبولندية: Alfred Tarski)‏ هو عالم رياضيات بولندي.

rdf:langString 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í.

rdf:langString Alfred Tarski bzw. ursprünglich Alfred Tajtelbaum oder Teitelbaum (geboren 14. Januar 1901 (nach anderen Quellen: 1902) in Warschau; gestorben 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 war einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem Zweiten Weltkrieg.

rdf:langString Ο Άλφρεντ Τάρσκι (Alfred Tarski, 14 Ιανουαρίου 1901 – 26 Οκτωβρίου 1983) ήταν Πολωνός επιστήμονας της Λογικής, μαθηματικός και φιλόσοφος. Σπούδασε στο Πανεπιστήμιο της Βαρσοβίας και ήταν μέλος της και της . Μετανάστευσε στις ΗΠΑ το 1939, έγινε Αμερικανός πολίτης το 1945 και δίδαξε και πραγματοποίησε έρευνα στα μαθηματικά στο Πανεπιστήμιο Μπέρκλεϋ στην Καλιφόρνια από το 1942 μέχρι τον θάνατό του. Ήταν παραγωγικός συγγραφέας γνωστός για το έργο του σχετικά με τη θεωρία μοντέλων, τα και την . Συνέβαλε και σε άλλα πεδία, όπως η αφηρημένη άλγεβρα, η τοπολογία, η γεωμετρία, η θεωρία μέτρου, η μαθηματική λογική, η θεωρία συνόλων και η αναλυτική φιλοσοφία. Οι βιογράφοι του Ανίτα και αναφέρουν ότι «Μαζί με τον σύγχρονό του, Κουρτ Γκέντελ, άλλαξε το πρόσωπο της λογικής στον εικοστό αιώνα, κυρίως μέσα από το έργο του σχετικά με την έννοια της αλήθειας και της θεωρίας μοντέλων».

rdf:langString 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."

rdf:langString 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.

rdf:langString Alfred Tarski (Varsovia, Polonia, 1901eko urtarrilaren 14a - Berkeley, Kalifornia, AEB, 1983ko urriaren 26a) poloniar matematikaria eta logikaria izan zen.

rdf:langString 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.

rdf:langString Alfred Tarski (lahir di Warsawa 14 Januari 1902; meninggal 26 Oktober 1983) adalah ilmuwan Amerika asal Polandia menekuni bidang matematika, filsafat logika, dan bahasa. Ia adalah guru besar di , Kalifornia. Salah satu karya yang paling terkenal dari Tarski adalah logika dalam bidang matematika. Ia menciptakan teori-model, pengertian-kebenaran, definisi-terhingga Taski, bilangan kardinal terukur dan bilangan kardinal tak terpakai, dan masalah kepastian aljabar elementer serta logika analitik. Ia seorang penganut paham neo-positivisme.

rdf:langString 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.

rdf:langString アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）は、ポーランドおよびアメリカの数学者・論理学者。

rdf:langString 알프레트 타르스키(폴란드어: Alfred Tarski, 1901년 1월 14일 ~ 1983년 10월 26일)는 폴란드 출신의 논리학자·수학자·철학자이다. 논리학과 수학기초론에 큰 영향을 끼쳤고, 20세기 논리학에서 쿠르트 괴델과 함께 양대를 이루는 학자였다.

rdf:langString 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.

rdf:langString Alfred Tarski (Varsavia, 14 gennaio 1902 – Berkeley, 26 ottobre 1983) è stato un matematico, logico e filosofo polacco trasferitosi negli Stati Uniti, dove finì per ottenere la cittadinanza.Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel. In particolare è considerato il risolutore del paradosso del mentitore.

rdf:langString 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.

rdf:langString Альфред Тарский (польск. Alfred Tarski; 14 января 1901, Варшава — 26 октября 1983, Беркли, Калифорния) — выдающийся польско-американский математик, логик, основатель формальной теории истинности. Член-корреспондент Британской академии (1966).

rdf:langString 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 .

rdf:langString 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.

rdf:langString Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності. Йому належить вагомий внесок у теорію моделей, у теорію понять, у розвиток алгебраїчних методів вивчення предикатів, у багатозначну логіку та інші розділи математичної логіки й основ математики. Він став засновником формальної семантики. У роботі «Поняття істини у формалізованих мовах» Тарський дав класичне визначення поняття істини для великої групи формалізованих мов. Йому належить ряд досліджень в галузі методології дедуктивних наук. Роботи Тарського з семантики й металогіки помітно вплинули на розвиток семіотики й слугували зразком застосування формальних методів для аналізу змістовних проблем і теорій. З 1939 — професор Гарвардського і Каліфорнійського університетів (США). Створив теорію семантичних моделей, сформулював дефініції ряду понять, в тому числі семантичну дефініцію істини для дедуктивних наук. Разом зі Стефаном Банахом розвивав дослідження з теорії ансамблів. Опублікував понад 150 робіт, включно з 9 книгами. Член Польської Академії наук і Національної Академії наук США.

rdf:langString 阿尔弗雷德·塔斯基（英語：Alfred Tarski，1901年1月14日－1983年10月26日）是一名波兰裔美国逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。他是成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”

dbpprop:doctoralStudents

rdf:langString

rdf:langString Bjarni Jónsson

rdf:langString Julia Robinson

rdf:langString Wanda Szmielew

rdf:langString Andrzej Mostowski

rdf:langString Anne C. Morel

rdf:langString Haim Gaifman

rdf:langString Howard Jerome Keisler

rdf:langString Richard Montague

rdf:langString Robert Vaught

rdf:langString Roger Maddux