検索結果
ナビゲーションに移動
検索に移動
- :1. [[直観主義 (数学の哲学)|直観主義]]は偽である。 …7キロバイト (227 語) - 2021年9月15日 (水) 15:15
- ここで、右辺 <math>\Sigma</math> が単一の命題 <math>C</math> であるとしたが（[[直観主義 (数学の哲学)|直観主義]]的なシークエントのスタイル）、全ての操作はターンスタイル記号の左側で行われるので、一般のケースにも当てはまる。 …4キロバイト (155 語) - 2023年6月12日 (月) 05:46
- *[[直観主義 (数学の哲学)|直観主義]] …3キロバイト (131 語) - 2023年12月14日 (木) 08:43
- …」な記述もあり、よい演繹の特性は、正当に断言可能な前提から正当に断言できない結論は導かれないとする。これは大まかに言えば[[直観主義 (数学の哲学)|直観主義]]に相当する。 …9キロバイト (223 語) - 2023年5月3日 (水) 12:37
- * [[ライツェン・エヒベルトゥス・ヤン・ブラウワー|ブラウワー]]によって創始された[[直観主義 (数学の哲学)|直観主義]]のプログラム * [[直観主義 (数学の哲学)|直観主義]] …19キロバイト (388 語) - 2023年11月11日 (土) 03:33
- …ちらかである」(Kleene 1952:48) という言い方は、直観主義では絶対できない。詳しくは、[[数学基礎論]]と[[直観主義 (数学の哲学)|直観主義]]を参照されたい。 …21キロバイト (985 語) - 2024年1月28日 (日) 06:09
- …モデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには[[排中律]]が成り立たないような[[直観主義 (数学の哲学)|直観主義]]的モデルも自然に現れる。 …11キロバイト (361 語) - 2023年8月11日 (金) 06:10
- [[Category:直観主義]] …7キロバイト (524 語) - 2023年11月19日 (日) 00:57
- 形式化された直観主義論理は[[アレン・ハイティング]]によって[[ヤン・ブラウワー]]の[[直観主義 (数学の哲学)|直観主義]]プログラムの形式的な基礎として発展せられたものである。 * [[直観主義 (数学の哲学)]] …31キロバイト (2,186 語) - 2024年2月11日 (日) 03:30
- [[Category:直観主義]] …10キロバイト (628 語) - 2024年12月22日 (日) 07:08
- [[Category:直観主義]] …9キロバイト (467 語) - 2024年9月12日 (木) 00:07
- …受け入れられるようになったが、20世紀初めに論理学者の[[ライツェン・エヒベルトゥス・ヤン・ブラウワー|ブラウワー]]は[[直観主義 (数学の哲学)|直観主義]]とよばれる、具体的に構成できるようなものだけを認める論理の体系をつくったが、彼はそこでは実数について通常の数学におけるものとは著しく異なった結論を導 …22キロバイト (420 語) - 2025年1月9日 (木) 02:21
- * '''直観主義的一階述語論理'''は古典命題計算ではなく[[直観主義 (数学の哲学)|直観主義]]を導入するものである。例えば、¬¬φ は必ずしも φ と等しいとは限らない。 …41キロバイト (2,178 語) - 2025年1月22日 (水) 02:04
- 72キロバイト (4,629 語) - 2025年2月20日 (木) 04:26
- 1973年、[[直観主義 (数学の哲学)|直観主義者]][[アレン・ハイティング]]は超準解析を「重要な数学的研究の標準モデル」だと賞賛した。<ref>Heijting, A. …55キロバイト (2,918 語) - 2025年2月14日 (金) 14:14
- …保たれていた[[1928年]]3月、ウィーンでオランダの数学者[[ライツェン・エヒベルトゥス・ヤン・ブラウワー]]が「数学・科学・言語」という題で[[直観主義 (数学の哲学)]]に関する講演を行なった。ワイスマンとファイグルは、嫌がるウィトゲンシュタインを何とか説得して、この講演に出席させることに成功した<r …87キロバイト (1,981 語) - 2025年2月26日 (水) 21:00