「形式主義」というものについて、不案内なもので、いくつか お尋ねさせていただきます。
○形式主義は、その名のとおり、形式さえ ふんでいれば何でもアリ のごツゴウ主義ですか?
○形式主義は無定義の考えかたであるということなら、その命題に意味は全く ないということですか?
○公理とするものが、単なる仮定に過ぎないなら、たぶん正しいだろうと思われるが不確かなことを仮に定めたに過ぎないのだから、そもそも正しいかどうか実のところ分からないものから導き出したものを、正しい結論を出せた、と言うことに何の意味があるのでしょうか?
もう一つ、
○形式主義というのは、いまの数学界で、どういう存在ですか?
以上、よろしく お願いします。

A 回答 (2件)

数学における「形式主義」をご指名(?)だとして、的外れな私見を少々。



・「形式さえふんでいれば何でもアリ のごツゴウ主義」とは逆に、厳密な公理系と推論規則を守ろうとする体系。
 ヒルベルトは、本質的に意味のある結果をもたらすために、確実な超数学的方法を熟考したのである。

・「その命題に意味は全くない」とは逆に、パラドックス問題の解決を目指した体系。

・「公理とするものが、単なる仮定に過ぎない」という極言が許されるのなら、実益本位みたいに見える自然科学
 の体系すら、「単なる仮定に過ぎない」モデルからの推論で成立しているといえるだろう。

・「形式主義というのは、いまの数学界で」は、不完全性定理によって挫折。
 ヒルベルトの形式主義は有限算術の進展に寄与したといわれているが、ヒルベルトは有限算術に関しては現実主義者
 だったらしい。
 
    • good
    • 0
この回答へのお礼

さっそくアドバイスをいただいて、ありがとうございます。
返事が出遅れまして、失礼しました。

はい、数学における「形式主義」です。
「的外れ」などとは、とんでもない。と言うか、私には「的外れ」か否かも分からないのですが。。。

形式主義においては、推論規則が最重要なものかと思うのですが、「厳密な」公理ということの意味が、よく分からないのです(形式主義に おいてです)。

>パラドックス問題の解決を目指した

これは、集合論とかに関わるのでしょうか。

>自然科学の体系すら、

数学界における形式主義の出発点と、自然科学の それとを同様に考えることは妥当なのでしょうか??

ゲー出るの登場によって挫折したという話は、少し聞いてます。
>ヒルベルトは有限算術に関しては現実主義者だったらしい。

そうですか。なんか皮肉な感じがしますね。。。

お礼日時:2009/05/22 08:54

3番目だけ回答します。



一般社会では「仮定」は正しいかどうか曖昧なものを持ってくることが多いですが、数学の「公理」は自明なもの、つまり正しいことが明らかなものです。

>不確かなことを仮に定めたに過ぎない

ということはありません。百歩ゆずってみても、「不確かなこと」ではなく「ほとんど間違いのないこと」を前提にしているので、公理が原因で論証の全体が揺らぐということは、まずありません。あったとしたらそれは公理が原因ではなく、途中の論理展開に問題があったのでしょう。
だから、数学においてはご指摘のような心配はありません。

蛇足:ひょっとして質問者さんは、数百億分の一の不確かさ・不完全さ、失敗の可能性などを理由に、全体を放棄しようとしていませんか? そうしたことはまず起きないし、たとえ起きても保険的対策を予めとることにより被害を最小限にできます。
    • good
    • 0
この回答へのお礼

さっそくのアドバイスを いただいて、ありがとうございます。
返事が出遅れまして、失礼しました。

>数学の「公理」は自明なもの、つまり正しいことが明らかなもの

ですが、一般的に数学で言う「公理」と、(数学界での)形式主義に おける「公理」とは、また違うのだろうかと思ったのです。

形式主義では、そもそも定義すらない、とか聞きましたので。
もっとも、定義しないというのであれば、間違いがないか どうかを問う意味すらもないのではないでしょうか。

>数百億分の一の不確かさ・不完全さ、失敗の可能性などを理由に、全体を放棄しようとしていませんか?そうしたことはまず起きないし、たとえ起きても保険的対策を予めとることにより被害を最小限にできます。

そうなんですか。
まあ、これは私自身のことではないのですが(笑)むしろ「保険的対策を予めとる」ために形式主義に拘っていたような御仁を見かけて、たいへんフシギに思ったものですから。。。

お礼日時:2009/05/22 08:40

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

Q中学生程度の数学の問題がまったくわかりません。基金訓練の試験問題のサン

