数学基礎論の質問スレッド

1 名前：1 [04/10/13 18:26:50] 数学基礎論の質問スレッドが、今、無いようなので、新しくたてました。 ほかに質問のある方、どしどしと、質問してみてください。誰かが、教えてくれることもあるでしょう。 さて、私の質問ですが、 『論理学をつくる』という本の、一階述語論理の公理系の例のところに、 公理として、　∀ξ（ξ=ζ）　　　ξ、ζは個体変項をあらわす図式文字 というものがあがっていました。 公理ということは、恒真式なはずなんだけど、それが、なぜ、恒真式なのかが、わからなくて、疑問におもっています。 どなたか、わかる方、お教えください。 671 名前：１３２人目の素数さん mailto:sage [2005/10/12(水) 19:07:04 ] 詳しくは知らん。又聞きだけど。 数十年前には超準解析によって初めて証明された定理もあったのだが、 その後通常の解析学者によって残らず普通に証明されてしまったため、 超準解析はあまりありがたみがないような位置づけになってしまった。 というのが現状じゃなかったっけかな。 672 名前：１３２人目の素数さん [2005/10/12(水) 19:13:26 ] 応用は解析分野がほとんどなんでしょうか？ 673 名前：１３２人目の素数さん [2005/10/12(水) 20:07:47 ] 偏微分が簡単になるってくらいだけど。。。ソフトがあるからいらねー 674 名前：１３２人目の素数さん mailto:sage [2005/10/12(水) 23:26:44 ] 超準解析で証明できることは普通の解析で証明できるからね ただ、論理的に簡単かつ明晰になるので、 新しい定理や証明を発見するときには役に立つ、って感じだったような あとよくFeynman経路積分と超準解析との関係がどうだとか 確率論がどうだとかそこそこあるような 675 名前：１３２人目の素数さん [2005/10/20(木) 00:07:40 ] 超巡回積を勉強したてなので教えてほしいのですが、 例えば、超連続とかって、どういう定義になるのでしょう？ 超冪による超準モデルの中ででもかまいません。 (別な板にも書きましたがあっさりスルーされてしまったので。) 676 名前：１３２人目の素数さん mailto:sage [2005/10/20(木) 12:55:46 ] 定義なら教科書に書いてあるだろ。 ってかマルチは嫌われるよ。 677 名前：１３２人目の素数さん [2005/10/20(木) 19:39:52 ] >>676 どんな教科書ですか？具体的にお願いします。 678 名前：１３２人目の素数さん [2005/10/20(木) 22:01:29 ] age 679 名前：１３２人目の素数さん mailto:sage [2005/10/21(金) 08:02:35 ] >>677 逆に聞くが ＞超巡回積を勉強したてなので 何で勉強したの？ 680 名前：１３２人目の素数さん mailto:sage [2005/10/21(金) 09:35:49 ] はい、すいません。 東京図書。「超冪と超巡回積」です。斉藤先生の。 681 名前：１３２人目の素数さん mailto:sage [2005/10/21(金) 13:55:16 ] ま、国語を勉強する方が先だろ。君の場合。 682 名前：675 [2005/10/22(土) 00:30:56 ] 結構真剣な質問なんですが。 >>676と>>681は別人でしょうか？ >>681は結局知らないのですか。 誰か知っている人いたら、>>675教えてください。 683 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 00:35:07 ] 真剣なときは誤字脱字は禁物とおもわれ。 684 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 00:57:39 ] 十二指腸の壁面に純化した胃石がたまるという疾患についての本 「腸壁と腸純化胃石」なら漏れも読みますた。 685 名前：１３２人目の素数さん [2005/10/22(土) 01:10:28 ] では「超冪と超準解析」です。 脱字はないと思いますが。 686 名前：１３２人目の素数さん [2005/10/22(土) 16:02:09 ] 結局、反応はあっても良い教科書知っている人はいないのでしょうか？ （教科書に書いてあると言われても。どんな本にあるのだか・・・。） 687 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 18:33:37 ] ヒント：その程度の質問で他人に頼るな！！ 　自分でいろいろ乱読しろ！！ 　狂ったように数学を楽しむこと！！！ 688 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 19:25:17 ] > 超巡回積を勉強したてなので教えてほしいのですが、 教科書は Ming Mei 著 Lectures on the Hypercyclic Products がいいでしょうな 689 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 20:16:53 ] >>688 ありがとうございます。 図書館の検索をしてみたのですが見つかりませんでした。 シュプリンガーか何かシリーズものでしょうか？ 690 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 20:43:03 ] もちろん民明書房刊 691 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 20:45:44 ] ていうか「シュプリンガー」って単語を知ってるんなら シュプリンガーの超準解析本くらいはチェックしたんだろうな？ 692 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 20:57:05 ] もしかしたらと思ったけど・・・。 693 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 21:00:22 ] ようするに、ここには何も知らないのに、 教科書嫁とかいう人しかいないという事ですか。 694 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 21:08:53 ] ったく、しゃあねえな Lectures on the Hyper... まではあってるよ SpringerのGTMだ 695 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 21:54:25 ] どうも。 >>687のとおり他人に頼るという態度がいけないのかもしれませんね。 簡単に他人を信用するなということが改めてよく分かりました。 実際にＧＴＭを探してから返答させてもらいます。 696 名前：１３２人目の素数さん mailto:sage [2005/10/22(土) 22:31:07 ] LNMにも超準解析関連の本があるね RobinsonのはElsevierの Studies in logic and the foundations of mathematicsシリーズか 697 名前：１３２人目の素数さん [2005/10/25(火) 16:30:47 ] >何も知らないのに、教科書嫁とかいう人しかいない というか、正確には、 「教科書の題名は馬に食わせるほど知ってるが、 　肝心の中身は１ページだってまともに読めず 　そのくせ、神保町の明倫館あたりでもっとも 　らしい顔して古びた数学書のページ繰って 　喜んでる数学ヲタ」 しかいない。 698 名前：１３２人目の素数さん [2005/10/25(火) 16:35:33 ] 人は先ず歴史・発展史を愛し次に人とその著作を愛し最後に本同士の引用関係を愛する。 699 名前：１３２人目の素数さん mailto:sage [2005/10/25(火) 16:44:16 ] >>693, >>697のような書き込みは単に煽ってるだけだと思っていたが なるほどそうかもしれないと感じつつある。 特定のスレにしか識者がいないような気がする 700 名前：１３２人目の素数さん mailto:age [2005/10/26(水) 00:11:15 ] 無限小解析（ってか超準解析）って言語とかモデルとか 数理論理を援用しまくるけど、 今の解析学が、きちんと形式論理のレールに乗るか？ 今やっている数学を過不足無く形式化出来るか？ という問題がありうると思うんだけどどうよ？ 以前ジョルダンスレで妙に問題になってたのを思い出したんだけど 701 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 00:13:15 ] そんな大げさなことじゃないだろう。 日本語でデービスの超準解析の訳本があって、後は、何に応用するかだから 論文にあたるってことだろ？ そんなの識者じゃなくってもわかんじゃないの？本があんまりないんだから。 702 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 00:29:32 ] >>700 たとえば、竹内 two applicasions of logic to mathmatics とかにあるけど、 集合族を何度もとっていくと大変だなあ。 703 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 00:52:56 ] 識者ってどのレベルの事言ってるのかな 学部以上の知識を持った人はかなり少ないはず 基礎論とか大学でやらないから猶更 704 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 01:06:15 ] >>700 19 世紀末の問題意識だね。 705 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 01:10:26 ] そうか？ ヒルベルトのテーゼとかって結構重視する人も居るけど まあ主流の考えはそうだろうね 706 名前：１３２人目の素数さん [2005/10/26(水) 07:47:19 ] >>700 ＞今の解析学が、きちんと形式論理のレールに乗るか？ 安心しろ。 貴様が知る教養課程程度の解析ならみな形式的に展開できる。 貴様が大学の講義をサボったから知らないだけだ（ｗ 707 名前：１３２人目の素数さん [2005/10/26(水) 07:50:45 ] ＞学部以上の知識を持った人はかなり少ないはず つーか、ε−δすら理解できない奴ばかりだが。 708 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 07:57:16 ] と2ch基礎論関連スレ最強の名物識者がおっしゃっております 709 名前：１３２人目の素数さん [2005/10/26(水) 10:21:30 ] 基礎論とε−δ論法との関係が・・・ っと、基礎付け繋がりかorz 710 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 10:49:41 ] ちょっとﾜﾛｽw 711 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 15:53:14 ] ＞ 基礎論とε−δ論法との関係が・・・ 基礎論抜きで、 「解析学のイロハのイがわかってない」 というもっとも根本的な侮蔑。 712 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 15:58:42 ] 要するにただの煽りですな 713 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 19:58:26 ] >>706 俺（じゃなくて他人の書いてたことそのままだけどなｗ）が言ってるのは、 形式的に「展開出来るか」、じゃなくて「本当に展開出来ているか」ということ ま、確かめようがないけどね 集合論を定義して代数系を定義して位相空間を定義して、実数体を定義して（りゃ ってやれば そら集合論の言語に略記法を加えるだけで一応は形式的に展開できるだろうさ 714 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 22:36:33 ] >>704 ＞>>700 ＞19 世紀末の問題意識だね。 >>706 >>700 ＞＞今の解析学が、きちんと形式論理のレールに乗るか？ ＞ ＞安心しろ。 ＞貴様が知る教養課程程度の解析ならみな形式的に展開できる。 ＞貴様が大学の講義をサボったから知らないだけだ（ｗ 昔どこかでParis Harringtonの定理という言葉を見かけたことがあります。 fnite Ramsey theoremの拡張で、「自然で数学的に興味のあるstatement」（？）、 なのだがtrue but not provable in PAだというのです。私は詳しくないので わからないのですが、それでも今の解析学がきちんと形式論理のレールに乗るか どうかほとんど明らかなのでしょうか？ 　これは反語で述べているのではなく純粋に疑問なのです。どなたかくわしくて説明 してくださる人いましたら、お教えいただけないでしょうか？ （そもそもfnite Ramsey theoremも知らないでこんなこと言うのはDQNなんでしょうか。） 715 名前：１３２人目の素数さん mailto:sage [2005/10/26(水) 23:18:52 ] >>714 > それでも今の解析学がきちんと形式論理のレールに乗るか > どうかほとんど明らかなのでしょうか？ 「それでも」の前後の文が逆接の関係にないのだけど。 なぜそう思うのかがわからない。 716 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 00:33:23 ] レスありがとうございます。私がアホ杉で申し訳ありません。 >>715 ＞「それでも」の前後の文が逆接の関係にないのだけど。 ＞なぜそう思うのかがわからない。 実はとても短絡的な（アホな）思考なのです。ゲーデルの不完全性定理の 証明のときに出てくる決定不能命題というのは何というか 「自分自身が証明できない」みたいなトリッキーな命題なもんですから、 「ああ、そこまで表現できるほど理論が豊かならそうなっちゃうわけね」 みたいに漠然と思っていたのです。そこから短絡的に「じゃあ、普通の数学理論を やってる分にはそんな決定不能命題に出会ったりしないな、たぶん。」などど思って いたら、Paris Harringtonの定理とか言うのが出てきて、 ＞「自然で数学的に興味のあるstatement」（？）、なのだがtrue but not provable in PAだ なんて言うもんですから、急に先ほどの自信がなくなってしまって 「やっぱ普通の数学理論やっててもその理論の中で有用な定理なのに形式的には 決定不能になってる命題がでてきたりしちゃうんだろうか」 と思ってしまったわけです。 こんなアホですけど、どうか見捨てないでくださいまし。 717 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 00:56:14 ] 「やっぱ普通の数学理論やっててもその理論の中で有用な定理なのに 形式的には決定不能になってる命題がでてきたりしちゃうんだろうか」 ? 決定不能命題は定理ではない。 Paris Harringtonの定理はZF上の定理であって、PA上の定理ではないというだけのこと。 718 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 01:41:09 ] 　あ、なるほど。違う意味なのにどちらにも「定理」という言葉を使ってしまっていました。 すいませんでした。 　「Paris Harringtonの定理」と呼ばれているものは、ZF上では定理になっているのなら 素朴な自然数論（標準のモデル？）においては真になるはずですよね。それなのにPA上 では形式的な証明を与えることはできないわけですよね。（PA上では定理ではないので すから。） 　だとするなら、解析学においても素朴に考えれば真なのに、形式的には証明できない 有用な命題があるのではないか、という疑問がわいてきます。しかし>>704 >>706による と、その疑問は払拭されるらしい．．．。簡単なのか？どうなのか？ このように、「Paris Harringtonの定理」と呼ばれているものから、「解析学がきちんと 形式論理のレールに乗るか？」の疑問へいたったのです。 やっぱ、どこか勘違いしてるのかなあ。 719 名前：１３２人目の素数さん [2005/10/27(木) 11:26:34 ] >>714 いっておくが、解析学のステートメントの真偽が決定可能となるような 解析学の形式的理論が存在するとは、いっていないぞ。 あくまで、大学の教養で習うような解析学をカバーする形式的理論が 存在するといったまで。詳しくは逆関数というキーワードで検索すべし 720 名前：１３２人目の素数さん [2005/10/27(木) 11:29:42 ] ＞「やっぱ普通の数学理論やっててもその理論の中で有用な定理なのに ＞　形式的には決定不能になってる命題がでてきたりしちゃうんだろうか」 正しくは 「その理論の中では正しいと考えられるのに 　形式的に証明できない命題があるんだろうか？」 自然数論を含むような理論であれば当然存在する。 それがゲーデルの不完全性定理。 721 名前：１３２人目の素数さん [2005/10/27(木) 11:32:30 ] ＞自然数論を含むような理論 自然数論ではなくて？ 722 名前：１３２人目の素数さん [2005/10/27(木) 11:34:42 ] ぶっちゃけていえば、真と考えられるが ZFCでは証明できない命題は存在する。 ところで ＞「解析学がきちんと形式論理のレールに乗るか？」 という発言は 「解析学は、形式論理学で決定可能か？」 という発言と同じだとは普通思わない。 723 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 11:51:17 ] そうでもない。普通の人は > 安心しろ。 > 貴様が知る教養課程程度の解析ならみな形式的に展開できる。 > 貴様が大学の講義をサボったから知らないだけだ（ｗ などと予断に満ちた基地外煽りを入れる前に どういう意味で「解析の形式的展開」と言っているかを 訊ねるものだ。 724 名前：１３２人目の素数さん [2005/10/27(木) 11:58:22 ] >>723 普通の人は、数学を知らない（ｗ ただ尋ねて答えが返ってくると思うのは馬鹿。 煽りは有用な質問技法。 普通の人は、煽られないと考えない。 725 名前：１３２人目の素数さん [2005/10/27(木) 12:06:52 ] 普通の人甲 「ゲーデルの不完全性定理？なにそれ？」 普通の人乙 「ああ、数学の無矛盾性は数学では証明できない、 　とかいうのだろ？なんか奇妙だよな」 普通の人丙 「それは第二だろ？その前に第一があるんだよ。 　数学の中には真だけど証明できない命題がある 　ってやつ。確か「この命題は証明できない」 　とかいう文章が数学の中で作れるんだろ？」 726 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 12:09:10 ] じゃあ煽らせてもらうが、解析の話をしてるのに > 正しくは > 「その理論の中では正しいと考えられるのに > 　形式的に証明できない命題があるんだろうか？」 > > 自然数論を含むような理論であれば当然存在する。 > それがゲーデルの不完全性定理。 なんて話を持ち出しても意味がないだろ。 727 名前：１３２人目の素数さん [2005/10/27(木) 12:29:15 ] >>726 全くだ。ε−δどころかそもそも開集合、閉集合も知らんのに ＞今やっている数学を過不足無く形式化出来るか？ とか尋ねたって無意味だろ。>>700よ（ｗ 728 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 12:48:17 ] ほらほら、せっかく煽ってやったんだからいつもみたいにオウム返し してないで今回くらいはちゃんと考えてみろ。 まあゲーデルしかネタのない無学なお前さんのためにもう少しヒントを くれてやろう。 解析はお前にはまだちょっと難しいらしいから、複素数体でもいいか。 お前は解析にからんで > 「その理論の中では正しいと考えられるのに > 　形式的に証明できない命題があるんだろうか？」 > > 自然数論を含むような理論であれば当然存在する。 > それがゲーデルの不完全性定理。 なんてことを言うが、じゃあ複素数体の理論はお前さんの言うような、 「自然数論を含むような理論」になるのかね？ 729 名前：１３２人目の素数さん [2005/10/27(木) 14:30:17 ] >>728 もしかして 　解析学 ＝実閉体の理論 複素数体の理論 ＝代数的閉体の理論 だと思ってる？ なら、間違いだよ。 expとかlogとかsinとかcosとかtanとか 知らないなら仕方ないけど（ｗ 730 名前：１３２人目の素数さん [2005/10/27(木) 14:36:14 ] 実閉体や代数的閉体の理論には、微分や積分はない（ｗ 731 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 18:47:38 ] あれは勝手に逆数学の研究者が「解析学」とか名前付けちゃってるだけだね もしかしたら例の「完全証明」よりも罪が重いかも >>718 単に公理が弱かったら証明できないよ、ということで、、 要するにQで証明できない命題があったからって誰も大騒ぎしないのと同じこと あれは、PAで証明できない「具体的な」命題を示した、ということが大事なんじゃないかな >>719 逆函数？逆数学じゃないのか、、？ 732 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 18:51:50 ] >>727 なんで俺を何か別の人と混同してないか？ 俺のレスは713=731でその間のレスは俺のじゃないよ まあマニアックな用語は知らないし、そもそもあまり理解していないかもしれないけど 今の話から分かるようなことじゃないかと 733 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 22:07:37 ] >>729 やっぱりちゃんと考えてもその程度か・・・。 734 名前：１３２人目の素数さん mailto:sage [2005/10/27(木) 22:11:10 ] 自分がわからないから「相手は自分以上にわかってない」という 妄想に逃げ込むいつものパターンだな、ドクトルよ。 735 名前：１３２人目の素数さん mailto:sage [2005/10/28(金) 23:42:08 ] >>734 痛いところを突かれるとすぐ妄想とかいうのは 厨房のワンパターンだな。ドクトルよ 736 名前：１３２人目の素数さん mailto:sage [2005/10/29(土) 11:57:02 ] なんでsageてるの？ 737 名前：１３２人目の素数さん mailto:sage [2005/10/29(土) 16:40:58 ] それはそうと、微積分を持ち込むと自然数論が 自然に入ってしまう気がするがどうか？ 738 名前：１３２人目の素数さん mailto:sage [2005/10/29(土) 22:37:32 ] ってか集合論の使用自体避けられないような いや避けられるのだろうけど、そうすると何か大変 739 名前：１３２人目の素数さん mailto:sage [2005/10/30(日) 12:40:58 ] >>737 なぜですか？ 740 名前：１３２人目の素数さん [2005/10/30(日) 15:28:30 ] >>739 周期関数の存在から自然数の性質を 持ち込めるのではないだろうか？ 741 名前：１３２人目の素数さん mailto:sage [2005/10/30(日) 17:59:15 ] 数列とか級数を使わずに微積分を展開するの？ じゃあTaylor展開とかも無しか 742 名前：１３２人目の素数さん mailto:sage [2005/10/30(日) 18:34:18 ] まず実数をどうやって定義するかだな。 それとも実数なくても微積分できるんだろうか？ 743 名前：１３２人目の素数さん mailto:sage [2005/10/30(日) 19:59:47 ] >>740が言ってるのはそういう話じゃないんじゃない？ 曖昧な言い方してるから俺もはっきりとわからんが。 744 名前：１３２人目の素数さん mailto:sage [2005/10/31(月) 07:31:25 ] >>743 云ってる本人自身曖昧なんじゃないか？ 745 名前：１３２人目の素数さん mailto:sage [2005/10/31(月) 15:02:27 ] まあもうちょっと詳しく言い直してくれることに期待するか 746 名前： [2005/11/03(木) 16:18:15 ] 「数学基礎論」と「数学の哲学」は同じものですか? 747 名前：１３２人目の素数さん [2005/11/03(木) 16:19:40 ] 「数学基礎論」はゴミ。 「数学の哲学」はクズ。 748 名前：746 [2005/11/03(木) 16:29:47 ] >>747 　的確なご回答、ありがとうございます。　 749 名前：１３２人目の素数さん [2005/11/03(木) 17:09:36 ] "Reduction of mathematics to logic" 750 名前：１３２人目の素数さん mailto:sage [2005/11/04(金) 02:05:46 ] 基礎論をロジックと同じ意味で使う人もいれば 違う意味で使う人も居るからね でも数学基礎論は哲学じゃないと思う 751 名前：１３２人目の素数さん mailto:sage [2005/11/04(金) 12:34:47 ] >>745 要するに分からないんだね。 752 名前：１３２人目の素数さん mailto:sage [2005/11/04(金) 13:18:53 ] そう決め付けたら>>740がかわいそうだろ。 753 名前：１３２人目の素数さん mailto:sage [2005/11/04(金) 20:33:58 ] >>740の書いてる意図が分からない、というのがどうかしたか？ そんなに>>740の書いてることを、何の詳しい説明も無しに理解できることが重要なのか？ そもそも元の＞微積分を持ち込むと自然数論が自然に入ってしまう気がする というレスだって曖昧過ぎて是とも非とも言えないような表現なのに 754 名前：１３２人目の素数さん [2005/11/07(月) 15:31:46 ] >>753 わからないならいろいろ考えてみりゃいいじゃん。 要は有理関数しか考えない理論なら完全だとして、 どこまで完全性を維持したまま拡張できるかって ことだろ？ で、740は周期関数があると、その周期をつかって 自然数かどうかの判定をする述語が書けそうなんで 不完全になりそうだと思ってると見た。 755 名前：１３２人目の素数さん [2005/11/08(火) 01:52:32 ] 数学基礎論て大学じゃ習わないんですか？ 756 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 01:54:31 ] 専攻すればいいだけの話だ 757 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 02:33:04 ] 専攻してるヒマはない 758 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 13:45:13 ] >>７５７ 証明してみせろ 759 名前：１３２人目の素数さん [2005/11/08(火) 15:48:07 ] 建前：暇じゃない 本音：面倒くさい 760 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 16:23:13 ] 専攻って、1つかせいぜい2つかしかできないだろ 暇とかいう問題じゃねえよ、なんで基礎論を習うために 専攻まで変えなきゃなんねえんだ 761 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 16:25:29 ] ぢゃ独学しろよ 762 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 16:32:31 ] だから>>756は首吊れってこったな 763 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 16:42:20 ] そもそも基礎論を専攻できる（というより、専攻する ことによって独学以上に何か得られる）大学って そんなにたくさんないんじゃないの。 764 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 17:04:49 ] だから何？ 転学（もしくは海外留学）すればいいだけのこと。馬鹿ぢゃねーの？ 765 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 17:06:08 ] お前アホだろ？ 766 名前：１３２人目の素数さん [2005/11/08(火) 17:19:48 ] >>755 ＞数学基礎論て大学じゃ習わないんですか？ 普通は「大学じゃ教えないんですか？」と書く。 ロジックとかゲーデルの不完全性定理とかは数学科では教えない。 情報科学科とかだと教えてる。まあ、他学科でも聴講できるはずだから それを利用すればいい。別に単位がいらないならモグリでもいいし。 767 名前：１３２人目の素数さん [2005/11/08(火) 17:23:35 ] 情報科学科は大抵、工学部にあるから、論法や真理の基礎を学びたい、 などと思うと思わぬ間違いになるとおもわれるよ。気をつけて！ 768 名前：１３２人目の素数さん [2005/11/08(火) 17:46:13 ] >>767 ＞論法や真理の基礎を学びたい そう思うなら、数学科にいくより工学部にいくほうが妥当。 非標準論理は面白いし役にも立つが数学科の連中はまず 誰も知らないし、そういう研究は「トンデモ」だと思ってる。 769 名前：１３２人目の素数さん [2005/11/08(火) 20:23:39 ] 京大の工学部ではロジックの講義皆無だけど、 どこだったらそういう講義があるの？ 770 名前：１３２人目の素数さん [2005/11/08(火) 20:25:15 ] そんなものは２週間でマスターするシリーズで済ませば？ 771 名前：１３２人目の素数さん mailto:sage [2005/11/08(火) 22:33:05 ] >>769 基礎的なことなら全学共通のでやるんじゃないの？

---

---

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

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