Alfred Tarski was a Polish logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and did research in mathematics at the University of California, Berkeley, from 1942 until his death. 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.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1901-01-14 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/deathDate
  • 1983-10-26 (xsd:date)
dbpedia-owl:Person/deathPlace
dbpedia-owl:Person/individualisedPnd
  • 118620851
dbpedia-owl:Person/knownFor
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1901-01-14 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:deathDate
  • 1983-10-26 (xsd:date)
dbpedia-owl:deathPlace
dbpedia-owl:doctoralAdvisor
dbpedia-owl:doctoralStudent
dbpedia-owl:knownFor
dbpedia-owl:thumbnail
dbpprop:abstract
  • Alfred Tarski was a Polish logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and did research in mathematics at the University of California, Berkeley, from 1942 until his death. 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. He is regarded as one of the four greatest logicians of all time, perhaps matched only by Aristotle, Kurt Gödel, and Gottlob Frege. His biographers Anita 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."
  • Alfred Tarski bzw. ursprünglich Alfred Teitelbaum war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem 2. Weltkrieg.
  • Alfred Tarski 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í.
  • Alfred Tarski —originalmente Alfred Teitelbaum— fue un lógico, matemático y filósofo polaco. Nació el 14 de enero de 1902 en la ciudad de Varsovia, Polonia, y murió el 26 de octubre de 1983 en Berkeley, California, 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.
  • Alfred Tarski oli puolalainen loogikko ja matemaatikko, jolla on ollut myös suuri filosofinen merkitys. Hän oli maailmansotien välisen ajan Varsovan koulukunnan jäsen ja toimi Yhdysvalloissa vuodesta 1939. Hän kirjoitti topologiasta, geometriasta, mittateoriasta, matemaattisesta logiikasta, joukkoteoriasta, metamatematiikasta ja ennen kaikkea malliteoriasta, abstraktista algebrasta ja siihen liityvästä logiikasta. Tarskin elämäkerran kirjoittajat Anita ja Solomon Feferman (2004) ovat kirjoittaneet, että hän oli "yksi kaikkien aikojen suurimmista loogikoista" ja että hän "muutti yhdessä aikalaisensa Kurt Gödelin kanssa 1900-luvun logiikan kasvot ennen kaikkea totuuden käsitteeseen ja malliteoriaan liittyvillä töillään".
  • Alfred Tarski, né le 14 janvier 1902 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie était un logicien et un philosophe polonais.
  • Alfred Tarski lengyel matematikus. A négy legnagyobb logikus közé számítják Arisztotelész, Frege és Gödel mellett. Tarski foglalkozott algebrával, algebrai logikával, mértékelmélettel, matematikai logikával, halmazelmélettel és metamatematikával. Korszakalkotó módon hozzájárult a szimbolikus logikához, logikai szemantikához és a nyelvfilozófiához azáltal, hogy adott egy definíciót a formális nyelvek igazságfogalma számára. Ennek a definíciónak a következménye az igaz mondatok jellemzésére vonatkozó híres Tarski-féle T-séma. Logikát és filozófiát tanul Varsóban. Jan Łukasiewicz és Tadeusz Kotarbiński tanítványa volt. Ő volt Stanisław Leśniewski egyetlen PhD hallgatója. 1939-ig középiskolai matematikatanár, 1939-ben ajánlatot kapott, hogy az 1939–1940-es tanévet a Harvardon töltse. Ezt a meghívást Quine eszközölte ki számára, akivel 1933-ban Varsóban találkozott. 1939 augusztusában Lengyelország német megszállását, a II. világháború kitörését közvetlenül megelőzve, az utolsó hajóval utazik az Egyesült Államokba. Csak 1946-ban láthatta ismét feleségét és két gyermekét. Közben az Egyesült Államok állampolgára lett. 1942-től élete végéig a University of California at Berkeley tanára és kutatója.
  • Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel.
  • アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）はポーランド出身のアメリカで活躍した数学者・論理学者。ワルシャワのユダヤ系家庭に生まれ、もとの姓はテイテルバウム（Teitelbaum）であったが、後にタルスキに改名している。また、彼の生年を1902年とする記述も散見されるが、これは誤りである。
  • Alfred Tarski was een logicus van Pools-Joodse afkomst die oorspronkelijk Teitelbaum heette, maar zijn naam in 1923 veranderde in het Pools klinkende Tarski en zich formeel bekeerde tot het katholicisme, vanwege het toen in Polen heersende antisemitisme. In 1939 emigreerde hij naar de Verenigde Staten en vanaf 1942 doceerde hij aan de Universiteit van Berkeley. In 1945 werd hij Amerikaans staatsburger. Hij wordt wel beschouwd als de belangrijkste logicus na Aristoteles, Gottlob Frege en Kurt Gödel. Met laatstgenoemde heeft hij zowel in Wenen als in Amerika contact gehad. Tarski heeft bijdragen geleverd aan de algebra, maattheorie, modeltheorie, verzamelingenleer, metawiskunde en wiskundige logica. De Nederlandse logicus Evert W. Beth is in 1952 in Berkeley een korte periode assistent geweest van Tarski en heeft het boek van Tarski Inleiding in de Logica (1953) in het Nederlands vertaald.
  • Alfred Tarski i Warszawa, død 26. oktober 1983 i Berkeley, California var en polsk logiker og matematiker. Tarski er av mange regnet som en av de fire største logikerne i den europeiske kulturkrets sammen med Aristoteles, Gottlob Frege og Kurt Gödel. Han emigrerte til USA i 1939 på et av de siste skipene som forlot landet før den tyske invasjonen. Fra 1942 var han ansatt ved Berkeley-universitetet.
  • Alfred Tarski (do 1924 używał nazwiska Tajtelbaum lub alternatywnie Teitelbaum), – polski matematyk i filozof pochodzenia żydowskiego, pracujący przez wiele lat w Stanach Zjednoczonych.
  • Alfred Tarski foi um lógico, matemático e filósofo polonês. Escreveu, dentre outras áreas, sobre topologia, geometria, teoria da mensuração, axiomatização da álgebra e geometria, fundamentação da semântica, lógica matemática, teoria dos conjuntos, metamatemática, e sobretudo, teoria dos modelos, teoria semântica da verdade, álgebra abstrata e lógica algébrica. Seu trabalho possui grande relevância filosófica. É considerado um dos maiores lógicos da história, juntamente com 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 ele ganha destaque especialmente por suas caracterizações matemáticas dos conceitos de verdade, constante lógica e conseqüência lógica para sentenças de linguagens formalizadas clássicas. Já na matemática e filosofia, sua fama deve-se principalmente a seu impressionante trabalho em teoria dos conjuntos, teoria dos modelos e álgebra, incluindo resultados e desenvolvimentos tais como o paradoxo de Banach-Tarski, o teorema da indefinibilidade da verdade, a integralidade e decibilidade da álgebra e geometria elementar, e as noções de cardinal, ordinal, relação e álgebra cilíndrica.
  • Alfred Tarski a fost un logician, filozof al limbajului şi matematician polonez-american. A fost un membru în perioada interbelică a Şcolii de matematică de la Varşovia, după 1939 a activat în SUA, scriind pe variate domenii de cercetare cum ar fi: topologie, geometrie, logică matematică, teoria mulţimilor, algebră. Contribuţiile sale sunt notabile şi pentru filozofie, prin studiul semanticii, mai exact prin metoda de formalizare a relaţiilor dintre expresia şi obiectul pe care acestea le denotă. În domeniul logicii contribuţia sa majoră a fost aprofundarea adevărului în relaţie cu un limbaj logic formalizat.
  • Альфред Тарский — выдающийся польско-американский математик, логик основатель формальной теории истинности.
  • Alfred Tarski, född 1902, död 1983, polsk matematiker och logiker. Han 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. Mest uppmärksamhet har Tarski rönt för sin sanningsteori, som presenterades 1931 i artikeln Sanningsbegreppet i formaliserade språk. För Tarski innebär en sanningsteori att formulera en entydig och formell definition av sanningsbegreppet för ett givet språk. Enligt Tarski förutsätter detta att två kriterier är uppfyllda: Materiellt adekvat Definitionen måste vara materiellt adekvat, det vill säga i tillräcklig mån svara mot en "intuitiv" uppfattning av sanningsbegreppet. Tarski föreslår i sin artikel att detta innebär att man i systemet kan härleda alla instanser av det så kallade T-schemat S är sann om och endast om p där p är godtycklig sats på det språk för vilket sanningsbegreppet skall definieras och S är ett namn på denna sats. Ett exempel på svenska skulle kunna vara "Uppsalas högsta kyrka är domkyrkan" är sann om och endast om Uppsalas högsta kyrka är domkyrkan. Formellt korrekt Definitionen måste vara formellt korrekt, det vill säga kunna formuleras på ett sätt som inte leder till motsägelser. Detta förutsätter enligt Tarski bland annat att språket i fråga är vad han kallar semantiskt öppet. Om motsatsen gäller, det vill säga om språket är semantiskt slutet, kan man i språket uttrycka villkoren för alla dess satsers sanning. Detta leder emellertid till motsägelser. Om O är ett semantiskt slutet objektspråk kan villkoren för satsen Denna sats är inte sann-i-O uttryckas i O. Detta leder dock till en självmotsägelse, eftersom satsen ovan i så fall är sann-i-O om och endast om satsen inte är sann-i-O. (Detta är en variant av den så kallade lögnarparadoxen). Tarski drar slutsatsen att sanningsvillkoren för ett objektspråk O endast kan uttryckas i ett språk på högre nivå, ett så kallat metaspråk. I sin artikel presenterar Tarski en såväl materiellt adekvat som formellt korrekt sanningsdefinition för ett givet formellt språk.
  • Alfred Tarski,, genel cebir, ölçü kuramı, matematiksel mantık, kümeler kuramı ve metamatematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'li matematikçi ve mantıkçı. Alfred Tarski, 1930'larda mantıkta önemli bir çalışma olan semantik methodunu biçimlendirmiştir. Bu method mânâları ile mânâların gösterdiği simgeler arasındaki bağı ele alarak tartışmaktadır. Daha başlangıçta Semantik, dil çalışmalarında yeni imkânlar açmış ve bu gibi nesne-mânâ ilişkilerinin münakaşalarında tabii bir methot sunmuştur.
  • Альфред Та́рський (4.01.1901-1983) — польський і американський логік і математик. Народився в Варшаві, закінчив Варшавський університет (1924). Працював в там же. Учень Я. Лукашевича і С. Лешневського. Член Львівсько-варшавської логіко-філософської школи. З 1939 р. - професор Гарвардського і Каліфорнійського університетів (США). Основні праці з математичної логіки, основам математики, металогіці, семантиці, методології дедуктивних наук. Створив теорію семантичних моделей, сформулював дефініції ряду понять, в тому числі семантичну дефініцію істини для дедуктивних наук. Разом зі Стефаном Банахом розвивав дослідження з теорії ансамблів. Опублікував понад 150 робіт, включно з 9 книгами. Член Польської АН і Нац. АН США.
  • 阿尔弗雷德·塔斯基美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”
