証明可能に

「証明可能に」の英語

「証明可能に」は英語で provably と言います。数学や計算機科学で、定理やアルゴリズムの正しさなどが理論的に証明できることを示す専門的な副詞です。日常会話ではほとんど使いません。

「証明可能に」の英語の使い分け

provably
数学や計算機科学で、定理やアルゴリズムなどが理論的に正しいと証明できることを示す副詞です。
The theorem is provably true for every positive integer.
その定理は、すべての正の整数について真であることが証明できます。

「証明可能に」の例文

This algorithm is provably optimal for the problem.

このアルゴリズムはその問題に対して証明可能に最適である。

コアイメージ

証明可能に、証明によって正しさが示せることを表す副詞

英英

.

語源

provablyは、証明可能にという意味で、provable（prove＋-able）に副詞化の接尾辞‑lyが付いてできた語で、proveはラテン語probāre（試す・証明する）に由来する

コラム

数学や計算機科学では証明可能にであることを示すために使われ、アルゴリズムや定理の正しさを理論的に示す場面で頻繁に用いられる

「証明可能に」のレベル別の例文

中学
It is provably true that two plus two equals four.

2足す2が4であることは証明できます。
高校・英検2級
The theorem is provably true under these assumptions.

これらの仮定のもとで、その定理が真であることは証明できます。
TOEIC・ビジネス
The new process is provably more efficient than the old one.

新しいプロセスのほうが、古いものより効率的だと証明できます。
日常会話
Is that provably true, or are you just guessing?

それは証明できるほど確かなことですか。それとも、ただ推測しているだけですか。

「証明可能に」を英語にするときのよくある間違い

× This theorem is provable true.

○ This theorem is provably true.

provable は形容詞なので、「真である」を修飾する副詞としては provably を使います。

「証明可能に」の英語についてよくある質問

Q. 「証明可能に」を英語で一言で言うと？

provably が一般的です。数学や計算機科学で、理論的に証明できることを表します。

Q. provably と provable の違いは？

provably は副詞で「証明可能に」、provable は形容詞で「証明可能な」という意味です。

Q. 「証明可能に」のビジネスでの言い方は？

技術文書や分析資料で、ある結果や性能が理論的に証明できることを述べる場合に provably correct や provably more efficient などと表現できます。ただし、日常的なビジネス文書では使う場面が限られます。

「証明可能に」と関連する日本語の英語

「証明可能に」と語尾違いの言い方

証明可能なknowable

ほかの日本語から英語を引く