数学基礎論・数理論理学　その12

1 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 09:46:09.53 ] 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、 19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。 現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、 多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。 （「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。） 応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、 英米系哲学の一部などを含み、多岐にわたります。 （数学セミナー98年6月号、「数学基礎論の学び方」 ttp://www.math.tohoku.ac.jp/~tanaka/intro.html 或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照） 従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。 他のスレで御質問なさるようにお願いします。 前スレ 数学基礎論・数理論理学　その11 uni.2ch.net/test/read.cgi/math/1325513069/ 11 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 18:17:07.08 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 12 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 18:17:56.00 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 13 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 18:51:27.61 ] そういえば Sanders の発表スライドで 「フチノ・センセイに評価されています」みたいなアピールが入っていたけど、 フチノ・センセイはトンデモ理論にまんまと騙されたってこと？ 14 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 19:11:00.88 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 15 名前：１３２人目の素数さん [2012/03/24(土) 19:48:49.73 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 16 名前：１３２人目の素数さん mailto:sage [2012/03/24(土) 23:34:04.28 ] ＞>>885のリンク先見てみましたが、 ＞どこかで聞きかじった断片的な知識を組み合わせて独自理論を打ち立ていて ＞とってもクリエイティブな講演ですね。 ＞構成的数学では εo 番目の Hardy function H_{\varepsilon_0} を越えられない、 ＞とか書いてあるけど、CZF なんかでは H_{\varepsilon_0} を越えられるし。 ＞構成的数学＝ハイティング算術、という前提で誰かが言っていたのを ＞ろくに理解しないまま断片的にだけ受け売りしたんでしょうね。 サンダースの小犬のグループには江口さんっていう Hardy 階層とか 証明可能再帰関数の理論の専門家がいらっしゃるのに不思議ですね。 こういう間違いを見落とすとは思えないんですが。 17 名前：１３２人目の素数さん mailto:age [2012/03/25(日) 04:32:24.52 ] >>16 そこら辺は、出来の悪い連中同士がつるんで お互いに「優秀優秀」言い合っているようにしか見えないな 18 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 06:36:39.08 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 19 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 08:59:19.43 ] >>F先生の云々 よーわからんが　この話か？ ?ttp://kurt.scitec.kobe-u.ac.jp/~fuchino/foundation.html 人違いだとまずいだろうから確認 20 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 11:01:04.06 ] 前スレ 966 は某TH大逆数学派のものと思われる。 逆数学というだけでも、まあ、なのだが、それが直観主義論理上のもの の逆数学って何？って感じだね。 21 名前：１３２人目の素数さん [2012/03/25(日) 11:18:45.16 ] すいません、 計算量関係で出てくるtruly fasibleってどういう意味でしょうか？ その方面の書籍にあたっても出てこないので... 22 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 11:26:38.73 ] Truly feasible。 ググっても正確な定義が今一出てきませんね。 23 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 18:58:35.78 ] Elliott Mendelson Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications) 数理論理学はじめの一冊に最適。 古典論理の初等的定理がかなり詳細に掲載されている。 ゲーデルの第二不完全性定理の可導条件は省略されているものの、 ゲーデル数化の方針は十分に示されいる。 公理的集合論はZFCではなくNBGを採用しており異色である。 24 名前：１３２人目の素数さん mailto:age [2012/03/25(日) 20:33:05.68 ] >>20 だとすると、グループの仲間の研究のオリジナリティを否定するカキコミだが、 あそこは内紛でも起きているのか？ 25 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 21:00:58.12 ] >>24 S. Sanders はただのバカだろう．どこでもおバカが職につくことがあるって ことだね．定職ではなさそうだが． 26 名前：１３２人目の素数さん mailto:age [2012/03/25(日) 22:34:02.55 ] >>23 NBGってBGとかGBとか色々な表記を見るけれど、 この3人それぞれの貢献ってどうなっているの？ 27 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 22:34:37.81 ] 集合論の代替を自称するメレオロジーは 実は普通の述語論理・集合論と変わらない、トンデモ研究。 28 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 22:36:20.88 ] >>25 そのただのバカにまんまと乗せられた某F先生 29 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 22:48:47.24 ] >>26 ノイマンが独力で作ったものを かなり後になってベルナイスとゲーデルとロビンソンが簡易化したと言われている。 30 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 22:50:05.43 ] んだら NBGR というべきだな、ロビンソン皮磯酢 31 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 23:13:03.74 ] >>28 サンダース御犬と仲いいことアピッてるバカは他にもいるぜ。 twitter.com/georg_logic/statuses/175508453345857536 フチノは「評価している」ことに御犬に勝手にされただけかも知れないが こいつは自分でアピッってやがるｗ 32 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 23:25:10.23 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 33 名前：１３２人目の素数さん [2012/03/25(日) 23:47:30.92 ] 10.11.6_01/15　リチャード・コシミズ｢日本らしい日本を取り戻そう！..｣ 34 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 23:48:33.80 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 35 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 23:50:23.54 ] >>31が勝手にアピールだと解釈しているだけだと思う 36 名前：１３２人目の素数さん [2012/03/25(日) 23:51:06.89 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 37 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 23:57:39.80 ] >>35 本人乙 38 名前：１３２人目の素数さん mailto:sage [2012/03/25(日) 23:58:09.68 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 39 名前：１３２人目の素数さん [2012/03/26(月) 00:21:18.16 ] >>24 数学の講演には、オリジナルの結果の披露ではなくその分野のサーベイの講演というのも多くあります。 ですから「この講演にはオリジナルの結果はありません」という台詞を、 その台詞だけから「内紛」と解釈しているのならば、認識が違うのではないかと思います。 もしも、その講演の場（査読付き研究会なのか、単なるセミナーなのか、等）を知っていて、 講演内容も理解した上で「内紛」と解釈されているのならば結構なのですが。 40 名前：１３２人目の素数さん [2012/03/26(月) 00:27:14.55 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 41 名前：１３２人目の素数さん [2012/03/26(月) 00:27:50.14 ] 39、補足です。 かくいう私も、問題になっている講演の場も講演内容も知らないので、 あくまで一般的な意見ですが。 42 名前：１３２人目の素数さん [2012/03/26(月) 00:33:06.69 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 43 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 00:47:46.14 ] >>39 講演内容は、構成的逆数学と超準解析の比較で、 これは話題のSanders御犬が最近「研究していると主張している」研究テーマ。 （研究の名に値するレベルかどうかは議論があると思われるので括弧つけとく。） もしこの研究テーマがオリジナルでないと主張しているのだとすると、 最近のSanders御犬の研究が全否定されてしまう。 44 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 01:22:52.35 ] 内紛ってか、TH大のそのグループ内でも、胡散臭く思われてるってだけだろ。 そういうのを内紛なんて言わないだろ、普通。 45 名前：１３２人目の素数さん [2012/03/26(月) 08:30:55.82 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 46 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 08:31:00.89 ] 何にしても講演中に誤りを指摘されても、修正もせず平然と公開している ３ダースの子犬に問題がある、ということに変わりはないね。 47 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 09:34:27.39 ] ?ttp://cage.ugent.be/~sasander/papers/JSL3.pdf 講演じゃない論文のほうで再評価希望 結構面白いとおもいます（３ダースファンクラブ　キリッ） 48 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 18:34:28.85 ] 36はトンデモじゃないよ 講演内容もしっかりしてるし 49 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 20:31:13.93 ] >>48 先生の名前で遊ばないでください 確かに３６＝３x12ですがせめて一対一対応でないと （Sam 3ders顕彰会　キリッ^２） 50 名前：１３２人目の素数さん mailto:sage [2012/03/26(月) 23:30:53.19 ] どうせトンデモするなら ここまではじけないと。 www.journalarchive.jst.go.jp/jnlpdf.php?cdjournal=kisoron1954&cdvol=31&noissue=1-2&startpage=9&lang=ja&from=jnltoc 51 名前：１３２人目の素数さん mailto:sage [2012/03/27(火) 04:00:51.93 ] >>47 講演より論文が重要つったって、講演であんな滅茶苦茶な奴の論文なんて誰も読まんだろ 52 名前：１３２人目の素数さん mailto:sage [2012/03/27(火) 06:03:37.47 ] 何の為にトンデモ愛好者を税金に養っていると思っているんだい？ 53 名前：１３２人目の素数さん mailto:sage [2012/03/27(火) 07:28:51.24 ] >>17が言ってるつるんでいる連中の一員が48だなｗ 54 名前：１３２人目の素数さん mailto:sage [2012/03/27(火) 08:20:09.74 ] >>51 幾らなんでも、JSL の査読はザルではないと信じたい。 時々「どうしてこんなのが！」という論文でも載っているけどな。 それにその論文は、36匹の仔犬が学生だった頃の論文だから、 きっと指導教官の Weiermann がチェックしていて間違いはない筈。 問題があるのは Weiermann のチェックが入っていないであろう博士取得後の講演資料。 55 名前：１３２人目の素数さん mailto:sage [2012/03/27(火) 08:23:36.80 ] >>52 ウリも税金で養われる身になってから議論しなおしませうと思うニダ >>51 その論文がサーベイ程度でオリジナリティ少なすぎワロタ といってほしかったんですがorz >>50 Definition::（トンデモ＋インチキ）/２＝＝＞【トンチキ(or デモイン)】 Example:: ph.Y.Nakayamas'「四次元メレオロジー」 is so "デモイン” >>53 4ダースのカキコ欲嫁 以上　（財）S_砂ersism普及教会　広報委員　IDじんせいやまんなか　敬白　 56 名前：１３２人目の素数さん [2012/03/27(火) 17:01:00.54 ] テレビで 女性に人気の とか言っているのを見て真に受けて買い求めに走る女とか見てると　テレビっ言う宗教の信者なのかと思ってしまう やらせA 就活中 (p)livedoor.blogimg.jp/jin115/imgs/3/1/31a6f8e6.jpg やらせB 就職後 (p)livedoor.blogimg.jp/jin115/imgs/2/b/2b790359.jpg 世論調査もこんな感じで捏造してます いい加減、目覚めなさい 日本という国は、そういう特権階級の人たちが、楽しく、幸せに暮らせるように、 あなたたち凡人が、安い給料で働き、高い税金を払うことで、成り立っているんです。 そういう特権階級の人たちが、あなたたちに何を望んでいるか知ってる？ 今のままずーっと愚かでいてくれればいいの。　 世の中のしくみや、不公平なんかに気づかず、 テレビや漫画でもぼーっと見て何も考えず、会社に入ったら、上司の言うことを大人しく聞いて、 戦争が始まったら、真っ先に危険な所に行って戦ってくれればいいの。 57 名前：１３２人目の素数さん mailto:sage [2012/03/27(火) 17:05:08.22 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 58 名前：１３２人目の素数さん mailto:sage [2012/03/28(水) 07:47:12.22 ] >>47 サーベイ程度でオリジナリティ少なすぎワロタ 59 名前：１３２人目の素数さん mailto:sage [2012/03/28(水) 08:49:34.02 ] >>58 ご協力有難うございます （財）S_砂ersism普及教会　広報委員　IDじんせいやまんなか なお当財団は現在　法人格審査局より非公式な差し止め指導を 賜り絶賛係争中でありますので寄附はご遠慮ください 詳細は以下の法務ページにて ?ttp://www.templeton.org/ 60 名前：１３２人目の素数さん mailto:sage [2012/03/28(水) 19:59:45.37 ] なんか4次元メレオロジーがトンデモほざいてる雑魚がいるんで論破しにきましたわｗ 3次元主義はある瞬間における空間上に存在するものがユニットになってて 部分と全体は単位空間内ですべて完結してるって立場、だから時間ってのは定義不可能。 ここで、ホメオスタシス性導入。 人間の全身の細胞は一年ですべて入れ替わるんだけど そのとき、この人間は一年前の人間と同じと言えんのか、って問題な。 ここで一年の期間全体を通した人間を形成する細胞全体を部分として 人間と言われるものが全体とするのが4次元ワーム理論。 その4次元主義の一派が件のPDFの著者や。おぼえときー！ 61 名前：１３２人目の素数さん mailto:sage [2012/03/28(水) 20:39:56.71 ] >>60 4次元主義は良いんだけどさぁ、 メレオロジーって別に集合論として定義してもいいと思うんだけど。 だってプロパークラスの扱いが違うだけじゃん。 62 名前：１３２人目の素数さん mailto:sage [2012/03/28(水) 21:33:31.43 ] オントロジーを使って記述しようとか言ってるバカが 集合論を語る時の集合論は大抵、通俗書レベル。 63 名前：１３２人目の素数さん mailto:sage [2012/03/29(木) 08:52:26.05 ] >オントロジーを使って記述しようとか言ってるバカ オントロジーという言葉の使い方が間違ってるような 64 名前：１３２人目の素数さん mailto:sage [2012/03/29(木) 09:42:34.13 ] >>63 以下６２の翻訳(案) *\\01;phD.Y.Nakayama's 「オントロジーを使って集合を記述云々」 *\\　　is DQN. His 「集合論」 are almost near 「通俗解説書レベル」. *\\02;My dear 5ダース(5x12) *\\　　Are you 「中山厨」? *\\　　Go back to 「鉄スレ」! 以上　文責　Han大人文科学科用務部内スルースキル撲滅運動同好会 つーことじゃなかろうか？　違ってたらごめんなさいm(__汗)m 65 名前：１３２人目の素数さん mailto:sage [2012/03/30(金) 08:30:01.97 ] 哲学系の連中が、数学を分かってないで数学用語使うのを批判するのには大いに賛成だが、 その批判が分かっていないで使ってる哲学用語満載ってのでは同じ穴の狢でしかない。 66 名前：１３２人目の素数さん [2012/03/30(金) 09:32:24.59 ] >>31 変なリンクの貼り方しないでくれ twitter.com/georg_logic/statuses/175508453345857536 67 名前：１３２人目の素数さん [2012/03/30(金) 09:34:15.31 ] Ｆ先生とかフチノとか書いてあるのは渕野昌さんのことね 68 名前：１３２人目の素数さん mailto:sage [2012/03/30(金) 09:48:35.54 ] >>67 大胆だね。 69 名前：１３２人目の素数さん mailto:sage [2012/03/30(金) 10:36:39.91 ] ま、当人も大胆な人だしいいんじゃね。 70 名前：１３２人目の素数さん [2012/03/30(金) 21:21:40.57 ] どう考えてもメレオロジーってのは非古典論理の一種、 もしくは部分集合に関する公理を中心とした集合論の変種なんだけど、 集合を使わずに数学を構成したと主張する方々が少なからずいる。 そういった方々の持つ集合論のイメージは、集合とその要素という関係程度。 集合論の論理式にメタの我々が持つイメージを、 構文論的構造が本来持つ特性だと錯覚している。 だから既存の記号を交換して違う公理を使えば集合論と無関係な世界が構築できたと考えている。 以前このスレで話題になったレシニフスキーやスペンサー・ブラウンはこの類の人物。 71 名前：１３２人目の素数さん mailto:sage [2012/03/30(金) 21:31:17.33 ] >>617 俺の彼氏のフェラチオは気持ちいいが。 72 名前：１３２人目の素数さん mailto:sage [2012/03/30(金) 23:04:29.99 ] レシニェフスキはウカシェヴィチと同じ大学で 同じ学派を構成する同僚として働いてるので 現代論理学の黎明期の学者。 ブルバキ以前、特にヒルベルト以前には集合論は 今のように数学者の常識になっているとは到底言えず、 一部の数学者のみが関心を持つ妙に抽象的な理論だった訳で。 彼らの仕事は、一階論理上のZFのような集合論を 敢えて使わずに数学を構成しましたという仕事じゃない。 個人的にはスペンサー・ブラウンの研究にはあまり価値が無いと思うけど レシニェフスキは優れた論理学者だったと思うけどね。 73 名前：１３２人目の素数さん mailto:sage [2012/03/31(土) 15:54:12.06 ] ＞「『実数上の全域関数』として構成的数学において認められるモノ」 ＞はすべて連続である。 これって 「不連続な関数は、CZFでは全域関数だと証明できない」 ってことだろ。 74 名前：１３２人目の素数さん mailto:sage [2012/03/31(土) 15:57:27.37 ] >>73 ＞「不連続な関数は、CZFでは全域関数だと証明できない」 排中律が成り立たない場合、当然そうなるよな。 75 名前：１３２人目の素数さん mailto:sage [2012/04/01(日) 09:57:47.17 ] (別に四月一日だからってわけじゃないからね) これどうよ ぎりぎりセーフかトンデモか ?ttp://www.math.princeton.edu/~nelson/papers/hm.pdf ちなみに法務頁は ?ttp://www.math.princeton.edu/~nelson/index.html 76 名前：１３２人目の素数さん mailto:sage [2012/04/01(日) 17:31:04.49 ] すまんが、教えてくれ。 ψ→(a∨b∨c)が恒真式であり、ψが充足可能であるようなψは、 ホーン式ではない。 上記命題は恒真命題でしょうか？ 自明に思えますし、可算の範囲で変数の追加によって、 ホーン式にならない事は証明できそうに思いますが、 変数の追加によってホーン式にならないことが ホーン式ではないことにはならない。 逆数学や形式的検証に関わる分野で、上記は よく知られていたりしますか? それとも、物凄く恥ずかしいことを聞いていますか? 77 名前：１３２人目の素数さん mailto:sage [2012/04/02(月) 21:02:49.26 ] やっと書き込めた。 さて、a, b, c が任意変数で ψ→(a∨b∨c) がトートロジーとなるには... ¬ψ∨a∨b∨c ψの標準系は ψ≡p_1∨....∨p_k　（kは自然数） で定義され、 ¬ψ≡¬p_1∧....∧¬p_k であるから、 ¬ψ∨a∨b∨c ≡(¬p_1∧....∧¬p_k)∨a∨b∨c ≡(¬p_1∨a∨b∨c)∧....∧(¬p_k∨a∨b∨c) こいつがトートロジーになるには、p_1 から p_k が a, b, c のいずれかのとき、 つまり、ψ≡p_1∨....∨p_k はホーン節になり得ないわけだ。 ＞逆数学や形式的検証に関わる分野で、上記は ＞よく知られていたりしますか? これは知らないけど 普通は論理プログラミングの分野で出てくる。 78 名前：１３２人目の素数さん mailto:sage [2012/04/03(火) 07:34:22.72 ] メレオロジーや個体計算は位相空間の意味論だよ。 数学というより、むしろ哲学的言語学的な価値がある。 レシニェフスキは確かに集合論のような 非直感的な形式化に疑問を持ち、 唯名論という立場に立って数学を展開したわけだ。 しかしながらメレオロジーも個体計算も 一階述語論理とほとんんど同じとみなしてよいだろう。 79 名前：１３２人目の素数さん mailto:sage [2012/04/03(火) 17:28:52.66 ] CZFって言葉を使えば賢くなったと勘違いする香具師 80 名前：１３２人目の素数さん mailto:sage [2012/04/03(火) 19:11:29.15 ] 論理学は数学・哲学・情報の三分野で研究されてるけど 証明論っぽくない再帰函数論やモデル理論や集合論は 数学科プロパーの研究だし、論理学というよりも数学だと言い切って良いと思う 81 名前：１３２人目の素数さん mailto:sage [2012/04/03(火) 19:44:50.39 ] スレを盛り上げるために 随分前の議論を穿り返してきたか。 82 名前：１３２人目の素数さん mailto:sage [2012/04/03(火) 20:24:10.44 ] >>80 集合論は、論理式を使うし、不完全性定理を解釈するうえでは、一番切実な ところだから論理を研究するものは無視できないはずだが、実際には形式体系 としての集合論でしか理解されていない。これは、新井本ですらそうである。 83 名前：１３２人目の素数さん mailto:sage [2012/04/03(火) 22:45:12.69 ] 今の研究テーマって言えば、 ・いと美しき算術 ・気高き算術 ・最後の算術 だけど、どれも非常にスマートだい。 84 名前：┌∩┐(& ◆EQYxHFCTcMRP [2012/04/03(火) 23:21:30.51 ] ┌∩┐(◣_◢)┌∩┐ Hey!Fucking!!! このスレ、どんどん頭悪くなってね？ Oh！Yes！Fuckin！BabY!!! 85 名前：１３２人目の素数さん mailto:sage [2012/04/04(水) 06:54:19.86 ] >>84 おひさー 86 名前：１３２人目の素数さん mailto:sage [2012/04/04(水) 08:18:41.11 ] 独立性なしに現代の集合論は語れないが、 証明の形式化なしに独立性を論じることはできない。 証明の形式化を必要としている限り、集合論も論理学の一部。 87 名前：１３２人目の素数さん [2012/04/04(水) 09:06:10.30 ] 同時に論理学は集合論の一部でもある、ということですね。 88 名前：１３２人目の素数さん mailto:sage [2012/04/04(水) 09:33:16.89 ] ↑ パチンコと売春の「うんこ日本」で生活する発達障害者 （チビ、ブサ、知的障害）たち ↓ 89 名前：１３２人目の素数さん [2012/04/04(水) 12:31:54.93 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 90 名前：１３２人目の素数さん mailto:sage [2012/04/04(水) 15:00:27.73 ] 証明論的意味論ってなんですか？ 91 名前：１３２人目の素数さん [2012/04/04(水) 21:08:42.06 ] memo: Wolfram Class 1,2: Π^0_2-Complete. Wolfram Class 3: Σ^0_3-Complete. Wolfram Class 4(Chaos) : Triv. 92 名前：１３２人目の素数さん [2012/04/04(水) 21:16:15.95 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 93 名前：１３２人目の素数さん [2012/04/05(木) 11:44:11.87 ] >>90 どこで聞いたの？ 94 名前：１３２人目の素数さん mailto:sage [2012/04/06(金) 23:28:28.79 ] 意味論的証明論ってなんですか？ 95 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 03:15:38.56 ] ZF集合論の公理系について質問させてください。 ttp://en.wikipedia.org/wiki/Zermelo?Fraenkel_set_theory 上記wikipediaによると、ZFの公理のうち、何の仮定もなしに集合の存在を主張するのはAxiom of infinityだけです。 この公理に現れるφが実際に集合であることを保証するために、 既に存在することがわかっている集合wとAxiom schema of specificationを使って φ＝{ u∈w ; u≠u } として集合φを定義しています。 しかし、既に存在することがわかっている集合はAxiom of infinityから出てくるものしかありません。 Axiom of infinityを述べるためにはφが集合であることを知っておく必要があります。 これは循環論法ではないかと思うのですが…。 どうなんでしょうか？ 96 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 03:19:13.88 ] ttp://en.wikipedia.org/wiki/Zermelo-Fraenkel_set_theory 申し訳ありません。正しいURLはこちらです。 97 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 04:31:52.57 ] >>95 「ｘが空集合である」という論理式を定義するのには、集合の存在は不要。 その定義を満たすｘが存在することを示すときに、 何か集合が一つでも存在していないといけないというだけ。 Axiom of infinity は「ｘが空集合である」という論理式を使っているだけ、 そういう集合の存在は仮定してないので循環論法ではない。 98 名前：１３２人目の素数さん [2012/04/07(土) 09:15:35.38 ] すいませんが、 P. Odifreddi, 1989. Classical Recursion Theory と P. Odifreddi, 1999. Classical Recursion Theory, Volume II ってcontents見る限り結構内容が被ってそうなんですが、 両者で被った項目は内容もかぶっているんでしょうか？ （1巻だけ所有しています。） 99 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 09:35:54.45 ] >>76ですが、 よくよく考えて見ると、 a∧b∧c → (a∨b∨c) って、恒真式ですし、aもbもcもホーン節なんで ホーン式なんですよね･･･orz 100 名前：77 mailto:sage [2012/04/07(土) 10:46:47.03 ] 定義によるけど aやbやcが正リテラルなことを仮定して回答しちゃいました。 101 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 11:39:42.50 ] >>97 御回答ありがとうございます。 なるほど言われてみればその通りでした。 Axiom of infinity ∃X[φ∈X∧∀y(y∈X→S(y)∈X)] の φ∈X の部分は ∀u[∀v¬(v∈u)→u∈X] と置き換えられるわけですね。 102 名前：１３２人目の素数さん [2012/04/07(土) 19:09:57.30 ] どうでもいいけど メレオロジーってどーなの？ 103 名前：あのこうちやんは始皇帝だった mailto:shikoutei@chine [2012/04/07(土) 19:24:43.40 ] 　お前たちは、定職に就くのが先決だろがあああああああ！！！！！！！！！！ 　 　ニート・無職の、ゴミ・クズ・カスのクソガキどもがああああああ！！！！！！！！！！！！！！！！！！！！ 104 名前：１３２人目の素数さん [2012/04/07(土) 20:39:29.94 ] なにこいつつまんねー レシュタニフスキの数学が 21世紀には集合論にとって代わるんだろ？ 105 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 21:44:51.60 ] >>86 かのくるるさんをはじめ、集合論者の中にはそういう部分を疎かにしている人多いよね。 「集合論は論理学ではない」とか大きなことを言うのは、基本を抑えてからにしろよと。 106 名前：１３２人目の素数さん mailto:sage [2012/04/07(土) 22:15:21.61 ] >>105 佐藤憲太郎さん？ でも僕は「くるる」さんは，佐藤さんよりはるかに，，，と思うよ！ 107 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 00:37:41.67 ] 佐藤さんってくるるさんに否定的だったの？ 108 名前：１３２人目の素数さん mailto:age [2012/04/08(日) 01:42:13.85 ] >>78 >レシニェフスキは確かに集合論のような >非直感的な形式化に疑問を持ち レシニェフスキは集合論のどういうところが非直感的と主張したのでしょうか？ 109 名前：１３２人目の素数さん [2012/04/08(日) 07:58:32.31 ] ブラウンの研究は意味ないがレシュタニフスキのメレオロジーは 優れているとか良くわかんないな。 211.1.212.79/jalop/japanese/ronbun/2003/saito.pdf レシュタニフスキのメレオロジーも ブラウンの形式の法則も ブール代数もすべて同等の理論だっていうのに。 >>108 集合にエレメントが属するって考え方。 唯名論の方がより自然言語に近いと考えた。 しかしいずれにしろ数学的には同じで クラスの扱いが違うだけ。 クラスの扱いが違う集合論ならURやNFだってそうなのに！ 110 名前：１３２人目の素数さん mailto:sage [2012/04/08(日) 08:35:25.63 ] ZFCが定着した後でそれと同等の体系を提案したって意味はないが、 それ以前に提案してたのなら、色々な経緯でその後ZFCが定着したというだけで、 同等だから意味がないということにはならないと思う。 111 名前：┌∩┐(& ◆yQzN/Kudh5ts mailto:sage [2012/04/08(日) 09:45:26.11 ] ┌∩┐(◣_◢)┌∩┐ Hey!Fucking!!! レシュタニフスキ自体が悪い？NO! レシュタニフスキを発掘したかのようにいう哲学者が悪い！ Fuck!!!!!!!!!

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef