HISTORICAL PERSON · 2012年没

Ruth Barcan Marcus

アメリカの哲学者、論理学者。量化様相論理の最初の形式体系を作り、「バーカンの公式」で知られ、必然性を表す箱の記号も導入した。

生涯
2012年没
死亡地
アメリカ合衆国(コネチカット州 / ニュー・ヘイヴン)
出生地
アメリカ合衆国(ブロンクス区)
出典
世界地図
アメリカ合衆国(コネチカット州)

伝記

アメリカの哲学者、論理学者。量化様相論理の最初の形式体系を作り、「バーカンの公式」で知られ、必然性を表す箱の記号も導入した。

同じ年に亡くなった人物

同じ地域に関係する人物