「MITMアタックを完全に防止可能な「蒸発鍵」方式を実用化?」記事へのコメント

完全無欠なシステムは存在しない？

[Anonymous Coward]

ゲーデルの不確定性の原理から、「完全なコンピュータウィルス防御システム」だとか「完全な暗号システム」などというものは存在しないことが証明されている．．．．．と教科書に書いてあったような．．．？

Re:完全無欠なシステムは存在しない？

[albireo (7374)]

先生、ゲーテルとシュレディンガーをごっちゃにしてる人がここにもいました！

--
うじゃうじゃ

Re:

[Anonymous Coward]

そういう貴方もシュレディンガーとハイゼンベルク、間違えてますよ…？

Re:

[Anonymous Coward]

そんでもってゲーデルですけどね。

Re:完全無欠なシステムは存在しない？

[albireo (7374)]

あうう…かっこ悪いことこの上なしなですね。

深く訂正原理 orz

--
うじゃうじゃ

Re:

[Anonymous Coward]

第１不完全性の定理；　公理的集合論が無矛盾ならば，証明することも反証することもできない定理が存在する。＝数学的に答えられない問題が存在する。 　　 第２不完全性の定理；　公理的集合論の無矛盾性を証明する構成的手続きは存在しない。＝数学的に完全かどうかは証明できない問題が存在する。 　　　 第１不完全性の定理を厳密に記述すると：　すべてのω-無矛盾で帰納的な論理式の集合κについて，Gen（ｖ，ｒ）もNeg（Gen（ｖ，ｒ））もFlg（κ）に属していない機能的な単項述語記号ｒが存在する（ｖはｒの自由変数である）