数学の哲学（philosophy of mathematics）

>>873
三元数でも使ってろアホ

>>874
あたま大丈夫？

>>874
病気なの？

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/

なんか詳しそうな人がいるので質問させて下さい。

第二不完全性定理の証明に必要とされる「可導性条件」って本当に証明できるんですか？どの教科書も証明を端折ってるのですが。

工学＝最も基礎的な学問
物理学＝応用工学
数学＝応用物理学
論理学＝応用数学

>>878
http://www.karlin.mff.cuni.cz/~krajicek/smorynski.pdf

>>875 >>876
何言われてるかわからねーの？
所詮は低学歴底辺だな

>>878
「可導性条件」の話は
数学基礎論・数理論理学　その14
http://uni.2ch.net/test/read.cgi/math/1348851752/
へどうぞ
ただし現在みなさんリアル事情で忙しいらしく
レスをもらえないかも
日本語のpdfファイルはあとでさがしてみますが
できれば御自分でGccg1ε検索してください
念のために・・・ウィキペディア（特に日本語版）は避けることを推奨します

Googleを隠語扱いする意味がわからん

もしかしてバカ哲って
1元数、2元数、4元数、8元数しか存在出来ない！

とか妄想しちゃってるんだろうか？

>>884
「○元数」がどういうものだと思ってるの？

非ttp://awabi.2ch.net/test/read.cgi/philo/1355766805/

>>885
知らないのか？

どこかで多元環の話を聞きかじって来たか

とりあえず簡単な群の表現論から勉強し直せよ

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/

今年に入ってから急に湧き出したなw

非アルキメデス的なノルムに対して閉円板の任意の点はすべて中心である。

>892
西田さんってあれですか幾多郎センセの潮来とかいうひと
ですか
湧き出し点が中心云々というのは
すべてじゃなくて　いたるところ（モデル理論の内での
いはば偽加算個＆稠密とでもいいますか）では？

PS 潮来x、イタコ○です誤変換失礼

夏野剛「数学の能力が等しく全員に必要でしょうか。ソフトで計算できる。やりたい奴だけやればいい」
http://engawa.2ch.net/test/read.cgi/poverty/1358498552/l50

>>887
http://uni.2ch.net/test/read.cgi/newsplus/1358586356/
君に朗報。

>>873
規約主事はポアンカレ由来の、
数学がトートロジーであるという主張に疑問を投げかけるもの
様相論理の話はあまり関係がない

>>895
知能が低いって哀れだな
生まれつきゲロブスな女と同じ
生きてる価値なしw

>>897
まだいたのかお前ｗ

>>898
まだ3元数がわかんねーのか？
バカなのか？

役に立たないからやらないだけ
出来ないのとは違う

こういう考察をやったことないアホが規約主義うんぬんとか言い出す

3元数の定義次第
定義に何を要求するか

非可換の作用素だって量子論ですら広く使われてる
たかが積や和で閉じないくらいでビビってんじゃねーよ

そもそも3元数云々なんて誰が言い出したの？
あ、あんただったかｗ

>>903
> ・論理の公理と推論規則は規約によって正しいのか。
> それとも世界の構造に関する事実であるのか。


こういう間抜けなこと言うバカを潰すためだよ

あんたの考える3元数の定義は？

って最初から返されてるでしょ
他人の発言は全て間違ってると決めつけてかかるから一人相撲とるハメになる

>>905
返されてないよ
日本語も読めないのかwwwww

基本的に知能指数ひくいんだなwwww

>896
念のため
規約主事x
規約主義○
の変換ミスもしくは入力ミスでおk？

彼の言う3元数は和や積でも閉じてないのか
algebroid とかlinear categoryか

普通にn元数に期待される性質を仮定する限り
3元数は無いことが証明されている。
一般的にこういうものを考えたいならクリフォード代数というものがあるが
これは3元数とは呼ばない。>>899は数学的に何が言いたいのか分からん。

あと数学の哲学での規約主義って
最初に唱え出したビッグネームはポアンカレだぞ。
>>900はポアンカレはアホだと言いたいのか？

>>910
＞普通にn元数に期待される性質を仮定する限り
＞3元数は無いことが証明されている。


これがもうアウト
その「普通に」に有用性という基準を入れてる

なーーーにが「世界の構造(笑)」だ
wwwww

>>910
アホだろ
お前は誰が言ったかで正しさを決めるのか？
どこの誰が言おうが殆ど間違いだらけ

>>912
ソースは？

要は「3元数」と言ったって何を3元数と呼ぶか決まりは無いんだから
数学者は「私はこういう意味で言葉を使います」と最初に約束するだろって話なんだよ
それをしないからレスが意味不明だと言われているのに

だいたい最初に言葉を定義して使えって>>860あたりで散々言ってたのは誰だ？

