1 名前:132人目の素数さん mailto:sage [03/01/20 16:53] ちょと見ない間に前スレ消えちゃったので新スレ立てます。 基礎論なぜなにスレッド cheese.2ch.net/math/kako/970/970523340.html 基礎論なぜなにスレッド その{φ,{φ}} science.2ch.net/test/read.cgi/math/1014140987/l50 (dat落ち) 数理論理学 基礎 science.2ch.net/test/read.cgi/math/1035210795/l50 フォン・ノイマンVSアラン・チューリング science.2ch.net/test/read.cgi/math/1009039204/l50
738 名前:132人目の素数さん mailto:sage [03/09/11 18:56] >>736 goo の英和にでてるよ!
739 名前:132人目の素数さん mailto:sage [03/09/11 20:14] >>738 やや、ありがォ! ユナリーみたいやね。 ところで、辞書の説明書きの、 (関数で,定義域と値域が同じ集合に含まれているということ) ってのは、合ってるんすか。定義域と値域が同じ集合に含まれて いなかったら、単項じゃないのけ??
740 名前:132人目の素数さん mailto:sage [03/09/11 21:25] >>739 数学ではふつう、1 変数って意味だと思う。unary function, unary predicate とか。辞書無視!
741 名前:辞書 mailto:sage [03/09/13 04:08] ゴルァ!!
742 名前:132人目の素数さん mailto:sage [03/09/20 04:35] 皆さんの集合論の教科書でおすすめのものはどれですか?
743 名前:132人目の素数さん mailto:sage [03/09/20 06:59] >>742 標準的な教科書ならば、Thomas Jechの「Set Theory」と Kenneth Kunenの「Set theory : an introduction to independence proofs」。 Kunenの本の方がコンパクトにまとまっていて読みやすいけど副題の通り 独立性証明への導入がメインでlarge cardinalもdescriptive set theoryも ほとんど扱ってないので、Jechの本と合わせて読むのがいいと思う。
744 名前:132人目の素数さん mailto:sage [03/09/21 01:58] >>742 Kunen や Jech よりも introductory で、しかも安価で手に入りやすいのは、 Levy の Basic Set Theory かな。値段のわりに話題豊富で、最初の一冊として はおすすめ。 www.amazon.co.jp/exec/obidos/ASIN/0486420795/249-7984170-9566721 ちなみに Kunen の本はもう品切れになってる。Jech は事典みたいな本。
745 名前:132人目の素数さん mailto:sage [03/09/22 02:50] ありがとうございます。 ところで、Jech の最近の版と以前のものでは違いがあるのでしょうか?
746 名前:132人目の素数さん mailto:sage [03/09/22 03:23] >>745 分量が大幅に増えてて、構成も一新されてます。別の本といったほうがいいかも しれない。 とりあえず、あの一冊さえあれば、たいていのことは載ってると思って間違い ないです。
747 名前:746 mailto:sage [03/09/22 04:18] >>745 補足。第一版と第二版は、そんなに差はありません。誤植が直ってるのと、 多少増補されてる程度です。最新の第三版で大幅に改訂されました。古本等で 古い版を買われる場合には注意してください。 あと、さらに特化されたトピックに関しては、次のようなモノグラフがあります。 巨大基数全般: A. Kanamori, _The Higher Infinite_, Springer, Springer, 2003. www.amazon.co.jp/exec/obidos/ASIN/3540003843/ 内部モデルと巨大基数: M. Zeman, _Inner Models and Large Cardinals_, de Gruyter, 2002. www.amazon.co.jp/exec/obidos/ASIN/3110163683/ 実数の集合論: T. Bartoszynski & H. Judah, _Set Theory: On the Structure of the Real Line_, A. K. Peters, 1995. www.amazon.co.jp/exec/obidos/ASIN/156881044X/ 記述集合論: A. S. Kechris, _Classical Descriptive Set Theory_, Springer, 1995. www.amazon.co.jp/exec/obidos/ASIN/3540943749/ 基数算術: E. Weitz, et al., _Introduction to Cardinal Arithmetic_, Birkhaeuser, 1999. www.amazon.co.jp/exec/obidos/ASIN/3764361247/
748 名前:132人目の素数さん mailto:sage [03/09/22 18:38] 絶版になってない邦書ではあるでしょうか?
749 名前:132人目の素数さん mailto:sage [03/09/23 02:53] >>748 田中尚夫、『公理的集合論』、培風館、1982年 っていうのが和書では一番いいんだけど、残念ながら品切れ。現在でも手に入るものだと、 倉田令二朗・篠田寿一、『公理論的集合論』、河合文化教育研究所、1996年 www.amazon.co.jp/exec/obidos/ASIN/4879999679/ 難波完爾、『集合論』、サイエンス社、1975年 www.amazon.co.jp/exec/obidos/ASIN/4781901468/ の二点が、独立性証明まで扱ってていいと思います。ただ、倉田・篠田本はすごく 素っ気無いです。難波本は著者の不思議なつぶやきがいっぱいだけど、Boolean valued model をあつかってる貴重な本。
750 名前:132人目の素数さん mailto:sage [03/09/23 15:47] >>742-749 そろそろ、基礎論ってしがらみから逃れてもいいんじゃない? 集合論なぜなにスレッド science.2ch.net/test/read.cgi/math/1064299337/
751 名前:加護天使 ◆j/LLggzims mailto:sage [03/09/24 01:26] >>749 難波本と倉田・篠田本の違いは、 難波本では、述語論理の完全性証明が付いていて、最初からBoolean valued model でやる、 倉田・篠田本では、NBGとのつながりをつけて、Forcing で独立性やったあと、 Boolean valued mode と Forcing のつながりをつけるぐらい。
752 名前:132人目の素数さん mailto:sage [03/09/24 17:35] >>749 ありがとうございます。 田中尚夫の「公理的集合論」は古本屋で 探したんですけど見つからなかった・・・
753 名前:132人目の素数さん mailto:age [03/10/02 07:52] 質問があるんだけど、おれの理解が正しければ、 直観主義の主張は、「存在証明は存在するものの構成法を具体 的に 示すことのみによって行われべきだ」ってことでいい? すると、実数が非可算個あるということの証明はどうすんの? 構成可能=アルゴリズムを作れる実数なんて可算個しかないで しょ?
754 名前:132人目の素数さん mailto:sage [03/10/02 17:50] >>753 君の言うとるのは構成主義で、ちょっかんしゅぎとはちゃうんやない?
755 名前:132人目の素数さん mailto:sage [03/10/02 18:22] >>753 対角線論法が使えるよ
756 名前:132人目の素数さん mailto:sage [03/10/03 08:12] 753じゃないけど便乗〜 つうと、構成主義⊂直観主義、って考えて良いのけ?
757 名前:753 mailto:age [03/10/03 12:39] そうそう、いまいち両者の関係がよく分からない。 1。直観主義をキャッチフレ−ズ風に言うとどんな感じ? 2。構成主義でも対角線論法は問題無く使えると? でも、構成主義の立場だと、非可算個の実数を 実際に作って見せないといけないよね?
758 名前:132人目の素数さん mailto:sage [03/10/03 20:55] >>757 「非可算個の実数を実際に作った」として、 それが本当に非可算個あることはどうやって証明したらいい? あんまり詳しいわけじゃないんだけどちょっと疑問に思ったので聞いてみる。
759 名前:132人目の素数さん mailto:sage [03/10/03 23:02] >>753-757 science.2ch.net/test/read.cgi/math/1061842550/499
760 名前:132人目の素数さん [03/10/04 05:28] ペアノ算術において、いわゆる自己言及文ではなく、 数学的に意味を持つ独立命題が存在するか否かは、 ゲーデル以来長らく基礎論の研究者の関心の的であったが、 1977年にパリスとハーリントンがラムゼイの定理の一変種がそれになることを示した. ラムゼイの定理というのは、いまや組合せ論の定理として有名だが、 そもそもラムゼイはラッセルの下でパラドックスの分類などをやっていた論理学者であり、 彼の定理がここに登場するのも因縁めいた話である. パリス・ハーリントン以降、算術に限らず集合論までこの種の独立命題が次々に発見されている. これって具体的にどういう命題なんですか? 色々検索したけどイマイチ良く分からないんで教えてください。
761 名前:132人目の素数さん [03/10/04 05:37] part1の61にこういう書き込みもありました。 >それから、ついでに言えば、自己言及を使ったゲーデル的な命題以外に >よりナチュラルな意味を持った決定不能命題は発見されているぞ。
762 名前:132人目の素数さん mailto:sage [03/10/04 11:59] ところで、「自己言及を使った独立命題」と、「自己言及文でない 独立命題」って、やっぱ存在価値が違うの? 例えば、前者は存在するが後者は存在しないような系ってのも、 あり得るんすか。
763 名前:132人目の素数さん [03/10/05 09:39] >>760-762 俺も気になる age
764 名前:132人目の素数さん mailto:sage [03/10/05 17:38] >>762 パリス・ハーリントン命題が自然数論では決定不能、という結果は 自然数論の無矛盾性が自然数論では決定不能という結果を用いて おり、ゲーデル不完全性定理と独立ではない。
765 名前:132人目の素数さん mailto:sage [03/10/05 17:45] パリス・ハーリントン命題ってどんな命題ですか?
766 名前:132人目の素数さん mailto:sage [03/10/05 20:03] >>764 「ゲーデル不完全性定理と独立ではない」というのがどういう意味なのか 不明だが、あることが証明可能ではないという証明は、証明図がそのある ことにいたる証明図でないということをいうことになる。当然そのことは 矛盾にいたる証明図がないことを意味するはずである。つまり、無矛盾性 証明ができないといったことと無関係に証明がなされようがない。とくに 議論をする気はないが、だからどうだというのか、あるいは全く異なった 証明のある可能性でもあるのか伺いたい。
767 名前:132人目の素数さん [03/10/05 20:44] 誰か知らないの?
768 名前:132人目の素数さん mailto:sage [03/10/05 21:05] >>766 は無矛盾性の話で、>>764 は「無矛盾性」の話。 パリス・ハーリントンも含め、このあたりの話は日本語で読めるよい本があるので、 図書館で見てくれ。 田中一之 他「数学基礎論講義」日本評論社
769 名前:132人目の素数さん mailto:sage [03/10/06 05:39] science.2ch.net/test/read.cgi/math/1044008972/
770 名前:リンク間違えた mailto:sage [03/10/07 20:16] 真である全ての命題は、背理法を使って証明できる? science.2ch.net/test/read.cgi/math/1043008972/-100
771 名前:132人目の素数さん [03/10/07 20:32] 基礎論の入門書。誰かいいの知ってたら教えてください
772 名前:132人目の素数さん mailto:sage [03/10/08 11:16] >>764 それが決定不能と判定する手続きにゲーデルの不完全性定理が利用されていることと、 命題自体にナチュラルな意味があることとは別の話じゃねー?
773 名前:132人目の素数さん mailto:sage [03/10/08 18:34] >>768 >田中一之 他「数学基礎論講義」日本評論社 この本図書館になかったんですが。 >パリス・ハーリントン これ教えてください。もしかして長くてかけない?それとも本に存在証明はあるけど それにしたがって具体的に構成するのは大変?
774 名前:132人目の素数さん [03/10/08 18:44] 漏れも知りたいぞ 知ってる香具師頼む
775 名前:132人目の素数さん [03/10/08 19:04] >パリス・ハーリントン なぜ証明できないのに正しいてわかるの?説明きぼ〜〜ん。
776 名前:132人目の素数さん mailto:sage [03/10/08 22:20] >>775 普通に証明できることだから。つまり、その証明を自然数論のなかでは できないっていうこと。それは自然数論の無矛盾性命題と同じ。
777 名前:132人目の素数さん [03/10/08 22:26] >>776 だから具体的に教えれよぅ
778 名前:132人目の素数さん mailto:sage [03/10/08 22:43] >>777 無限ラムゼーの定理 可算無限個のノードを持つ完全グラフに対し、 すべてのエッジを赤か青で彩色する。 このとき、ノードの無限部分集合 H が存在し、 H のどの二つのノードも同じ色で塗られている。 Paris-Harrington は上の定理から、証明できます。 だから正しい。
779 名前:132人目の素数さん mailto:sage [03/10/08 22:49] >>778 ありゃ間違えた。 無限ラムゼーでパラメータが 2 の場合しか書いてないや。 エッジ = 2 個のノードから成る部分集合
780 名前:132人目の素数さん [03/10/08 22:51] >>778 して Paris-Harrington とはなんぞや? これを知りたいのだが。
781 名前:132人目の素数さん mailto:sage [03/10/08 23:12] >>780 既出と思うけど、 wwwmath.uni-muenster.de/math/inst/logik/org/staff/weiermann/ParisHarringtonsummary.ps の 2 ページの 2 番目のステートメント (1 番目は有限ラムゼー定理) で f を恒等関数としたものが Paris-Harrington.
782 名前:132人目の素数さん mailto:sage [03/10/09 21:46] なんか本格的なのが、ころがってるね。 これ、この人の論文の前書きみたいだねな。
783 名前:132人目の素数さん mailto:sage [03/10/09 23:33] せめてPDFにしてくれといいたい。
784 名前:132人目の素数さん mailto:sage [03/10/11 03:50] >>781 Weiermannさんだね。この人、たしか日本に来てたね。
785 名前:132人目の素数さん mailto:sage [03/10/20 23:26] おまいら、揃いも揃って、レベル低いな(w #“偽と矛盾の違い”さえ分からんだろ?
786 名前:132人目の素数さん mailto:sage [03/10/22 15:25] 釣りのレベルが 低ければ 釣られたくとも 釣られない こんなアタシに 誰がした
787 名前:132人目の素数さん mailto:sage [03/10/29 01:39] >#“偽と矛盾の違い”さえ分からんだろ? 御大的な違いでつか?現代論理学的なちがいでつか?
788 名前:132人目の素数さん mailto:sage [03/10/29 04:24] 前原スレと論理基礎スレにも同じの貼ってあるよ・・・
789 名前:132人目の素数さん mailto:sage [03/10/30 01:08] >>787 「御大的な違い」ってどーいう意味? 教せーて〜。
790 名前:132人目の素数さん mailto:sage [03/11/02 21:34] >>789 ネット数学者すれでききなさい。
791 名前:132人目の素数さん mailto:sage [03/11/07 00:04] 「ネット数学者スレ」って4つも立ってるYo!
792 名前:↑ mailto:sage [03/11/07 23:47] ネットでは、悪が栄える。
793 名前:132人目の素数さん [03/11/13 01:59] あげなきゃ
794 名前:132人目の素数さん mailto:sage [03/11/13 08:40] A→B science.2ch.net/test/read.cgi/math/1067187614/
795 名前:132人目の素数さん mailto:sage [03/11/27 00:09] トートロジーについてなのです。 ΣU{α}|=β とΣ|= (α→β)は同値であることを示せ という問題なんですが, ΣU{α}|=βとは, Σが空集合でないとき どのように真偽値の代入fを選んでもΣU{α}のすべての論理式を満足するとは, fがΣのすべての論理式を満足し,かつαが真であるときにβが真であること また,定義よりΣU{α}を満足する論理式fが存在しないとき つまりΣを満足する論理式fが存在しなくて,かつαが偽である時, βが真であっても偽であっても,ΣU{α}|=βは成り立つ Σが空集合であるとき どのようにfを選んでもΣU{α}のすべての論理式を満足するとは, αが真であるときであり,fはβを満足,つまりβは真であること また,定義より,ΣU{α}を満足する論理式fが存在しないとき, つまりαが偽であり,βは真でも偽でもよい これらから,αとβの組み合わせが(真,真),(偽,真),(偽,偽)であるとき ΣU{α}|=βが成立する。 (α→β)が真となるαとβの組み合わせも(真,真),(偽,真),(偽,偽)である よって,ΣU{α}|=β とΣ|= (α→β)は同値である, というかんじで考えれたのですが,もっとうまく説明する方法がないかと思案しています。 アドバイスをお願いします。
796 名前:132人目の素数さん mailto:sage [03/11/27 00:20] >>795 常套手段ですが、not(ΣU{α}|=β) と not(Σ|= (α→β)) が 同値であることを示そうとすると議論が簡単になります。
797 名前:132人目の素数さん mailto:sage [03/11/27 00:30] >>796 サンクス・待遇ですね ¬(ΣU{α}|=β) が成立するときは<α,β>=<T,F>の時だけですね ¬(Σ|= (α→β))が成立するときも同じですね ありがとうございました。 やってみます。
798 名前:132人目の素数さん mailto:sage [03/11/28 02:08] >>795 >ΣU{α}|=β とΣ|= (α→β)は同値であることを示せという問題なんですが その問題は ill_posed_problem だったってことが、オマエにも分かる日がやがて来るだろうよ。
799 名前:132人目の素数さん mailto:sage [03/11/28 10:31] >>798 あなたがここで説明しないということは,あなたもよくわかっていないんだなあ。 ということになると思いますが
800 名前:↑ mailto:sage [03/11/28 16:00] 説明するかしないかは、当人の自由だと思うが、どうか?
801 名前:132人目の素数さん mailto:sage [03/11/28 17:24] >>800 説明しないのはわかっていないからだと思うと表明するののも もちろん自由だね。
802 名前:132人目の素数さん mailto:sage [03/11/28 19:56] この「ならば」というものがからむと、ネットの世界では、エムシラの 「ならば」という最強の「ならば」があるわけで、これに勝てるのは現在 ヤマジンとイマイ糞ジジイのみ。マツシンはエムシラの噛ませ犬として 有名。
803 名前:132人目の素数さん mailto:sage [03/11/28 21:27] >>802 こっちの方の説明がほしい
804 名前:132人目の素数さん mailto:sage [03/11/29 23:09] >>801 >説明しないのはわかっていないからだと思うと表明するののも >もちろん自由だね。 自由だが、その表明したことが間違っていたら、どーしょうもないな(w
805 名前:132人目の素数さん mailto:sage [03/11/29 23:11] >>802 >これに勝てるのは現在ヤマジンとイマイ糞ジジイのみ おまえ、甘いな、見方」が(爆笑
806 名前:132人目の素数さん mailto:sage [03/12/01 00:54] ヤマジンは「終わってる」な(w
807 名前:132人目の素数さん mailto:sage [03/12/05 15:51] >>803 エムシラというたーむがでたれすはスルーが吉。
808 名前:132人目の素数さん mailto:sage [03/12/06 08:33] マツシンというたーむがでたれすは飛びつくが大吉。
809 名前:保健衛生局 mailto:sage [03/12/06 15:21] このスレは「エムシラ汚染スレ」と認定されますた。 関係者は直ちに退去してください!
810 名前:加護天使 ◆j/LLggzims mailto:sage [03/12/07 03:30] 友よ、夜明けは近い。
811 名前:132人目の素数さん [03/12/08 05:47] A→B TTT TFF FTT FFT Aエムシラの 「ならば」B TTT TFF FTF FFT なので Aエムシラの 「ならば」B≡(A∧B)∨(¬A∧¬B) まあ、ちょっとした補助記号だな
812 名前:132人目の素数さん [03/12/08 06:49] すいません、タルスキってどのくらい訳されてますか?
813 名前:132人目の素数さん mailto:sage [03/12/08 09:23] {0,{0}ってなんだー}いみわからん
814 名前:132人目の素数さん [03/12/08 12:02] >>811 もうちょっと補足すると、 (A∧B)∨(¬A∧¬B)= (A→B)∧(A←B) ということになり、つまりAとBの同値関係をいっているわけ。 で、実際エムシラに「××ならば、○○だ」というようなことをいうと、 しばしば「ばかもん! □□だとでも言うのか!」という反応がある。 これはエムシラの「ならば」が実際には同値関係のことなので 話が全然通じないことの証拠にもなっている。
815 名前:132人目の素数さん mailto:sage [03/12/08 12:51] >>814 ばっかもん! よの「ならば」が、そちのような軽輩の真理表などで表せる わけがなかろう。
816 名前:132人目の素数さん mailto:sage [03/12/08 13:20] ワス、消毒されますた。 ケツの穴まで。 (^^;) /:::::::::::::::::::::\ /::::::::::::::::::::::::::::::::\ |:::::::::::|_|_|_|_|_| |_|_ノ∪ \,, ,,/ ヽ |::( 6 ー─◎─◎ ) |ノ (∵∴∪( o o)∴) | < ∵ 3 ∵> /\ └ ___ ノ .\\U ___ノ\ \\_ _) ヽ 敬白 マツシン
817 名前:132人目の素数さん mailto:sage [03/12/09 15:34] >>812 『現代哲学基本論文集II』に「真理の意味論的観点と意味論の基礎」が のってるのしか知らんなあ。
818 名前:132人目の素数さん mailto:sage [03/12/09 17:12] >>811 そういう反論は素朴すぎる。大体、直観主義の「ならば」ですら、真理表解釈は 存在しないんだぞ。 >>813 「3」
819 名前:132人目の素数さん mailto:sage [03/12/09 20:20] A→B スレ(science.2ch.net/test/read.cgi/math/1067187614/ )で、 > 真理表を使って > > イ. Aが真でBが真ならば、「AならばB」は真, > ロ. Aが真でBが偽ならば、「AならばB」は偽, > ハ. Aが偽でBが真ならば、「AならばB」は真, > 二. Aが偽でBが偽ならば、「AならばB」は真, > > と(「AならばB」を)「定義」するのは循環論法だ と言ってる椰子がいたけど、どうよ?
820 名前:132人目の素数さん [03/12/10 00:48] >>812 例の「真理概念」論文を訳して単行本として出版しよう、という計画はあった。 でも出版社の事情で立ち消えに……。
821 名前:132人目の素数さん [03/12/10 17:50] >>819 そこには、ふつうの「ならば」とエムシラの「ならば」が混在しているから、 まずはそれらを区別してみないとな。 で、そうやってみればすぐ分かることだが、全然循環していない。 循環しているってのは、エムシラの妄想。
822 名前:↑ mailto:sage [03/12/10 20:11] ではなくて、 オ マ エ の 妄 想
823 名前:保健衛生局 mailto:sage [03/12/10 20:15] 繰り返えす、連絡いたすます!!! このスレは「エムスラ汚染スレ」と認定されますた。 関係者は直つに退去すてください!
824 名前:132人目の素数さん mailto:sage [03/12/10 23:47] >>817 情報ありがとうございます。明日早速当たってみます。
825 名前:132人目の素数さん [03/12/11 00:51] 前原本読んでるけどモデルとか?階述語論理とか まったくわからんからそういうのがよくわかる本すすめてくれ
826 名前:132人目の素数さん mailto:sage [03/12/11 01:26] >>825 モデルの基本的な概念についてもっとやさしい解説が欲しいんだったら、 戸田山和久『論理学をつくる』を読むしかない。 www.amazon.co.jp/exec/obidos/ASIN/4815803900/ それでもわからなかったら、あきらめた方がいいかも……
827 名前:132人目の素数さん mailto:sage [03/12/11 17:11] >>820 俺もその話聞いたことある。いいだっちが訳すはずだったんだっケ?
828 名前:132人目の素数さん mailto:sage [03/12/12 02:49] >>827 『プリンキピア・マテマティカ序論』と同じシリーズで出す予定だったらしい。 訳者はたしか、『プリンキピア』訳した人たちと同じじゃなかったかな? 詳しいことは私も知らないです。
829 名前:132人目の素数さん mailto:sage [03/12/12 03:05] 誰か竹内シンポジウム行かないの?
830 名前:132人目の素数さん mailto:sage [03/12/12 07:37] ミステリーの世界では「ゲーデル問題」がホットな話題らしい。ミステリー作家の 中の人も大変だな。 【Tが無矛盾ならば】ゲーデル問題【〜[T|-Con(T)]】 @ミステリー板 book.2ch.net/test/read.cgi/mystery/1069563560/
831 名前:132人目の素数さん mailto:sage [03/12/12 17:54] >>830 山口人生の師である竹内外史先生の「ゲーデル」を読んでたんだけど、 河井塾から出てた時にのっていた、ホテルにしけ込む時は「タルスキ」と サインしたッツー話が抜けてるようなきが、、
832 名前:132人目の素数さん mailto:sage [03/12/12 18:02] >>831 それを書いたのは倉田令二朗。
833 名前:132人目の素数さん mailto:sage [03/12/12 21:11] 令二朗さんは痔に苦しんでたらしい。
834 名前:132人目の素数さん mailto:sage [03/12/12 22:23] >>830 スレタイの【】内の書き方が、妙に専門的なような気がするのは漏れだけか?
835 名前:132人目の素数さん mailto:sage [03/12/12 23:07] この師 ---> 竹内外史 ニシテ この弟子 ---> 山口人生 アリ(爆笑
836 名前:132人目の素数さん mailto:sage [03/12/13 18:53] >>832 さんきゅ!河合塾版なくしちゃってわかんなくなっちゃってさ。 たしかクライゼルの話だよね?
837 名前:132人目の素数さん mailto:sage [03/12/14 04:50] ところで竹内外史の全集って作られる見込みあるの?
838 名前:132人目の素数さん mailto:sage [03/12/14 05:28] >>830 > 山口人生の師である竹内外史先生 …いやな特徴づけだ。(w >>837 来週の竹内シンポで聞いてみられては? Proof Theory も全集の一巻 として復刊してほしいなぁ。