数学基礎論・数理論理学 その15 [転載禁止]©2ch.net at MATH数学基礎論・数理論理学 その15 [転載禁止]©2ch.net - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト2:１３２人目の素数さん 14/11/11 08:39:16.09 979 ：１３２人目の素数さん：2014/11/08(土) 22:17:14.16 カリー化って何のためにするの？その利点は何なの？ 980 ：１３２人目の素数さん：2014/11/09(日) 00:21:57.35 >>979 値が何でもすべてが1変数関数として扱える 981 ：１３２人目の素数さん：2014/11/09(日) 20:29:57.54 >>980 ありがとう。 だけど、すべてが1変数関数として扱えるとなにがいいの？ カリー化することのデメリットはなに？ 3:１３２人目の素数さん 14/11/11 08:40:40.45 926 ：１３２人目の素数さん：2014/10/11(土) 01:39:14.02 ShelahとWoodingとかを考えたときに Shelahがforcingに詳しいと言うのは、恰も、 F1レーサーとマシンメカニシャンではレーサーの方が エンジンの事をよく知っていると言うような話で大変一面的だと思う 972 ：１３２人目の素数さん：2014/11/05(水) 00:54:35.88 >>926 フォーシングのマシンメカニシャンって誰・どういう人たち？ 976 ：１３２人目の素数さん：2014/11/06(木) 18:00:33.78 >>972 横からだがたぶんウディンとかってことじゃ？ 977 ：１３２人目の素数さん：2014/11/06(木) 22:37:51.93 どっちかというと シェラーの方がマシンメカニシャンで ウディンがレーサーじゃないかなあ 978 ：１３２人目の素数さん：2014/11/06(木) 23:04:54.30 どうして？ 独立命題という(ZFC主義者にとっての）ゴミを取り除いていって ZFCからの真理を探そうとするところは気質的にはそうかもね 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch