1樓：Jason Hu
zero knowledge proof難道不是很informal的方法嗎？這裡的proof和數學領域的proof不一樣。Curry-Howard correspondance是formal proof，你必須先同意使用乙個formal system，比方說intuitionistic type theory, intuitionistic first order logic等。
但是zero knowledge proof本質上就是「你不太可能是錯的」，所以「你應該是對的」。這個「不太可能」和「應該」對應什麼？
我覺得回答這個問題可以從兩個方向入手。
1. 用現有的formal system formalize zero knowledge proof。只要你給出乙個形式定義，你就在現有的系統裡操作。
2. 你先發展乙個數學框架，使得zero knowledge proof存在乙個數學上的模型，然後你再設計乙個系統相容這個模型。
如何利用數學知識證明「七二法則」？
就叫這個 七三五法則 吧 所以 注意此r為百分數 以下是對比，estimate 是 69.31 1 r 200 restimate2是上述rule of 735至於為什麼用72，根據之前推導，說明引入二階項後分子約為0.72，其實就是蘊含回報率約為7.5 左右，應該說是乙個合適的利率的範疇，估計就是...
控制裡面的證明一定要證明位置誤差也趨於零才行嗎？
chenbihua 如要使用Lyapunov，一般得包括所有狀態 不一定要為0，可以是有界，如UUB Uniformly Ultimately Bounded 韓鳳鳴 一般來說，李亞普諾夫函式的定義中要包含系統所有的狀態，要求 僅在原點處成立，在不包含原點的定義域中均有 0，x in D eeimg...
怎樣證明零點存在性定理？
問問上面已經有了回答了。可以看一下，需要使用到確界定理，也就是最小上下界定理。 JH song 證明先後採用三種方法相結合 1 二分法 2 迭代法3 閉區間套定理證明過程形如夾逼原理。二分法 取自變數取值範圍的中間值，檢視中間值的函式值是否為零，是則定理得證end。如不是則中間值兩邊必有一邊會是求證...