検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- [[数学の哲学]]において、'''構成主義'''（こうせいしゅぎ、{{lang-en-short|constructivism}}）とは、「ある数学的対象が存在することを証明するためには、それを [[Category:構成主義 (数学)|*]] …19キロバイト (388 語) - 2023年11月11日 (土) 03:33
ページ本文と一致
- [[数学の哲学]]において、'''構成主義'''（こうせいしゅぎ、{{lang-en-short|constructivism}}）とは、「ある数学的対象が存在することを証明するためには、それを [[Category:構成主義 (数学)|*]] …19キロバイト (388 語) - 2023年11月11日 (土) 03:33
- [[Category:構成主義 (数学)]] …9キロバイト (467 語) - 2024年9月12日 (木) 00:07
- …が融合している」と記されている。これらのグラフは間接的に[[シュリニヴァーサ・ラマヌジャン]]に因んで命名された；それらの名称は、これらのグラフの[[構成主義 (数学)|構成]]を用いる、[[ラマヌジャン・ピーターソン予想]]から由来する。 …6キロバイト (371 語) - 2025年3月19日 (水) 13:37
- [[Category:構成主義 (数学)]] …7キロバイト (448 語) - 2022年11月19日 (土) 10:07
- 16キロバイト (442 語) - 2023年9月1日 (金) 16:57
- [[Category:構成主義 (数学)]] …10キロバイト (541 語) - 2023年11月30日 (木) 12:47
- …は大きく異なってくる。全ての数学に、実数全体でなく計算可能数のみを用いることができるのかという問いが自然に出てくる。この考えは[[構成主義 (数学)|構成主義]]の観点からも魅力的で[[エレット・ビショップ]] やフレッド・リッチマンが構成的数学の ''ロシア学派'' と呼んで追究してきたものである。{{cn …23キロバイト (1,167 語) - 2024年6月15日 (土) 07:18
- このように古典数学では任意の単射 {{mvar|f}} は左逆写像を持つことが必要となるが、{{疑問点範囲|[[構成主義 (数学)|構成的数学]]においては偽となり得る。例えば、二元集合から実数直線への包含写像 {{math|{0,1} → '''R'''}} の左逆写像 …27キロバイト (1,733 語) - 2023年1月11日 (水) 07:25
- 選択公理は選択集合の存在を主張するが、選択集合がどのように「構築」されるかについては言及しないため、[[構成主義 (数学)|非構成的]]であるとされる。ACが存在を主張する特定の集合の定義可能性（または不可能性）を明らかにしようと、数多くの研究がなされた。 …46キロバイト (2,267 語) - 2025年3月17日 (月) 14:31
- …用いた検証により得られるという見解に基づく。逸脱論理は、「ある対象の存在を証明するには、それを実際に見つけたり構成したりしなければならない」とする[[構成主義 (数学)|構成主義数学]]の分野で特に重要である{{sfnm|1a1=Borchert|1y=2006c|1loc=Logic, Non-Classi …144キロバイト (12,193 語) - 2025年1月13日 (月) 04:05