コトバンクはYahoo!辞書と技術提携しています。

タルスキー タルスキー Tarski, Alfred

4件 の用語解説(タルスキーの意味・用語解説を検索)

ブリタニカ国際大百科事典 小項目事典の解説

タルスキー
タルスキー
Tarski, Alfred

[生]1902.1.14. ワルシャワ
[没]1983.10.26.
ポーランド生れのアメリカの論理学者,数学者。アメリカに移住し,カリフォルニア大学数学科教授。ワルシャワ大学でレスニエフスキー,アジュキエウィッツなどの指導下で数学,論理学を学び (1918~23) ,多値論理学ゲーデル不完全性定理,意味論の定式化などの研究により,ポーランド学派の有力な一員となり,30年代のオーストリア学派 (ウィーン学派) に影響。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

百科事典マイペディアの解説

タルスキー

ポーランド生れの論理学者,数学者。1945年米国に帰化。1946年来カリフォルニア大学教授。論文《形式化された言語における真理概念》によって,記号論理学における意味論の開拓者として知られる。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. ご提供する『百科事典マイペディア』は2010年5月に編集・制作したものです

世界大百科事典 第2版の解説

タルスキー【Alfred Tarski】

1902‐83
ポーランド生れの論理学者,数学者。1939年以来アメリカで活躍し,45年に帰化。カリフォルニア大学のバークリー校で長く教鞭を取った。最初命題論理学,集合論,代数学を研究したが,しだいに形式的体系そのものの構造の研究へと進んだ。その構造の記述に使う言語と体系のなかに登場する言語との関係を組織的に研究,その過程で真理や定義の形式的概念を明らかにし,モデル理論の発展に寄与した。主著《形式言語における真理概念》(1935)。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

日本大百科全書(ニッポニカ)の解説

タルスキー
たるすきー
Alfred Tarski
(1901/1902―1983)

ポーランド生まれのアメリカの論理学者。ワルシャワ大学で、レスニエウスキーStanisaw Leniewski(1886―1939)、ルカシェービチに学ぶ。1945年アメリカに帰化、カリフォルニア大学教授を長く務めた。
 モデル理論の創始者であり、とくにアメリカに移って以後、この方面で弟子を多数養成し、西海岸論理学界の大御所的存在になったが、若いときの彼を国際的に有名にしたのは、1931年に出版の『形式的言語における真理概念』である。この論文で、彼は、昔から有名だった「うそつきのパラドックス」を扱い、アリストテレス的な「表現と事態の一致」という真理概念を使う限り、メタ(高次)言語と対象言語を区別しなくては、このパラドックスを解決することはできないことを示した。決定可能性の問題、集合論の公理の関連の問題、とくに、到達不能数の問題、代数学の論理学への応用の問題など、彼が手がけて論文の形で業績を残している問題は数多い。著書に、若いころの成果を集めた『論理・意味論・メタ数学』(1956)などがある。[吉田夏彦]

出典|小学館 日本大百科全書(ニッポニカ) この辞書の凡例を見る
(C)Shogakukan Inc.
それぞれの解説は執筆時点のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内のタルスキーの言及

【数学基礎論】より

…他方,ハイティングA.Heytingによる直観主義論理の形式化(1930)やゲーデルの解釈によって,直観主義の立場で用いられる論理が明確なものとなったが,帰納的関数を用いての直観主義的数学の合理化がクリーネによって試みられたのを契機として,直観主義の立場からの研究は構成的数学constructive mathematicsの研究とともに盛んに行われている。 なお,A.タルスキーやロビンソンA.Robinsonをそれぞれ中心とする学派で盛んに研究されてきたモデル論model theoryは,今日数理論理学における重要な分野として発展しているのみならず,公理的集合論をはじめ数学基礎論の各分野で有効な役割を果たしている。もともと構文syntax的研究の立場に端を発しているリカージョン・セオリーにおいても,その対象が一般化(例えば順序数上の帰納的関数や帰納的汎関数など)されるに伴って,意味論semantics的研究にその端を発するモデル論的手法が有効に用いられている。…

【パラドックス】より

…このことばの真偽は,どちらをとってもその反対が帰結されるのである。このパラドックスの解決はタルスキーによってもたらされた(1935)が,そのときの理論が機縁になって(論理的)意味論という新しい哲学的領域が形成された。集合論のパラドックスは最大の順序数ないし基数を考えるときにブラリ・フォルティおよびG.カントルのパラドックスとして現れた。…

※「タルスキー」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

タルスキーの関連キーワードワルシャワ公国ワルシャワ大学ワルシャワ大公国マルシャウコフスカ通りワルシャワ旧王宮ワルシャワ蜂起記念碑ブライダルシャワーワルシャワ国立フィルハーモニー管弦楽団ワルシャワの秋音楽祭ワルシャワ・ゲットー

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone

タルスキーの関連情報