Entscheidungsproblem vs.Unvollständigkeitssatz（ソフト質問）

最初の用語は、ヒルベルトが1928年の作品で使用したものですが、後のゲーデルの作品では、同じことをUnvollständigkeitssatz（「不完全性定理」）と呼びます。今日のドイツのCS研究者にとっては、Unvollständigkeitssatzがより一般的に使用されているようであり、Entscheidungsproblem（「意思決定問題」）はまだ理解されていますが、das Halteproblem（Turingのオートマトンの研究後、より一般的であるように思われる）とは必ずしも関連していません。一方、英語のCS研究者にとって、Entscheidungsproblemは通常彼らがよく知っている唯一の単語です。

注：言葉は同じではありません、およそヒルベルトの問題と主張することができ決定はおよそゲーデルの発言によって、特定の場合のために、負に答えた不完全だから、不備が覆す決定を一般的に。

興味深いことに、ドイツのウィキペディアを見ると、Entscheidungsproblemのエントリはありませんが、GödelscherUnvollständigkeitssatzのエントリはあり、HilbertのエントリはGödelscherUnvollständigkeitssatzを使用しています。英語版ウィキペディアを見ると、Entscheidungsproblemのエントリがすぐに見つかります。

どうしてEntscheidungsproblemはもはやドイツ語で使用されていませんか？

2つの単語は同じものを指していません。HilbertのEntscheidungsproblemは、1次論理文の普遍的な真理を決定するアルゴリズムがあるかどうかという問題でした。チューリングは、1936年の有名な論文「計算可能な数について、Entscheidungsproblemへの応用」で否定的に答えました。単語は文字通り決定問題を意味します。この単語は解決された問題を指しているため、もはや使用されていないと思います。英語では、チューリングの論文のタイトルで目立って使用されているため、まだ一般的です。

Gödels Unvollständigkeitssatzは一貫した算術理論は特にそれは、独自の一貫性を証明することができない、完全ではないことを示す、彼の不完全性定理です。これは、ヒルベルトの異なる質問、すなわち否定的に答えました。彼の23の有名な問題の2番目は、算術の公理の一貫性を証明することでした。