中学生程度の数学の問題がまったくわかりません。基金訓練の試験問題のサンプルで手も足もでません。
助けてください。調べても理論がわからないのでまったく手も足もでません。泣きそうです。
どなたかご親切な方、解説をかいて教えていただけますでしょうか?
ネットに載せる関係上念のため数字を一部かえています。
助けて下さい。お願いいたします。

例)x(6x+4)+(4x+3)(3x-2)=
  (x+3)(x-3)=
(X+y+2)(X+y-2)=
5a(a-4b)-6ab=
(a+2)三乗 =

ルート13+ルート28=
(ルート8+ルート2)(3ルート6-2ルート2)=

x二乗+x-6ぶんのX二乗ーx-10=

X二乗+8X+10=0

x四乗ー5x二乗+7=0
(x-3)(x+1)=2x-8

Aベストアンサー

こんばんは No.2です

一個一個行かないと、一気には辛いと思いますよ。
中学と高校の頭くらいで、4,5年掛けてやるようなことですから^^

無理せず、ゆっくり。

ルートの中の話を。(疑問で頂いていますので)

~~~~~~
(ルート8+ルート2)(3ルート6-2ルート2) これも
普通に展開して、ルートを整理すれば大丈夫です。
 #掛け算のときに ルート の中なら中
 #外なら外同士を掛け算してくださいね
 #答えが 18√3 -12 になると思います。

の部分がまだよくわからないのです。
ルート8は2^*2で2ルート2ということはわかりました。
2ルート2+ルート2 で3ルート2でしょうか?
このあとの(3ルート6-2ルート2)の計算方法がわかりません
ルートが違うのでどのように計算したらいいのでしょうか?
~~~~~
(ルート8+ルート2)=3ルート2 で正解!

掛け算を普通にしてあげれば大丈夫ですよ。

3ルート2 ×(3ルート6-2ルート2)

これを普通に、展開してみてください♪
 #ルートの内外だけ注意してくださいね。

ルートの中身が違うときは、そのまま 別のものとして
扱ってください。
 #ここでは ルート12 が出てきます。
 #これが少し簡単にできますね (何かの2乗×何かになってます)

覚えることよりも、理解することのほうが大事ですから。
あせらず、じっくり。
No.3さんが言われてますね。
もうやっていることが、記号に変わっているだけですよ。

必ず見えてきますから。
心配しないで、着実に進んでください m(_ _)m

こんばんは No.2です

一個一個行かないと、一気には辛いと思いますよ。
中学と高校の頭くらいで、4,5年掛けてやるようなことですから^^

無理せず、ゆっくり。

ルートの中の話を。(疑問で頂いていますので)

~~~~~~
(ルート8+ルート2)(3ルート6-2ルート2) これも
普通に展開して、ルートを整理すれば大丈夫です。
 #掛け算のときに ルート の中なら中
 #外なら外同士を掛け算してくださいね
 #答えが 18√3 -12 になると思います。

の部分がま...続きを読む

Q高校数学参考書の評価をお願いします。特に「赤チャート」「大学への数学」「入試数学のタクティクス」「細野真宏」

こんにちは。

質問1:「大学への数学」と「赤チャート」ではどちらのレベルが高いか教えていただけないでしょうか?


質問2:また、「大学への数学」「赤チャート」のどちらで勉強しようか迷っています。
どちらで勉強したほうがよいと思いますか?
他に、「細野真宏の本当によくわかるシリーズ」と「入試数学のタクティクス(西岡 康夫)」もどうしようかと考えているのですが、4つのうち、どれが一番よいでしょうか?

質問3:「大学への数学」「赤チャート」「入試数学のタクティクス(西岡 康夫)」「細野真弘の面白いほどわかるシリーズ」の4つの難易度をむずかしいほうから順番に並べると、どうなりますか?

アドバイスをよろしくお願いします。
なるべくたくさんの方の意見をお待ちしております。m(_ _)m

Aベストアンサー

質問1:「大学への数学」のほうが難しいと思います

質問2:「大学への数学」のほうがいいかなあ。考える力をつけ、スマートな解き方が学べるので。ちなみにチャート式は青が基本形だと思います。難関理系大学以外なら黄チャートでもいいです。(解法を覚えるなら)
「細野真宏の本当によくわかるシリーズ」は全部やったわけじゃないですが、どっちかというとメインじゃなくてわからない部分や苦手な単元の補助として使ってましたね。
質問3:うーん多分どの本もレベルは似たようなもんですね。これらの本はいずれも入試の標準問題、やや難しいレベルを確実に解けるためのものですから。難易度を並べる必要性はないと感じます。

superjapanさんの質問を見る限り一通り解法も覚え終わって、あとは考える力をつける段階なんだと思いますが
それであれば「大学への数学1対1対応の演習」がおすすめです。(もちろん問題集には向き不向きありますが)

