可证明地;经证明地:表示某事能够被严格证明为真(常用于数学、逻辑、计算机科学等语境),强调“有证据/证明支持”。
/ˈpruːvəbli/
Provably, this algorithm always terminates.
可证明地,这个算法总会停止(终止)。
The new protocol is provably secure under widely accepted cryptographic assumptions, though real-world implementation still matters.
在广泛接受的密码学假设下,该新协议可证明地是安全的,不过现实中的实现仍然很关键。
来自 prove(证明)+ 副词后缀 -ably(能够……地/以……方式)。provably 用来把“可被证明”这一性质转成副词,强调结论不是“看起来像”,而是“能被证明”。