5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

エムシラ御大のケンブリッジ講演 8

1 :132人目の素数さん:04/03/06 03:41
論理改革、四色定理の新証明、ベルトランパラドックスの解決等
数学に革命をもたらす成果を続々とfj.sci.math上に発表している
「ネット数学界の巨匠」こと“エムシラ御大”!
sci.mathにも、堂々のデビュー!!!

# 世界の名門 Cambridge大学での講演も間近か?

952 :132人目の素数さん:04/04/16 19:04
今まで閑古鳥だったfjスレが急に臭くなって来たぞ。
エムシラ、sci.mathに続いて2chでも自分のスレから逃亡かよ。とことんチキンだな。

953 :132人目の素数さん:04/04/16 22:01


ワス・・・嫁っこに・・・に、逃げられますたぁ〜!!! (゚д゚)

ワスの口座の預金が・・・あらかた引き出されてたッス!(涙々涙々


         /:::::::::::::::::::::\
       /::::::::::::::::::::::::::::::::\
       |:::::::::::|_|_|_|_|_|
       |_|_ノ∪ \,, ,,/ ヽ
       |::( 6  ー─◎─◎ )
        |ノ  (∵∴∪( o o)∴)
       |   <  ∵   3 ∵>
     /\ └    ___ ノ
       .\\U   ___ノ\
         \\_ _)  ヽ   敬白 マツシン


954 :132人目の素数さん:04/04/16 22:36

