「有限演算」の版間の差分
m →概要: 誤字 |
m Bot作業依頼: 「証明」→「証明 (数学)」のリンク修正依頼(暫定32記事対象) (証明 (数学)) - log |
||
4行目: | 4行目: | ||
[[微分積分学]]における[[関数 (数学)|関数]]の[[積分法]]で用いられるような演算は、その関数の全ての(一般的に無限に多くの)値に依存するような方法で定義されており、そのため''[[:en:prima facie|一見して自明な]]''有限項的演算ではない。[[量子力学]]のために提案されている論理においては、[[命題論理|命題]]としての[[ヒルベルト空間]]の部分集合を使用する際に、その部分空間の[[共通部分 (数学)|共通部分]]を取るような演算が用いられる。そのため、これも一般的に有限項的演算と見なすことはできない。有限項的でないものは'''''無限項的''''' (infinitary) と呼ぶことができる。 |
[[微分積分学]]における[[関数 (数学)|関数]]の[[積分法]]で用いられるような演算は、その関数の全ての(一般的に無限に多くの)値に依存するような方法で定義されており、そのため''[[:en:prima facie|一見して自明な]]''有限項的演算ではない。[[量子力学]]のために提案されている論理においては、[[命題論理|命題]]としての[[ヒルベルト空間]]の部分集合を使用する際に、その部分空間の[[共通部分 (数学)|共通部分]]を取るような演算が用いられる。そのため、これも一般的に有限項的演算と見なすことはできない。有限項的でないものは'''''無限項的''''' (infinitary) と呼ぶことができる。 |
||
'''有限(項的)議論''' (finitary argument) は、[[公理]]の有限<ref>その議論の中で''参照される''公理の数は、その証明は有限なので、必然的に有限である。しかし、その系が[[公理型]]を持つとき、その中からこれらが''選ばれる''公理の数は無限である、例えば[[命題計算]]の公理型として。</ref>集合から始めて、記号的命題の[[有限集合]]へと置き換えることができるものである。言い換えると、それは(全ての前提を含め)有限の紙面に書き出すことのできる[[証明]]である。 |
'''有限(項的)議論''' (finitary argument) は、[[公理]]の有限<ref>その議論の中で''参照される''公理の数は、その証明は有限なので、必然的に有限である。しかし、その系が[[公理型]]を持つとき、その中からこれらが''選ばれる''公理の数は無限である、例えば[[命題計算]]の公理型として。</ref>集合から始めて、記号的命題の[[有限集合]]へと置き換えることができるものである。言い換えると、それは(全ての前提を含め)有限の紙面に書き出すことのできる[[証明 (数学)|証明]]である。 |
||
有限項的方法が強調されるのは、歴史的なルーツがある。'''[[:en:Infinitary logic|無限論理]]'''は無限に長い[[言明]]および[[証明]]を許容する論理である。そのような論理においては、[[存在記号]]は、例えば、無限項的[[論理和]]から導出されるようなものと見なすことができる。 |
有限項的方法が強調されるのは、歴史的なルーツがある。'''[[:en:Infinitary logic|無限論理]]'''は無限に長い[[言明]]および[[証明 (数学)|証明]]を許容する論理である。そのような論理においては、[[存在記号]]は、例えば、無限項的[[論理和]]から導出されるようなものと見なすことができる。 |
||
20世紀初頭、[[論理学者]]は[[数学基礎論|基礎の問題]]を解決することを目論んでいた。すなわち、"数学の真の基礎とは何か?"という疑問に答えようとしていた。そのプログラムは、''意味論抜きに''完全に統語論的言語を用いて初めて、全ての数学を書き換えることができるべきものであった。[[ダフィット・ヒルベルト]]の([[幾何学]]についての)言葉によると、"''椅子''、''机''および''ビールジョッキ''のようなものを''点''、''線''および''平面''と呼んでも問題としない。"ということである。 |
20世紀初頭、[[論理学者]]は[[数学基礎論|基礎の問題]]を解決することを目論んでいた。すなわち、"数学の真の基礎とは何か?"という疑問に答えようとしていた。そのプログラムは、''意味論抜きに''完全に統語論的言語を用いて初めて、全ての数学を書き換えることができるべきものであった。[[ダフィット・ヒルベルト]]の([[幾何学]]についての)言葉によると、"''椅子''、''机''および''ビールジョッキ''のようなものを''点''、''線''および''平面''と呼んでも問題としない。"ということである。 |
2021年4月27日 (火) 14:11時点における版
数学または論理学において、有限(項的)演算(ゆうげんえんざん、英: finitary operation)は、算術の演算のように、出力を得るために有限値の入力を取る演算である。
概要
微分積分学における関数の積分法で用いられるような演算は、その関数の全ての(一般的に無限に多くの)値に依存するような方法で定義されており、そのため一見して自明な有限項的演算ではない。量子力学のために提案されている論理においては、命題としてのヒルベルト空間の部分集合を使用する際に、その部分空間の共通部分を取るような演算が用いられる。そのため、これも一般的に有限項的演算と見なすことはできない。有限項的でないものは無限項的 (infinitary) と呼ぶことができる。
有限(項的)議論 (finitary argument) は、公理の有限[1]集合から始めて、記号的命題の有限集合へと置き換えることができるものである。言い換えると、それは(全ての前提を含め)有限の紙面に書き出すことのできる証明である。
有限項的方法が強調されるのは、歴史的なルーツがある。無限論理は無限に長い言明および証明を許容する論理である。そのような論理においては、存在記号は、例えば、無限項的論理和から導出されるようなものと見なすことができる。
20世紀初頭、論理学者は基礎の問題を解決することを目論んでいた。すなわち、"数学の真の基礎とは何か?"という疑問に答えようとしていた。そのプログラムは、意味論抜きに完全に統語論的言語を用いて初めて、全ての数学を書き換えることができるべきものであった。ダフィット・ヒルベルトの(幾何学についての)言葉によると、"椅子、机およびビールジョッキのようなものを点、線および平面と呼んでも問題としない。"ということである。
有限性が重要と見なされる根拠は、人間の数学的思考は有限数の原理および原則的に一つの規則に従う全ての推論、モーダスポネンスに基づいているという考えから来ている。そのプロジェクトは、有限数の記号(原則的に数字 1,2,3,... 、アルファベットの文字、およびいくつかの特殊記号 "+", "->", "(", ")"、など)に固定すること、これらの記号の中に表現された"基礎"(公理)として取られる有限数の命題、および人間が結論を導くやり方のモデルであろういくつかの推論規則を与えることであった。これにより、その記号の意味論的解釈とは無関係に、提示された規則のみを用いて創意工夫に頼る必要なく、残る定理は形式的に導出されるべきである(このため数学は科学というよりも記号ゲームに見える)。これらの公理および規則から数学の全ての定理が演繹され得ることを証明することが望まれていた。
その目的自体は不可能であることがクルト・ゲーデルの不完全性定理より1931年に証明された。だが、数学の一般的なトレンドは、完全に定義をすることができない数学的対象を考慮することを避けることを根拠として、有限項的なアプローチを用いることである。