先日取り上げた「「拒否反応」がなくなり実用段階に入った「フォーマルメソッド」:ITpro」という記事をみて、天の邪鬼な私はそういえばゲーデルの不完全性定理(wikipedia:ゲーデルの不完全性定理)とかチューリングマシンの停止問題(wikipedia:チューリング…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。