構成主義_(数学)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 構成主義_(数学)の意味・解説 

構成主義 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/11/11 02:33 UTC 版)

数学の哲学において、構成主義(こうせいしゅぎ、: constructivism)とは、「ある数学的対象が存在することを証明するためには、それを実際に見つけたり構成したりしなければならない」という考えのことである。標準的な数学においてはそうではなく、具体的に見つけることなしに背理法によって存在を示す、すなわち存在しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。

構成主義には多くの形があり、以下のようなものが含まれる[1]

構成主義はしばしば直観主義と同一視されるが、直観主義は構成主義者のプログラムのひとつでしかない。直感主義では数学者個人の直観のなかに数学の基礎が置かれることを支持し、それによって数学は本質的に主観的活動となる[2]。他の形の構成主義は、こうした直観的見地に基づくものではなく、数学に対する客観的見地と両立できるものである。

構成可能な数学

多くの構成主義的数学者が、本質的には排中律を含まない古典論理である、直観主義論理を用いている。排中律は、任意の命題に対して、その命題が真であるかもしくはその命題の否定が真であることを主張する。直観主義論理では、排中律を全否定するのではなく、排中律の特殊なケースを証明可能とする。これは単に、一般法則(排中律)を公理と仮定するわけではないということである。直観主義論理でも、(矛盾する複数の言明が同時に真にならないことを主張する)無矛盾律は有効である。

例えばハイティング算術英語版では、量化子を含まない任意の命題 p に対して、


「構成主義 (数学)」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「構成主義_(数学)」の関連用語






6
18% |||||





構成主義_(数学)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



構成主義_(数学)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの構成主義 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS