現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

562: 現代数学の系譜11 ガロア理論を読む [sage] 2017/05/04(木) 23:14:52.66 ID:x3HFcyPu

>>561 関連

https://kotobank.jp/word/%E6%95%B0%E7%90%86%E5%93%B2%E5%AD%A6-83312
(抜粋)
コトバンク> ブリタニカ国際大百科事典 小項目事典> 数理哲学とは

数の哲学ともいう。数学の対象となる事物を理性の認識対象としてだけとらえ，その根拠を研究する思弁的学問。

デジタル大辞泉の解説
すうり‐てつがく【数理哲学】

数学に関連する事柄を研究する哲学。19世紀末におけるカントルの集合論以後、数学基礎論の展開と関係が深く、著しい発達を遂げた。
出典｜小学館

https://ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E3%81%AE%E5%93%B2%E5%AD%A6
(抜粋)
数学の哲学（すうがくのてつがく、英: philosophy of mathematics）は、哲学（科学哲学）の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。数理哲学とも言われる。

初期のヒルベルトは演繹主義者であったが、上記のように、メタ数学的方法が本質的に有意味な結果を生み出すと考え、有限算術に関して実在論の立場に立っていた。後年には、どんな解釈を取ろうとも有意味な数学は他に一切ありえないという見解をもつようになった。
ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーら他の形式主義者たちは、数学とは形式公理系の研究のことであると考えた。数理論理学者は形式体系を研究しているが、形式主義の立場に立つ研究者も実在論の立場に立つ研究者も同程度にいる。

直観主義擁護派の主要人物は、いかなる種類の形式化された論理学も数学にとって有益でないとしたブラウワーであった。彼の学生であったアレン・ハイティングは直観論理を定式化した。

フレーゲとタルスキが数学的言語の研究のために案出した方法が、タルスキの学生であったリチャード・モンタギューや形式意味論の分野で研究している他の言語学者たちによって大幅に発展し、数学的言語と自然言語との違いは見かけほど大きくないかもしれないということを明らかにしている。

http://rio2016.5ch.net/test/read.cgi/math/1492606081/562

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.026s