對話的數理達
對話型證明系
zero 知識證明 (zero-knowledge proof)
$ \sf PCP確率的檢査可能證明 (PCP; probabilisticaly checkable proof)
證明網 (proof nets)
cirquent calculus
game
game に依る確率論の公理
ゲームとしての確率とファイナンス | シェイファー,グレン, ウォフク,ウラジミール, Shafer,Glenn, Vovk,Vladimir, 啓, 竹内, 雅之, 公文 |本 | 通販 | Amazon 函數$ f:\R\to\Rとして$ \lim_{x\to a}f(x)=bとは$ \forall\epsilon_{>0}\exist\delta_{>0}s.t.\forall x(0<|x-a|<\delta\implies|f(x)-b|<\epsilon)
立證者$ \delta
僞證者$ \epsilon
數列$ a_n:\N\to\Rとして$ \lim_{n\to\infty}a_n=bとは$ \forall\epsilon_{>0}\exist N_{\in\N}s.t.\forall n(n>N\implies|a_n-b|<\epsilon)
立證者$ N
僞證者$ \epsilon