2014-01-10から1日間の記事一覧
ゲーデルの第1不完全性定理を証明する際、多くの教科書では「かくかくしかじかな体系がω無矛盾である(したがって無矛盾でもある)」ということを仮定して、「そのとき、こういう文Gについて、\(\vdash G\)でも\(\vdash \neg G\)でもない」ということを導い…
ゲーデルの第1不完全性定理を証明する際、多くの教科書では「かくかくしかじかな体系がω無矛盾である(したがって無矛盾でもある)」ということを仮定して、「そのとき、こういう文Gについて、\(\vdash G\)でも\(\vdash \neg G\)でもない」ということを導い…