検索結果- 英語 - 英語
検索内容:
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の手法は「もしこの文が証明されるなら、その否定のより短い証明が存在する」という文を用いる点が特徴です。
confidence tricks
bags of tricks
名詞
活用形
複数形
日本語の意味
「bag of tricks」の複数形として、さまざまな手品道具や策略、または隠された技や手法の意を持ち、一人の人物や存在が複数のトリックや策略、技術を所持していることを示す表現です。 / 比喩的には、問題解決や状況打開のために活用できる多彩な手段や秘密の技を意味する場合もあります。
loading!
Loading...