曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2021-04-14から1日間の記事一覧

「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ壱「緒言」「命題と判断」(予習編)

Per Martin-Löfの"Intuitionistic Type Theory"(1984)、通称ITT84*1の勉強会の記録でござる。今回はとりあえず、最初の2節で読んでもわからなかったところをメモっときます。 個人的な動機 緒言(Introductory remarks) ロジックと数学の関係 ラッセルの型…