Effective_method
論理学、数学、コンピュータサイエンス、特にメタ論理学と計算可能性理論では、効果的な方法または効果的な手順は、特定のクラスの直感的な「効果的な」手段によって問題を解決するための手順です。効果的な方法は、機械的方法または手順と呼ばれることも
コンテンツ
1 意味
2 アルゴリズム
3 計算可能関数
4 も参照してください
5 参考文献
意味
効果的なメソッドの定義には、メソッド自体以上のものが含まれます。メソッドが効果的であると呼ばれるためには、問題のクラスに関してそれを考慮する必要がこのため、あるクラスの問題に関しては1つの方法が有効であり、別のクラスに関しては有効でない場合が
メソッドは、次の基準を満たしている場合、あるクラスの問題に対して正式に有効と呼ばれます。
これは、有限数の正確で有限の命令で構成されています。
そのクラスの問題に適用される場合：
有限のステップ数の後に常に終了（終了）します。
それは常に正しい答えを生み出します。
原則として、筆記剤以外の補助なしで人間が行うことができます。
その指示は、成功するために厳密に従う必要があるだけです。言い換えれば、それは成功するために創意工夫を必要としません。
オプションで、メソッドがクラス外から問題に適用されたときに、メソッドが回答であるかのように結果を返さないようにする必要がある場合もこの要件を追加すると、効果的なメソッドがあるクラスのセットが減ります。
アルゴリズム
関数の値を計算するための効果的な方法は、アルゴリズムです。効果的な方法が存在する関数は、効果的に計算可能と呼ばれることも
計算可能関数
効果的な計算可能性の正式な特性評価を行うためのいくつかの独立した取り組みにより、さまざまな提案された定義（一般的な再帰関数、チューリングマシン、λ計算）が導き出され、後で同等であることが示されました。これらの定義によって捉えられた概念は、再帰的または効果的な計算可能性として知られています。
チャーチチューリングの論文は、2つの概念が一致すると述べています。効果的に計算可能な数論的関数は再帰的に計算可能です。これは数学的ステートメントではないため、数学的証明によって証明することはできません。
も参照してください
決定可能性（論理）
決定問題
機能問題
数論の有効な結果
再帰的集合
決定不能問題
参考文献
^ Hunter、Geoffrey、 Metalogic：標準的な一次論理のメタ理論の紹介、カリフォルニア大学出版、1971年 ^ ガンディ、ロビン（1980）。「チャーチのテーゼとメカニズムの原理」 。
^ コープランド、BJ ; コープランド、ジャック; プラウドフット、ダイアン。「チューリング教会のテーゼ」。AlanTuring.net。コンピューティングの歴史のためのチューリングアーカイブ。
^ ケンブリッジ哲学辞典、効果的な手順
SC Kleene（1967）、数理論理学。Reprinted、Dover、2002、
ISBN 0-486-42533-9、pp。233ff。、esp。p。231。
このロジック関連”