[過去ﾛｸﾞ] ■初等関数研究村■ (606ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
517: 2023/03/19(日)15:20 ID:FXWSCN9t(1/3) AAS
証明ができないからと言って
数学的に正しくないとはいえない
決定問題とは
入力に対して答が真か偽の
いずれかになるような問題である
ある問題を全ての入力に対して
正しく解答するようなアルゴリズムが
存在しないとき（すなわち特性関数が
計算可能関数でないとき）、
そうした問題は決定不能であると言う
518: 2023/03/19(日)15:22 ID:FXWSCN9t(2/3) AAS
>511 はやはり正しい
519: 2023/03/19(日)16:02 ID:FXWSCN9t(3/3) AAS
立方数y^3をk 回り大きくするのに
必要な数 (y+k)^3-y^3 [k,y は整数]
x^3=(y+k)^3-y^3
立方数y^(3n) をk回り大きくするのに
必要な数 (y+k)^(3n)-y^(3n) [k,y,n は自然数]
x^(3n)=(y+k)^(3n)-y^(3n)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.153s*