「構成主義 (数学)」の版間の差分
削除された内容 追加された内容
m Botによる: {{Normdaten}}を追加 |
m ページ改名に伴うリンク変更 タグ: 2017年版ソースエディター |
||
1行目:
[[数学の哲学]]において、'''構成主義'''(こうせいしゅぎ、{{lang-en-short|constructivism}})とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに[[背理法]]によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、[[存在記号]]の意味を確かめることを含む。
多くの形の構成主義がある {{harv|Troelstra|1977a}}。これらは[[ライツェン・エヒベルトゥス・ヤン・ブラウワー|ブラウワー]]によって創始された[[直観主義 (数学
構成主義はしばしば直観主義と同一視される、しかしながら直観主義は構成主義者のプログラムのひとつでしかない。個人的な数学者の直観のなかに数学の基礎がおかれるところの直観主義数学は、それによってひとつの内在的で主観的な活動のなかへと数学をさせている {{harv|Troelstra|1977b}}。他の形の構成主義は直観のこの見地において基礎をもたない、そして数学において客観的な見地をもって両立できる。
14行目:
* {{仮リンク|有限の立場|en|Finitism}}
* [[ゲーム意味論]]
* [[直観主義 (数学
* {{仮リンク|直観主義的型理論|en|Intuitionistic type theory}}
|