1 :
132人目の素数さん:
純粋数学至上主義とは,読んで字の如く純粋数学が文句無しに一番
エライのであって,不純な数学は下賎の民の戯れ事であるとする思想
である.ここで純粋数学とは整数論とか代数幾何とかトポロジーとか多
変数関数論とか代数解析とか関数解析とかいった,由緒正しい理論数
学を意味する.偏微分方程式ならせいぜい理論の蓄積が多い線形の
場合.理論らしい理論が無く,ほとんど具体例をいじり回しているのに
近い(?)非線形などに手を出すと「非線形落ち」とさげすまれ,さらに非
線形偏微分方程式の数値解析などに手を出すと「計算機落ち」となり,
これはもう論外となる.確率統計は伊藤カリキュラスあたりは認めるとし
ても,統計学なんて下世話なものは論外.数学基礎論は"ロジック"とひ
とまとめ.ロジックなんてのはもう純粋数学か不純な数学かといったも
のではなく,そもそも数学ではない!そういうものはデキの悪い学生か,
歳を取って頭が悪くなった時に趣味としてやるものであって,将来のある
若いモンがそういう事に手を出しちゃいかん.数学基礎論の趣味の悪い
"焼き直し"である計算 の理論とかプログラム理論なんてのは,もう数学
をやっていくだけの能力が無く,完全に挫折した連中の就職対策にすぎ
ない.理論らしい理論がほとんど無い組合せ論やグラフ理論などは,数
学オリンピックのレベルで精神の成長が止まってしまって,まともな数学
が理解できない数学少年崩れのパズル遊びである.とまあ,こんな具合
である.これに輪をかけて,純粋数学の中でも貴族の数学と賎民の数学
という区別があって,事態ななかなか複雑な様相を帯びる.
2 :
132人目の素数さん:03/01/30 13:34
数学至上主義ワッショイ!!
\\ 純粋数学ワッショイ!! //
+ + \\ 応用数学ワッショイ!!/ +
+
. + /■\ /■\ /■\ +
( ´∀`∩(´∀`∩)( ´∀`)
+ (( (つ ノ(つ 丿(つ つ )) +
ヽ ( ノ ( ヽノ ) ) )
(_)し' し(_) (_)_)
そんなことよりさいたま星人しませんか?
* +
(V)∧_∧(V)
+ ヽ(゚∀゚)ノ サイタマサイタマ +
+ / / +
ノ ̄ゝ *
+ +
*
. + (V)∧_∧(V)
+ ヽ( )ノ サイタマサイタマ
. * / / +
+ .......... ノ ̄ゝ +
4 :
132人目の素数さん:03/01/30 13:35
>純粋数学の中でも貴族の数学と賎民の数学
>という区別があって
貴族の数学と賎民の数学の具体例きぼんぬ
5 :
132人目の素数さん:03/01/30 13:36
貴族数学ワッショイ!!
\\ 貴族数学ワッショイ!! //
+ + \\ 貴族数学ワッショイ!!/ +
+
. + /■\ /■\ /■\ +
( ´∀`∩(´∀`∩)( ´∀`)
+ (( (つ ノ(つ 丿(つ つ )) +
ヽ ( ノ ( ヽノ ) ) )
(_)し' し(_) (_)_)
6 :
132人目の素数さん:03/01/30 13:41
さいたまワッショイ!!
\\ さいたまワッショイ!! //
+ + \\ さいたまワッショイ!!/ +
+
. + /■\ /■\ /■\ +
( ´∀`∩(´∀`∩)( ´∀`)
+ (( (つ ノ(つ 丿(つ つ )) +
ヽ ( ノ ( ヽノ ) ) )
(_)し' し(_) (_)_)
7 :
132人目の素数さん:03/01/30 13:47
,rn
r「l l h. / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
| 、. !j |
ゝ .f _ |
| | ,r'⌒ ⌒ヽ、. │
,」 L_ f ,,r' ̄ ̄ヾ. ヽ. │ 数学マンセー
ヾー‐' | ゞ‐=H:=‐fー)r、) |
| じ、 ゙iー'・・ー' i.トソ |
\ \. l ; r==i; ,; |' .人_
\ ノリ^ー->==__,..-‐ヘ___
\ ノ ハヽ |_/oヽ__/ /\
\ / / / |.
y' /o O ,l |
8 :
132人目の素数さん:03/01/30 13:47
,rn
r「l l h. / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
| 、. !j |
ゝ .f _ |
| | ,r'⌒ ⌒ヽ、. │
,」 L_ f ,,r' ̄ ̄ヾ. ヽ. │ さいたまマンセー!!
ヾー‐' | ゞ‐=H:=‐fー)r、) |
| じ、 ゙iー'・・ー' i.トソ |
\ \. l ; r==i; ,; |' .人_
\ ノリ^ー->==__,..-‐ヘ___
\ ノ ハヽ |_/oヽ__/ /\
\ / / / |.
y' /o O ,l |
目くそ鼻くそ
士・農・工・商・えた・数学
11 :
132人目の素数さん:03/01/30 13:54
\ │ /
/ ̄\ / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
─( ゚ ∀ ゚ )< すうがくすうがく!
\_/ \_________
/ │ \
∩ ∧ ∧∩ / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄\ ∩∧ ∧∩\( ゚∀゚)< すうがくすうがくすうがく!
すうがく〜〜〜〜! >( ゚∀゚ )/ | / \__________
________/ | 〈 | |
/ /\_」 / /\」
 ̄ / /
 ̄
コピペじゃん
14 :
132人目の素数さん:03/01/30 14:06
>>1 あほの高山(立命館)の言うこと
まに受けるな!
15 :
132人目の素数さん:03/01/30 14:14
>>14 やっぱ高山ってアホだよな.
良くあんな香具師が教員やってられるよ.
俺は計算機屋なんだが,あいつは憎たらしいと前々から思ってたんだ.
16 :
132人目の素数さん:03/01/30 14:18
>>15 高山(あほ)ってもともと計算機屋だった人みたいだけど,
そっちの方の評判はどうなの?
数学業界の評判じゃ「たんなるあほ」だけどね
17 :
132人目の素数さん:03/01/30 14:20
18 :
132人目の素数さん:03/01/30 14:22
19 :
132人目の素数さん:03/01/30 14:42
20 :
132人目の素数さん:03/01/30 14:55
芹沢の次は高山か…
個人名が出るたびにおおはしゃぎでage続ける奴らが素でキモいんですけど.
もしかして某事務員スレのカラテオドリ君?>all
21=高山か?
23 :
132人目の素数さん:03/01/30 15:20
高山って沖電気クビになったんだろ
そんなやつが教員やってる立命館てどういう大学だよ(w
24 :
132人目の素数さん:03/01/30 15:21
ウワァ・・・
高山君面白い。
27 :
132人目の素数さん:03/01/30 17:27
>>17 しかも始めの方に書いてあるグロタンディークのスペル間違っているし・・。
あの いらない本あるんですけどどのくらいでしたらかってくれますか 値段だけ教えてください 飯田茂の代数幾何と可換環論 岩波鈴木 群論 ヴェルデンの現代代数学 岩波演習業書の関数解析と微分方程式 コルモゴロフの関数解析の基礎 欲しいんでしたら商品先に送ります
29 :
132人目の素数さん:03/01/30 18:31
>飯田茂
ワロタ。人をだますのなら、ちゃんと調べろよ!
30 :
132人目の素数さん:03/01/30 18:50
>>28 > ヴェルデンの現代代数学
ほしいっす(マジ)
メイルアドレス教えてください
> ヴェルデンの現代代数学
これいいんですか?教えて
日本語訳には抜けがあったような・・・
>>1 >数学基礎論の趣味の悪い"焼き直し"である計算の理論とか
>プログラム理論なんてのは,もう数学をやっていくだけの
>能力が無く,完全に挫折した連中の就職対策にすぎない.
なるほど。そういえば高山幸秀さんって、昔ソフトウェア科学会の論文誌に
その手の論文書いてましたね。あれってやっぱり、なんでもいいから、
博士号とってアカポスにありつくための対策だったんだ(w
>>34 …なんてこといったら、高山さんに悪いよ。(w
あの頃は、ICOTもあったし、なんていうか、
ロジック花盛りだったんだよ。今の学生どもには
わかんないだろうけどさ。
そういえば、萩谷昌己さんも、昔は証明系とかで
ブイブイいわせてたけど、今はDNA屋だよね。
>>35 あ、本人が云ってるのか(w
>大学卒業後の私の現実はどうかというと、
>まず数学に挫折して大学を放り出され、
>生活のために会社員になって計算機に手をだす事となる。
>計算機は不純な数学にも劣る学問の名にも値しない卑しい営みであって、
>いくら何でも俺はこんな事をやらねばならぬほど落ちぶれてはいない!と奮起。
>何だかんだとウマイ事をやって、
>「数学にすらなっていない数学基礎論の趣味の悪い焼き直しである」
>プログラム理論に手を出し、リストラに合う直前にウマウマと大学に滑べり込み、
>まあこの辺で手を打っておくかと一応落ち着く。
でもなあ、挫折する機会のないままずるずると大学に居残って
共形場理論といえば聞こえはいいけど、要は小難しい屁理屈で
それこそ書いた人以外読みそうもない論文をチョロっと出して
あとの時間は、大学内のサーバで掲示板立ち上げて、ポスト
モダン批判だの、アヤシゲな経済学だのぶちあげて、自分と
同類の学歴ばっかりリッパな口先男ばっかりの集まりで、いい
気分に浸っちゃう「余計者」に比べれば、苦労しただけマシ
じゃない?(w
なんだか鉄くさいな.
ゲーデルの不完全性定理に、
禅の境地を見出した私にとって
数学はすべて児戯である。
39 :
132人目の素数さん:03/01/30 20:56
>>36 そりゃ東北大の黒☆さんのことやろ!
あんたマツシンか?
40 :
132人目の素数さん:03/01/30 20:58
>>35 > そういえば、萩谷昌己さんも、昔は証明系とかで
> ブイブイいわせてたけど、今はDNA屋だよね。
萩谷さんて今なにやってんの?
生物とか??
数学基礎論は"ロジック"とひとまとめ。ロジックなんてのはもう純粋数学か不純な数学かといったものではなく、そもそも数学ではない!
そういうものはデキの悪い学生か、歳を取って頭が悪くなった時に趣味としてやるものであって、
将来のある若いモンがそういう事に手を出しちゃいかん。
ここら辺同意
あんまり重要性を感じない
42 :
132人目の素数さん:03/01/30 21:08
高山はアホだが
>>1 で書いてあることは,
ほとんど正しい
>>41 そうロジックは数学ではない。
でも、だから、重要でないというのは違う。
ロジックに関する最近の研究は重要ではないよ。
何が一番エライの?
整数論
>>1 >理論らしい理論が無く,ほとんど具体例をいじり回しているのに
>近い(?)非線形などに手を出すと「非線形落ち」とさげすまれ,
>さらに非線形偏微分方程式の数値解析などに手を出すと
>「計算機落ち」となり,これはもう論外となる.
非線形系も、量子コンピュータとかDNAコンピュータみたいに
「コンピュータ」として使えると面白いんだが。
>>48 非線形回路でアナログコンピュータ作ることはできるんでは
>>49 ああ、直接的なシミュレーションという意味ではないんだな。
わからんか。わからんなら仕方ない。
量子計算を出してる時点で programmable と configurable の区別はつかんのでは
DNA では試薬の setup が programming に対応し
量子では観測まで込みで execution に対応する
52 :
132人目の素数さん:03/01/31 15:48
> 数学基礎論の趣味の悪い"焼き直し"である計算 の理論とか
> プログラム理論なんてのは,もう数学をやっていくだけの能力が
> 無く,完全に挫折した連中の就職対策にすぎない.
これって自分(高山)のことじゃねーかよ(w
トップ画面に対価をとる行為をやめて下さいとあったので言い出して悪いんですがヴェルデンはどうしましょうか 本当に欲しいならタダでもいいかなと考えてます 三冊セットで別冊二冊演習書は手元にありません 次は火にカキコします
54 :
132人目の素数さん:03/01/31 16:38
新日本と UWF の対決ムードの中で,
それぞれを代表して A. 猪木 vs. 藤原喜明 の試合が行われれ,
猪木の対する急所攻撃により藤原は敗れた.
このとき,藤原の盟友,前田日明は
「猪木なら何をしても許されるのか?」
という名言を吐いた.
この故事をふまえて,私は言おう.
「高山なら何をしても許されるのか?」
2,30年後にも誰かがきっと書いているであろうこのような文章を
今読んでみたいものだ。
>>53 宮尾さん,名前にリンクしてあるメアドに
よかったらメイルください
業書 ×
叢書 ○
数学科は漢字は読めないのですね
59 :
132人目の素数さん:03/02/01 01:38
数学も段々と市場主義に毒されていくことだろう。
立命の学生ですが、高山さんって良くも悪しくもその世界では名の知れ渡った方なんですか?
61 :
132人目の素数さん:03/02/01 07:01
>>60 高山さんは「悪しく」のみ知れわった方です(w
>>60 高山氏は多分に誇張して書いてるけど、
数学者ってもんは
>>1のような、
何の根拠もない嘘を素朴に信じてるね。
ただ、ぶっちゃけていえば、「数学者」
というものは特殊な人間、もっといえば
「異常者」なんで、その中で標準的な
考えが世間一般の感覚でも標準なわけ
ではない。
>>62 ちょっといいすぎたな。
「今の数学者は」というべきだった。
純粋数学という発想がいつごろ出てきたのかよくわからないが、
例えばニュートンやライプニッツやオイラーの時代(17〜
18世紀)と、アーベルやガロア以降の時代(19世紀以降)
とは明らかに違っているように思う。その変化の源をさぐると、
やはりガウスに行きつくのかな?
ヴィトゲンシュタインは、(純粋)数学の虚妄を暴いたことで
数学者からは蛇蝎のように嫌われているけれども、実際、数学
に対する「好み」の感情を抜きにすれば、数学は所詮ソロバン
仕事だという爆弾発言もまた、一つの見方として受け入れざる
を得ない。
やれ整数論だ代数幾何だトポロジーだといったところで、
やってることは所詮算術の一種に過ぎない。その点では、
数学者が「ガキの遊び」と揶揄する組み合わせ論や
グラフ理論と変わりない。いや、むしろ伝統芸という名の
アルゴリズムにこだわる点において、組み合わせ論や、
グラフ理論のような冒険がない。はっきりいってしまえば
「御年寄りの道楽」である。
> ヴィトゲンシュタインは、(純粋)数学の虚妄を暴いた
詳しい説明キボーン
「数学的命題が数学的対象についての命題とみなされ、
したがって数学がそれらの対象についての探求と
みなされることが、すでに数学的錬金術のしるしであろうか」
ヴィトゲンシュタイン 「数学の基礎」より
ウィトゲンシュタイン本人はいい。
だれどその名を持ち出して語りだす香具師の
99%は糞になるというこの不思議。
ところでウィトゲンシュタインはチューリングと
エチしていたという噂は本当か。ハァハァしていいのか??
「数学においてはすべてが算法で、意味はなにもない。
我々が言葉によって数学的事物について語っているように
見える場合でも、この点は何も変わらない。
その際、我々は、まさにそれらの言葉によって、
ある算法を構成しているいるのである」
ヴィトゲンシュタイン 「哲学的文法」より
引用はいいから解説をお願いします。
ところで理論信仰の奇妙さは>>1の
線形、非線型のくだりに如実に表れている。
偏微分方程式の言葉に幻惑されることがないように、
代数方程式に置き換えて考えてみよう。
例えば、有理数係数の連立一次方程式は、消去法によって
有理数の範囲内で答えが見つかる。しかし、二次以上の
代数方程式ではもはや有理数の範囲内では答えは見つからない。
一般には、五次以上の方程式の解は根号でも解けないが、
実際には、二次以上なら数値計算で解く。
(根号も最後は数値計算するから大して変わりない)
純粋数学者の発言はぶっちゃけていえば
「閉じた世界マンセー、開かれた世界逝って良し!」(w
ということだ。いかに反動的かわかるだろう。
>>69 解説など必要あるまい。
数学は算法だと書いてあるのが読めないか?
術語の定義がよくわからないです
ここでの算法とは何を指しているのですか?
73 :
132人目の素数さん:03/02/01 11:16
ただの言葉遊びだよ
74 :
即アポ、逆アポ:03/02/01 11:26
http://www3.to/hawai コギャルと出会い
会員制初回¥1000円のみ
(1ヶ月使い放題)
通常、只今キャンペ−ン
中に付き¥1000のみで
(2ヶ月使い放題です)
女性にも超安心システム
わりきり恋愛〜メル友
出会えるサイトはここ
75 :
132人目の素数さん:03/02/01 12:02
>>70 > 一般には、五次以上の方程式の解は根号でも解けないが、
> 実際には、二次以上なら数値計算で解く。
>(根号も最後は数値計算するから大して変わりない)
しかし,数値計算をいくら積み上げたところで,
代数的な解にはならないよ
76 :
132人目の素数さん:03/02/01 12:15
>しかし,数値計算をいくら積み上げたところで,
代数的な解にはならないよ
でも実数が有理数列で定義されるのだから、いいんじゃない?
77 :
132人目の素数さん:03/02/01 13:43
哲学の人がよく「数学なんて形式的な記号操作に過ぎない。トートロジー」
とかいいますけどね
それをいいだせば日常言語だって、突き詰めれば形式的記号操作に
過ぎないわけで
「数学に意味はない」とか「数学の対象は実在しない」といってる人は、
数学の世界に意味を見出せず、数学的実在を感じ取れない自分(の頭)が
悪いのだ、ということに気づいてほしいですねー
>ウィトゲンシュタイン厨の方
78 :
132人目の素数さん:03/02/01 14:21
芹沢ってだれよ?
>>77 >「数学なんて形式的な記号操作に過ぎない。トートロジー」
正確にはヴィトゲンシュタイン当人がこういった。
「6 論理の命題はトートロジーである。
6.1 したがって論理の命題は何も語らない」
(論理哲学論考)
>日常言語だって、突き詰めれば形式的記号操作に過ぎない
そうだ。
「言語に意味はない」そして「言語の対象は実在しない」
言語の世界に意味は見出せない。
言語に実在を見るのは、アタマが狂っているからだ。
>77の厨房
やっぱりバカだ アヒャヒャ
>>80 なんでそうムキニなるかね
べつに哲学的な視点が絶対というわけじゃないのに
>>84 あはは。最後の一言にムカついたか。
しかし、ムキになっているのは
何の根拠も無く素朴に実在を
信じていたことに気づかされた
君自身だろう?
言語に実在をみるんじゃなくて、
言語が表しているものにリアリティーを感じるんじゃないの。
manifoldとかalgebraとかいっても、イメージが浮かばない人には
「ただの作り事」に見える。
そういう人には、数学がわからない。
音痴に音楽がわからないのと同じ。
>>85 哲学信者はよく「自分だけは物が分かってる」という態度をとって、
他人のやってることを「根拠がない信仰」とかいいたがるけどね
み ん な キ ミ が 思 っ て る よ り 賢 い ん だ よ
>>86 >言語が表しているもの
それ。それが素朴な誤解。
君はいまイメージといったが、そのイメージが
幾多の数学者を誤りに導いた。
つまり、イメージは理解を何ら保証しない。
君のいうのは音が聞こえれば音楽がわかるというようなものだ。
ここまでいえば、自分がどれだけ無思索かわかるだろう?(w
>>87 哲学者は自分が物を分かっているとは言わない。
ただ、他人がいう「理解」というものの虚妄を暴いているだけだ。
例えば昔々あるプロ野球選手が
「ボールが止まって見えた」
といった。
彼は確かに名選手ではあったが、
そのことから「」内の発言が
正しいと結論されるわけではない。
わかるか?
>>89 >>87がいいこといってる。
自分がヴァカだと自覚しないヴァカは
自分が賢いと思っている。
今井じゃん(w
わかるか? じゃなくて、そんなことは誰でもわかってんののよ。
つーか、キミは「ボールがホントは動いている」とかいう
素朴実在論者なの?・・・
いかに無施策かわかっただろう?(w
77=86=89=92=私 なわけですが
もうやめましょうか。限ないし
ただ、哲学的な議論で「数学者の素朴な信仰の虚偽を暴く」とかいう
態度が気に入らないってこと。
94 :
132人目の素数さん:03/02/01 15:42
哲学屋さんに限らず,よその人が数学を
「空虚な論理ゲーム」みたいに
断定しがちな傾向があるのは事実だし,
数学の人がそれに紛概するのも当然だね
数学のひとも,もっと外の人に数学というものが何なのか
理解してもらう努力も必要かと思う
>>88 >イメージは理解を何ら保証しない
ということはみんなわかっていると思うのだが・・たとえば
「球面」と聞いて丸いものをイメージせずに論理だけで理解する
ことも、数学の人間なら必須の訓練です。
>>79 >代数的な解を示せ。
ご自分で勉強していただくとして、代数的でも数値的でもない解もあります。
>無限列は数値計算そのものだ。
数値計算と無限列との違いは、常に問題になります。
両者の間に包含関係はありません。
>>92 >キミは「ボールがホントは動いている」とかいう素朴実在論者なの?
それが君の思索の結果か(w
>>90の件だが、これと似た話で、
「ボールがバットに当たる瞬間が見える」
といった大リーガーに、そのときの球の形を尋ね
その後で実際にボールがバットに当たる瞬間の写真を
みせると
「うーん、…実際には見ていないのかもしれないな」
といったという。
つまり数学者のいう数学的センスとか数学的実在というものは
その程度の話で、ムキになって守り通すような神話ではないってこと。
わかったかい。厨房君(w
>>95 >「球面」と聞いて丸いものをイメージせずに
>論理だけで理解する ことも、数学の人間なら
>必須の訓練です。
うむ、その場合「実在」を示しているのはどれだい?
論理?そりゃ全然当てにならんな。
ゲーデルの不完全性定理は知ってるだろう?
数学者は、大抵この定理に不愉快そうな顔をする。
その態度は、「論理が実在を示してくれる」
という期待への裏切りに対するものだよね(w
>>97 >「論理が実在を示してくれる」
ということは何も言ってないのですが?
「論理だけで理解する」ことと「論理が実在を示してくれる」
とが違いますよ
>>95 >ご自分で勉強していただくとして、
>代数的でも数値的でもない解もあります。
そりゃ勉強してないでネットサーフィンばっかりしてる
君の妄想だろう(w
どうせ超幾何関数による「解析的」な解とかいうんだろうけど
超幾何関数そのものも、結局計算方法を示すか、関数等式を示すか
による定義しかないだろう?
数値的というのは前者の算法によるもので、
代数的というのは後者の性質によるものさ。
まったく、厨房は察しがわるいね。
言語の正確な用法を求めるのは、
言葉を学習中の幼児の特性だと
知ってるか?(w
>>99 >超幾何関数そのものも、結局計算方法を示すか、関数等式を示すか
>による定義しかないだろう?
他の定義もありますが、何か?
>>98 >>「論理が実在を示してくれる」
>ということは何も言ってないのですが?
なるほど、君は僕が正しいとみとめるわけだ。
>>100 それも君の誤解だろう。
いってごらん。誤りを指摘してさしあげよう。
>>101 >なるほど、君は僕が正しいとみとめるわけだ。
なるほど、君は論点をすりかえたとみとめるわけだ。
>>102 >それも君の誤解だろう。
>いってごらん。誤りを指摘してさしあげよう。
けっこうですので、ご自分の道を進んでください。
105 :
132人目の素数さん:03/02/01 15:58
>>97 > ゲーデルの不完全性定理は知ってるだろう?
> 数学者は、大抵この定理に不愉快そうな顔をする。
なぜ「不愉快そうな顔」をするかというと,
この Goedel の定理の意味をよくわかっていない人が
公理系にのっとった数学がすべて無意味であるかのような
誤解を与えるからだ
不完全性定理の重要性になんら疑いはない
その意味で Goedel はアワをくって少しかわいそうだ
いや
イメージは理解するにはとても大事だろ
イメージしなくちゃわかった気にならない
107 :
132人目の素数さん:03/02/01 16:00
いま一連の数学批判をやってるのはマツシン??
>>102 「微分方程式の解」とかいうのは、
関数等式と同類の「性質による定義」だな。
>>104 自分の誤りに気づいたようだな(w
>>106 イメージするなとはいっていない。
それが実体だという保証はないといっているのだよ。
110 :
132人目の素数さん:03/02/01 16:04
高山さんの意見も聞きたいな…
>>108 超幾何関数の定義で、計算方法、関数等式以外に微分方程式
しか思いつかないところが貧しいな。
>>111 知を収集する趣味はない(w
この議論の場合、関数等式とか微分方程式の解とかいうところを
「特性に関する定義」といってしまえば、君も黙るしかあるまい。
要するに、個別の方法論の問題ではないのだよ。分かるかな?
113 :
132人目の素数さん:03/02/01 16:13
112の勝ち
>>112 >知を収集する趣味はない(w
10分ほど調べたけど、わからなかったと。
知を収集する趣味がないそうなので、教えることは
ご遠慮しましょう。自分の道を進むがよい。
>>114 いや、調べなかったよ(w
知をひけらかす動機を失ったのは残念だね。
どうせなら知を貪る動機も失ったほうがよかったね。
いっとくが、他人を見下すために生きるのは無駄だよ(w
>>114 >自分の道を進むがよい。
自分の道がない君は不幸だな…
117 :
132人目の素数さん:03/02/01 16:24
つーか基礎論とか哲学とかどうでもいいことこの上なしだし
超幾何関数論については115のほうが正しいしいってることもいいこといってる
118 :
132人目の素数さん:03/02/01 16:28
数学批判だけで煽っておけばよかったのを、
なまじ数学の中身に立ち入ったのが失敗のもと。
96-97 あたりは煽りにもキレがあったが。
>つーか基礎論とか哲学とかどうでもいいことこの上なしだし
という数学屋さんがいるかぎり、燃料はいくらでもあるわな
120 :
132人目の素数さん:03/02/01 16:38
燃料って何?
121 :
132人目の素数さん:03/02/01 17:02
('A` ;)
/(ヘ ω.)ヘ
('A` ;) ('A` ;) ハアハア
/(ヘ ω.)ヘ 丿ヽ.)L
('A` ;) ハァハァ
/(ヘ ωヾ('∀` ;)>.)L
メッ
( `A')
/(ヘ ωヾ(゚∀゚;;;)>.)L
( `A') ('A`;) モウシマセン
/(ヘ ω.)ヘ ノ )
^ ^
ヒトノ ドラゴンボール
カッテニ サワリヤガッテ
( `A') ('A`;) モウシマセン
/(ヘ ω.)ヘ ノ )
^ ^
クラエ ティンコレーザー
( `A') ┌ ('A`;)丿 ノワー
/(ヘ .☆━━━━━━∴ノ )
^ ^
「純粋数学至上主義」を否定も肯定もしていないあたりに、1の面白さがあるのだが。
(実際は
>>1言う所の「貴族数学」至上主義の方が、議論の題材としては興味深い。)
>>118 君のいうとおりだね。
数学の中身の話は無用だった。
暴れてる哲学の人は、
「実在」とか「意味」とかいう言葉を
どう定義してるんだろうな。
>>124 オマエが数学を語ること自体が余計(アフォガ
>>126 哲学を語ったつもりはない。
数学教徒に他の「宗教」があることを示しただけだ。
それを受け入れられないのは精神を病んだ狂信者だけだ
実在=他人を見下すために生きる無駄な人生
意味=知を収集する趣味はない(w
>>127 おっ、先生キタ―
で、結局実在ってなんなの? 意味ってナーニ
130 :
132人目の素数さん:03/02/01 20:17
131 :
132人目の素数さん:03/02/01 20:19
ていうか、哲学の人はトリップつけてくれよ
132 :
132人目の素数さん:03/02/01 20:22
で、結局「数学の虚妄」ってなんなの?
ひょっとして、どんな定理も一旦証明されてしまえばトートロジーになるとかいうだけのハナシ?
| |\ \
| ('A`) コレナニー
>>127 / ̄ノ( ヘヘ ̄ ̄
メ\,_
.メ′ .゙゙アhr _,zl||y,
.″ .y!^⌒ ¨\ .,,,,,,__
.,yr=¬z .l| ◎ 《 . ゙゙̄^へu,
,メ″,z厂◎ l| ¥ il! ゙ミ
il「 ミy ..,ilト ゙ミy_ ア ,メ .∨.
.ll′ 干=冖″ ,,,yyyyy. l| / ̄ ̄ ̄ ̄ ̄
.l| ,,,yvr=冖''''|リ|||》巛》ミ冖'li厂.l| .,l! < 数学は虚妄だ!!!
.l! 《vvvr=冖¨ ̄ .゙干l! .,メ′ \_____
.l| .l| .,,yrrvy_ ,,,,,,_ .《yrl″
\_ ,l|.,yzl^^゙゙^冖《《||7厂`゙リu_ .l|
.゙\、 .r《l厂 .¨゙冖=vu,フhrト
″ .¨ア″
>>129 君にはわからない
>>130 真実とは何だ?
>>132 君にはわからない。
そもそも定理はトートロジーだ。
証明されないものは定理ではない。
136 :
132人目の素数さん:03/02/01 20:29
やっぱり
煽りを最初にかます人間にまともな知能を持っている人間などいない
>>136 反論を「煽り」としか感じられぬ奴は厨房さ
139 :
132人目の素数さん:03/02/01 20:31
「言語に意味はない」そして「言語の対象は実在しない」
言語の世界に意味は見出せない。
言語に実在を見るのは、アタマが狂っているからだ。
>77の厨房
これが反論か
やっぱ頭おかしいな
140 :
132人目の素数さん:03/02/01 20:33
ウあああああああああああああぼくはぼくはぼくはおおぼぼぼおぼぼぼぼぼぼ
ぼぼぼーぼぼーぼぼ
141 :
132人目の素数さん:03/02/01 20:33
あぎゃああああああああああああああぎゃああああああああああああしぬううううううううううおえええええええええええ
ごごあ」ごあgあdfg
全て無に変えれ
親もナインも詩ね
ボケ
消えろカス
142 :
暴れてる哲学の人:03/02/01 20:35
>君にはわからない。
[訂正]僕には説明できる頭がない。
>真実とは何だ?
[訂正]僕が全部間違ってました、ごめんなさい。
>>135答えられないのだね、君には。あまりに無思索だな
>>142 説明は万能ではない。
自ら考えない者には理解はない。
/ヽ /ヽ
/ ヽ / ヽ
______ / ヽ__/ ヽ
| ____ / :::::::::::::::\
| | // \ :::::::::::::::|
| | | ● ● ::::::::::::::|
| | .| :::::::::::::| 人間間違うこともあるよ…
| | | (__人__丿 .....:::::::::::::::::::/
| |____ ヽ .....:::::::::::::::::::::::<
└___/ ̄ ̄ :::::::::::::::::::::::::|
|\ | :::::::::::::::::::::::|
\ \ \___ ::::::::::::::::::::::::|
147 :
暴れてる哲学の人:03/02/01 20:39
>説明は万能ではない。
[訂正]僕にはどうしても答えられないんです。
>自ら考えない者には理解はない。
[訂正]僕のことです。
>>142 君が正しいと思う理由は何かな?
何もないだろう?
>>147 考えられないのか?
自分だけが正しいのか?
150 :
132人目の素数さん:03/02/01 20:41
あれ、ひょっとして祭りやってるんですか?
151 :
暴れてる哲学の人:03/02/01 20:41
>君が正しいと思う理由は何かな?
>何もないだろう?
[訂正]オマエモナー
まともな数学者になるにはプラトニストにならないと
やってられんでしょ。言語ゲームっていう認識も
大事だけど、それがゲームに勝つことにはなんの役にも
立たないんだな。むしろ気が狂うほどのめりこんで
初めて勝てるようになる。ただの傍観者はゲームに
勝つことは永遠に不可能。
153 :
132人目の素数さん:03/02/01 20:42
悲しみ?
/ヽ /ヽ
/ ヽ / ヽ
______ / ヽ__/ ヽ
| ____ / :::::::::::::::\
| | // \ :::::::::::::::|
| | | ● ● ::::::::::::::|
| | .| :::::::::::::| 君、淋しいんだね・・・
| | | (__人__丿 .....:::::::::::::::::::/
| |____ ヽ .....:::::::::::::::::::::::<
└___/ ̄ ̄ :::::::::::::::::::::::::|
|\ | :::::::::::::::::::::::|
\ \ \___ ::::::::::::::::::::::::|
155 :
132人目の素数さん:03/02/01 20:43
>>150 数学板に哲学の人がやってきた!
さあ、君も祭りに参加しよう。
明日は立命舘大学の入試です
ハァハァ
>>153 いや、雰囲気がちがうんじゃない?
知能程度は同程度か、下手すると劣るかもしれんがナー
数学者でなければいけないのかな?
勝たなければいけないのかな?
そう考えることこそ狂っているんじゃないかな?
負けろ。厨房。
159 :
132人目の素数さん:03/02/01 20:44
今来たのでよくわかりませんが、どの人が暴れてる人ですか?
数学板の味方は、何人くらい?
:::::::::::/
>>145ヽ::::::::::::
:::::::::::| ば じ き i::::::::::::
:::::::::::.ゝ か つ み ノ:::::::::::
:::::::::::/ だ に は イ:::::::::::::
::::: | な。 ゙i ::::::
\_ ,,-'
――--、..,ヽ__ _,,-''
:::::::,-‐、,‐、ヽ. )ノ _,,...-
:::::_|/ 。|。ヽ|-i、 ∠_:::::::::
/. ` ' ● ' ニ 、 ,-、ヽ|:::::::::
ニ __l___ノ |・ | |, -、::
/ ̄ _ | i ゚r ー' 6 |::
|( ̄`' )/ / ,.. i '-
`ー---―' / '(__ ) ヽ 、
====( i)==::::/ ,/ニニニ
:/ ヽ:::i /;;;;;;;;;;;;;;;;
>>158 勝たなければダメです。当然です。
哲学者のニーチェとはなんの関係もないですが、
勝負のあるゲームであればこそ勝たなくてはダメです。
164 :
132人目の素数さん:03/02/01 20:48
つーか、不完全性定理を「論理が実在を保証しない」
と解釈すること自体が間違ってるわけだが。
「論理が数学的に『ただ一つの実在』を特定する手段を与えない」
というなら正しいかも知れんが。
負けることのできないものに勝負はできない。
166 :
みんな悩んで(ry:03/02/01 20:48
ソ、ソ、ソクラテスかプラトンか
ニ、ニ、ニーチェかサルトルか
167 :
132人目の素数さん:03/02/01 20:49
オレ将棋とか囲碁のことバカにしてたけど,
数学も結局は将棋とか囲碁のようなものなのかもね
>>163 なら貴様の負けだ。貴様はダメだ。
勝負はない。だから勝ちは負けだ。
170 :
132人目の素数さん:03/02/01 20:51
哲学の人の話はぎょうぎょうしい言葉を使うわりに,
中身はたいしたことがないことが多い
だから嫌われる
172 :
132人目の素数さん:03/02/01 20:51
数学は戦いだ(Weil)
戦争の中に数学はない。しかし数学の中に戦争はある(Grothendieck)
173 :
132人目の素数さん:03/02/01 20:52
哲学の人が暴れてくれてるおかげで,
今日はこのスレ祭りになりますた
このような祭りは嫌いじゃない
>>170 そもそも中身などというものはない。
君はその事実が嫌いなんだろう(w
175 :
132人目の素数さん:03/02/01 20:53
そもそも物理の世界と違って数学の世界では
観測によって事実を確かめることができない。
ただ「『この公理系においては』この定理が成り立つ」と言えるに過ぎない。
逆にいえば、数学的に実在であるか否かは観測による必要がないということ。
177 :
132人目の素数さん:03/02/01 20:53
あーあ、訂正するほどの文章じゃなくなってきた。
もっと面白いレス返せ>暴れてる哲学の人
>>175 そもそも数学には事実はない。
つじつまだけが問題だ。
だから数学的な実在とかいうのは間違っている。
182 :
132人目の素数さん:03/02/01 20:56
>>172 そのお二人はまさに数学の中で戦い抜いたてきた人たちですね
だから説得力がある
>>179 君のいう実在は君の思いこみに過ぎない。
君の思いこみが正しいのではない。
>>184 プッ 漏れが問題にしたのは不完全性定理の解釈の問題に過ぎないわけだが。
ネタなので、よそで口外しないで欲しいっす。
\ │ /
/ ̄\ / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
─( ゚ ∀ ゚ )< 哲学マンセー!
\_/ \_________
∩ ∧ ∧∩ / │ \ ∩ ∧ ∧ .∩
.ヽ( ゚∀゚ )/ \( ゚∀゚) /
ヽ| 、. !/ | /
[ニ__」 _ | | テツガクゥ〜〜〜!
| | ,r'⌒ ⌒ヽ、. /____」
,」 L_ f ,,r' ̄ ̄ヾ. ヽ. .」 L
ヾー‐' | ゞ‐=H:=‐fー)r、) 「'ー‐ヾ'
| じ、 ゙iー'・・ー'ヾi.トソ ハ │
\ \. l、 r==i ,; |' ./ /
\ ノリ^ー->==__,..-‐ヘ__/ / 数学は虚妄だ!!
190 :
132人目の素数さん:03/02/01 20:58
> 哲学さん
コテハン + トリップ 使ってください
さもなくばカタリが出てきますよ
192 :
132人目の素数さん:03/02/01 20:59
さっきから勝利宣言と人格批判ばっかやな
193 :
132人目の素数さん:03/02/01 21:00
>>187 ネタかよ!
よそで言って恥かくとこだったぞ!
こーゆーのを「釣れた」というのだろうか:
186 :132人目の素数さん :03/02/01 20:57
>>182 当事者は冷静さを失しているものだ(w
196 :
132人目の素数さん:03/02/01 21:01
197 :
132人目の素数さん:03/02/01 21:01
哲学の人はとにかく「数学的実在」とやらを否定したいだけのようだ
/|
>>テツガクヽ('A`)ノ スウガクナンカキライダ…
( )
くく
199 :
132人目の素数さん:03/02/01 21:02
だれか「さいたまさいたま」のアスキーアートで,
「てつがくてつがく」をやってくれ
>>197 いや、数学的実在に根拠がないといったまで。
ただ、一旦否定してみせなければ君らにはわからんだろう。
201 :
132人目の素数さん:03/02/01 21:03
「哲学の人」って呼び方なんかいいね(w
哲学ひっしだな
∧_∧
∧_∧ (´<_` ) 流石だよな、俺ら。
( ´_ゝ`) / ⌒i
/ \ | |
/ / ̄ ̄ ̄ ̄/ |
__(__ニつ/ FMV / .| .|____
\/____/ (u ⊃
ガタガタガタタタタタ・・・・
203 :
132人目の素数さん:03/02/01 21:05
数学的実在てのは確かにあるとおもう
数学者というのはそれを発屈する考古学者だ
204 :
132人目の素数さん:03/02/01 21:06
このスレ伝説になりそうだな
数学ヲタって暇なんだな…
∧_∧
∧_∧ (´<_` ) 研究に行き詰まってるんじゃねぇの?
( ´_ゝ`) / ⌒i
/ \ | |
/ / ̄ ̄ ̄ ̄/ |
__(__ニつ/ FMV / .| .|____
\/____/ (u ⊃
206 :
132人目の素数さん:03/02/01 21:07
数学的実在をことさらに主張する気はないんだけどさ
それがあやふやな存在だから「数学は虚妄にすぎない」なんて
言ったところで虚しいだけじゃん。
こいつ神がかってるな…
∧_∧
∧_∧ (´<_` ) 山口人生なんじゃねぇの?
( ´_ゝ`) / ⌒i
/ \ | |
/ / ̄ ̄ ̄ ̄/ |
__(__ニつ/ FMV / .| .|____
\/____/ (u ⊃
つーか、バカだな>哲学の人
「虚妄」というのは言葉の綾。
210 :
132人目の素数さん:03/02/01 21:10
数学板で1つのスレがこんなに上がりっぱなしってことは珍しい
ニュース板じゃないんだから
/ \ /\
/ .\.,.,.,.,..,,/ ヽ
/ `:、
,:' ::::',
.,:' :::::i
.i ○ ○ ::::i 虚妄って・・・・なに?
.', '''' '''' *:::::i
`:、 ―‐ ,:'
i 丶
. i .. i
ププ、バカだってよ(w
∧_∧
∧_∧ (´<_` ) こいつ、歯がガタガタになるぞ(w
( ´_ゝ`) / ⌒i
/ \ | |
/ / ̄ ̄ ̄ ̄/ |
__(__ニつ/ FMV / .| .|____
\/____/ (u ⊃
213 :
132人目の素数さん:03/02/01 21:12
214 :
132人目の素数さん:03/02/01 21:13
数学的実在には経験に裏打ちされた根拠らしきものがある
と仮に言ったとすると
経験は絶対ではないというたとえ話(野球などの)を持ちだし、
数学者が間違えた例を大袈裟に取り上げるわけだ。
(無謬でない人間などいないっての)
アホクサっ
/ \ /\
/ .\.,.,.,.,..,,/ ヽ
/ `:、
,:' ::::',
.,:' :::::i
.i ○ ○ ::::i 長谷川京子って…整形?
.', '''' '''' *:::::i
`:、 ―‐ ,:'
i 丶
. i .. i
216 :
132人目の素数さん:03/02/01 21:14
関係ないけど,今日,魔がさして「伝説巨人 イデオン」ていう
アニメのヴィデオかりたんだが,
主人公がなぜかアフロヘアーなのが笑えた
, - ':::::::::::::::::::::::::::::::::::::::::::::::::::\
/ ;;;;;;;:::::::::::::::::::::::::::::::::;;;;;;;;;;;;;;;;;;;;;;\
/,,;,,,,, ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ,,,,,,,,;::::::丶
/ :::::::::;;,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,;:::::::::::::::::::ヽ
i゙:::;:::::||::::::,!i:::::::::::,|i::::::::::::::::::;:::::::::::::::::::::::::::::::゙i
i゙::::|;;;;| |;;;;;| |::::::::::| |:::::::::::::::::||::::::::::::::::::::::::::::::::|
. i゙::::::i ''''''''''' '───' |;;;;;;;;;;;;::::::::::::::::::::|
.|:::::::|,-====-´ ゙ヽ,,,,,,,,,,,,,、 |:::::::::::::::::::|
|;::::::::|,-──、 ~,.--`‐、 |:::::::::::::::::::|
`ヽ、i )__r'´ )__|;::::::::::::::/
. ヽ、__、/< ヽ、__、- /^゙-、;;;;/
{ ' ' '-'~ノ
λ ____ /-'^"
ヽ,_ `ー─''´ (
/`''丶、 , - /^l
/ /( ノ `'''''''´~ _, - ' ~ ゙i、
「言語に意味はない」そして「言語の対象は実在しない」
言語の世界に意味は見出せない。
言語に実在を見るのは、アタマが狂っているからだ。
218 :
132人目の素数さん:03/02/01 21:14
「数学的実在に根拠がない」とか言う例に、「ボールが止まって見えた」
を出したり、「無限列は数値計算そのものだ」あたりから超幾何云々の
話になって話を妙な方向にすらしたりするから、哲学の人は〜って
な、紋切り型の話になる。
不完全定理を持ち出しても、「数学的実在」を否定することに
用いては行き過ぎ。
219 :
132人目の素数さん:03/02/01 21:14
/ヘ;;;;;
';=r=‐リ すばらしい。
ヽ二/
220 :
132人目の素数さん:03/02/01 21:14
ここはひどい哲厨ホイホイなインターネットですね
221 :
132人目の素数さん:03/02/01 21:15
物理的対象についてでさえ、経験が間違っていても、個々の実在が疑われるだけで、
物理的実在という考え自体が否定されるわけではない。
222 :
132人目の素数さん:03/02/01 21:15
223 :
132人目の素数さん:03/02/01 21:16
<
< ここまでいえば、自分がどれだけ無思索かわかるだろう?(w
<
∨∨∨∨∨∨∨∨∨∨∨\ /∨∨∨∨∨∨∨∨∨∨
/:|. | | /:|
/ .:::| ∨ / :::|
| ...:::::| / ::::|
i  ̄ ̄⌒゙゙^――/ ::::::::|
/_,,___ . _,,,,__,_ :::::::::::\
/ ゙^\ヽ.. , /゙ ¨\,.-z ::::::::::\
「 ∩ | 》 l| ∩ ゙》 ミ.. .::::::\
/i,. .,ノ .l| 《 ..|´_ilト ::::::::::\
/ \___,,,,,_/ .'″ ^=u,,,,_ v/.. :::::::::::::l!
|  ̄ ,,、 i し./::::::::.}
| / ,,____ _,/ ̄ \ \ ノ ( ::::::::::|
| |.. | /└└└└\../\ \ '~ヽ ::::::::::::::}
| .∨.|llllllllllllllllllllllllllllllllllllllll| ::::::::::{
| |.|llllllllllll;/⌒/⌒ 〕 :::::::::::}
| |.|lllllllll; ./ . . | ::::::::::[
.| |.|llllll|′ / . | .| :::::::::::|
.| |.|llll| | .∧〔 / :::::::::::::/
/ }.∧lll | ../ / / :::::::::::::::::\
/ /| \┌┌┌┌┌/./ /::: :::::::::::::::::\
( ゙゙^^¨^¨゙゙¨  ̄ ̄ ̄ /::::::::::: ::::::::::\
225 :
132人目の素数さん:03/02/01 21:18
いちいちアスキアートじゃなけしゃべれんのか
227 :
132人目の素数さん:03/02/01 21:18
このスレ,フィヴァーかかっちゃったの?
228 :
132人目の素数さん:03/02/01 21:19
/ヘ;;;;;
';=r=‐リ ・・・言葉をつつしみたまえ。
ヽ二/ 君はラピュタ王の前にいるのだ。
229 :
132人目の素数さん:03/02/01 21:19
>>225 AAもウザイが、正しい日本語が書けないお前もウザイ。
230 :
132人目の素数さん:03/02/01 21:19
勝利宣言はまだですか?
>>214 経験とかいう以前に、意識の特性とでも言ってみたらどうかな(w
>>218 >>221 もちろん、君が実在論を捨てるような決め手を提示できるわけではない。
しかし、君の実在論が、君の意識以外に何も根拠がないことが、
君にも分ったなら、それで十分だ。
232 :
132人目の素数さん:03/02/01 21:20
>>231 では、あなたはなにを実在とみとめているのですか
234 :
132人目の素数さん:03/02/01 21:21
数学の世界は民主主義だからな。
みんなが正しいと言えば正しいんだよ。
235 :
132人目の素数さん:03/02/01 21:22
Goedel やら Witgenshtein やらをもち出したところで,
数学の殿堂はなんらゆるがないよ
>>234 「みんな」というものは存在しない。
それは君自身だ。
237 :
132人目の素数さん:03/02/01 21:23
唯我論ですか?クダラネ
238 :
132人目の素数さん:03/02/01 21:23
2ちゃん初心者へ
「〜なら、それで十分だ」=今日はこんくらいにしといたる(池乃めだか)
つーか、俺は218とは違うんだが、と。
>>234 とりあえずその考えは実在論とは相容れないぞ、と。
>>236 233には答えらっれなっいのでっすかぁー♪
242 :
132人目の素数さん:03/02/01 21:24
みんな哲学氏の挑発に釣られてるんだよ
243 :
132人目の素数さん:03/02/01 21:25
数学的実在と数学という学問の存在をごっちゃにしてないか?
┯━━┳┓
( )..( )`-3
|___ "/\
''\ / |
/
それが君の思索の結果か(w
246 :
132人目の素数さん:03/02/01 21:27
247 :
132人目の素数さん:03/02/01 21:27
ところで谷山豊はなぜ自殺したの?
248 :
132人目の素数さん:03/02/01 21:28
哲学の人が何をほざこうとも、ユルヒュンの存在だけは揺るがない。
数学がきょもうだったから
250 :
132人目の素数さん:03/02/01 21:29
今日も寒いのでもう寝ます
おやすみなさい
また明日
251 :
132人目の素数さん:03/02/01 21:32
最初から哲学氏が「俺は素朴実在論が大嫌いなんだよ」と言えば
それで終わりだったのにね
252 :
132人目の素数さん:03/02/01 21:33
そもそも数学が虚妄ならどうして数学の命題は真か偽かに定まるのか。
>>251 なんか、「実在論」というキーワードに
勝手な思い込みで過剰に反応してるだけのように思える。
自分が批判している主張の意味がちゃんと分かってるのか?>哲学の人
254 :
132人目の素数さん:03/02/01 21:36
数学は虚妄だった!
次は物理をおねがいします。
しょうじき、数学を理解できない奴の、妄言。
,.-─‐- 、 /⌒ヽ、
/ ヽ /.:. ヽ
/::.:. ゙、 /.:.:. ゙、
/:.:.:. ー- 、 ゙i, /::./ ゙i,
/:::.:.:.:. ゙ヽ.:i'''ヽ::.:.:-‐ |
i':::::::::.:.:.:.:.:.:..... ,,.-‐'''"""''''‐- 、 .: : : : |
|:::::::::::::::.:.:,.-'";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;`ヽ、.:.:ノ
ヽ,--,::./;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;i;;;;;;;;;;;;;;` =-
/;;;/:/;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;l゙i|、;;;;;;;;;;;;゙、
,i';;;;i::/;;;;;;;;;;;;;;;;;;;;;;/;;/;;;;ノ;;/ノ ゙、;;;;;;;;;;;i
i';;;;;;|:l;;;;;;;;;;/;;/////;/i;;;/_,、-''`゙i;;;/i;ノ
/;;;;;;;;lj;;;;;;;;/i/' ,.--;=ミ 、 _ノ/{.○-゙‐r';;;;;;;;;l
/;;;;;;;;;;;;;;;;;;;;i {,.○-`‐、,.-ト| ,ノ;;;;;;;;|
,i';;;;;;;;;;;;;;;r'ヽ`ヽ,r'´ ノ. ゙、--‐'"i゙i;;;;;;゙i
|;;;;/;;;;;;;;;;l ヽ,゙ ヽ、__、-'" > l,ノ;;;;;;|
゙i;;,i;;;;i;;;;;;;;ヽ、 ' ' /;;;;;;;;;i'
゙、i、;|、;;;;;;;;i;l;;`'゙ヽ; ____ |;;;;;i;ノ
ヽヽハ!|i、i、;;i;;ヽ;; `ー─''´/レi;ノ
ヴィトゲンシュタインは、(純粋)数学の虚妄を暴いたことで数学者からは蛇蝎のように嫌われているけれども、実際、数学
に対する「好み」の感情を抜きにすれば、数学は所詮ソロバン仕事だという爆弾発言もまた、一つの見方として受け入れざる
を得ない。
∧_∧∩ / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
( ゚∀゚)/ 明日から学校にいきます!
__ / / / \_________________
\ ⊂ ノ  ̄ ̄  ̄ ̄ \
‖\ \
‖ ‖ ̄ ̄ ̄ ̄ ̄ ̄‖ ̄
‖ ‖______‖
‖ ‖ ‖
‖ ‖
>数学に対する「好み」の感情を抜きにすれば
それが数学の人にはできなかったのね(w
∧ ∧ ###
/ ヽ ./ .∧ /#####ヽ
/ `、 / .∧ / ##### \
/  ̄ ̄ ̄ ヽ / ##### ヽ
l::::::::: .l / ##### ヽ
|:::::::::: -==・- -==・- | | ::::::::: :::::::|
.|::::::::::::::::: \___/ | | -・==- -・==- ::::::::|
ヽ::::::::::::::::::: \/ 丿 | \___/ :: :::::::|
ヽ::::::::::::::::: / ヽ \/ ::::::::::|
____>::::::::::::::::: <_ ヽ ::::;;;::::::::丿
/:::::::::::::::::::::::: ::::::::: /⌒ヽ⌒、⌒、⌒、 ::::::::: :<___
|::::::::::::;;;;;;;;;;;;;::::::::::::::: / /ヽノヽノヽノヽノ ::::::::::::: :::::::: :::ヽ
|:::::::::::::::::::::::: / /:::::::: ::::::::::::::::::::: ::::::::
哲学の人こねぇかな ああ
260 :
132人目の素数さん:03/02/01 23:41
松本真吾が現れるスレはここですか?
40 :考える名無しさん :03/01/19 08:44
哲学科には、自分のことを頭いいと
思っているヤシが非常に多い。しかも、
「本当の頭のよさっていうのは、勉強ができるとか
偏差値が高いとか、そういうのではなくて、
本質を見抜く真の洞察力のことだ。
ぼくが持っているような・・・(入悦)」
とかって本気で考えているよ。
哲学屋とゆーよりロジック崩れ
263 :
さらに追加:03/02/02 00:25
>>261 「本当の頭のよさっていうのは、
***知を収集するとか***
そういうのではなくて」
>>261 「最先端の科学を叩いてるオレッテワル!(・∀・)カコイイ!」
265 :
132人目の素数さん:03/02/02 01:42
高山って人は思想的にかなり左の人なんでは?
そのような観点から互助的力学が発動するくらいの大学らしいぞ。
_、_
( ,_ノ` )y━・~~~< 数学は虚妄だっ! ( ´_ゝ`)フーン
_, ._
( ゚ Д゚) < ウィトゲンシュタインがそういってる!( ´_ゝ`)フーン
_、_
( ,_ノ` )y━・~~~ <・・・・ ( ´,_ゝ`)プッ
。・゚・(ノД`)・゚・。ウエエェェン ( ´_ゝ`)・・・
>>266 ま、そうムキになるなよ。万年童貞の数学ヲタども(プ
ヴィトゲンシュタイン曰く
「チェスは数学と似ているが、数学のように後光など射してはいない
という良さを持っている」
>>164 >不完全性定理を「論理が実在を保証しない」
>と解釈すること自体が間違ってるわけだが。
君が間違っている。
>「論理が数学的に『ただ一つの実在』を特定する手段を与えない」
>というなら正しいかも知れんが。
それが「論理は実在を保証しない」という意味だ。
「保証しない」は「否定する」を意味しない。
君はそう思い込んでいるようだが、それは単純素朴な誤りである。
>>185 >問題にしたのは不完全性定理の解釈の問題に過ぎないわけだが。
小学生程度の云いまわしを間違えてはいけないね。
何度でもいうよ。「保証しない」は「否定する」という意味ではない。
>>122 >(実際は
>>1言う所の「貴族数学」至上主義の方が、
> 議論の題材としては興味深い。)
哲学嫌いで政治好きな2chの”貴族”達には
そちらのほうが興味があるか(w
ぶっちゃけていえば、この手の発想は、
ギリシャのソフィストの時代となんら
変わることがない。
272 :
132人目の素数さん:03/02/02 11:51
>>268 > 数学のように後光など射して
この後光とはいったい何のこと?
>>272 過去ログを読め。哲学の人に質問した場合
「意味を知らんのか」
「君にはわからない」
逆に、哲学の人からの質問を放置した場合:
「自分の誤りに気づいたようだな(w」
「答えられないのだね、君には。あまりに無思索だな」
>哲学の人
君はウィトゲンシュタインを引用しはするが、その意味を
まったく解していないのではないかと、危惧せざるを得ない。
「数学は実在しない」などと否定的言辞を弄してはいるが、
肝心の「実在する」という言葉の定義をしようとする試みすらなく、
ウィトゲンシュタインからの引用箇所の「算法」という言葉の意味をも
特定しようともしない
(数学では算法というのは、テクニカルな意味で用いられることもあるのだよ)
哲学を論じようとするなら、まず用語を明確に定義して概念を整理することが
出発点になるのだよ。もし君にそれが出来ないなら、哲学を論じるに足る
学的素養をいまだ持ち合わせていないということに他ならない。
用語の定義の試みるか、もう一度しっかり勉強することをお勧めする。
定義を試みうことなくにこのままの調子で暴れていては、
君自身がここでいうところの「厨房」であると謗られたとしても、
仕方がないのではないだろうか。
定義しない事が最後の砦
>>274と
>>276がいいこと言った。
ようは、欧米の今の潮流についていけない、
アジア人の懐古主義者の遠吠えだな。
ゲラゲラ。
ヨーロッパとかで活躍してる哲学者とかは、
むしろ数学をバリバリこなしたりしてるのさ。
>>274 君は理解していないようだな。
何がわからないのかな?
どのような実在の定義が、君を満足させるのかな?
君がもし一度でも実在について考えたなら、
定義による方法が実在においては無駄だと分かる。
試してみたまえ。
算法のテクニカルな意味は、君がよくご存知だろう。
そんな無駄な云いまわしで自分の不勉強を隠蔽する
暇があったらさっさと反駁してみせるのだね(w
君が数学を分からないからといって、
それを気づかせた人間を罵倒する権利はない。
ここで、君の同類が何匹になろうと変わりはない。
まったく、倫理より自己防衛を優先させる幼児達には困ったものだ。
>>277 「いいこと言った」と言えばいいことになる幼児達へ(w
西洋は20世紀になって、やっと中国で紀元前の昔に
わかっていたことにたどり着いたんだよ。
バリバリ遊ぶのは結構だが、誰にも自慢が通用するわけではない。
野球に興味のないものには、ホームランを何本打とうが知ったことではない。
サッカーに興味のないものには、ゴールをいかほど決めようが知ったことではない。
数学に興味のないものには、いかほど難しい定理を証明しようが知ったことではない。
/| | |_____ΦΦΦΦΦΦΦΦΦΦΦ||ΦΦΦ
| | | ̄ ̄ ̄ /| ||
| | | / /|TTTTTT TTTTTTTTTT||TTTTT
| /\ | /|/|/|^^^^^^ |三三| ^^^^^^^^^^^||^^^^^^^
| / / |// / /|
| / / |_|/|/|/|/|
| / / |文|/ // /
|/ /. _.| ̄|/|/|/ Λ_Λ
/|\/ / / |/ / (___)
/| / / /ヽ /〔 祭 〕〕つ
| | ̄| | |ヽ/l `/二二ヽ
| | |/| |__|/ Λ_Λ / /(_)
| |/| |/ ( ´∀`) (_) Λ_Λ
| | |/ // / ^ ̄]゚ (` )
| |/ ゚/ ̄ ̄_ヽ ⊂〔〔 祭 〕
| / /_ノ(_) ┌|___|
|/ (__) (_ノ ヽ ヽ
/ (_)
数学が分からんのはテメェだろアフォが
つーか、定義もせずに議論するって、アンタの思い込みで語ってるってこと
どーしよーもねー厨だな(w
>>281 いや、君だな。
例えば数学的真理について「コレがそうだ」と指し示す定義はできない。
それはゲーデルの証明の系として、タルスキーが示した数学の結論。
君が知らないからといって、数学でないとはいえない。
もちろん、数学的真理とはかくかくしかじかの性質を持つという意味の
定義はいくらでもできるだろう。しかし、それですべてがいいつくせる
わけでもない。つまり性質にもとづく議論は、実在とは無縁の
テクニカルな「遊戯」というわけだ。
じゃあ訊くけどペアノの公理が受け入れられる理由ってどんなもの?
議論一般での定義に関する議論は面白くないから
まずは数学での定義の意義くらい示してくれよん
/ \ /\
/ .\.,.,.,.,..,,/ ヽ 哲学さん・・・
/ `:、 数学が分からない君は
,:' ::::', たしかに知能が低い
.,:' :::::i けど
.i ○ ○ ::::i あかるく生きてれば
.', '''' '''' *:::::i きっといいことも
`:、 ―‐ ,:' あるよ・・・
i 丶
. i .. i
松本新語っていうひとは バカのかたなの?
286 :
132人目の素数さん:03/02/02 17:53
282は実在という概念をなにか特別なものとみなしている
たんなる素朴実在論者だな
自分のまわりの常識に反することは信じられないという
どこにでもよくいる人が 哲学なんかにはまるから…(ry
>>283 何らの公理も受け入れられないといった覚えはない。
私が言っているのは、公理系は実在を前提しなくてもよいということ。
>>287 私が言う実在が素朴な意味だということは認めよう。
しかし、実在という言葉を守るために、素朴さを捨てるのは
結局、数学の知的遊戯性を自ら認めるに等しいのではないかね?(w
>>288 もしかして、言葉では定義できない実在を信じるという意味で
数学者は「素朴実在論者」から「神秘的実在論者」になったと
いいたいのかな?(w
もちろん、それはそれで結構だ。
ただそれは完全に「宗教」であることを自覚していただきたい。
>>288 いや、実在性とやらはどうでもいいから、
どういう理由で受け入れられるのか聞いてるんだけど。
受け入れない根拠がないという理由で受け入れているわけではないんでしょ。
>>288 >私が言う実在が素朴な意味だということは認めよう。
だ か ら
実在というのは分析すれば非常に複雑な概念だといってるんですよ。
素朴な感覚印象だって(アナログの)記号に過ぎないんだから、
君の言ってることはそのまま「素朴な実在」に当てはまるの。
感覚印象は無意味な記号だ、行為とは形式的記号操作に過ぎない、とかね
つまり、数学的実在が「素朴な実在」とどう違うのか
明確にしなきゃ話しにならないの。わかった?
つーか、どこのドキュソだ、お前は。
┯━━┳┓
( )..( )`-3
|___ "/\
''\ / |
/
それが君の思索の結果か(w
>>288
293 :
132人目の素数さん:03/02/02 18:56
哲学の人は
論破されて逃げたの?
>>291 >つーか、どこのドキュソだ、お前は。
松本真吾氏か、あるいはそれに酷似した方だね。
295 :
132人目の素数さん:03/02/02 19:17
>>288 だいたいおまいはウィトゲンシュタインを誤解してるぞ
ウィトは「言語は形式的記号操作」ということによって
形而上学的ガラクタ(おまいの素朴実在論を含む)を掃除しようと
したのだ。おまいが引用した行文は「数学批判」ではなくて
「哲学(形而上学およびヘーゲル亜流の数理哲学)批判」だったんだよ。
だからウィトは、一部から論理実証主義の源流と呼ばれたんだ。
後期も前期もゴチャゴチャにして都合のいい断片的抜粋してんじゃねぇよ、
アフォが。「論考」を読み返して、ついでに解説書も読め、厨が。
つーか、氏ねドキュンが
>>294 有名人なんだ?
>>290 理由とは何だ?意味不明。
>>291 分析すればといわずに自分で分析してみたまえ
ただ複雑といって逃げることはできない。
感覚印象をアナログの記号というに居たっては
思索拒否すら感じられるぞ。(w
性質に基づく議論が議論として成立するのはどうしてなんだろうか。
数学が本当にただの虚妄なら何とでも議論の仕方を変えられるのではなかろうか。
>>291 >感覚印象は無意味な記号だ
そもそも私は感覚印象について何も言及してはいない。
数学が記号操作だとはいったが、
その記号が感覚印象だとはいっていないし、
そう考えるべきではない。
>>298 性質にもとづく議論を拒否してはいない。
「虚妄」という言葉に無用な感情を読む込むなかれ。
>>300 だからお前のいう虚妄って何?
例えば公理的集合論ZFがただの虚妄ならZFからGCHを導いても構わないことになるんじゃないかね?
>>295 >ウィトは「言語は形式的記号操作」ということによって
>形而上学的ガラクタ(おまいの素朴実在論を含む)を
>掃除しようとしたのだ。
まず、私は素朴実在論者ではない。
そして、形而上学を無意味化した場合の
本当の影響について君は何も考えていない。
>おまいが引用した行文は「数学批判」ではなくて
>「哲学(形而上学およびヘーゲル亜流の数理哲学)批判」
>だったんだよ。
それは完全に君の誤り。
>だからウィトは、一部から論理実証主義の源流と呼ばれたんだ。
ヴィトは論理実証主義者ではなかった。
のみならず、彼らの主張は馬鹿馬鹿しいと感じていた。
私の引用した文章は、中期および後期のもので、
論理実証主義に対する批判でもある。
>後期も前期もゴチャゴチャにして都合のいい断片的抜粋してんじゃねぇよ、
論理哲学論考を、論理実証主義者に都合のよいように解釈するのが
正当だというような嘘をつくのはやめたらどうだ?
>「論考」を読み返して、ついでに解説書も読め。
論考以外を読め。そして君の好みに反する解説を進んで読め。
そうできない者に議論する資格はない。
>>301 ZFでもZFCでもZF+GCHでも何でも結構だが、
どこまで追加したところで無駄。
君はゲーデルの不完全性定理の証明を見たか?
もしそれを見たなら
>>301のような無駄な徒労を
口にしたりはしない筈。
>>303 不完全性定理とどう関係があるんだよ。漏れはむしろ
ZFからGCHが導かれないと言う事実をもってお前の考えを
間違いじゃないかと言ってるんだよ。
ZFのモデルがどうとか、そういう話とは違う。
>>305 意味不明だな。
ZFからGCHが導かれないなら私が正しいということだ。
>>306 >>301 >例えば公理的集合論ZFがただの虚妄ならZFからGCHを導いても構わないことになるんじゃないかね?
>>64-308 って言うかスレ違い
ここは数学至上主義スレじゃなく純粋数学至上主義スレ
逝け
ていうか、数学やってる人は、こんな目的もない抽象論に走らない罠。
だいいち、おまいら定義も何も仮定しないでしゃべってるだろ
312 :
132人目の素数さん:03/02/02 21:14
_,,、--――-- 、,
/´::::::::::::::::::::::::::::::::::::`',
,r''j´ ̄ `ヽ、 /::::_;;、--――-- 、;;;:::::::l
/ / ヽ /゙´,,. --―――-- 、,,`゙ヽ!
l / |l;:´---;=t;;ァ┬┬t;;ォ、、,_`ヽ|
l, ,'::ハ,゙´ ノ,、 l, ヽ,゙l::〉‐、
人 ノ ' ヽ、... 'r'゙ ヽヽ、.... -' Y 〈
/ `''┬―‐'´ヽ-、 l''ー;=、;_―゙ニ゙-----__,ニ'' | ヽ
/ `''ー、,、 `ト-!、__| ̄Τ ̄「 ̄|__,/ j ノ / ̄ ̄ ̄ ̄
./ , / ,、 ハ;ト 、,.二,^,二,二´,./ /-ヘ <おまえは白痴だな哲厨
| `''ー---|. 〈 ヽイ \、L.,,__|__,,.」.../ ,イ:::::::::゙i, \____
| ,ハ、,Уヽヽ、.`''ー---‐''゙´ _,,//|:::::::::::: l,
\ ''ー――' )/::l V:::``ヽ、_,,. -'´l / .|:::: _,、-┘
ト、,__ ,∠/::::| .l、:::::::::::::::::::::::::::/´ !:::::`''ー-、
l:::::::::::::::::::::| :::::::::::| /:::::ヽ、::::::::;、‐'´l, l::::::::::::::: /
,':::::::::::::::::::::::l ::::::::::l /::::::::::::::::: ̄::::::::::::::`i ,'::::::::::::: /
!:::::::::::::::::::::::::l ::::::::::| |:::::::::::::::::::::::::::::::::::::::ノ j:::::::::::: /
|::::::::::::::::::::::::::l ::::::::::!./:::::::::::::::::::::::::::::::::::/ !:::::::::: /
数学が出来ない人って数学にすごいコンプレックスがあるんだろうな
ここで荒らしてるようなDQN哲学系って
なんでこうワンパターンなんだろ
言ってることの支離滅裂さも口調もそっくりだね
314 :
132人目の素数さん:03/02/02 21:47
>純粋数学の中でも貴族の数学と賎民の数学
>という区別があって,事態ななかなか複雑な様相を帯びる.
貴族の純粋数学 代数>幾何>解析 賎民の純粋数学
貴族の数学 代数幾何、整数論、数論幾何etc.
賎民の数学 関数解析、代数解析、解析と名のつくもの
315 :
132人目の素数さん:03/02/02 21:54
トポロジーとか多変数関数論とか代数解析とか関数解析、
線形偏微分方程式、トポロジーなんかを貴族の数学と
考えているようでは高山先生もまだまだ甘いな。
○○解析と名のついただけで品がない。
そんな事より哲厨よ、ちょいと聞いてくれよ。スレとあんま関係ないけどさ。
昨日、近所の純粋数学至上主義スレ行ったんです。純粋数学至上主義スレ。
そしたらなんか哲学の人が荒らしまくってるで祭りになってたんです。
で、よく見たらなんかコピペがいっぱい貼ってあって、「数学は虚妄」とか書いてあるんです。
もうね、アホかと。馬鹿かと。
お前らな、哲学論争如きで普段来てない純粋数学至上主義スレに来てんじゃねーよ、ボケが。
哲学論争だよ、哲学論争。
なんか親子連れとかもいるし。一家4人で純粋数学至上主義スレか。おめでてーな。
よーしパパウィトゲンシュタイン曰く・・・、とか言ってるの。もう見てらんない。
お前らな、『わかる代数』から哲板にかえれと。
純粋数学至上主義スレってのはな、もっと殺伐としてるべきなんだよ。
代数幾何と微分幾何の間でいつ喧嘩が始まってもおかしくない、
刺すか刺されるか、そんな雰囲気がいいんじゃねーか。女子供は、すっこんでろ。
で、やっと座れたかと思ったら、隣の奴が、ゲーデルの不完全性定理の証明をみたか?、とか言ってるんです。
そこでまたぶち切れですよ。
あのな、ゲーデルの不完全性定理の証明をみたか?なんてきょうび流行んねーんだよ。ボケが。
得意げな顔して何が、ゲーデルの不完全性定理の証明をみたか?、だ。
お前は本当にゲーデルの不完全性定理の証明をみたか?を確認したいのかと問いたい。問い詰めたい。小1時間問い詰めたい。
お前、ゲーデルの不完全性定理の証明をみたか?って言いたいだけちゃうんかと。
純粋数学至上主義スレ通の俺から言わせてもらえば今、純粋数学至上主義スレ通の間での最新流行はやっぱり、
コンヌの非可換幾何学、これだね。
コンヌの非可換幾何学と非可換表現論。これが通の頼み方。
コンヌの非可換幾何学ってのは21世紀の数学。そん代わりbased spaceの点が少なめ。これ。
で、それに非可換表現論。これ最強。
しかしこれを頼むと次から指導教官にマークされるという危険も伴う、諸刃の剣。
素人にはお薦め出来ない。
まあお前らド素人は、因数分解でも練習してなさいってこった。
微分幾何は代数幾何の一種だろ。
318 :
132人目の素数さん:03/02/02 22:26
/ヘ;;;;;
';=r=‐リ 私をあまり怒らせない方がいいぞ。
ヽ二/
そもそも整数論を貴族の数学としつつ解析学やロジックや組み合わせ論を
賎民の数学としたのでは筋が通らない罠。
素数分布論は解析的な方法を主に使用するし、ロジックの不定方程式論への応用も
多数存在するし、組み合わせ論的数論も数論の一分野として確立されてる。
>微分幾何は代数幾何の一種だろ。
は?バカか
整数論とひとくくりにしてはいけないんだろうね、キット。
あと女王には下僕が沢山必要なものなんだろう、きっと
>>320 ただの煽り。21世紀は微分幾何>代数幾何。これ常識。
323 :
132人目の素数さん:03/02/02 23:14
業務連絡、業務連絡!
マツシン(松本真吾)↓とおぼしき人物(=スンゴくアホ)がこちらで暴れております。
/:::::::::::::::::::::\
/::::::::::::::::::::::::::::::::\
|:::::::::::|_|_|_|_|_|
|_|_ノ∪ \,, ,,/ ヽ
|::( 6 ー─◎─◎ )
|ノ (∵∴∪( o o)∴)
| < ∵ 3 ∵>
/\ └ ___ ノ
.\\U ___ノ\
\\_○○_) ヽ
コピペうぜーよ、エムシラ。
326 :
132人目の素数さん:03/02/03 03:25
どりーにゅちゃんも代数解析やってる罠。
>>314 >貴族の純粋数学 代数>幾何>解析 賎民の純粋数学
貴族は静的で有限的なものを好む、と(w
民衆はアルゴリズム的であり、貴族は代数的である。
情報科学が貴族のお気に召さないのは、
民衆と貴族の間の壁を壊す革新的な
危険思想だからである(w
もっとも、情報科学は、民衆にも受けが悪い。
結局のところ、論理による「代数化」で、
新たな貴族を生み出しているだけだと、
見破っているからだ。
ところで整数論はともかく、
代数幾何やトポロジーは
「由緒正しい」のだろうか?
332 :
132人目の素数さん:03/02/03 07:55
>有限的なものを好む
プ
代数幾何もトポロジーも20世紀になってから
急速に台頭した新興勢力である。
一方で19世紀には華々しかった
(一変数)複素関数論はここでは
まったくふれられていない。
>>332 例えば代数において、解を求める方法論から、
解の変換の対称性に関する研究に移行したのは
その典型例である。
335 :
132人目の素数さん:03/02/03 15:22
松本真吾懲りずに再登場age
>>316 >純粋数学至上主義スレってのはな、もっと殺伐としてるべきなんだよ。
十分、殺伐としていると思うが(w
数学者と数理哲学者の論争はもはや戦争
まるでイスラエルとパレスチナ
結果、情報科学は賎民のくだらぬ妄想に過ぎなかった。
論争と思っているのは一部の数理哲学者のみという罠
トポロジーなんて方法論にすぎない。
幾何学はすべて代数幾何だろ。
とりあえずパトナムは整数論にも数理哲学にも業績を残しているわけだが
342 :
132人目の素数さん:03/02/03 21:09
>>339 >幾何学はすべて代数幾何だろ。
つきつめていくと数論幾何になる
343 :
132人目の素数さん:03/02/03 21:09
ていうかなんで sage ながら話してんの?
344 :
132人目の素数さん:03/02/03 21:22
全てはつきつめていくと整数論になる
345 :
132人目の素数さん:03/02/03 21:31
それはないが数論はむずいこときわまりない
346 :
132人目の素数さん:03/02/03 21:44
代数も解析も幾何も確率論もロジックも数論にとっては道具の一つに過ぎない
つまり数論は厳密には応用であって純粋とは言えない
でも、電波系の人は一人だけじゃなくて「電波どうにかして」って
言ってるわけだ、もちろん「電波」って言葉は明治以降でその前はなんか
他の呼び方もしくは表現の仕方だったろうが。。漏れは電波系じゃないが
電波系が多くなったら「電波」は「在る」ことになりはしないか??
小平邦彦やゲーデルがいうところの「数学的実在」は漏れのようなまったくそういう
ことが理解できない厨には「電波」と同じだ。
っといても数、や図形や演算とか解析の考え方はわかるんだが。。
どこから「電波系」?数学者さ〜ん
(相対的)代数幾何⊃数論幾何⊃数論だろ。
組み合わせ論⊃(相対的)代数幾何⊃数論幾何⊃数論だろ。
数論幾何あたりから電波を感じてくるのれすか?
でも、数論の問題そのものはフェルマー予想のように「wかる」けどね。
素数の考えもわかるが、素数問題はわからんよな。。
デデキントもその連続性についての論考で「幾何」よりも「算術」のほうを
より「基礎的」(実在的??)と考えてる見たいだし。。。
代数学⊃組み合わせ論だろ。
>>339 >トポロジーなんて方法論にすぎない。
>幾何学はすべて代数幾何だろ。
なにいってんだ。
ホモロジー、コホモロジーは
トポロジーからパクったくせに(w
>>342 >>幾何学はすべて代数幾何だろ。
>つきつめていくと数論幾何になる
貴様はクロネッカーか?(w
355 :
?a°?AE?`?μ:03/02/04 09:18
とにかく、数学的プラトニズムが「わかる(実感できる)」ひとは
どこらへんの数学概念が「イデア」にあたることになるのか、教えれ。
「三角形」とかは漏れでもしってるつもりだが。。。
「いや、おまえの「三角形」はたただの影にすぎんぞ!素人め」って言うんでしょ。。
漏れは数学的プラトニズムってピアニストがリストが弾けるみたいな
なにか「活動」が中枢神経レベルで固定化してるのをそう感じてることなん
だろうかと思うが。。電波も脳が勝手に活動してる感じだし。。。
自然数。子供でも分かるでしょ。
>>356 それが一番疑わしい(w
自然数の全体はもっとも身近な「無限」
358 :
W・フェラー:03/02/04 12:00
クロネッカーって?
360 :
?a???AE?`??E^:03/02/04 16:15
数学的プラトニズムにおける「イデア」は例えば「実無限」ということなのか
それとも「ガロア理論」のような構築された理論全体なのか
それとも数学者の「数学的活動」のことなのか?
しかし「それがわかって数学的無能のチミがどうなるっていうの?ねぇ?」といわれたら
逝ってしまうだけだ!!
数学は全て表現論に通じる。
表現論⊇数学
>>360 >数学的プラトニズムにおける「イデア」は
>例えば「実無限」ということなのか
普通はそう考えるけど
>それとも「ガロア理論」のような
>構築された理論全体なのか
この場合「理論」ってどういう意味でいってるかによるけど
字面だけの話なら、形式主義ってことになるよな。
>それとも数学者の「数学的活動」のことなのか?
これはもう全然プラトニズムじゃないよな。
363 :
W・フェラー:03/02/04 17:02
プラトニズムって?
364 :
W・フェラー:03/02/04 17:19
ガロア理論って?
数学は観念論的(プラトニック)世界における実在である。
366 :
W・フェラー:03/02/04 17:21
観念論って?
367 :
?《?o´???_?3?O`:03/02/04 17:26
>>362 「実無限」がイデアか。。これって実際の数学者の活動に役立つの?
「正規部分群」とかはイデアてきじゃないんだ。
「質料」みたいなもんか?数学活動はイデアの発現なの?
と漏れが質問するのは無益か。。。ショボン
368 :
W・フェラー:03/02/04 17:27
イデアって?
スレに時々ノイズが入りますが気にせず続けて下さい。
>これって実際の数学者の活動に役立つの?
数学者の自画自賛による精神高揚効果かな(w
>「正規部分群」とかはイデアてきじゃないんだ。
そりゃそうでしょ。
ブルバキなんて持ち上げられてるけど
あれなんて完全にプラトニズムからの撤退さ。
371 :
W・フェラー:03/02/04 17:30
ノイズって?
372 :
W・フェラー:03/02/04 17:30
ブルバキって?
373 :
W・フェラー:03/02/04 17:33
純粋数学至上主義って?
374 :
132人目の素数さん:03/02/04 17:39
ブルバキ
ブルマをはくこと
375 :
132人目の素数さん:03/02/04 18:07
数学的実在って何?
意味わかんないなー,漏れには.
アダマール、カントール、ゲーデル、ペンローズ、そして小平さん
みんな「数学的イデア」が「感覚」できるんだね。。。
漏れは数が数えられるだけ。。すこし推論できるだけ。。。
たしかに飯高茂がグロタンディェーク流の代数幾何について、エンリケあたりの
超人的直観で「形相」をとらえていた代数幾何から、凡人にもできる代数幾何に
したっていってたな。。。
漏れには全然わからんけど。。
凡人にはイデアは見れないのだ。
377 :
W・フェラー:03/02/04 18:26
ペンローズって?
378 :
W・フェラー:03/02/04 18:27
小平邦彦って?
でも、小平さんのエッセイよむとガロア理論はさっぱりわからなかった
って書いてあったよ。。「数覚」ってわからないこともあるんだ。
凡人もみたいよ数学的イデア。。。
380 :
W・フェラー:03/02/04 18:30
エッセイって?
381 :
W・フェラー:03/02/04 18:31
小平邦彦って?
W・フェラーって?
本読んだだけじゃだめだ!ノートとっても、演習問題解いても
漏れのなかで「数学が活動し始め」なきゃ!
その日は来ない。。。。わーーーーーーーーん。。。
384 :
132人目の素数さん:03/02/05 11:03
解析数論は
貴族? 市民? 賎民?
解析数論 ハーディ・リツルウッドの、素数理論を中心とした奴は市民
ジーゲル、ボンビエリなどの超越数論は は虫類
しかし、超越数論はどうなってるんだ??
386 :
132人目の素数さん:03/02/05 13:56
>>哲学の人はいなくなっちゃったの?
もっと遊ぼうよ
387 :
132人目の素数さん:03/02/05 15:02
c・パースはさ、コント流の学の位階付けでさ
哲学の上に数学をおいたんだけど
彼の「連続性の哲学」よむと、パースのいう哲学って数学で言うところの
LOGIC とTOPOLOGYなんだよね。
なんだよ、数学できんと「哲学」しちゃいけんのか!!
って思った人は手を挙げて。。
388 :
132人目の素数さん:03/02/05 15:10
>>387 > なんだよ、数学できんと「哲学」しちゃいけんのか!!
誰がそんなこと言ったんだよ?
389 :
132人目の素数さん:03/02/05 15:18
誰もいってないよね。言ってない。
そうだ。
そげな発言はよかことなかとですたい。
390 :
132人目の素数さん:03/02/05 15:20
391 :
132人目の素数さん:03/02/05 15:21
数学知らなくても哲学するのは別にかまわないが
数学知らないくせに数学語るな
どっかの誰かさんみたいに
392 :
132人目の素数さん:03/02/05 15:36
数学知らなくて数学語ることは可能か?
単語だけ知ってるということか?
それも数学知ってることならんか?
でもよく知らんと単語も使えないかな。。
でも「微分は煮すぎないように」とか言わないだろうしな
まあ、どうでもいいけど
393 :
132人目の素数さん:03/02/05 15:38
>>391 数学知らないくせに知ってるような顔するな(w
394 :
132人目の素数さん:03/02/05 15:43
そ奴が「数学をしってるかどうか」試すテストを考えましょう
って、そういう提案が厨ですか?
問題出せば
語ってもいいじゃん、別に。
不理解を自覚してれば。
397 :
132人目の素数さん:03/02/05 15:54
ちくしょう! アフィンスキームのせいで、
ゼータファンクションを患っちまったぜ
398 :
□□■盗撮ベストランキング■□□:03/02/05 16:14
399 :
132人目の素数さん:03/02/05 17:01
400 :
132人目の素数さん:03/02/05 17:03
君は「数学を知らないなら、数学を語るべからず」と考えている
そして君は「自分は数学を知らない」と思っている。
したがって君は「自分は数学を語るべきではない」と
考えなくては矛盾する。
似顔絵のこの男↓挙動不審につき、指名手配中
/:::::::::::::::::::::\
/::::::::::::::::::::::::::::::::\
|:::::::::::|_|_|_|_|_|
|_|_ノ∪ \,, ,,/ ヽ
|::( 6 ー─◎─◎ )
|ノ (∵∴∪( o o)∴)
| < ∵ 3 ∵>
/\ └ ___ ノ
.\\U ___ノ\
\\_○○_) ヽ
この男の 通称:マツシン, 本名;松本真吾
マツシンが好きです
あたいの気分を積分して
可測なかんじで、せめて欲しいわ
403 :
132人目の素数さん:03/02/06 01:54
>>393 アインシュタインの十元連立非線形偏微分方程式の厳密解を求めよ.
404 :
132人目の素数さん:03/02/06 08:25
純粋至上主義は、西洋医学。
応用数学も不純数学も包容する立場は、東洋医学。
怪しげな健康法や健康食品に対応するのは何ですか?
プラトニズムは神学
ヒルベルトプログラムは西洋哲学
ゲーデルの不完全性定理は禅の公案
407 :
132人目の素数さん:03/02/06 10:21
純粋な数学やっててもあんまモテナイし
使えないなー。数学なんて所詮道具だよ。
と工学屋がぼやいてみる
408 :
132人目の素数さん:03/02/06 10:55
>>407 > 純粋な数学やっててもあんまモテナイし
> 使えないなー。数学なんて所詮道具だよ。
まったく正しい.その通りだ.
ところでおまえがやってるのは学問か?
409 :
132人目の素数さん:03/02/06 11:16
410 :
132人目の素数さん:03/02/06 11:18
>>409 プッ
やっぱり工学屋さんのジョウクはおもしろいね
腹がよじれそうだ
411 :
132人目の素数さん:03/02/06 12:16
確かに多くの人に役に立つ技術は必ずしもガクモンから
出てくるわけではないが。。
しかし技術を増大させより深化させることはガクモンにはできるはずだ
たとえば「どじょう鍋」は技術だが、タドンからガスになって
より多くの人が狭い場所で鍋をつつけるわけだが
漏れは数学がどじょうとどういう関わりをもてるのか知りたいんだ
どじょうを考えるために数学を。
オレは単純にどじょうが食いたいね
数学?どうでもいいや(w
413 :
132人目の素数さん:03/02/06 13:22
どじょうこそ「純粋数学」の可能性を開く
はずだったのに
残念じゃないか、兄弟?
414 :
132人目の素数さん:03/02/06 15:14
さて、また少しまじめに考えてみよう。
数学とはいわば基礎的な概念(数、図形、演算。。)から
丹念に構築していく物ではないかと
では、ある程度の知力がある人なら、誰でもついていけるはずだ
という人もいるが。それがそうじゃない。。
なぜだ???やはり持続して数学を思考するには「特別に必要」な何かが
あるのではないか?
415 :
132人目の素数さん:03/02/06 16:58
数は数えられるでしょ
四則演算はできるでしょ
でも「変数」がわからないってことあるかもよ
416 :
132人目の素数さん:03/02/06 18:09
>>295は小学校の先生になる前のウィトしか知らない。
哲厨は小学校の先生を辞めた後のヴィトしか知らない。
417 :
132人目の素数さん:03/02/06 18:54
しかし、昔の番号にレスするね
なにかと緒も多よ
数はいつまでも数えてはいられない
でも数は無限だっていう。それを「実無限」というのなら
人間活動が開かれている「機構」もしくは「場」が
イデア的なのではないか??
>>1 おまえ、“純粋数学至上主義”なんて逝ってるけど、純粋数学が何なのか*定義*してみろよ。(w
421 :
132人目の素数さん:03/02/07 09:13
ドュドネの「人間精神の名誉のために 数学讃歌」ってどうですか?古本屋でも見かけないです。
>>421 いわゆるむかしいっぱいあった「現代数学」入門みたいな解説書を
現場(にいた)デュドネが書いたって感じ。
デュドネは日本評論社からでてた「数学、言語、現実(上)」
の最初の論稿がおもしろいよ、すげえ攻撃的で。
しかも編者の注釈がけっこうデュドネの言ってることに批判的で
これがまた面白い。もう昔の話だが.
マクレーンなんかがかいてる「数学基礎論論争(だっけ)」
というシュプリンガーからでてる本もそういう意味で面白いな。。
数論だっていろいろ応用されているよ
424 :
132人目の素数さん:03/02/08 16:38
_______
/ _____彡
/ / __ _|
| /──| /|─| /| / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
(6´  ̄ つ ̄| | 整数論発展のキーはゼータ関数理論の統一!
| ___ | | 古典的ゼータ関数研究者も代数的理論を学び統一的理論の構築を目指すべき!
| /__// < ラングランズ予想の解決を!
/| /\ \__________________________
↑【数学的強者】整数論、代数幾何研究者。ゼータ関数の解析的理論にも精通!
その他の分野の知識も豊富! 現実の数学研究を知り尽くしておりあらゆる数学者から尊敬される!
425 :
132人目の素数さん:03/02/08 16:38
↓【数学的弱者・応用厨】
/ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
| 応用数学以外の数学に予算を出すな!構造改革だ!
| 数学は物理や化学や工学に尽くせ!それが科学だ。純粋数学はお遊び。
彡川川川応●用ミ〜 | お前純粋数学? 大学辞めろ!誰のおかげで現代文明があるんだ。
マンガ頭川川/ \|〜 プゥ〜ン |お前が江戸時代で通用するか?京大数理研は純粋数学の枢軸。税金は払わん。
‖|‖ ◎---◎|〜 クサイ / 純粋数学は金と頭の無駄遣い。人類に純粋数学は不要。
川川‖ 3 ヽ〜 < 俺の学歴を悪くした理学部数学科ツブレロ!純粋数学者は蛆虫。
川川 ∴)д(∴)〜 \ 物理はイイー。化学も全てイイ。田中耕一タンハァハァ
川川 〜 /〜 カタカタカタ \工学万歳!工学系科目の義務教育化!純粋数学志望者は氏ね。
川川‖ 〜 /‖ _____ |応用!応用!一秒でも多く物理数学を研究するぞ!
川川川川___/‖ | | ̄ ̄\ \ \世界の純粋数学を潰せ!応用数学こそ数学だ!願・応用数学科!
/ コウガク \__| 低収入 | ̄ ̄| \_____________________
/ \__ブツリ |2ch専用 |__| ↑自分の立場に納得できず純粋数学崩壊を望んでいる。
| \ 童貞 |つ |__|__/ / (その心は、高学歴、純粋な学問、高度の知的活動への嫉妬。
/ アホ ̄ ̄ | ̄ ̄ ̄ ̄| 〔 ̄ ̄〕 世界的雑誌には絶対論文を投稿しない。親は学生運動経験者。
思考狭窄・停止!「構造改革」云々の話で切り出し応用至上主義など狭窄な価値観を押し付ける。それを否定すれば、
ヒステリックに反応し「予算の無駄遣い」「現代文明の敵」云々のレッテルを貼る。さらに「キチガイ」「電波」「蛆虫」「タワケ」
「猿」「同和」など悪口雑言を吐き捨てる。 カルト宗教のごとく純粋数学を憎んでいる。
426 :
132人目の素数さん:03/02/08 16:40
↓【数学的弱者・哲厨】
(⌒⌒⌒) / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
|||ドッカーン! | 物理の真似して実在論を主張するな!虚構主義だ!
_____ | 哲学に従え!それが真理だ!プラトニズムは新興宗教。
/::::::::::::::::::::::::::\〜プーン. | お前宗教家?集合論の歴史を勉強しろ!誰のおかげで現代数学があるんだ!
/::::::::::::::::::::松●真:::\〜プーン | それが数学界の外で通用するか?
|マンガ頭;;;|_|_|_|_|〜プーン.. | 数学的実在は虚妄!数学に実在は不要。プラトニストをヤッツケロ!
|;;;;;;;;;;ノ∪ \,) ,,/ ヽ〜 | 俺の就職先を悪くした現代数学は虚妄!無価値!
|::( 6∪ ー─◎─◎ )〜 | ウィトゲンシュタインはイイ!哲学は全て正しい、言語の指示対象の実在性ゼロ!
|ノ (∵∴ ( o o)∴)〜 .| 哲学マンセー!1億哲学義務化!数学を無視しろ!プラトニストはシネ!
| ∪< ∵∵ 3 ∵> ムッキー! < 分析哲学だ!ポストモダンだ!明日にも数学の価値が潰れるぞ!知的テロだ!
\ ⌒ ノ______ | 数学に戦争を起こせ!戦争こそ平和だ!氏ね氏ねぇ〜!
\_____/ | | ̄ ̄\ \ \________________________
___/テツガク ウィト\ .| 低収入 | ̄ ̄| ↑自分の立場に納得できず数学的実在の瓦解を望んでいる。
|:::::::/ \___ \| 2ch専用 .|__| (その心は、科学的真理、純粋な学問、高度の知的活動への嫉妬。
|:::::::| \____|⊃⊂|__|__/ / 世界的哲学誌には絶対投稿しない。親は学生運動経験者。
|:::::/ アホ 童貞 | ̄ ̄ ̄ ̄| 〔 ̄ ̄〕 彼女いない歴=年齢、失うものは何もない。)
年齢の割に人生経験が乏しい!会話が糞で女が忌避する!
現実の数学研究を知らない糞人間の末路!その哲学信仰はもはやカルトとしか言い様がない!
427 :
132人目の素数さん:03/02/08 16:54
松●真
数学って全部四則計算で説明できるんですか?
429 :
132人目の素数さん:03/02/09 07:57
松真ってなんで、バカなの?
430 :
132人目の素数さん:03/02/09 08:14
しかし高山はなんだかんだ言ってみんなに相手してもらえて幸せなのかもな.
431 :
132人目の素数さん:03/02/09 14:13
数学はその本質は道楽だ。実用性云々は工学者とか物理学者にでも
まかせておけばよい。囲碁や将棋と同様に、ルールを守って
どこまでいけるかであって、それが戦争のシミュレーションには
無縁のものだというのと同じこと。
432 :
132人目の素数さん:03/02/09 14:17
>>431 それを言ったら数学者のポスト減らされちゃうの
だから「それは言わないや・く・そ・く」
>>433 ポストはゼロでいい。
タダ飯区食うな。乞食ども
_______
/ _____彡
/ / __ _|
| /──| /|─| /| / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
(6´  ̄ つ ̄| | 整数論発展のキーはゼータ関数理論の統一!
| ___ | | 古典的ゼータ関数研究者も代数的理論を学び統一的理論の構築を目指すべき!
| /__// < ラングランズ予想の解決を!
/| /\ \__________________________
↑【数学乞食】数学以外の知識は皆無。音痴、運動神経無し、童貞、
そんでもって博士論文も書けずに、助手をクビ。現在予備校教師。
435 :
132人目の素数さん:03/02/09 15:21
数学は論理ですべて説明できるのかな?
437 :
132人目の素数さん:03/02/09 18:47
高次元ラングランズ予想はどうなってる?
440 :
132人目の素数さん:03/02/12 01:14
あなたはどうおもいます?
まじレス?
オレは素人だから分からない。
442 :
132人目の素数さん:03/02/12 01:22
数学やってる人に素人も玄人もありませんよ?
って、発言キレイすぎか・・・
443 :
132人目の素数さん:03/02/16 00:29
生物は、純粋な化学物質ではないグチャ混ぜの混合体だから、不純であり、
化学でまじめに考察するにはあたらない何物かであるにすぎない。
純粋数学のみが数学と呼ぶにふさわしいものであり、それ以外は数学の
軒をかりて看板を数学と掲げている寄生者に過ぎない。
444ゲト (^-^)v
整数論以外はみんな駄目だろ。
447 :
132人目の素数さん:03/02/18 00:51
数学基礎論こそが、純粋数学の至高であることは論をまたないであらう。
数学基礎論は数学ではない。
449 :
聖帝サウザー:03/02/18 07:43
伊藤のレンマこそ究極の定理です
他は不要です
1
遠アーベル幾何の最近の進展はどうだろうか?
451 :
132人目の素数さん:03/02/19 14:36
当数学板の人気者(?)の藤原正彦の
名著「若き数学者のアメリカ」より
…日本にいては,いろいろの意味でやりにくい研究というものがあって,
そういうことをするためには外国に一人でいることは実に快適だった.
とかく研究の動機,正当性,必然性とか研究対象の哲学的価値といった
七面倒なことを問題にしたがる者の多い日本から遠く離れて,アメリカ
人のように,自分の出来る範囲の研究をただ,無邪気にする,というこ
とは初めての経験であり,精神衛生上すこぶる良かった.…
>>451 純粋かどうかが、「ただやりたいかどうか」なら、
代数が純粋で、解析が不純とかいうのはおかしいよな。
そんなことなら「数学者ってカッコイイから」とかいう
理由で研究する奴の数学は、全く不純だよな(笑)
高山について,うちの研究室のボスに話を聞いたんだが,
「高山さんは私の論文を引用しています.コンピュータサイエンスの業績を理解しない人ではありませんよ.」
とのことだった.
彼の貴族だの賎民だのという話はまったくいただけないが,悪いやつではないようだ.
あんまり叩かないことにしたよ.
>>453 ボスが善人だといったから、善人ってことか?(笑)
てゆーか、善悪の問題じゃないだろ。
その程度の認識しかない奴が厨。
455 :
132人目の素数さん:03/02/23 11:26
高山みたいにスキーム流代数幾何に
あこがれてるだけの数学くずれの計算機屋が
数学科の教員になってること自体で、
立命館のレヴェルが知れる
456 :
132人目の素数さん:03/02/23 11:31
高山先生の実力如何はともかく、この人より惨めな人生の人は多そうだ。
おれ?おれも人のことなんて言えねえよ。
数学者としてはさておき、高山氏の人生のどこが惨めなの?
強いていえば「貴族数学」コンプレックスだろうけど、
自らネタにして笑い飛ばしてる位だし。
459 :
132人目の素数さん:03/02/23 13:52
>>434 ラングランズ予想はラフォルグが解決したじゃん
複雑系マンセー
ラフォルグが解決したのは,本来のラングランズ予想のいとこみたいなやつ.
>>461 なるほど、それじゃ梅宮アンナと梅宮万沙子くらい違うな。
ちなみに漏れの好みは後者。
463 :
132人目の素数さん:03/03/04 13:05
立命館ってなんかぬるそう
464 :
132人目の素数さん:03/03/04 14:30
高山みたいな素人っぽいやつが大学教授つとまるんなら,
オレでもつとまるよ
465 :
132人目の素数さん:03/03/04 18:32
# 高山の日記より
数学者集団というのは『まとも結社』みたいなところがあって、自分が
『まとも』だと思っている数学者達がひとりの人を「まとも」かどうか判
定し、『まとも結社』の仲間に入れるかどうかを決定する。では一番最
初の「まとも」は誰なのかというと、それはユークリッドでもアルキメデ
スでも関孝和でもなくてガウスなのだという説を聞いたことがある。さ
て、めでたく『まとも結社』への仲間入りを果たすと、例えば一時間の
講演などをやらせてもらえて、そこでは自分が証明したと主張する定
理を証明ぬき(!)で延々と説明することが許されるという具合である。
講演の聴講者は割合「そんなものか」と信じて証明抜きの話を聞いて
いるようである。少なくとも私はそうやって聞いている。
しかし、例えば証明抜き講演で聞いた定理を自分の仕事で実際に使
うとなると、証明がちゃんと書かれた論文を取り寄せてしゃかりきにな
ってチェックしたりするものだ。自分でチェックしてみると、大抵の場合
証明が正しいことがわかる。しかし、そこでトンデモナイ証明ミスが見
つかったり、証明のミスが重なると『まとも結社』から追放される可能
性も十分考えられる。その場合、最初にその人を「まとも」と判定した
人の責任問題なんて出てこないのかしら。責任とって数学者やめま
す!なんてね。まだそんな話は聞いたことがないけど。一方、「あの
数学者は、証明は嘘ばかり書いているけど、よくよく考えてみると正
しい証明が見つかり定理自体はいつも正しい」ということになると、追
放どころか「深い洞察力を持った優れた数学者」としてかえって尊敬
されたりする。数学者の中でも貴族中の貴族クラスになると、自分は
ただ正しい定理をどんどん発見するだけで、それらをいちいち証明す
るなんて下品な事のは下々の人間がやればよろしい、なんて調子だ
ったりするらしい。
# いわんとするところはよくわかる
466 :
132人目の素数さん:03/03/04 20:32
>>465をみて思ったんですが
「深い洞察力とは何か」
「証明することなく正しい定理を見つけ出せる能力は存在するのか」
って問題に対する解答は存在するのでしょうか?
467 :
132人目の素数さん:03/03/04 20:46
ハーディ主義
・・・役に立たないけど美しい、そんな数学。
G.H.ハーディ(ラマヌジャンの師)
468 :
132人目の素数さん:
>>466 > 「証明することなく正しい定理を見つけ出せる能力は存在するのか」
例えば Thurston なんかがそうなんじゃない