>>85
認証システムが安全だからといって
も数学的に証明されたことにはならない
ね。逆に認証システムの一面を抽出し
公理におき証明はできる。が、
認証システムそのものではないけどね。
たぶん識別は同値関係の類別と関係する
のだろう。
伊藤清先生はブラウン運動の統計力学を公理化し数学として確率微分を証明
した。
今は株価予想にブラウン運動と確率過程確率微分が応用されるが、経済の
ディベートでは統計でウソをつく類まで
あるしなんだかなあ