「御大スレ」の新スレ↓が立ってるな(w

http://science2.2ch.net/test/read.cgi/math/1082119768/

955 :132人目の素数さん:04/04/16 22:38
今度のエムシラスレ、完全にウンコスレだな(w

956 :132人目の素数さん:04/04/16 23:58
sci.mathの面々もλ代数ぐらい使えよ。
くだらねぇところでエムシラに挙げ足とられちゃって、話が進まねぇじゃんか。

957 ::04/04/17 03:46
「挙げ足をとられた」というよりも「首を刎ねられた」に近いと思われ(w

958 :132人目の素数さん:04/04/17 08:04
>>957
ば〜か。
崖からまっ逆さまに落とされたけど、ちょっと隙をみせちゃったために
裾をつかまれてぶらさがられちゃってんだよ。x=xだのx=yだのぐだぐだ
やってないで、λ式で言うとこうだ、とやればそれでエムシラはいっかん
の終わりだよ。
λ式でどうなるかは教えてやらん。エムシラはここ見てパクるからな。

959 :132人目の素数さん:04/04/17 08:09
>>957
「首を刎ねられた」と言い張りたいなら、逆にエムシラの方から
λ式で表現してやっちゃどうだ?
馬鹿だのアホだの低レベルの罵りでなく、その程度のまともな
話ができるなら「首を刎ねられた」ってのを認めてやってもいいよ(w

960 :132人目の素数さん:04/04/17 11:04
>>958-9
御大、「私と議論したいなら、最低でも何々何々読んでからにしなさい」って5,6冊の洋書あげてて、
その中にH.B.Curryの"Foundations of Mathematical Logic"含まれてなかったっけ?
H.B.Curryが創始者なんだよな>λ計算。 漏れらのほうこそ「もう終わり」じゃんけ・・・。(涙

961 :132人目の素数さん:04/04/17 11:48
以前だれかのエムシラのRLでの論理式の表現はλ式のやきなましに過ぎないと指摘されたとき、
エムシラはλ代数は前世紀の遺物であるみたいなこと言って否定してたじゃん。
エムシラのその他の言動のどれをとってもλ代数を理解しているとは思えん。

理解しているというんなら、RLとの対比でλ代数が間違ってるという議論は
保留にしたままでも、今fj.sci.mathで議論されている内容をλ代数を使った
表現で解説可能ってことだよな。fj.sci.mathでやってみな。
逆に理解していないなら、λ代数での議論はできないってことになるよな。
どうせできるわけないけどな。
万が一それができたら信用してやるよ。


962 :132人目の素数さん :04/04/17 11:57
◆xbepNFP2hw のトリップを付けていた者ですが、旅先から。(そのためトリップが出せない)
久しぶりに M_SHIRAISHI さんの様子を拝見したら、sci.math をお引き払いでしたか。
まあ、fj.sci.math で罵倒三昧の方が気楽でしょう。

たまたま解析概論が手近にあったので読んでみましたが、
問題にされている解説は、微分を導入するところに置かれているのですね。
確かにとまどいがちなところです(直後に「xが独立変数であるときには、上記の dx=△x.
ということは、あまりに作為が過ぎるようであるが…」との注記がある)が、読み進んでいくと、
通常導関数として D(x^n) =n (x^(n-1)) のようにDを用いた式が多用されているなか、ところどころ

d(x^n)
---- =n (x^(n-1))
 dx

みたいな表現が使われていて、この種の式に接しているうちに
「xの関数としてのx」という考え方に自然になじんでいくことを期待しているように思います。

その辺りの配慮が理解できないで「≪錯誤≫」、「≪錯誤≫」とわめき立てるあたり、
変数の扱いが不得手な M_SHIRAISHI さんらしいですね。

963 :132人目の素数さん:04/04/17 12:24
>>961 キタ━━━━(゚∀゚)━━━━!!!!
『御大に「ならば」を言ったら「でないならば」も言っとかないとまともに通じない』の法則

964 :132人目の素数さん:04/04/17 12:39
>>960
Churchがλ計算を考案したんだろ。
その本、今手元にないので調べられないのだけど、λ計算の話あったっけ?
たしかにHaskell B. Curryはλ計算とかカリー化とかのトピックで有名だけどさ。


965 :132人目の素数さん:04/04/17 15:44
>>960
ウソつきはどろぼうの始まり。

ラムダ計算は半世紀以上前にチャーチによって新しい関数の表記法として考えだされたものだ。
従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧になってしまうので、
ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表している。
そういう意味では、ラムダ記法を使えばエムシラに妙なあげあしをとられずにすんだはずだというのは的確な指摘だ。

カリー化というのは多変数の関数が1変数の高階関数として表現できるというもので、
後にカリーによって考案されたからこの名前がついている。
だからカリーがラムダ代数の創始者だという主張はかなり無理がある。
彼がその方面で重要な業績を残していることに異を唱えるつもりはないが。

それにしてもエムシラの論狸学はラムダ代数とは相容れないものではなかったのか?
エムシラの論狸式の独自表記法はラムダ記法の不完全な「車輪の再発明」にすぎない。

エムシラは数学関連の原文による蔵書のコレクションは豊富なようだが、
本棚に飾っておくだけでは数学ができるようにならないことに早く気づくべきだろう。

966 :132人目の素数さん:04/04/17 16:59
>エムシラの論狸学はラムダ代数とは相容れないものではなかったのか?

エムシラ論狸の発想は、たとえて言えば型つきラムダ計算のようなもの。
なんでもかんでも「型」にあてはめないと気がすまないのがエムシラ。
だから不動点作用素に用いられる自己適用のような発想は、
エムシラにはまったく理解できない。
現にゲーデルの不完全性定理の「間違い」として
エムシラが指摘するのは自己適用の箇所。
でもこれが許容できないと再起的定義なんて出来ないんだがな。

967 :132人目の素数さん:04/04/17 17:11
>>966の訂正 ×再起○再帰

>エムシラは数学関連の原文による蔵書のコレクションは豊富なようだが、
>本棚に飾っておくだけでは数学ができるようにならないことに
>早く気づくべきだろう。

小平の「ボクは算数しかできなかった」に、大学院生の口頭試問で
何を質問しても、そのことはどの本の何ページに書いてあるとだけ
いい、何が書いてあるか答えられない学生の話が出てくるね。
この学生ってエムシラそっくりだと思わない?
この学生は試験委員全員一致で落とされたそうだけど、その後
「大数学者ワイヤストラスも試験に落ちたというから自分は失望しない」
と捨て台詞をはいたって。これもまたエムシラそっくり(笑)

968 :132人目の素数さん:04/04/17 17:21
>>962
解析概論で
d(x^n)
---- =n (x^(n-1))
 dx
みたいな表記があるんじゃ
エムシラの反論は無意味だね。
それとも今度は
”d(x^n)という表記は間違ってる”
と言い出すのかな?

969 :132人目の素数さん:04/04/17 19:39
エムシラっていつも出発点はそんなに悪くないんだけどなぁ…。
ちょっと注意力のあるやつならだれでも気づくような
「教育の過程におけるちょっとしたごまかし」に敏感に
反応してそのつまづきの原因を追及しようとする。
これは悪いことどころか、初学者の態度としては
多少は褒めてあげてもいいことかもしれない。
ただ、歩きだす方向が決定的に間違ってるのに、
ガンとしてそれを認められないからタチが悪いね。
もっとも、その追及の動機が論狸学の正当性を
ひけらかすためってのが醜いから褒めてあげるのは
やっぱりダメだな。


970 :132人目の素数さん:04/04/17 19:42
>>968
と、アッフォーがアッフォーなこととも知らずにアッフォーなことを申すていたのでありますた。(藁

971 :132人目の素数さん:04/04/17 19:56
>>966
> >エムシラの論狸学はラムダ代数とは相容れないものではなかったのか?
>
> エムシラ論狸の発想は、たとえて言えば型つきラムダ計算のようなもの。
> なんでもかんでも「型」にあてはめないと気がすまないのがエムシラ。
だとしたら、代数的な議論をあそこまでかたくなに拒絶するのは何故なのだろうか?
理解できないから?
読書量はそこそこあるみたいだからもったいない。
それとも理解したくないから?
ちゃんと勉強すると自分の提唱する理論を自ら否定する羽目に陥るのを無意識に分かっているんだったりして。


972 :132人目の素数さん:04/04/17 20:40
>>971
>だとしたら、代数的な議論をあそこまでかたくなに拒絶するのは何故なのだろうか?

型づけと代数は関係ないよ。
型にあてはめるっていうのは例えば数の型と関数の型を区別するってこと。
エムシラの思考は文字列検索とか文字列の一致判定を除けば
型の分類か機械的な計算しかない。
つまり計算機言語の処理系と同程度の機能しかない(笑

973 :132人目の素数さん:04/04/17 22:26
>>805
>なんとなくおかしいなと思っただけで、
>エムシラ本人にも人にはっきり説明できるような
>何かを掴んでいるわけではない

結局、>>805のアホのアホな予想はまったくはずれたのだが、このアホ、首くくって果てたかな?(藁


974 :132人目の素数さん:04/04/17 22:36
800c7853.0404140722.564a507d@posting.google.com
> 故:高木貞治(博士)とか Cauchy とか(?)は、y=x+c という特殊な場合
> にだけ成り立つ dx=△x という関係を、一般の場合に適用してシマッタ
> ので、「そりゃ〜、不味い」ってのが、他でもない、「このクイズの答」
> なのですよ。 ヽ(^。^)ノ

結局、クイズの怪解ってこれのことれすか?
だとすると>>805の予想は、当たらずとも遠からずって感じじゃないれしょうか。

975 :132人目の素数さん:04/04/17 22:50
>>973
また「一部だけ取り出して引用してわざと曲解する」悪い癖がでちゃったのかな。
その3行に続く部分、特に最後の6行はモロに当たってるみたいだね。
>だからこそクイズということにして
>誰かが答えてくれるのを待っている。
>しかし、そもそもそのおかしいと思ったこと
>自体が勉強不足からくる毎度の勘違いだから、
>だれもエムシラの納得いく答えは出しようがない。
>だから、今後ももし誰かがfj.sci.mathに何か
>書き込みしても、それははずれだといって
>お茶を濁すだけ。


976 :132人目の素数さん:04/04/18 01:24
エムシラの中では+を使って他人を嘲るのがブームなのか?
一応忠告しておくと他人より多く他人を嘲った人間が賢いんじゃないぞ。
賢い人間が他人より多く他人を嘲う機会は多いかもしれないが。
尤も賢い人間は他人に嘲笑してるところ見せたりはしないだろうが。


977 :132人目の素数さん:04/04/18 02:34

 エムシラ著「嘘つきの論狸学」徳間書店w


978 :132人目の素数さん:04/04/18 02:41
>>976
と、笑われた間抜けが負け惜しみを言うとりますた(爆笑

979 :132人目の素数さん:04/04/18 02:50
>>977

エムシラ御大(著)『余の論理学を“論狸学”と誹謗した者の哀れなる末路』オックスフォード大学出版局,2007

980 :132人目の素数さん:04/04/18 04:11
御大って推定45歳以上なのにパソコンの前で>>978とか>>979とか
打ってるんでしょ?ある意味笑えるw

981 :132人目の素数さん:04/04/18 04:28
>>980
寂しい姿ではあるな。

982 :132人目の素数さん:04/04/18 09:23
人の哀れさとは、まさにこのことだな

983 :132人目の素数さん:04/04/18 10:08
>>979
オックスフォード大から出るなら、
その本当然英語でかかれるんでしょ?
論狸学って英語でなんていうの?
いくら英語に(自称)堪能でもそこまでは無理?

984 :132人目の素数さん:04/04/18 11:15
>>979
イオンド大学出版局の誤りじゃな〜い?(プ

985 :132人目の素数さん:04/04/18 14:48
800c7853.0404170539.d811c7c@posting.google.com
> # 「間抜けどうしが傷を舐めあっている」って構図で絵になるな(爆笑
>
> (以下、甚だ愚劣につき、引用は、全部、省略)
>
>
> で、こっち↓のほうはどうなった? 回答に窮したか?(爆笑+嘲笑
>
> http://groups.google.com/groups?hl=ja&lr=&ie=UTF-8&c2coff=1&selm=800c7853.0404150155.75e0c285%40posting.google.com

( ゚∀゚)アハハ八八ノヽノヽノヽノ \ / \ /  \
エムシラ、自分の勘違い&間違いをもとに、
相手の発言を間違ってとってるおかげで、
さらにこんがらがったマヌケな突っ込みをしとる。
ここまでふっきれてれば、みていてすがすがしいものがありますな。
悪いこと言わないか、もう一度スレッドの最初から見直してみなされ。
例えば、全ての数式を上で言われているようなλ記法で表してみるとか。



986 :132人目の素数さん:04/04/18 15:25
>>985
エムシラにはもう相手の言動の角っこをつつくぐらいしか手がないんだろう。

987 :132人目の素数さん:04/04/18 16:05
>>986
それをいうなら
エムシラにはもう自分の馬鹿を理由に
相手のつっこみの馬鹿さを指摘する
特攻戦術しか手が無いんだろ
というべき

988 :132人目の素数さん:04/04/18 16:45
エムシラのsci.mathデビューで今年いっぱいぐらいは遊べると思っていたんだが、
早々と撃退→敗走→撤退となってしまって1スレももたなかったね。

989 :132人目の素数さん:04/04/18 17:39
>>988
ネットで威張るやつって、
実際に面と向かってみれば、
意外に控えめだったりするからな。
あと、日本語だと大口たたくくせに
相手が外国人で英語だとしおらしいやつとか。
エムシラもその類なんだろ。


990 :132人目の素数さん:04/04/18 19:29
おい、マツシン! 今こそfj.sci.mathに「復活」する絶好のチャンスだぞ!!!
この機会にエムシラのやつに一発見舞って積年の屈辱を果たさんかい!!!

行け、行け、マツシン、 Go,go,go!!!!

991 :132人目の素数さん:04/04/18 19:40
>>983
>オックスフォード大から出るなら、
>その本当然英語でかかれるんでしょ?

日本語の本も出してるみたいYo!
http://www.oupjapan.co.jp/index_jp.html

992 :132人目の素数さん:04/04/18 23:01
>>990
エムシラ、最後はマツシンの手で往生したいってことか?(w

993 :132人目の素数さん:04/04/19 00:07
age

994 :132人目の素数さん:04/04/19 00:07
sage

995 :132人目の素数さん:04/04/19 00:08
age

996 :132人目の素数さん:04/04/19 00:08
sage

997 :132人目の素数さん:04/04/19 00:09
age, sage, age, sage って、体操してる香具師がいるな(w

998 :132人目の素数さん:04/04/19 00:10
あげ

999 :132人目の素数さん:04/04/19 00:10
さげ

1000 :132人目の素数さん:04/04/19 00:10
おしまい

1001 :1001:Over 1000 Thread
このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。

373 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.02 2018/11/22 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)