Q数学の問題です。(複数のルート、分数)写真の通りになります。答えは2番なのですが、解き方がわから

数学の問題です。(複数のルート、分数)

写真の通りになります。答えは2番なのですが、解き方がわからないので、解説をお願いいたします。


よろしくお願いいたします。

Aベストアンサー

(√2 + √3 - 1)/(√2 + √3 + 1)

答えは2番・・??
3番でないの・・!?

(√2 + √3)をひと塊と見ると計算がいくらか楽になるかも!?
先ず分母有理化をする
→(√2 + √3 - 1)^2/(4 + 2√6) = (6 + 2√6 - 2(√2 + √3))/(4 + 2√6)
分母分子に共通因数2があるので約分すると
→(3 + √6 - (√2 + √3))/(2 + √6)
もう一回分母有理化
→(√6 - 2)(3 + √6 - (√2 + √3))/2
= (√6 - 2)(√6 + 2 - (√2 + √3 - 1))/2
= (2 - (√6 - 2)(√2 + √3 - 1))/2
= 2 - (2√3 + 3√2 - √6 - 2√2 - 2√3 + 2)/2
= (√6 - √2)/2

Q【数学】2次方程式の「次」、2元2次方程式の「元」、平方根完成の「完成」ってどういう意味ですか?

【数学】2次方程式の「次」、2元2次方程式の「元」、平方根完成の「完成」ってどういう意味ですか?

Aベストアンサー

2次: 項の変数のべき数の和の最大値が2
2次式の例xy, x^2+y, x^2+y^2+xy
2元: 未知数が2個
平方根完成ではなくて、平方完成です。
いろいろバリエーションがあるのですが
よく使うのは
2次関数 f(x)=ax^2+bx+c を a(x+p)^2+q という
標準形に直すことですね。

Qおすすめの大学の物理数学の参考書を教えて下さい!

今年大学の物理学科へ入学する高校三年生です。
大学入学前に物理数学を独学したいのでおすすめの参考書(入門書?)を教えて下さい。
数IIIC、物理IIまで履修済みです。
できたら数学系寄りではなく、物理や工学寄りの参考書だと嬉しいです。

物理数学の直感的方法という本を買って読んだところ、ひと通り物理数学の全体像を知った上で読んだ方がより楽しめる本だと思いました。

回答お待ちしております!

Aベストアンサー

C.R.ワイリーの工業数学<上、下>をお勧めします。
http://nbooks.shop-pro.jp/
http://nbooks.shop-pro.jp/?pid=21840649

その他、次等も参考にして下さい。
http://okwave.jp/qa/q8043298.html
大学の微積分の参考書について質問です!

http://ja.wikipedia.org/wiki/Massive_open_online_course
http://ja.wikipedia.org/wiki/OpenCourseWare

http://ge.nii.ac.jp/genii/jsp/index.jsp

http://www.scienceclarified.com/
http://www.gutenberg.org/wiki/Main_Page


その他ネットやIT情報関係、世界の動きなどにも関心を持たれて過ごされたらと思われます。
http://www.atmarkit.co.jp/
http://itpro.nikkeibp.co.jp/index.html

http://tanakanews.com/
http://www.globalresearch.ca/
http://www.world-newspapers.com/

http://english.chakin.com/

C.R.ワイリーの工業数学<上、下>をお勧めします。
http://nbooks.shop-pro.jp/
http://nbooks.shop-pro.jp/?pid=21840649

その他、次等も参考にして下さい。
http://okwave.jp/qa/q8043298.html
大学の微積分の参考書について質問です!

http://ja.wikipedia.org/wiki/Massive_open_online_course
http://ja.wikipedia.org/wiki/OpenCourseWare

http://ge.nii.ac.jp/genii/jsp/index.jsp

http://www.scienceclarified.com/
http://www.gutenberg.org/wiki/Main_Page


その他ネットやIT情報関係、世界の動きな...続きを読む

Q「C = A + (B - A % B)」とすると「C」が必ず「B」の倍数になるのは何故ですか。

※数値はすべて整数だと思ってください。
※「A % B」は「A」を「B」で割った剰余です(A mod B)

表題の件ですが、例えば、「A」が入力された文字数、「B」が基準となる文字数とします。
すると「C = A + (B - A % B)」で「C」に代入される数値はかならず「B」の倍数になることが保証されています。

具体的には:
A=15、B=16の場合 => C = 15 + (16 - 15 % 16) なので C は 16
A=17、B=16の場合 => C = 17 + (16 - 17 % 16) なので C は 32
A=3、B=10の場合 => C = 3 + (10 - 3 % 10) なので C は 10
A=10、B=3の場合 => C = 10 + (3 - 10 % 3) なので C は 12

