2006-11-16から1日間の記事一覧

不健全な健全性定理

取り敢えず、本当にそうか?と疑問が残るも健全性の証明が完了する。本当にそうか? 次は完全性だ。

なんか楽しくなってきたw