構成主義 (数学)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/11/11 02:33 UTC 版)
数学の哲学において、構成主義(こうせいしゅぎ、英: constructivism)とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに背理法によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。
- 1 構成主義 (数学)とは
- 2 構成主義 (数学)の概要
- 3 構成主義に主要な貢献をした数学者
- 4 関連項目
「構成主義 (数学)」の例文・使い方・用例・文例
- 構成主義_(数学)のページへのリンク