となり、入力された文字数が基準となる文字数に満たない場合は基準まで文字数を補填し、入力が基準以上の場合は基準の倍数まで文字数を補填することになります。

そうなることは分かるのですが、「なぜそうなるのか?」のイメージがつかめずモヤモヤしています。

「A」が「B」より小さいときは、まだ分かるのですが(基準に足りない分を足しているだけなので)、「A」が「B」より大きい場合に、「C」が必ず「B」の倍数になることをどう証明したら良いでしょうか。

皆さんのお知恵を拝借できれば幸いです。

よろしくお願いします。

※数値はすべて整数だと思ってください。
※「A % B」は「A」を「B」で割った剰余です(A mod B)

表題の件ですが、例えば、「A」が入力された文字数、「B」が基準となる文字数とします。
すると「C = A + (B - A % B)」で「C」に代入される数値はかならず「B」の倍数になることが保証されています。

具体的には:
A=15、B=16の場合 => C = 15 + (16 - 15 % 16) なので C は 16
A=17、B=16の場合 => C = 17 + (16 - 17 % 16) なので C は 32
A=3、B=10の場合 => C = 3 + (10 - 3 % 10) なので C...続きを読む

Aベストアンサー

https://oshiete.goo.ne.jp/qa/9644167.html
と全く同じ質問なわけだが, A を B で割った商と余りをそれぞれ n, r と置いたときに A と A%B を B, n, r で書いてみればわかる.

Q中学の数学で難しい問題が載っているサイト教えてください

中学の数学で難しい問題が載っているサイト教えてください

Aベストアンサー

この中からみつけてみては?
http://www.geocities.jp/seikiii/math/seito_montai.html
中学生対象(あなたが中学生)ならば、欄の一番上の
「中学数学の基本問題」なんか良いと思いますが。
 

Q二次形式を標準形式に変換する方法

次の二次形式を標準形式に直せ(固有値を使わずに)
Xⅰ^2-Xⅱ^2+Xⅲ^2-Xⅳ^2+4XⅰXⅱ+4XⅰXⅳ-4XⅲXⅳ+4XⅱXⅲ
この問題がどうしても解けないので教えてください。固有値を使うとどうにか解けるのですが、使わずに式変形だけで標準形式に直すのは無理があると思うのです。
ちなみに^2は二乗を表していて、Xは掛けるという意味ではなくて、エックスです。よろしくお願いします。

Aベストアンサー

平方完成をくりかえせばできたと思います。

たとえば
x^2+3y^2-z^2+4xy-2yz-6zx
=x^2+2(2y-3z)x+3y^2-z^2-3yz
=(x+2y-3z)^2-(2y-3z)^+3y^2-z^2-3yz
=(x+2y-3z)^2-y^2-10z^2+3yz
=(x+2y-3z)^2-(y-3z/2)^2-31z^2/4
というような感じです。
的外れでしたらごめんなさい。

Q2種類の数学検定

数学検定という名前の検定が2種類ありますが履歴書に数学検定と書いたらどちらの検定に合格したと一般的に思われますか?

Aベストアンサー

#1で回答した者です。

数検理検国際機構を調べてみましたが、どうも現在の日本数学検定協会と
同じ団体ですね。といいますのも、同協会は以前、理科学検定という検定
も並行して実施するなど多角化を目指していたため、そのような名称にな
っていたと思います。しかし、数検の前理事長と副理事長の不祥事で、組
織は大幅な改編を迫られ、本来事業の数学検定以外の事業の多くは見直し
や中止を迫られ、検定名も「数検」から「数学検定」と改称されるなどし
ています。
よって、どちらも同じ「実用数学技能検定」のことであるようです・・・

Q極座標形式を直行座標形式にする

次の式から、中心が(2,0)半径4の円の式になるのが分かりません。
r=4 cos θ (x‐2)^2+y^2=4^2
です。
よろしくお願いいたします。

Aベストアンサー

>次の式から、中心が(2,0)半径4の円の式になるのが分かりません。
> r=4 cos θ
>(x‐2)^2+y^2=4^2
問題文が間違っていますね。
正しくは
中心が(2,0)で半径2の円の式であり、
(x‐2)^2+y^2=2^2
です。

そうなら
 r=4 cos θ
rを掛けて
 r^2=4rcosθ
極座標と直交座標の間の関係式

x=rcosθ, y=rsinθ, x^2 +y^2 =r^2 より
 x^2 +y^2=4x
 x^2 -4x+4+y^2=4
 (x-2)^2 +y^2 = 2^2
と中心が(2,0)で半径2の円の式が得られます。


人気Q&Aランキング

おすすめ情報