>>906
see >>885

>>893
いたるところで良いです。
僕が伝えたいのは
「各人がすべて中心」という世界観なのですから。

>>915
返されて無いだろ
バカか？

>>914
使ってないだろ
俺は3元数の定義を考えろと言ってる
それが不可能である根拠はどこにもないといってる
単に有用性の問題にすぎない

「規約によって」とか言ってるバカはここで死ぬ

>>917
えええ？？

ν速で話題沸騰中の今年の灘中算数入試問題。

灘中学校（1日目） 算数 60分 1月19日実施
http://nokai.jp/kinki/topics/data/nada_mondai.pdf
灘中学校（2日目） 算数 60分 1月20日実施
http://nokai.jp/kinki/topics/data/nada2_mondai.pdf

ちょっとブラックボックス君↑解いてみて。

>>919
3元数の定義聞かれてないぞ？
バカなのか？

相変わらず悪いのは自分以外

>916西田さんへ
>>僕が伝えたいのは
>>「各人がすべて中心」という世界観なのですから。

たぶん言っておられることの意味は（すくなくとも私には）
伝わったと思います　その前提で書きます

─―廣川洋一著―─『ソクラテス以前の哲学者』より――引用始まり―─

　"人間が万物の尺度である。すなわち、
そうあるものどもについては、そうあるということの、
そうあらぬものどもについては、そうあらぬということの（尺度である）。（断片１）"

―――――――――──────────引用終わり────―――

プロタゴラスです
断片しか残されていないのですが
９１６西田さんが伝えたかった世界観は　このあたりが源流のひとつだと
推測できます
こういった世界観で生き死にできれば私も楽だなあと思わないでもない
でも実際は無理なようです
具体例をひとつ
これでは「非因果的ブラックボックス氏の方が絶対に正しい」といった
結論をも（中心テーゼ（複数）として）認めざるをえなくなります
数学の哲学と名乗ってのスレではたぶんペケです

>>923
素朴集合論でとどまるような言説を引用するのは時間の無駄

ねーねー、
なんで公理的集合論をわかってないヤツが数学とか論理とか語り出しちゃうわけ？

位相はまぁ入れなくてもいいとして
公理的集合論に基盤を置かないということは、数学をしないってことなんだよ

数学してる人は「内包」と「分出」の区別なんてしてないよ
実際は

冪集合だろ？
必須なのは

自己言及の擬似問題から妄想垂れ流してるだけwww

>926 名前：非因果的ブラックボックス ◆nyDbrW8/YE さんへ
上手い！座布団８９３枚
ある意味当たってます
ただし当たらない書き込みがほとんどなので悔しいねえ
ちなみに公理的集合論でいま私がのめりこんでいるのは
空集合の除去です

不完全性定理も知らん奴が公理的集合論云々とか言い出すなよｗ
滑稽だから

非因果的ブラックボックス ◆nyDbrW8/YE がんがれ
もう一息でおまの勝ちぞw

彼はいつでも非因果的に勝利する

>>928
知らないのはお前な

非因果さんはプロパー用語を使うけどその内実については言及しないところに特長があるねw

>>932
日本語もまともに使えないのか

×プロパー用語
×特長


鮮人？

な　特長ってくらいだから
みんな君の長所に魅力を感じて
メロメロなのだよ　もう君を嫌う人なんて
このスレでは少数派だぜ
ああ　わんだほー

数学板に三元数スレ立つことになるかと思ってたらグダグダで終わったか

規約主義はある公理系の下で数学が導く結論が規約によって真であると認める立場のことだから、
どのような仕方で用いられるか明示されていない単なる言葉の上での定義とは独立で、なんの矛盾もない。
逆にその点を明示している定義は普通規約と呼ばれているものだ。
なぜブラックボックスが数学上の概念の定義と規約主義を対立的に捉えているのかわからない。

>936
実をいうと三元数にちょっと興味ある
誰か三元数スレたててくれると嬉しいwww

>>923
引用など、ありがとうございました。

>>>939西田さんへ
ご丁寧なrere恐縮です
あくまでわたくしの私見ですので反論などありましたら
ご遠慮なくどうぞなるべくせいいっぱいまともにレス
致すつもりです　かしこ

>>937
俺は考えてない
このバカ>>790が対立すると主張してるから
アホすぎじゃね？と言ってる

世界に関する何らかの事実wwwwwwww
根本的に数学を理解してないなwwwww

ということをまだ理解できない低脳が湧いているようだね？

>>938
なんちゃら元数っつーのは和や積の定義を変えずに閉じた演算を行いたいという有用性の観点から定義されることが多いが
有用性を放棄することも出来る
3元の場合は演算の方を変えれば有用な系が作れる
それは3次元ベクトル解析と呼ばれてるな