質問: バグや障害のないシステムが作れない理由を証明/説明しているサイトを教えてください。
回答: 人力検索はてな - 「ソフトウェアが正しく動作することを数学的に証明することは不可能であることが、数学的に証明されている」という話をたまに耳にしますが この証明が記述されている文章.. 過去のはてなから。 こういう話題を求めているのかな? と思いましたので。