「構成主義 (数学)」の版間の差分
削除された内容 追加された内容
54.38.59.4 (会話) 編集の要約なし |
m Botによる: {{Normdaten}}を追加 |
||
18行目: | 18行目: | ||
{{Mathlogic-stub}} |
{{Mathlogic-stub}} |
||
{{Normdaten}} |
|||
{{デフォルトソート:こうせいしゆき すうかく}} |
{{デフォルトソート:こうせいしゆき すうかく}} |
||
[[Category:認識論]] |
[[Category:認識論]] |
2021年3月13日 (土) 15:44時点における版
数学の哲学において、構成主義(こうせいしゅぎ、英: constructivism)とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに背理法によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。
多くの形の構成主義がある (Troelstra 1977a)。これらはブラウワーによって創始された数学的直観主義のプログラム、ヒルベルトならびにベルナイスの有限主義、ShaminならびにMarkovの構成的で再帰的な数学、そして構成的解析学であるBishopのプログラムを含む。構成主義はCZFやトポス論の研究のような構成的集合論の研究もまた含む。
構成主義はしばしば直観主義と同一視される、しかしながら直観主義は構成主義者のプログラムのひとつでしかない。個人的な数学者の直観のなかに数学の基礎がおかれるところの直観主義数学は、それによってひとつの内在的で主観的な活動のなかへと数学をさせている (Troelstra 1977b)。他の形の構成主義は直観のこの見地において基礎をもたない、そして数学において客観的な見地をもって両立できる。
引用もしくは参考文献
- Troelstra, A. S. (1977a). “Aspects of constructive mathematics”. Handbook of Mathematical Logic. pp. 973-1052
- Troelstra, A. S. (1977b). “Choice sequences”. Oxford Logic Guides. ISBN 0-19-853163-X