dbpprop:almaMater
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:deathDate
dbpprop:deathPlace
dbpprop:doctoralAdvisor
dbpprop:doctoralStudents
dbpprop:fields
dbpprop:hasPhotoCollection
dbpprop:knownFor
  • work on the foundations of modern logic, formal notion of truth, development of model theory
dbpprop:name
  • Alfred Tarski
dbpprop:reference
dbpprop:wikiPageUsesTemplate
dbpprop:workplaces
rdf:type
rdfs:comment
  • Alfred Tarski was a Polish logician and mathematician. Educated in the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and did research in mathematics at the University of California, Berkeley, from 1942 until his death. 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.
  • Alfred Tarski bzw. ursprünglich Alfred Teitelbaum war ein polnisch-US-amerikanischer Mathematiker und Logiker. Alfred Tarski ist einer der Hauptvertreter der Lemberg-Warschau-Schule vor dem 2. Weltkrieg.
  • Alfred Tarski 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í.
  • Alfred Tarski —originalmente Alfred Teitelbaum— fue un lógico, matemático y filósofo polaco. Nació el 14 de enero de 1902 en la ciudad de Varsovia, Polonia, y murió el 26 de octubre de 1983 en Berkeley, California, Estados Unidos. De origen judío acomodado, adoptó su apellido definitivo al convertirse en 1923 a la religión mayoritaria en Polonia, el catolicismo.
  • Alfred Tarski oli puolalainen loogikko ja matemaatikko, jolla on ollut myös suuri filosofinen merkitys. Hän oli maailmansotien välisen ajan Varsovan koulukunnan jäsen ja toimi Yhdysvalloissa vuodesta 1939. Hän kirjoitti topologiasta, geometriasta, mittateoriasta, matemaattisesta logiikasta, joukkoteoriasta, metamatematiikasta ja ennen kaikkea malliteoriasta, abstraktista algebrasta ja siihen liityvästä logiikasta.
  • Alfred Tarski, né le 14 janvier 1902 à Varsovie et mort le 26 octobre 1983 à Berkeley en Californie était un logicien et un philosophe polonais.
  • Alfred Tarski lengyel matematikus. A négy legnagyobb logikus közé számítják Arisztotelész, Frege és Gödel mellett. Tarski foglalkozott algebrával, algebrai logikával, mértékelmélettel, matematikai logikával, halmazelmélettel és metamatematikával. Korszakalkotó módon hozzájárult a szimbolikus logikához, logikai szemantikához és a nyelvfilozófiához azáltal, hogy adott egy definíciót a formális nyelvek igazságfogalma számára.
  • Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel.
  • アルフレト・タルスキ（Alfred Tarski, 1901年1月14日 - 1983年10月26日）はポーランド出身のアメリカで活躍した数学者・論理学者。ワルシャワのユダヤ系家庭に生まれ、もとの姓はテイテルバウム（Teitelbaum）であったが、後にタルスキに改名している。また、彼の生年を1902年とする記述も散見されるが、これは誤りである。
  • Alfred Tarski was een logicus van Pools-Joodse afkomst die oorspronkelijk Teitelbaum heette, maar zijn naam in 1923 veranderde in het Pools klinkende Tarski en zich formeel bekeerde tot het katholicisme, vanwege het toen in Polen heersende antisemitisme. In 1939 emigreerde hij naar de Verenigde Staten en vanaf 1942 doceerde hij aan de Universiteit van Berkeley. In 1945 werd hij Amerikaans staatsburger.
  • Alfred Tarski i Warszawa, død 26. oktober 1983 i Berkeley, California var en polsk logiker og matematiker. Tarski er av mange regnet som en av de fire største logikerne i den europeiske kulturkrets sammen med Aristoteles, Gottlob Frege og Kurt Gödel. Han emigrerte til USA i 1939 på et av de siste skipene som forlot landet før den tyske invasjonen. Fra 1942 var han ansatt ved Berkeley-universitetet.
  • Alfred Tarski (do 1924 używał nazwiska Tajtelbaum lub alternatywnie Teitelbaum), – polski matematyk i filozof pochodzenia żydowskiego, pracujący przez wiele lat w Stanach Zjednoczonych.
  • Alfred Tarski foi um lógico, matemático e filósofo polonês. Escreveu, dentre outras áreas, sobre topologia, geometria, teoria da mensuração, axiomatização da álgebra e geometria, fundamentação da semântica, lógica matemática, teoria dos conjuntos, metamatemática, e sobretudo, teoria dos modelos, teoria semântica da verdade, álgebra abstrata e lógica algébrica. Seu trabalho possui grande relevância filosófica.
  • Alfred Tarski a fost un logician, filozof al limbajului şi matematician polonez-american. A fost un membru în perioada interbelică a Şcolii de matematică de la Varşovia, după 1939 a activat în SUA, scriind pe variate domenii de cercetare cum ar fi: topologie, geometrie, logică matematică, teoria mulţimilor, algebră.
  • Альфред Тарский — выдающийся польско-американский математик, логик основатель формальной теории истинности.
  • Alfred Tarski, född 1902, död 1983, polsk matematiker och logiker. Han 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. Mest uppmärksamhet har Tarski rönt för sin sanningsteori, som presenterades 1931 i artikeln Sanningsbegreppet i formaliserade språk.
  • Alfred Tarski,, genel cebir, ölçü kuramı, matematiksel mantık, kümeler kuramı ve metamatematik alanlarında yaptığı katkılarla tanınan Polonya asıllı ABD'li matematikçi ve mantıkçı. Alfred Tarski, 1930'larda mantıkta önemli bir çalışma olan semantik methodunu biçimlendirmiştir. Bu method mânâları ile mânâların gösterdiği simgeler arasındaki bağı ele alarak tartışmaktadır.
  • Альфред Та́рський (4.01.1901-1983) — польський і американський логік і математик. Народився в Варшаві, закінчив Варшавський університет (1924). Працював в там же. Учень Я. Лукашевича і С. Лешневського. Член Львівсько-варшавської логіко-філософської школи. З 1939 р.
rdfs:label
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • アルフレト・タルスキ
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Alfred Tarski
  • Тарский, Альфред
  • Alfred Tarski
  • Alfred Tarski
  • Тарський Альфред
  • 阿尔弗雷德·塔斯基
owl:sameAs
skos:subject
foaf:depiction
foaf:name
  • Alfred Tarski
foaf:page
is dbpedia-owl:Person/influenced of
is dbpedia-owl:Person/influencedBy of
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:doctoralAdvisor of
is dbpedia-owl:influenced of
is dbpedia-owl:influencedBy of
is dbpprop:doctoralAdvisor of
is dbpprop:influences of
is dbpprop:redirect of
is owl:sameAs of