Alfred Tarski

阿尔弗雷德·塔斯基（1901—1983年）是波美双重国籍的逻辑学家，被列为二十世纪最伟大的四位逻辑学家之一。塔斯基重构了真理的形式化定义，创立了模型论，并在集合论、代数和几何领域做出了杰出贡献。1939年8月，他因前往美国进行讲学旅行而得以在二战爆发时免遭法西斯迫害，其余生在加州大学伯克利分校度过，培养了整整一代逻辑学家。

Lógico polaco-estadounidense (1901–1983), considerado uno de los cuatro lógicos más importantes del siglo XX. Tarski redefinió la definición formal de verdad, fundó la teoría de modelos y trabajó en teoría de conjuntos, álgebra y geometría. Salió de Polonia para una gira de conferencias en agosto de 1939 y la guerra lo dejó varado en EE. UU., pasando el resto de su carrera en Berkeley.

ألفريد تاريسكي هو عالم منطق بولندي أمريكي (1901-1983)، ويُعد من بين أهم أربعة علماء منطق في القرن العشرين. أعاد صياغة التعريف الرسمي للحقيقة، وأسس نظرية النموذج، وعمل في نظرية المجموعات والجبر والهندسة. غادر بولندا في جولة محاضرات في أغسطس 1939، وتقطعت به السبل في الولايات المتحدة بسبب اندلاع الحرب، وقضى بقية مسيرته في بيركلي.

Lógico polaco-americano (1901–1983), considerado um dos quatro mais importantes lógicos do século XX. Tarski reformulou a definição formal da verdade, fundou a teoria dos modelos e trabalhou em teoria dos conjuntos, álgebra e geometria. Deixou a Polônia para palestras em agosto de 1939, ficou retido nos EUA pelo início da guerra e passou o resto de sua carreira em Berkeley.

पोलिश-अमेरिकी तर्कशास्त्री (1901-1983), जिन्हें बीसवीं सदी के चार सबसे महत्वपूर्ण तर्कशास्त्रियों में गिना जाता है, जिन्हें अल्फ्रेड टार्स्की (Alfred Tarski) कहा जाता है। टार्स्की ने सत्य की औपचारिक परिभाषा को फिर से तैयार किया, मॉडल सिद्धांत की स्थापना की और सेट सिद्धांत, बीजगणित और ज्यामिति में काम किया। अगस्त 1939 में उन्होंने व्याख्यान दौरे के लिए पोलैंड छोड़ दिया था।

Alfred Tarski (1901–1983) adalah logikawan Polandia-Amerika, salah satu dari empat logikawan paling berpengaruh di abad ke-20. Tarski menyusun kembali definisi formal tentang kebenaran, mendirikan teori model, dan meneliti teori himpunan, aljabar, serta geometri. Ia meninggalkan Polandia untuk ceramah pada Agustus 1939, terjebak di AS karena perang, lalu mengajar di Berkeley.

Logicien polono-américain (1901–1983), considéré comme l'un des quatre plus importants logiciens du XXe siècle. Tarski a refondé la définition formelle de la vérité, créé la théorie des modèles et travaillé en théorie des ensembles, en algèbre et en géométrie. Parti en tournée de conférences aux États-Unis en août 1939, il y fut bloqué par la guerre et fit carrière à Berkeley.

アルフレルト・タルスキ（1901〜1983年）はポーランド系アメリカ人の論理学者。20世紀の最も重要な4大論理学者のひとりに数えられる。真理の形式的定義を再構築し、モデル理論を創始したほか、集合論、代数学、幾何学の分野で幅広く活躍した。1939年8月に講演旅行のためポーランドを離れた直後に第二次世界大戦が勃発してアメリカに留まり、以後はバークレーで多くの論理学者を育てた。

Польско-американский логик (1901–1983), входящий в четверку величайших логиков XX века. Тарский пересмотрел формальное определение истины, основал теорию моделей и работал в области теории множеств, алгебры и геометрии. В августе 1939 года он уехал с лекциями в США, где остался из-за начала войны, и провел остаток карьеры в Беркли, воспитав поколение ученых.

Polnisch-amerikanischer Logiker (1901–1983), der zu den vier bedeutendsten Logikern des 20. Jahrhunderts gezählt wird. Tarski definierte den formalen Wahrheitsbegriff neu, begründete die Modelltheorie und arbeitete in Mengenlehre, Algebra und Geometrie. Im August 1939 verließ er Polen für eine Vortragsreise und saß durch den Kriegsausbruch in den USA fest. Er verbrachte seine Karriere in Berkeley.

폴란드계 미국인 논리학자(Alfred Tarski, 1901~1983)로 20세기 가장 위대한 4대 논리학자 중 한 명으로 꼽힌다. 진리의 공식 정의를 재정립하고 모델 이론을 창시했으며, 집합론, 대수학, 기하학 전반에 걸쳐 공헌했다. 1939년 8월 강연을 위해 미국으로 출국했다가 전쟁 발발로 귀국하지 못하고 미국에 안착하여 평생을 UC 버클리에서 보내며 후학을 양성했다.