Alfred Tarski was a Polish-American logician who lived from 1901 to 1983 and made fundamental contributions to mathematical logic and the philosophy of language. His work on the concept of truth and his development of formal semantic theories became foundational to modern logic and continue to influence how philosophers and mathematicians understand meaning and truth in formal systems.
AI-generated from the Wikipedia summary — may contain errors.
Top works
via Open Library + Wikidata
<a href="https://www.last.fm/music/Alfred+Tarski">Read more on Last.fm</a>
阿尔弗雷德·塔斯基(英語:Alfred Tarski,1901年1月14日-1983年10月26日)是一名波兰裔美国逻辑学家和数学家。塔斯基1939年移居美国,一直任教于加利福尼亚大学伯克利分校。他是成员,广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域,专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道:“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目,尤其是通过他对真值概念和模型论的研究。”
Abstract from DBpedia / Wikipedia · CC BY-SA
5 total works indexed
· 2007 · cited 13,055x
· 1971 · cited 5,380x
· 1987 · cited 4,971x
· 2022 · cited 4,700x
· 2013 · cited 4,432x
via Crossref · CC0
via Wikiquote · CC BY-SA
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).