2011-11-08から1日間の記事一覧
平常授業:11/08, 11/15, 11/29, 12/13, 12/20 休講:11/22, 12/06
直観主義論理の登場の持った哲学的インパクトについての解説は、以下の文献を参考にして下さい。ダメットにたどりつくまで (双書エニグマ)作者: 金子洋之出版社/メーカー: 勁草書房発売日: 2006/04/11メディア: 単行本購入: 1人 クリック: 19回この商品を含…
授業スライド・宿題 こちらから
前回の復習 宿題の答え合わせ 直観主義論理 クリプキ・フレーム 宿題
授業第十九回目は直観主義論理の話です。前半では、直観主義論理の持つ「構成性」を支える二つの性質(Existence property, Disjunction property)を説明します。後半では、直観主義論理を提唱したブラウアーの「数学は精神的な構成である」という立場のモ…