私たちの研究課題はゲーデルの不完全性定理から始まります: 「合理的な数学的システムには、証明できない真のステートメントが常に存在します」

停止問題とは、任意のコンピュータ プログラムの記述と入力から、プログラムが実行を終了するか、永久に実行し続けるかを決定する問題です。アラン・チューリングは 1936 年に、考えられるすべてのプログラムと入力の組み合わせに対して停止問題を解決する一般的なアルゴリズムは存在しないことを証明しました。 停止問題は、決定不能な問題の最初の証明された例です。

「耐量子暗号の構築」 上記の質問は、私たちの最近の調査の核心にある問題提起です。 問題の進行状況、以前に開発された定理、および決定不能性の概念を調査することにより、問題を解決するための提案された方法として、独自の特許取得済みの暗号を開発しました。 最新ニュース