検索結果- 英語 - 英語
検索内容:
card trick
関連語
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の手法は「もしこの文が証明されるなら、その否定のより短い証明が存在する」という文を用いる点が特徴です。
parlor trick
名詞
別表記
異形
日本語の意味
家庭や社交場での娯楽として行われる、簡単な手品またはトリック / あまり本格的でない、気軽なマジックや技 / 派手な技術を伴わず、ひと時の楽しみとしての軽妙なトリック
関連語
loading!
Loading...