タグ付けされた質問 「big-list」

スティーブンホーキングが今日亡くなったことを踏まえて、彼の結果のいずれかがcsに直接影響を与えるかどうか疑問に思っていましたか？ 明らかな候補は、量子コンピューティング、または物理的な量子コンピューターの構築ですが、おそらく他の影響を与える結果があるでしょう。 私はポピュラーサイエンスレベルでのみ彼の研究に精通しているので、これは実際には研究レベルの質問ではありませんが、おそらく研究レベルの答えがあります。 編集：答えに続いて、私は彼のAIに関する最近の懸念を意味するものではありません。それはCSへの貢献ではなく、哲学的/社会学的なポイントです。私は、数学的な結果、または物理学とコンピューティングの接続をもっと目指しています。

8 big-list  physics  bibliography 

でhttps://en.wikipedia.org/wiki/Geometric_complexity_theory「..ケタン・マルミュリープログラムは、実行可能な場合、それはNP問題対Pを決済することができます前に、約100年かかる可能性があると考えている」と述べられています。 現在実行可能な唯一のプログラムが深刻な障害に直面する可能性があることを示しているようです。 プログラムが失敗する可能性があるいくつかの障害は何ですか？

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

数論におけるKolmogorov Complexityの適用と証明関連分野への適用は何ですか？（Li＆Vitanyiによるモノグラフには、数論に関連するアプリケーションはあまりありません。） 私が出会った素晴らしい証拠の1つは、コルモゴロフ複雑度の定義と圧縮係数を使用して、無限の素数が存在することの証明です。 また、暗号化におけるコルモゴロフ複雑性の重要性は何ですか？

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

私は、1年目の博士課程の学生として、書き換えシステムを研究するのは初めてです。リライティング理論に関する特別なトピックのコースを提案したいと思います。私は、元のソースを除外しないようにしたいと思います。 私は教科書のソースとしてBarendregtとTereseのコピーを持っています。元の論文について：私は、終了の証明に関するダーショウィッツの研究、合流性に関するヒュートの論文、減少する図に関するヴァンオーストロムの論文、合流性のモジュロ等価に関するオーレブッシュの論文、モジュール性に関する富山の研究を見てきました。私は、古典的なものと最近の影響力のある論文の両方が散らばってしまうことを願っています。また、代数的トポロジー、カテゴリー理論、リライティング理論の間のリンクについての良い論文を誰かが推薦できれば、私もそれを感謝します。

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems