V2EX  ›  英汉词典

Provably

释义 Definition

可证明地;经证明地:表示某事能够被严格证明为真(常用于数学、逻辑、计算机科学等语境),强调“有证据/证明支持”。

发音 Pronunciation (IPA)

/ˈpruːvəbli/

例句 Examples

Provably, this algorithm always terminates.
可证明地,这个算法总会停止(终止)。

The new protocol is provably secure under widely accepted cryptographic assumptions, though real-world implementation still matters.
在广泛接受的密码学假设下,该新协议可证明地是安全的,不过现实中的实现仍然很关键。

词源 Etymology

来自 prove(证明)+ 副词后缀 -ably(能够……地/以……方式)。provably 用来把“可被证明”这一性质转成副词,强调结论不是“看起来像”,而是“能被证明”。

相关词 Related Words

文学作品 Literary Works

  • David Hume, An Enquiry Concerning Human Understanding(常见于讨论“可证明/不可证明”的哲学语境中,相关表达如 provable/proved 频繁出现)
  • Bertrand Russell, Introduction to Mathematical Philosophy(涉及可证明性与逻辑推导,相关用语常见)
关于   ·   帮助文档   ·   自助推广系统   ·   博客   ·   API   ·   FAQ   ·   Solana   ·   734 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 22ms · UTC 19:12 · PVG 03:12 · LAX 11:12 · JFK 14:12
♥ Do have faith in what you're doing.