EJDict
ライセンス: CC0 (Public Domain)
日本語WordNet
any factual evidence that helps to establish the truth of something; "if you have any proof for what you say, now is the time to produce it"
a formal series of statements showing that if one thing is true something else necessarily follows from it
a measure of alcoholic strength expressed as an integer twice the percentage of alcohol present (by volume)
(printing) an impression made to check for errors
the act of validating; finding or testing the truth of something
read for errors; "I should proofread my manuscripts"
JMdict
AIによる解説
Evidence establishing a fact; a trial print; resistance to something (as in waterproof).
ライセンス: KeyLang Original
The theorem, whose proof (requiring mathematical techniques that, until recently discovered by brilliant theorists working independently, remained unknown) spans hundreds of pages, transforms algebraic understanding.
その証明(独立して作業する優秀な理論家によって最近発見されるまで未知のままであった数学的技法を必要とする)が数百ページにわたる定理は、代数的理解を変革している。
Constructive mathematics rejects excluded middle for infinite domains, requiring proof of truth rather than mere absence of contradiction constructively.
構成的数学は無限領域に対する排中律を拒絶し、単なる矛盾の不在ではなく真理の証明を構成的に要求している。
Scientists believe that the evidence suggesting that climate patterns that meteorologists monitor constantly are shifting represents irrefutable proof of environmental transformation.
科学者たちは、気象学者が絶えず監視している気候パターンが変化しているという証拠が環境変革の反駁できない証明を表していると信じている。
The theorem that mathematicians whom colleagues who appreciate elegant proofs admire greatly developed demonstrates intellectual sophistication remarkably.
優雅な証明を評価する同僚が大いに称賛する数学者が発展させた定理は知的洗練を著しく示している。
He presented irrefragable proof.
彼は否定できない証拠を提示しました。
Mathematical intuitionism rejects some proofs.
数学的直観主義は一部の証明を拒否します。
The logicalness of the proof is undeniable.
その証明の論理性は否定できません。
Proof of inhabitancy is required.
居住の証明が必要だ。
He appreciated the abstrusity of the mathematical proof.
彼はその数学的証明の深遠さを評価しました。
Imputability requires proof of intent.
帰責性には意図の証明が必要です。
Pronunciation data from ipa-dict (MIT License) based on cmudict-ipa by @lingz