数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。 これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。 ヒルベルトの形式主義は、直接的にはブラウワーからの批判的主張に

英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Foundations of mathematics|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手

Wiki/PPDG は KnxmWiki と名称を変更して www.knoppix-math.org に移動しました。 10秒後に KNOPPIX/Math Project の KnxmWiki(http://www.knoppix-math.org/wiki/) に転送しますので、そちらを御利用ください。

サービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。

Next: Introduction A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION JOHN McCARTHY 1961-1963 [This 1963 paper was included in Computer Programming and Formal Systems, edited by P. Braffort and D. Hirshberg and published by North-Holland. An earlier version was published in 1961 in the Proceedings of the Western Joint Computer Conference.] Introduction Formalisms For Describing Computable Functions

Site admin: anonymous PukiWiki 1.5.1 © 2001-2016 PukiWiki Development Team. Powered by PHP 7.4.3-4ubuntu2.20. HTML convert time: 0.001 sec.

世はオブジェクト指向全盛。 猫も杓子もオブジェクト、 しまいにゃ猫オブジェクトや杓子オブジェクトが語られかねない今日この頃。 実際このサイトでもオブジェクト指向関連の話題が幾つか登場し、 世間様の流行の尻馬に乗っているような印象があるのは事実だ。 だがしかし私にとってオブジェクト指向とは、 唯一絶対の天啓でも無ければ人生を変えた百万ボルトの出逢いでも無い。 単に便利な道具の一つに過ぎず、 もっと良い物が出てくればそっちに乗り換えるのもやぶさかではない。 ではオブジェクト指向よりも良い物とは一体何か? その候補くらいは今からでも考えられるのではないか。 と言う訳で登場するのが論理型作譜言語である。 他にも制約指向など色々あると思うが、 とりあえず現時点で私がある程度の考えをまとめたのが本稿である。 分析や設計に適用できるか、 出来るとしたらその方法は、 など開

Next: Contents 微分積分学入門 横田 壽 微積分学入門のテキストは開成出版からでています． 演習問題詳解 微分積分学入門演習書 pdfファイル 記述式演習問題実験中 ご意見待ってます Index(索引) Contents 関数(FUNCTIONS) 関数の定義(definition of function) 演習問題 初等関数(elementary functions) 演習問題 関数の極限(limit of function) 演習問題 右側極限値，左側極限値(right-hand limit, left-hand limit) 演習問題 連続関数(continuous functions) 演習問題 数列(sequences) 演習問題 オイラー e(Euler e) 演習問題

あなたは 人目の訪問者です（ since 5/Aug/2003 ）。

目　次　 1　はじめに 2　折り紙の基本と特徴 2.1　作図の基本 2.2　角の3等分 3　与えられた正方形の1/nの面積をもつ正方形 3.1　芳賀の定理 3.2　芳賀の定理の拡張 3.3　弘化二年(1845)にオリガミクス? 3.4　芳賀の定理が入試に 3.5　その他 3.6　面積の1/nの正方形 4　多面体の作成 4.1　入試問題より 4.2　正多面体 4.3　双対多面体 4.4　デルタ凸多面体 5　おわりに

This domain is registered at Dynadot.com. Website coming soon. nyasoku.com 2024 著作権. 不許複製 プライバシーポリシー

数学玉手箱 ごくありふれた数学に関する話題を集めてみました。誰でもが知っているような内容ですが，これからもどんどん増やしていきますよ． Math Note このページは数学に関するプリントを掲載しています。授業で用いたものや課外講習などで使用したものなどできるだけ公開していきます。 必要なものをダウンロードしていきましょう。

人間の思索 と 神の愛　　　　・・・・　　不完全性定理による神の理解 2006　3/4 トップへ戻る キリスト教の「神」は、他の神々と決定的に違う点がある。それは、神様が人となってこの地上に来られ、「十字架」にかかって私たちの罪の身代わりに死なれたことである。すなわち、神は「愛」であり、このような”神”は他にはいない！　そして、自然からの啓示によっても、この神の愛の性質は明らかに示されているのである。 この、神様の性質が「愛」であることを、特に、数理論理学の”不完全性定理”から考えてみよう。 １．　数学の３定数（１）　　・・・・・　　論理と初等数学（円周率 π） ２．　数学の３定数（２）　　・・・・・　　（虚数単位 ｉ 、自然対数の底 ｅ） ３．　自己言及と不完全性定理　　・・・・・　　自己言及と相互言及のパラドックス ４．　不完全性定理（第１）の証明　　・・・・・　　第１

HOW to BECOME a GOOD THEORETICAL PHYSICIST by Gerard 't Hooft Note:  This web site will soon be removed from its present address. An updated and renewed version is available at: http://www.staff.science.uu.nl/~Gadda001/goodtheorist/index.html This is a web site  for young students - and anyone else - who are (like me) thrilled by the challenges posed by real science, and who are - like me - determ