この前、こういう記事に出会った。 anond.hatelabo.jp 私もプログラミングをやっていた時期があるから、「バグのないプログラムを書くこと」の難しさはよーく理解しているつもりだ。特にやりたてのC言語なんて…… int型の変数に小数やら文字など変なものを代入しようものなら即、値がおかしくなってしまうので、銀行とかでは絶対に用いられないと習った覚えがある。 だが今回は、プログラミングにあまり詳しくない人でも理解できるように、もっと話を一般的にして考えてみようと思う。 そこで、 バグのないプログラムは書けるのか?という問いをこう変えてみよう。 「理論上可能なあらゆることは実践できるのか?」 と。 こう聞くと、98%の人間は『んなわけねえだろカス』とでも言うのだろうが、実はあまりよくわかっていない人がいるなぁと思うので、こうやって記事にしてみた。 あなたがもし日頃から「でもそれ、理論的に