数学を初めとした理系の学問と哲学について　１５

597 ：考える名無しさん：2021/06/11(金) 22:15:07.40 0.net

認証システムが安全だからといっても数学的に証明されたことにはならないね。
逆に認証システムの一面を抽出し公理におき証明はできる。
が、認証システムそのものではないけどね。
たぶん識別は同値関係の類別と関係するのだろう。

伊藤清先生はブラウン運動の統計力学を公理化し数学として確率微分を
証明した。今は株価予想にブラウン運動と確率過程確率微分が応用されるが、
経済のディベートでは統計でウソをつく類まであるしなんだかなあ