タルスキ(英語表記)Alfred Tarski

デジタル大辞泉 「タルスキ」の意味・読み・例文・類語

タルスキ(Alfred Tarski)

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

出典 小学館デジタル大辞泉について 情報 | 凡例

今日のキーワード

脂質異常症治療薬

血液中の脂質(トリグリセリド、コレステロールなど)濃度が基準値の範囲内にない状態(脂質異常症)に対し用いられる薬剤。スタチン(HMG-CoA還元酵素阻害薬)、PCSK9阻害薬、MTP阻害薬、レジン(陰...

脂質異常症治療薬の用語解説を読む

コトバンク for iPhone

コトバンク for Android