2004-06-25 計算の理論 授業 この日はHaltすなわち、ある関数が停止するかどうかということについて、計算することができる関数を作ることができるかということ。そしてそれが、計算不可能であるということに関する証明の説明。