「形式主義 (数学)」の版間の差分
削除された内容 追加された内容
編集の要約なし |
Undo revision 21316644 by 61.89.110.174 (会話) |
||
1行目:
数学における'''形式主義'''（{{Lang|en|formalism}}）とは、[[数学]]における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と
▲形式主義とは、数学におけるを少数の記号によって表し、証明において使われる推論を純粋に記号の操作と考えることを表します。
形式主義の最も原理的な見方では、数学は決められたルール（''公理''と''推論法則''）に従って行われるゲームであり、ルールを取り替えることによってできる異なるゲームは、それぞれ同等である。
形式主義は、[[ダフィット・ヒルベルト]]によって主張された。その目的は数学をゲームと考えることによって、数学的実在に直接関わることなく、数学の無矛盾性を証明するためであった。（[[ヒルベルト・プログラム]]）
上記の点から、ヒルベルトの形式主義は、[[ブルバキ]]の[[公理論]]とは異なるものである。
形式主義によると、数学的命題は確実な文字列処理ルールを必要とする命題と考えられる。例として、（「公理」と呼ばれる文字列と、与えられた公理から新しい文字列を生成する「[[推論規則]]」からなるものとして見らる）
もうひとつの形式主義は[[演繹主義]]としてよく知られる。演繹主義では、ピタゴラスの定理は絶対的真実ではないが、関係
もしあなたがゲームのルールが真実となるといった方法で文字列を考えているならば
（いいかえれば、真の命題は公理に割り当てられ、推論と真実の保存のルールに割り当てられる）、そのときあなたは、その理論を受け入れなければならない。いやむしろ、あなたがそれに与えた解釈は真の命題でなければならない。[[同値]]はすべての他の数学的記述に関して真であると見なされる。従って、形式主義は数学が無意味な象徴ゲームでしかないことを意味する必要はない。それは通常、ゲームが適用するルールの様々な解釈が存在することが望まれている。（[[構造主義]]をこの立場になぞらえる） しかし、数学者が仕事を継続し[[哲学者]]や[[科学者]]にそのような問題を残すことは、数学者が働くことを可能にする。多くの形式主義者らは、実際に、研究された公理体系は、科学への要求や数学以外の分野によって提案されると言うだろう。
[[Image:Hilbert.jpg|right|thumb|[[ダフィット・ヒルベルト]]]]
形式主義の偉大なる初期の発案者は[[ダフィット・ヒルベルト]]であった。彼の計画は[[ゲーデルの不完全性定理|完全]]でかつ[[無矛盾性|一貫性（{{Lang|en|consistent}}）]]のある数学の全ての公理化を目的としていた。（「一貫性、無矛盾性（{{Lang|en|consistent}}）」ここでは、システムに由来しうる矛盾がないことを意味する。） ヒルベルトは、「有限算術（{{Lang|en|finitary arithmetic}}）」（[[哲学]]的議論にならないために選ばれた[[自然数]]の通例の[[算数]]のサブシステム）に矛盾がないという仮説から数学的体系の一貫性を示すことを目標とした。完全かつ矛盾のない数学システムを作るヒルベルトの目標は、第二の[[ゲーデルの不完全性定理|ゲーデルの第二不完全性定理]]によって致命的な打撃を受けたが、十分に表現の富んだ矛盾のない公理体系はそれ自体の無矛盾性を決して証明できないことを述べた。そのような公理体系がサブシステムとして有限算術を含んでいるため、ゲーデルの定理はそれに対してシステムに矛盾がないことを証明できるとほのめかした（そしてそれ自身の完全性を証明できるため、ゲーデルは不可能であることを示した）。従って、数学の任意の公理システムが事実上矛盾がないことを示すため、数学の体系の無矛盾性が、証明された無矛盾性があるべき体系よりも意識上強いことを、まず仮定する必要がある。
ヒルベルトは最初は[[演繹主義]]者だった。しかし、上記から明白に、彼は、本質的に意味のある結果をもたらすために、確実な超数学的方法（{{Lang|en|metamathematical method}}）を熟考した。また、彼は有限算術に関しては[[リアリズム|現実主義]]者であった。後に、彼は解釈にかかわらずどんなものであれ、他の意味にある数学はないと考えた。
[[ルドルフ・カルナップ]]、[[アルフレト・タルスキ]]、[[ハスケル・カリー]]のようなその他の形式主義者は、形式的な公理体系の研究であるべき数学を考えた。[[数理論理学]]者は形式的な体系を研究するが、彼らは現実主義者であると同時に形式主義者でもある。
形式主義者は通常、非常に寛容で論理学、非標準記数法、新しい集合論など、新しい試みを惹き付ける。我々が研究するゲームはよりよいものである。しかしながら、これらの例の三つすべてにおいて、自発性は既存の数学や哲学関連を題材にしている。「ゲーム」は普通、恣意的なものではない。
形式主義の主な評論はゲーム以上の文字列操作から遠くかけ離れた数学者を占有する現実の数学的アイデアである。
(もし正しければ)公開された証明は、これらのゲームの言葉で言えば、原理上体系立てられるが、その取り組みは、時間的にも空間的にも、恐ろしく手が出せないものを要求した（''[[プリンキピア・マテマティカ序論]]''を見よ）。加えて、そのルールはこれらの証明の初期の生成には必ずしも重要なものではない。形式主義は、公理体系を研究すべきだという疑問には無言でもある。
== 関連項目 ==
* [[数学的直観主義]]
* [[哲学]]
[[Category:数学基礎論|けいしきしゆき]]
[[Category:数学に関する記事|けいしきしゆき]]
[[de:Philosophie_der_Mathematik]]
[[en:Philosophy_of_mathematics#Formalism]]
[[eo:Filozofio_de_matematiko]]
[[es:Filosofía_de_las_matemáticas]]
[[he:פילוסופיה_של_המתמטיקה]]
[[ru:Философия_математики]]
[[sv:Matematikfilosofi]]
[[tr:Matematik_Felsefesi]]
| |||