CAPE論理学上級Ⅱ「構成的型理論」 開催予定日(中継urlは本ポスト下部を参照してください) ① 3月26日(土)1030-1230「ラッセルのパラドックスと3つの対策」 ② 3月26日(土)1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 ③ 3月27日(日)1030-1230「証明論的意味論としてのマーティン・レーフの構成的型理論」 ④ 3月27日(日)1430-1630「認識論の機械化:証明の正規化と証明支援系」 ①3月26日(土)1030-1230「ラッセルのパラドックスと3つの対策」 [2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」 from Shunsuke Yatabe ②3月26日(土)1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 [2021CAPE公開セミナー] 論理学
Gerald Allan Cohen FBA (/ˈkoʊən/ KOH-ən; 14 April 1941 – 5 August 2009) was a Canadian political philosopher who held the positions of Quain Professor of Jurisprudence, University College London and Chichele Professor of Social and Political Theory, All Souls College, Oxford. He was known for his work on Marxism, and later, egalitarianism and distributive justice in normative political philosophy.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く