NCM(二日目)
起床は5時半、発表準備の続きと発表練習。8時過ぎに朝食、一日会議。夕方、"Round table" で「非古典数学は古典論理をメタ理論として展開されるべきか」を巡り、Avron vs Sambin のバトルロワイアル再び。 夜は「コンゴ」に行ってから就寝。
起床は5時半、発表準備の続きと発表練習。8時過ぎに朝食、一日会議。夕方、"Round table" で「非古典数学は古典論理をメタ理論として展開されるべきか」を巡り、Avron vs Sambin のバトルロワイアル再び。 夜は「コンゴ」に行ってから就寝。