■

所属ラボであるCEPERCのメンバーによる、Intuitionのワークショップに参加してきました。
プロティノス、ポアンカレとカントの比較、および、ゲーデルについての発表がとりわけ勉強になりました。