三角比と三角関数を必ずしも区別しない立場のまとめ

数理科学のPhDのみ集めた
12
前へ 1 2

この補題は（初等関数を記号的に扱う）数式処理系における記号微分，記号積分，零判定，非負性判定などが計算不可能であることを示すRichardsonの定理の証明に使う．もっと強く多対一還元可能性の意味でRE困難やco-RE困難となることが示せる．言葉遣いの問題よりずっと面白いので読みましょう．

リンク www.jstor.org Some Undecidable Problems Involving Elementary Functions of a Real Variable on JSTOR Daniel Richardson, Some Undecidable Problems Involving Elementary Functions of a Real Variable, The Journal of Symbolic Logic, Vol. 33, No. 4 (Dec., 1968), pp. 514-520 15
リンク Journal of the ACM On Canonical Forms and Simplification | Journal of the ACM
前へ 1 2

いま話題のタグ

草津62 著作権2124 SEEDFREEDOM23 ファンタジー1655 お金674 タヌキ108 AIイラスト259 ホラー1585 円安125 虎に翼14 Twitter8229 すがやみつる33 志摩スペイン村26 絵師502 ポケモン1922