ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
Rosser
Rosser's trick
固有名詞
(mathematics) A method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent. While Gödel's original proof uses a sentence that states (informally) "This sentence is not provable", Rosser's trick uses a formula that says "If this sentence is provable, there is a shorter proof of its negation".
日本語の意味
(数学) 「Rosser's trick」は、ω‐整合性を前提とせずにゲーデルの不完全性定理を証明するための方法です。ゲーデルの元の証明が「この文は証明されない」と述べる文を用いるのに対して、Rosserの手法は「もしこの文が証明されるなら、その否定のより短い証明が存在する」という文を用いる点が特徴です。
英語の意味
(mathematics) A method for proving Gödel's incompleteness theorems without the assumption that the theory being considered is ω-consistent. While Gödel's original proof uses a sentence that states (informally) "This sentence is not provable", Rosser's trick uses a formula that says "If this sentence is provable, there is a shorter proof of its negation".
Church-Rosser theorem
固有名詞
(mathematics, computing theory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result.
日本語の意味
ラムダ計算において、縮退（リダクション）規則の適用順序が最終結果に影響を及ぼさず、どの順序で適用しても同じ結果に至ることを保証する数学・計算理論上の定理
英語の意味
(mathematics, computing theory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result.
関連語
