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

タルスキ タルスキ Alfred Tarski

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

デジタル大辞泉の解説

タルスキ(Alfred Tarski)

[1902~1983]米国の数学者・論理学者。ポーランド生まれ。のち米国に移住・帰化した。記号論理学における意味論の開拓者で、現代記号論理学の発展に多大な貢献をした。主著「形式言語における真理概念」。

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

大辞林 第三版の解説

タルスキ【Alfred Tarski】

1902~1983) アメリカの論理学者・数学者。ポーランド生まれ。真理概念の論理的分析を通じて意味論の方法を確立し、現代の記号論理学の展開に多大な貢献をなした。著「形式言語における真理概念」など。

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

タルスキの関連キーワード論理記号ウォリス数学的論理学フレーゲベルヌーイメーヤーアティヤ数理論理学ドモルガン前原昭二

今日のキーワード

トランスアジア航空

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

続きを読む

コトバンク for iPhone

タルスキの関連情報