検索結果- 英語 - 英語
検索内容:
Scott's trick
name
Rosser's trick
name
(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".
trick mode
noun
play tricks
verb
loading!
Loading...