「数学基礎論」の版間の差分
m 過剰な出典情報を整理 (ノート参照) タグ: 2017年版ソースエディター |
|||
4行目: | 4行目: | ||
== 概要 == |
== 概要 == |
||
=== 数学書での解説 === |
=== 数学書での解説 === |
||
*[[新井敏康]]『数学基礎論 Mathematical Logic』(増補版):「基礎的な[[概念]]に十分に満足のいく数学的[[定義]]を与え, 現在も発展している数学の一分野である」{{Sfn|新井|2021|p=ix}}{{Efn2|以下、新井敏康の『数学基礎論 Mathematical Logic』(増補版 2021年) |
*[[新井敏康]]『数学基礎論 Mathematical Logic』(増補版):「基礎的な[[概念]]に十分に満足のいく数学的[[定義]]を与え, 現在も発展している数学の一分野である」{{Sfn|新井|2021|p=ix}}{{Efn2|以下、新井敏康の『数学基礎論 Mathematical Logic』(増補版 2021年)からの引用{{Sfn|新井|2021|p=iv}}。{{Quotation| |
||
数学基礎論 (Mathematical Logic, [[数理論理学]], 通称「基礎論」) |
数学基礎論 (Mathematical Logic, [[数理論理学]], 通称「基礎論」)}} |
||
以下、菊池誠の『不完全性定理 The Incompleteness Theorems』(2014年) |
以下、菊池誠の『不完全性定理 The Incompleteness Theorems』(2014年)からの引用{{Sfn|菊池|2014|p=iii}}。{{Quotation| |
||
「不安の時代」が通り過ぎた後, 数学基礎論は[[哲学]]と袂を分かち, 独自の数学的な問題意識や価値観を見出した. 数学基礎論の専門家は「哲学的な動機のもとで数学基礎論を語る時代は終わった」と考えるようになり, 哲学を連想させる「数学基礎論」という名称よりも, 「[[数理論理学]]」や「論理学」, ただし「数学」や「哲学」と対峙する「論理学」ではなく, 「[[代数学]]」や「[[幾何学]]」と並ぶ「論理学」という名称を好むようになった. 数字基礎論は普通の数学に生まれ変わった. |
「不安の時代」が通り過ぎた後, 数学基礎論は[[哲学]]と袂を分かち, 独自の数学的な問題意識や価値観を見出した. 数学基礎論の専門家は「哲学的な動機のもとで数学基礎論を語る時代は終わった」と考えるようになり, 哲学を連想させる「数学基礎論」という名称よりも, 「[[数理論理学]]」や「論理学」, ただし「数学」や「哲学」と対峙する「論理学」ではなく, 「[[代数学]]」や「[[幾何学]]」と並ぶ「論理学」という名称を好むようになった. 数字基礎論は普通の数学に生まれ変わった. |
||
}}}}。 |
}}}}。 |
||
=== 辞典・事典での解説 === |
=== 辞典・事典での解説 === |
||
16行目: | 16行目: | ||
|publisher = [[大日本図書]] |
|publisher = [[大日本図書]] |
||
|id = {{全国書誌番号|65007001}} |
|id = {{全国書誌番号|65007001}} |
||
}}</ref>)とほぼ同義であり{{Sfn|青本|上野|加藤|神保|2005|p=294, 297}}、「[[論理]]を扱う[[数学]]の一分野」{{Sfn|青本|上野|加藤|神保|2005|p=294, 297}}{{Efn2|以下、『岩波 数学入門辞典』(2005年)からの引用{{Sfn|青本|上野|加藤|神保|2005|p=294 |
}}</ref>)とほぼ同義であり{{Sfn|青本|上野|加藤|神保|2005|p=294, 297}}、「[[論理]]を扱う[[数学]]の一分野」{{Sfn|青本|上野|加藤|神保|2005|p=294, 297}}{{Efn2|以下、『岩波 数学入門辞典』(2005年)からの引用{{Sfn|青本|上野|加藤|神保|2005|p=294}}{{Sfn|青本|上野|加藤|神保|2005|p=297}}。{{Quotation| |
||
'''数学基礎論'''<br> '''foundations of mathematics'''<br> |
'''数学基礎論'''<br> '''foundations of mathematics'''<br> |
||
[[数理論理学]]や[[超数学]]とほぼ同じ意味で,論理を扱う数学の一分野である. … [[ゲーデルの不完全性定理]]は[[形式主義_(数学)|有限の立場(形式主義)]]で数学の[[無矛盾性]]を証明することはできないことを示した.[[:en:Gentzen's consistency proof|ゲンツェン(Gentzen)]]は,有限の立場より緩い制限のもとで自然数論の無矛盾性を証明した.<br> 数学基礎論は計算機科学{{Interp|コンピュータ科学|原文では「計算機科学とも密接に … 」|和文=1}}とも密接に結びついている. |
[[数理論理学]]や[[超数学]]とほぼ同じ意味で,論理を扱う数学の一分野である. … [[ゲーデルの不完全性定理]]は[[形式主義_(数学)|有限の立場(形式主義)]]で数学の[[無矛盾性]]を証明することはできないことを示した.[[:en:Gentzen's consistency proof|ゲンツェン(Gentzen)]]は,有限の立場より緩い制限のもとで自然数論の無矛盾性を証明した.<br> 数学基礎論は計算機科学{{Interp|コンピュータ科学|原文では「計算機科学とも密接に … 」|和文=1}}とも密接に結びついている. |
||
}} |
}} |
||
{{Quotation| |
{{Quotation| |
||
'''[[数理論理学]]'''<br> '''mathematical logic'''<br> |
'''[[数理論理学]]'''<br> '''mathematical logic'''<br> |
||
数学の理論を展開する際にその骨格となる論理の構造を研究する分野をいう.数学基礎論とほぼ同義である. |
数学の理論を展開する際にその骨格となる論理の構造を研究する分野をいう.数学基礎論とほぼ同義である. |
||
}}}}。 |
}}}}。 |
||
* 『[[ブリタニカ百科事典|Encyclopedia Britannica(ブリタニカ百科事典)]]』:“the study of the logical and philosophical basis of mathematics”(論理的および[[哲学]]的な数学の基礎の研究)<ref>{{Cite web |url=https://www.britannica.com/science/foundations-of-mathematics |title=foundations of mathematics {{!}} History & Facts {{!}} Britannica |access-date=2022-09-25 |publisher=Encyclopædia Britannica, Inc. |last=Lambek |first=Joachim |authorlink=:en:Joachim Lambek |work=Encyclopedia Britannica |language=英語 |archive-url=https://web.archive.org/web/20220711183521/https://www.britannica.com/science/foundations-of-mathematics |archive-date=2022-07-11}}</ref> |
* 『[[ブリタニカ百科事典|Encyclopedia Britannica(ブリタニカ百科事典)]]』:“the study of the logical and philosophical basis of mathematics”(論理的および[[哲学]]的な数学の基礎の研究)<ref>{{Cite web |url=https://www.britannica.com/science/foundations-of-mathematics |title=foundations of mathematics {{!}} History & Facts {{!}} Britannica |access-date=2022-09-25 |publisher=Encyclopædia Britannica, Inc. |last=Lambek |first=Joachim |authorlink=:en:Joachim Lambek |work=Encyclopedia Britannica |language=英語 |archive-url=https://web.archive.org/web/20220711183521/https://www.britannica.com/science/foundations-of-mathematics |archive-date=2022-07-11}}</ref> |
2022年9月30日 (金) 06:52時点における版
![]() |
英: foundations of mathematics)は、日本では数理論理学[1][2](mathematical logic[1])を指す言葉としても使われる[1][2]。
(すうがくきそろん、概要
数学書での解説
辞典・事典での解説
- 『岩波 数学入門辞典』:数理論理学や超数学(メタ数学、metamathematics[4])とほぼ同義であり[5]、「論理を扱う数学の一分野」[5][注 2]。
- 『Encyclopedia Britannica(ブリタニカ百科事典)』:“the study of the logical and philosophical basis of mathematics”(論理的および哲学的な数学の基礎の研究)[8]
歴史
![]() |
19世紀末に、ゲオルク・カントルにより、集合が考えられた。集合にもとづいた数学の再整理は大きな成果を生み、数学において欠くべからざる道具となってきた。一方、バートランド・ラッセルは、素朴な集合の取り扱い(内包公理)により「自分自身を要素としない集合全体の”集まり”」も集合とされるが、左記の集合は、それ自身を要素としない時、その時に限り自身を要素とするという矛盾を引き起こすことをラッセルのパラドックスとして指摘した。ここに、数学の基礎付けの問題が発生した。
パラドックスをめぐる立場は、大きく論理主義、直観主義、形式主義の3つに分けられる。
論理主義は、数学を論理学の上に基礎づける立場で、フレーゲの独創的な仕事に始まる。実は、ラッセルのパラドックスはフレーゲによる論理体系の矛盾を指摘したものであったが、その後、ラッセルは『数学原理』によってラッセルのパラドックスも解決する。 しかし、そこに用いられた公理は、もはや論理的に自明とはいえず、本来の数学の基礎付けの目的を達成したとはいえないものとなった。
直観主義は、数学的な対象や真理が、精神活動によって直接とらえられるものとする立場で、ブラウワーが提唱した。彼は数学における構成的方法を重視したが、そのため排中律の無制限な使用が不当であると非難した。たとえば、「自然数の狭義減少数列は、かならずある項で最小値をとる」という定理は、「自然数の狭義減少数列で、どの項をとってもその先により小さい項をもつものがある」という前提から矛盾を導くことで証明されるが、一方、任意の自然数の狭義減少数列に対して、どの項が最小値となるか具体的に構成する方法があるわけではない。したがって、直観主義の立場では「自然数の狭義減少数列は、かならずある項で最小値をとる」とはいえず、「自然数の狭義減少数列は、かならずある項で最小値をとることがないとはいえない」と二重否定の形で述べざるを得ないことになる。排中律を制限した非古典論理としての直観主義論理に基づく数学は、通常の排中律を認める古典論理に基づく数学とは異なる形のものとなる。
形式主義は、数学を公理と推論法則によるゲームとみなし、有限の立場により数学の無矛盾性を証明するによるヒルベルト・プログラムによって、数学の基礎付けを行う立場で、ダフィット・ヒルベルトが提唱した。ヒルベルト・プログラムは、「数学の証明を研究する数学」としての超数学である証明論を生み出した。一方、ゲーデルの不完全性定理によって「自然数論を含む帰納的公理化可能な理論が無矛盾であれば、それ自身の無矛盾性証明が存在しない」ことが示され、ヒルベルト・プログラムは一応の決着をみた。ゲーデルの仕事により、数学の形式体系の構文論(証明論)のみならず、意味論(モデル理論)や、計算可能性に関する再帰理論の研究が進むことになり、数学基礎論から数理論理学へと進化していった。
(以上、岩波数学辞典第4版の記載に基づく。ただし、直観主義の説明中の例は、照井一成「コンピュータは数学者になれるのか?」(青土社)の例から拝借した。)
日本では、数学基礎論は、歴史的経緯により、本来の数学の基礎付けの意味だけでなく、それに用いられる超数学および数理論理学の意味でも用いられる。
影響
数学を人間の精神活動から離れて、形式主義的にかつ有限の立場から検証しなおすことにより、計算機科学の基礎と発展に大きく寄与した。たとえば、今まで自明なものとして受け入れられていた多くの数論的関数を有限の立場から考察することにより、アルゴリズムの研究に直接の影響を与えた。プログラミング言語で必ず登場するデータ型の形式的宣言や論理構造、関数の概念は遠くは数学基礎論に由来する。数学基礎論で活躍したフォン・ノイマンやチューリングが後に計算機科学において先駆的な役割を果たした。そのような意味で数学基礎論は単なる机上の空論ではなく、むしろコンピュータをインフラの一つとする現代社会の形成に多大な影響を与えた[要出典]。
脚注
注釈
- ^ 以下、新井敏康の『数学基礎論 Mathematical Logic』(増補版 2021年)からの引用[1]。
以下、菊池誠の『不完全性定理 The Incompleteness Theorems』(2014年)からの引用[2]。数学基礎論 (Mathematical Logic, 数理論理学, 通称「基礎論」) - ^ 以下、『岩波 数学入門辞典』(2005年)からの引用[6][7]。
数学基礎論
foundations of mathematics
数理論理学や超数学とほぼ同じ意味で,論理を扱う数学の一分野である. … ゲーデルの不完全性定理は有限の立場(形式主義)で数学の無矛盾性を証明することはできないことを示した.ゲンツェン(Gentzen)は,有限の立場より緩い制限のもとで自然数論の無矛盾性を証明した.
数学基礎論は計算機科学〔コンピュータ科学〕とも密接に結びついている.数理論理学
mathematical logic
数学の理論を展開する際にその骨格となる論理の構造を研究する分野をいう.数学基礎論とほぼ同義である.
出典
- ^ a b c d 新井 2021, p. iv.
- ^ a b c 菊池 2014, p. iii.
- ^ 新井 2021, p. ix.
- ^ 文部省学術奨励審議会学術用語分科審議会 編『学術用語集 論理学編』大日本図書、1965年。全国書誌番号:65007001。
- ^ a b 青本 et al. 2005, p. 294, 297.
- ^ 青本 et al. 2005, p. 294.
- ^ 青本 et al. 2005, p. 297.
- ^ Lambek, Joachim. “foundations of mathematics | History & Facts | Britannica” (英語). Encyclopedia Britannica. Encyclopædia Britannica, Inc.. 2022年7月11日時点のオリジナルよりアーカイブ。2022年9月25日閲覧。
参考文献
- 新井, 敏康『数学基礎論 Mathematical Logic』(増補版第1刷)東京大学出版会、2021年4月9日。ISBN 978-4130629270。
- 菊池, 誠『不完全性定理 The Incompleteness Theorems』(初版1刷)共立出版、2014年10月25日。ISBN 978-4320110960。
数学辞典
- 青本和彦(編); 上野健爾(編); 加藤和也(編); 神保道夫(編); 砂田利一(編); 高橋陽一郎(編); 深谷賢治(編); 俣野博(編) ほか『岩波 数学入門辞典』(第1刷)岩波書店、2005年9月29日。ISBN 978-4000802093。