アルフレト・タルスキとは？
あるふれとたるすき
アルフレト・タルスキは、「真理」の数学的定義を打ち立てた20世紀を代表するポーランド出身の論理学者・数学者です。
アルフレト・タルスキ（Alfred Tarski、1901〜1983年）は、ポーランドのワルシャワ出身の論理学者・数学者です。20世紀の数理論理学と数学基礎論において最も重要な貢献をした人物のひとりとして広く評価されています。
タルスキの最大の業績は「真理の意味論的定義」です。命題が「真である」とはどういうことかを厳密に数学的・論理的に定式化し、「雪は白い」という文が真であるのは「雪が白い」という場合に限る、という形の真理の対応理論を精緻に展開しました。これは現代の形式意味論・言語哲学の出発点となりました。
タルスキの主な業績は以下のとおりです。
- 真理の意味論的定義—哲学・論理学・数学基礎論に多大な影響
- 「バナッハ＝タルスキのパラドックス」—選択公理を用いた球の分解・再構成に関する驚くべき定理
- モデル理論の体系化—数学的構造と論理的言語の関係を研究する分野の発展に貢献
- 決定可能な理論の研究—初等代数と幾何の完全性証明
第二次世界大戦の勃発をきっかけにアメリカに渡り、カリフォルニア大学バークレー校で後進を育てながら精力的に研究を続けました。その業績は論理学・数学・哲学・コンピュータサイエンスと多岐にわたり、現代学術の礎を築いています。
使い方・例文
「タルスキの真理定義は、プログラミング言語の意味論やデータベース理論の基礎にも応用されている」という形で論理学や情報科学の解説に登場します。
この用語をシェア
最終更新: