検索結果
ナビゲーションに移動
検索に移動
- | main_interests = [[キリスト教]]、[[形而上学]]、[[認識論]]、[[言語哲学]]、[[数学の哲学]]、[[知覚]] …10キロバイト (252 語) - 2024年12月14日 (土) 15:40
- [[Category:数学の哲学]] …3キロバイト (82 語) - 2025年2月16日 (日) 14:24
- [[Category:数学の哲学]] …10キロバイト (131 語) - 2024年5月29日 (水) 16:14
- ここで、右辺 <math>\Sigma</math> が単一の命題 <math>C</math> であるとしたが（[[直観主義 (数学の哲学)|直観主義]]的なシークエントのスタイル）、全ての操作はターンスタイル記号の左側で行われるので、一般のケースにも当てはまる。 …4キロバイト (155 語) - 2023年6月12日 (月) 05:46
- *[[直観主義 (数学の哲学)|直観主義]] …3キロバイト (131 語) - 2023年12月14日 (木) 08:43
- 12キロバイト (596 語) - 2023年10月23日 (月) 01:50
- [[数学の哲学#数学の美学|数学の哲学]]も参照。 *[[数学の哲学]] …29キロバイト (1,228 語) - 2024年9月22日 (日) 19:49
- [[数学の哲学]]において、'''構成主義'''（こうせいしゅぎ、{{lang-en-short|constructivism}}）とは、「ある数学的対象が存在するこ * [[ライツェン・エヒベルトゥス・ヤン・ブラウワー|ブラウワー]]によって創始された[[直観主義 (数学の哲学)|直観主義]]のプログラム …19キロバイト (388 語) - 2023年11月11日 (土) 03:33
- :1. [[直観主義 (数学の哲学)|直観主義]]は偽である。 …7キロバイト (227 語) - 2021年9月15日 (水) 15:15
- …ational」な記述もあり、よい演繹の特性は、正当に断言可能な前提から正当に断言できない結論は導かれないとする。これは大まかに言えば[[直観主義 (数学の哲学)|直観主義]]に相当する。 …9キロバイト (223 語) - 2023年5月3日 (水) 12:37
- …ような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには[[排中律]]が成り立たないような[[直観主義 (数学の哲学)|直観主義]]的モデルも自然に現れる。 …11キロバイト (361 語) - 2023年8月11日 (金) 06:10
- …多くの数学者に受け入れられるようになったが、20世紀初めに論理学者の[[ライツェン・エヒベルトゥス・ヤン・ブラウワー|ブラウワー]]は[[直観主義 (数学の哲学)|直観主義]]とよばれる、具体的に構成できるようなものだけを認める論理の体系をつくったが、彼はそこでは実数について通常の数学におけるものとは著しく異な …22キロバイト (420 語) - 2025年1月9日 (木) 02:21
- * [[数学の哲学]] …29キロバイト (2,720 語) - 2024年9月22日 (日) 19:51
- [[Category:数学の哲学]] …12キロバイト (309 語) - 2022年9月20日 (火) 16:10
- | main_interests = [[論理学]]、[[形而上学]]、[[言語哲学]]、[[数学の哲学]]、[[心の哲学]]、[[認識論]] …[[1928年]]3月、ウィーンでオランダの数学者[[ライツェン・エヒベルトゥス・ヤン・ブラウワー]]が「数学・科学・言語」という題で[[直観主義 (数学の哲学)]]に関する講演を行なった。ワイスマンとファイグルは、嫌がるウィトゲンシュタインを何とか説得して、この講演に出席させることに成功した<ref name …87キロバイト (1,981 語) - 2025年2月26日 (水) 21:00
- | main_interests = [[心の哲学]]、[[言語哲学]]、[[科学哲学]]、[[数学の哲学]]、[[メタ哲学]]、[[認識論]] [[数学の哲学|数理哲学]]では、彼の指導者である[[ウィラード・ヴァン・オーマン・クワイン|クワイン]]と共同でいわゆる「[[クワインーパトナムの不可欠性テーゼ]] …86キロバイト (4,548 語) - 2024年12月10日 (火) 03:48
- カントールの仕事は同時代の一部の数学者からは痛烈な批判を受けることになった（例えば、[[数学の哲学]]として{{ill2|有限の立場|en|finitism}}に強く立脚した[[レオポルト・クロネッカー]]<ref name="tiles">{{ci …17キロバイト (740 語) - 2023年9月8日 (金) 21:27
- 形式化された直観主義論理は[[アレン・ハイティング]]によって[[ヤン・ブラウワー]]の[[直観主義 (数学の哲学)|直観主義]]プログラムの形式的な基礎として発展せられたものである。 * [[直観主義 (数学の哲学)]] …31キロバイト (2,186 語) - 2024年2月11日 (日) 03:30
- ショーンハーゲ・ストラッセン法の応用には、[[GIMPS]]や[[円周率の歴史|円周率の近似]]計算などの[[数学の哲学#経験主義|数学的経験主義]]や、整数係数多項式の乗算を整数の掛け算に帰着して効率的に行うクロネッカー置換などの実用的な応用がある。これは楕円曲線法のた …21キロバイト (954 語) - 2023年3月26日 (日) 08:16
- …でないかのどちらかである」(Kleene 1952:48) という言い方は、直観主義では絶対できない。詳しくは、[[数学基礎論]]と[[直観主義 (数学の哲学)|直観主義]]を参照されたい。 …21キロバイト (985 語) - 2024年1月28日 (日) 06:09