基礎論なぜなにスレッドその{φ,{φ},{φ,{φ}}}

[表示 : 全て最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2chのread.cgiへ]
Update time : 02/23 22:34 / Filesize : 333 KB / Number-of Response : 1002
[このスレッドの書き込みを削除する]
[＋板最近立ったスレ＆熱いスレ一覧 : ＋板最近立ったスレ／記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

1 名前：１３２人目の素数さん 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
729 名前：１３２人目の素数さん mailto:sage [03/09/08 23:13]: >>727
論理式が公理かどうか決定する手続きがある。
730 名前：１３２人目の素数さん mailto:sage [03/09/09 05:31]: >>729
ありがとうございます。
となると、例えば、命題論理の形式体系はその条件を
満たしており、標準的な述語論理の形式体系はその条件を
満たしていない、といった具合になるのでしょうか。
公理というのは証明可能な論理式のことであり、
つまりは、決定可能かどうか、とうことですよね。
どこか可笑しい箇所があれば指摘して頂けると有難いです。
731 名前：１３２人目の素数さん mailto:sage [03/09/09 06:35]: >>730
729さんではありませんが、、、。
公理は証明可能な論理式のことではありません。一般的な定義では
閉論理式の集合をいいます。述語論理の公理系は帰納的公理化可能です。
また、集合論の公理系、自然数論の公理系などはすべて帰納的公理化可能
です。証明可能な論理式の全体となると、それらは帰納的ではなくなり
ます。命題論理の場合はそれも帰納的ですが、このようなことはめったに
起こらないことです。また、普通、公理系といえば、論理式がその公理系
のものか決定手続のあるものしか浮かべない方が普通です。しかし、もち
ろん帰納的でない公理系はいくらでもあるわけです。
732 名前：１３２人目の素数さん mailto:sage [03/09/09 07:04]: >>731
ご指摘、感謝します。
729さんや731さんのコメントを踏まえて再びテキストを見直してみると、
「論理式が公理かどうかを決定する手続き」とか
「公理化可能」といった言葉は出てくるのですが、
それらについての詳しい説明はなく、
また、731さんのコメントを見る限りでは思ったよりも難しそうで、
今の段階では、ちょっと理解できないな、と感じました。
違う分野の本を読んでいて、その言葉が出てきたので、
現段階での予備知識だけで理解できるものなら理解したい、
と思ったのですが、まだ勉強が必要のようです。
733 名前：１３２人目の素数さん mailto:sage [03/09/09 07:24]: 懲りずに、ちょっと思ったことを・・・
述語論理のセマンティクスにおいて、
閉じた論理式に対して構造における正しさを
帰納的に定義した後、
開いた論理式に対しては、
その閉包を考えて構造における正しさを定義していますが、
このあたりが帰納的ではなくなる原因だったりするのでしょうか。
734 名前：１３２人目の素数さん mailto:sage [03/09/09 09:46]: >>733
732 において帰納的とよんでいるのは recursive であること
つまり計算可能的であることです。たぶん現在この概念を理解
されていないと思います。一方、733の帰納的は inductive と
いうことで数学的帰納法によって定義しているということで
全く関係ありません。
735 名前：１３２人目の素数さん mailto:sage [03/09/09 15:46]: >>734
ありがとうございます。やはりまだ理解できないということを
確認いたしました。今のテキストでは対応できなさそうですし・・・
出直してきます。
736 名前：１３２人目の素数さん mailto:sage [03/09/11 10:42]: unaryって、どう発音しますか。
アナリー？　ユナリー？　ていうかスレ違いでつか？
737 名前：１３２人目の素数さん mailto:sage [03/09/11 18:30]: ↑わからん
ところでおまいらって洋書読むときどんな辞書使ってんの？
738 名前：１３２人目の素数さん mailto:sage [03/09/11 18:56]: >>736
goo の英和にでてるよ！
739 名前：１３２人目の素数さん mailto:sage [03/09/11 20:14]: >>738
やや、ありが�！
ユナリーみたいやね。

ところで、辞書の説明書きの、
(関数で，定義域と値域が同じ集合に含まれているということ)
ってのは、合ってるんすか。定義域と値域が同じ集合に含まれて
いなかったら、単項じゃないのけ？？
740 名前：１３２人目の素数さん mailto:sage [03/09/11 21:25]: >>739
数学ではふつう、1 変数って意味だと思う。unary function, unary predicate
とか。辞書無視!
741 名前：辞書 mailto:sage [03/09/13 04:08]: ｺﾞﾙｧ!!
742 名前：１３２人目の素数さん mailto:sage [03/09/20 04:35]: 皆さんの集合論の教科書でおすすめのものはどれですか？
743 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん mailto:sage [03/09/22 02:50]: ありがとうございます。
ところで、Jech　の最近の版と以前のものでは違いがあるのでしょうか？
746 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん mailto:sage [03/09/22 18:38]: 絶版になってない邦書ではあるでしょうか？
749 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん mailto:sage [03/09/24 17:35]: >>749
ありがとうございます。

田中尚夫の「公理的集合論」は古本屋で
探したんですけど見つからなかった・・・
753 名前：１３２人目の素数さん mailto:age [03/10/02 07:52]: 質問があるんだけど、おれの理解が正しければ、
直観主義の主張は、「存在証明は存在するものの構成法を具体
的に
示すことのみによって行われべきだ」ってことでいい？
すると、実数が非可算個あるということの証明はどうすんの？
構成可能=アルゴリズムを作れる実数なんて可算個しかないで
しょ？
754 名前：１３２人目の素数さん mailto:sage [03/10/02 17:50]: >>753
君の言うとるのは構成主義で、ちょっかんしゅぎとはちゃうんやない？
755 名前：１３２人目の素数さん mailto:sage [03/10/02 18:22]: >>753
対角線論法が使えるよ
756 名前：１３２人目の素数さん mailto:sage [03/10/03 08:12]: 753じゃないけど便乗～

つうと、構成主義⊂直観主義、って考えて良いのけ？
757 名前：753 mailto:age [03/10/03 12:39]: そうそう、いまいち両者の関係がよく分からない。

1。直観主義をキャッチフレ－ズ風に言うとどんな感じ?
2。構成主義でも対角線論法は問題無く使えると?
でも、構成主義の立場だと、非可算個の実数を
実際に作って見せないといけないよね?
758 名前：１３２人目の素数さん mailto:sage [03/10/03 20:55]: >>757
「非可算個の実数を実際に作った｣として、
それが本当に非可算個あることはどうやって証明したらいい？
あんまり詳しいわけじゃないんだけどちょっと疑問に思ったので聞いてみる。
759 名前：１３２人目の素数さん mailto:sage [03/10/03 23:02]: >>753-757

science.2ch.net/test/read.cgi/math/1061842550/499
760 名前：１３２人目の素数さん [03/10/04 05:28]: ペアノ算術において、いわゆる自己言及文ではなく、
数学的に意味を持つ独立命題が存在するか否かは、
ゲーデル以来長らく基礎論の研究者の関心の的であったが、
１９７７年にパリスとハーリントンがラムゼイの定理の一変種がそれになることを示した．
ラムゼイの定理というのは、いまや組合せ論の定理として有名だが、
そもそもラムゼイはラッセルの下でパラドックスの分類などをやっていた論理学者であり、
彼の定理がここに登場するのも因縁めいた話である．
パリス・ハーリントン以降、算術に限らず集合論までこの種の独立命題が次々に発見されている．

これって具体的にどういう命題なんですか？
色々検索したけどイマイチ良く分からないんで教えてください。
761 名前：１３２人目の素数さん [03/10/04 05:37]: part１の61にこういう書き込みもありました。

＞それから、ついでに言えば、自己言及を使ったゲーデル的な命題以外に
＞よりナチュラルな意味を持った決定不能命題は発見されているぞ。
762 名前：１３２人目の素数さん mailto:sage [03/10/04 11:59]: ところで、「自己言及を使った独立命題」と、「自己言及文でない
独立命題」って、やっぱ存在価値が違うの？

例えば、前者は存在するが後者は存在しないような系ってのも、
あり得るんすか。
763 名前：１３２人目の素数さん [03/10/05 09:39]: >>760-762
俺も気になる
age
764 名前：１３２人目の素数さん mailto:sage [03/10/05 17:38]: >>762
パリス・ハーリントン命題が自然数論では決定不能、という結果は
自然数論の無矛盾性が自然数論では決定不能という結果を用いて
おり、ゲーデル不完全性定理と独立ではない。
765 名前：１３２人目の素数さん mailto:sage [03/10/05 17:45]: パリス・ハーリントン命題ってどんな命題ですか？
766 名前：１３２人目の素数さん mailto:sage [03/10/05 20:03]: >>764
「ゲーデル不完全性定理と独立ではない」というのがどういう意味なのか
不明だが、あることが証明可能ではないという証明は、証明図がそのある
ことにいたる証明図でないということをいうことになる。当然そのことは
矛盾にいたる証明図がないことを意味するはずである。つまり、無矛盾性
証明ができないといったことと無関係に証明がなされようがない。とくに
議論をする気はないが、だからどうだというのか、あるいは全く異なった
証明のある可能性でもあるのか伺いたい。
767 名前：１３２人目の素数さん [03/10/05 20:44]: 誰か知らないの？
768 名前：１３２人目の素数さん mailto:sage [03/10/05 21:05]: >>766 は無矛盾性の話で、>>764 は「無矛盾性」の話。
パリス・ハーリントンも含め、このあたりの話は日本語で読めるよい本があるので、
図書館で見てくれ。

田中一之他「数学基礎論講義」日本評論社
769 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん [03/10/07 20:32]: 基礎論の入門書。誰かいいの知ってたら教えてください
772 名前：１３２人目の素数さん mailto:sage [03/10/08 11:16]: >>764
それが決定不能と判定する手続きにゲーデルの不完全性定理が利用されていることと、
命題自体にナチュラルな意味があることとは別の話じゃねー？
773 名前：１３２人目の素数さん mailto:sage [03/10/08 18:34]: >>768
＞田中一之他「数学基礎論講義」日本評論社
　
この本図書館になかったんですが。
＞パリス・ハーリントン
　
これ教えてください。もしかして長くてかけない？それとも本に存在証明はあるけど
それにしたがって具体的に構成するのは大変？
774 名前：１３２人目の素数さん [03/10/08 18:44]: 漏れも知りたいぞ
知ってる香具師頼む
775 名前：１３２人目の素数さん [03/10/08 19:04]: ＞パリス・ハーリントン
　
なぜ証明できないのに正しいてわかるの？説明きぼ～～ん。
776 名前：１３２人目の素数さん mailto:sage [03/10/08 22:20]: >>775
普通に証明できることだから。つまり、その証明を自然数論のなかでは
できないっていうこと。それは自然数論の無矛盾性命題と同じ。
777 名前：１３２人目の素数さん [03/10/08 22:26]: >>776
だから具体的に教えれよぅ
778 名前：１３２人目の素数さん mailto:sage [03/10/08 22:43]: >>777
無限ラムゼーの定理
可算無限個のノードを持つ完全グラフに対し、
すべてのエッジを赤か青で彩色する。
このとき、ノードの無限部分集合 H が存在し、
H のどの二つのノードも同じ色で塗られている。

Paris-Harrington は上の定理から、証明できます。
だから正しい。
779 名前：１３２人目の素数さん mailto:sage [03/10/08 22:49]: >>778
ありゃ間違えた。
無限ラムゼーでパラメータが 2 の場合しか書いてないや。
エッジ = 2 個のノードから成る部分集合
780 名前：１３２人目の素数さん [03/10/08 22:51]: >>778
して　Paris-Harrington　とはなんぞや？
これを知りたいのだが。
781 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん mailto:sage [03/10/09 21:46]: なんか本格的なのが、ころがってるね。
これ、この人の論文の前書きみたいだねな。
783 名前：１３２人目の素数さん mailto:sage [03/10/09 23:33]: せめてＰＤＦにしてくれといいたい。
784 名前：１３２人目の素数さん mailto:sage [03/10/11 03:50]: >>781
Weiermannさんだね。この人、たしか日本に来てたね。
785 名前：１３２人目の素数さん mailto:sage [03/10/20 23:26]: おまいら、揃いも揃って、レベル低いな（ｗ

#“偽と矛盾の違い”さえ分からんだろ？
786 名前：１３２人目の素数さん mailto:sage [03/10/22 15:25]: 釣りのレベルが　低ければ
釣られたくとも　釣られない
こんなアタシに　誰がした
787 名前：１３２人目の素数さん mailto:sage [03/10/29 01:39]: ＞#“偽と矛盾の違い”さえ分からんだろ？

御大的な違いでつか？現代論理学的なちがいでつか？
788 名前：１３２人目の素数さん mailto:sage [03/10/29 04:24]: 前原スレと論理基礎スレにも同じの貼ってあるよ・・・
789 名前：１３２人目の素数さん mailto:sage [03/10/30 01:08]: >>787
「御大的な違い」ってどーいう意味？　教せーて～。
790 名前：１３２人目の素数さん mailto:sage [03/11/02 21:34]: >>789
ネット数学者すれでききなさい。
791 名前：１３２人目の素数さん mailto:sage [03/11/07 00:04]: 「ネット数学者スレ」って４つも立ってるYo!
792 名前：↑ mailto:sage [03/11/07 23:47]: ネットでは、悪が栄える。
793 名前：１３２人目の素数さん [03/11/13 01:59]: あげなきゃ
794 名前：１３２人目の素数さん mailto:sage [03/11/13 08:40]: A→B
science.2ch.net/test/read.cgi/math/1067187614/
795 名前：１３２人目の素数さん mailto:sage [03/11/27 00:09]: トートロジーについてなのです。
ΣＵ{α}|=β とΣ|= (α→β)は同値であることを示せ
という問題なんですが，

ΣＵ{α}|=βとは，
Σが空集合でないとき
どのように真偽値の代入fを選んでもΣＵ{α}のすべての論理式を満足するとは，
fがΣのすべての論理式を満足し，かつαが真であるときにβが真であること

また，定義よりΣＵ{α}を満足する論理式fが存在しないとき
つまりΣを満足する論理式fが存在しなくて，かつαが偽である時，
βが真であっても偽であっても，ΣＵ{α}|=βは成り立つ

Σが空集合であるとき
どのようにfを選んでもΣＵ{α}のすべての論理式を満足するとは，
αが真であるときであり，fはβを満足，つまりβは真であること

また，定義より，ΣＵ{α}を満足する論理式fが存在しないとき，
つまりαが偽であり，βは真でも偽でもよい

これらから，αとβの組み合わせが(真，真)，(偽，真)，(偽，偽)であるとき
ΣＵ{α}|=βが成立する。

(α→β)が真となるαとβの組み合わせも(真，真)，(偽，真)，(偽，偽)である

よって，ΣＵ{α}|=β とΣ|= (α→β)は同値である，

というかんじで考えれたのですが，もっとうまく説明する方法がないかと思案しています。
アドバイスをお願いします。
796 名前：１３２人目の素数さん mailto:sage [03/11/27 00:20]: >>795
常套手段ですが、not(ΣＵ{α}|=β) と not(Σ|= (α→β)) が
同値であることを示そうとすると議論が簡単になります。
797 名前：１３２人目の素数さん mailto:sage [03/11/27 00:30]: >>796
サンクス・待遇ですね
￢(ΣＵ{α}|=β) が成立するときは<α，β>=<T，F>の時だけですね
￢(Σ|= (α→β))が成立するときも同じですね
ありがとうございました。
やってみます。
798 名前：１３２人目の素数さん mailto:sage [03/11/28 02:08]: >>795
＞ΣＵ{α}|=β とΣ|= (α→β)は同値であることを示せという問題なんですが

その問題は ill_posed_problem だったってことが、オマエにも分かる日がやがて来るだろうよ。
799 名前：１３２人目の素数さん mailto:sage [03/11/28 10:31]: >>798
あなたがここで説明しないということは，あなたもよくわかっていないんだなあ。
ということになると思いますが
800 名前：↑ mailto:sage [03/11/28 16:00]: 説明するかしないかは、当人の自由だと思うが、どうか？
801 名前：１３２人目の素数さん mailto:sage [03/11/28 17:24]: >>800
説明しないのはわかっていないからだと思うと表明するののも
もちろん自由だね。
802 名前：１３２人目の素数さん mailto:sage [03/11/28 19:56]: この「ならば」というものがからむと、ネットの世界では、エムシラの
「ならば」という最強の「ならば」があるわけで、これに勝てるのは現在
ヤマジンとイマイ糞ジジイのみ。マツシンはエムシラの噛ませ犬として
有名。
803 名前：１３２人目の素数さん mailto:sage [03/11/28 21:27]: >>802
こっちの方の説明がほしい
804 名前：１３２人目の素数さん mailto:sage [03/11/29 23:09]: >>801
＞説明しないのはわかっていないからだと思うと表明するののも
＞もちろん自由だね。

自由だが、その表明したことが間違っていたら、どーしょうもないな（ｗ
805 名前：１３２人目の素数さん mailto:sage [03/11/29 23:11]: >>802
＞これに勝てるのは現在ヤマジンとイマイ糞ジジイのみ

おまえ、甘いな、見方」が（爆笑
806 名前：１３２人目の素数さん mailto:sage [03/12/01 00:54]: ヤマジンは「終わってる」な（ｗ
807 名前：１３２人目の素数さん mailto:sage [03/12/05 15:51]: >>803
エムシラというたーむがでたれすはスルーが吉。
808 名前：１３２人目の素数さん 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 名前：１３２人目の素数さん [03/12/08 05:47]: A→B
TTT
TFF
FTT
FFT

Aエムシラの「ならば」B
TTT
TFF
FTF
FFT
なので
Aエムシラの「ならば」B≡（A∧B）∨（￢A∧￢B）

まあ、ちょっとした補助記号だな
812 名前：１３２人目の素数さん [03/12/08 06:49]: すいません、タルスキってどのくらい訳されてますか？
813 名前：１３２人目の素数さん mailto:sage [03/12/08 09:23]: {0,{0}ってなんだー}いみわからん
814 名前：１３２人目の素数さん [03/12/08 12:02]: >>811
もうちょっと補足すると、
（A∧B）∨（￢A∧￢B）= （A→B）∧（A←B）
ということになり、つまりＡとＢの同値関係をいっているわけ。

で、実際エムシラに「××ならば、○○だ」というようなことをいうと、
しばしば「ばかもん！　□□だとでも言うのか！」という反応がある。

これはエムシラの「ならば」が実際には同値関係のことなので
話が全然通じないことの証拠にもなっている。
815 名前：１３２人目の素数さん mailto:sage [03/12/08 12:51]: >>814
ばっかもん! よの「ならば」が、そちのような軽輩の真理表などで表せる
わけがなかろう。
816 名前：１３２人目の素数さん mailto:sage [03/12/08 13:20]: ワス、消毒されますた。　ケツの穴まで。　（＾＾；）

　　　　　　　　／:::::::::::::::::::::＼
　　　　　　　／::::::::::::::::::::::::::::::::＼
　　　　　　　|:::::::::::|＿|＿|＿|＿|＿|
　　　　　　　|＿|＿ノ∪　＼,, ,,／ヽ
　　　　　　　|::（ 6　　ー─◎─◎　）
　　　　　　|ﾉ　　（∵∴∪（ o o）∴）
　　　　　　 |　　　<　　∵　　３　∵>
　　　　　／＼　└　　　　＿＿_　ノ
　　　　　　 .＼＼U　　＿＿＿ノ＼
　　　　　　　　＼＼＿＿）　ヽ　　敬白　マツシン
817 名前：１３２人目の素数さん mailto:sage [03/12/09 15:34]: >>812
『現代哲学基本論文集II』に「真理の意味論的観点と意味論の基礎」が
のってるのしか知らんなあ。
818 名前：１３２人目の素数さん mailto:sage [03/12/09 17:12]: >>811
そういう反論は素朴すぎる。大体、直観主義の「ならば」ですら、真理表解釈は
存在しないんだぞ。

>>813
「３」
819 名前：１３２人目の素数さん mailto:sage [03/12/09 20:20]: Ａ→Ｂスレ（science.2ch.net/test/read.cgi/math/1067187614/）で、

> 真理表を使って
>
> イ. Ａが真でＢが真ならば、「ＡならばＢ」は真，
> ロ. Ａが真でＢが偽ならば、「ＡならばＢ」は偽，
> ハ. Ａが偽でＢが真ならば、「ＡならばＢ」は真，
> 二. Ａが偽でＢが偽ならば、「ＡならばＢ」は真，
>
> と（「ＡならばＢ」を）「定義」するのは循環論法だ

と言ってる椰子がいたけど、どうよ？
820 名前：１３２人目の素数さん [03/12/10 00:48]: >>812 例の「真理概念」論文を訳して単行本として出版しよう、という計画はあった。
でも出版社の事情で立ち消えに……。
821 名前：１３２人目の素数さん [03/12/10 17:50]: >>819
そこには、ふつうの「ならば」とエムシラの「ならば」が混在しているから、
まずはそれらを区別してみないとな。

で、そうやってみればすぐ分かることだが、全然循環していない。
循環しているってのは、エムシラの妄想。
822 名前：↑ mailto:sage [03/12/10 20:11]: ではなくて、

オ　マ　エ　の　妄　想
823 名前：保健衛生局 mailto:sage [03/12/10 20:15]: 繰り返えす、連絡いたすます！！！

このスレは「エムスラ汚染スレ」と認定されますた。　関係者は直つに退去すてください！
824 名前：１３２人目の素数さん mailto:sage [03/12/10 23:47]: >>817
情報ありがとうございます。明日早速当たってみます。
825 名前：１３２人目の素数さん [03/12/11 00:51]: 前原本読んでるけどモデルとか？階述語論理とか
まったくわからんからそういうのがよくわかる本すすめてくれ
826 名前：１３２人目の素数さん mailto:sage [03/12/11 01:26]: >>825
モデルの基本的な概念についてもっとやさしい解説が欲しいんだったら、
戸田山和久『論理学をつくる』を読むしかない。

www.amazon.co.jp/exec/obidos/ASIN/4815803900/

それでもわからなかったら、あきらめた方がいいかも……
827 名前：１３２人目の素数さん mailto:sage [03/12/11 17:11]: >>820
俺もその話聞いたことある。いいだっちが訳すはずだったんだっケ？
828 名前：１３２人目の素数さん mailto:sage [03/12/12 02:49]: >>827
『プリンキピア・マテマティカ序論』と同じシリーズで出す予定だったらしい。
訳者はたしか、『プリンキピア』訳した人たちと同じじゃなかったかな？
詳しいことは私も知らないです。
829 名前：１３２人目の素数さん mailto:sage [03/12/12 03:05]: 誰か竹内シンポジウム行かないの？
830 名前：１３２人目の素数さん mailto:sage [03/12/12 07:37]: ミステリーの世界では「ゲーデル問題」がホットな話題らしい。ミステリー作家の
中の人も大変だな。

【Tが無矛盾ならば】ゲーデル問題【～[T|-Con(T)]】＠ミステリー板
book.2ch.net/test/read.cgi/mystery/1069563560/
831 名前：１３２人目の素数さん mailto:sage [03/12/12 17:54]: >>830
山口人生の師である竹内外史先生の「ゲーデル」を読んでたんだけど、
河井塾から出てた時にのっていた、ホテルにしけ込む時は「タルスキ」と
サインしたッツー話が抜けてるようなきが、、
832 名前：１３２人目の素数さん mailto:sage [03/12/12 18:02]: >>831
それを書いたのは倉田令二朗。
833 名前：１３２人目の素数さん mailto:sage [03/12/12 21:11]: 令二朗さんは痔に苦しんでたらしい。
834 名前：１３２人目の素数さん mailto:sage [03/12/12 22:23]: >>830
スレタイの【】内の書き方が、妙に専門的なような気がするのは漏れだけか？
835 名前：１３２人目の素数さん mailto:sage [03/12/12 23:07]: この師 ---> 竹内外史

ニシテ

この弟子 ---> 山口人生

アリ（爆笑
836 名前：１３２人目の素数さん mailto:sage [03/12/13 18:53]: >>832
さんきゅ！河合塾版なくしちゃってわかんなくなっちゃってさ。

たしかクライゼルの話だよね？
837 名前：１３２人目の素数さん mailto:sage [03/12/14 04:50]: ところで竹内外史の全集って作られる見込みあるの？
838 名前：１３２人目の素数さん mailto:sage [03/12/14 05:28]: >>830
> 山口人生の師である竹内外史先生
…いやな特徴づけだ。(w

>>837 来週の竹内シンポで聞いてみられては？　Proof Theory も全集の一巻
として復刊してほしいなぁ。
839 名前：１３２人目の素数さん mailto:sage [03/12/14 21:16]: >>837
「竹内外史＋山口人生」師弟全集刊行予定 ---- 限定販売につき、申し込みは早めに！！！
840 名前：１３２人目の素数さん mailto:sage [03/12/14 23:34]: >>839
もうﾔﾏｼﾞﾝネタはやめてぇ～
841 名前：１３２人目の素数さん mailto:sage [03/12/15 22:33]: ﾔﾏｼﾞﾝネタ、おもろいので続けてぇ～
842 名前：１３２人目の素数さん mailto:sage [03/12/16 09:21]: >>841
いい加減空気読んでくれない？
843 名前：１３２人目の素数さん mailto:sage [03/12/18 15:07]: 「いい加減空気」って、どんな空気？　
844 名前：１３２人目の素数さん mailto:sage [03/12/19 04:34]: ウワッ、キモい…>>843
845 名前：１３２人目の素数さん mailto:sage [03/12/19 14:44]: そろそろ次のスレタイを決めておきたいなあ。

ツェルメロ流ではもう長さ限界なので、なんかいい案希望。

無難にサクセサにする？ 0'''' とか。なんかつまらんな。
846 名前：１３２人目の素数さん mailto:sage [03/12/19 22:02]: {0,1,2,3}ならいけるけど・・・あんまり美しくはないか
847 名前：１３２人目の素数さん mailto:sage [03/12/20 00:18]: そろそろ基礎論スレ終了しようよ。もうネタも無いしさ。

論理なら数理論理学スレ、集合論なら集合論スレでどうぞ。
848 名前：１３２人目の素数さん mailto:sage [03/12/20 16:52]: >>847
ネタというのはどこからともなく突然降ってくるものだから、そういわずに気長に待つ
のが吉かと。
849 名前：１３２人目の素数さん mailto:sage [03/12/20 22:55]: 待つのにスレはいらない。
ネタがあればスレがなくてもスレが立つ。
850 名前：１３２人目の素数さん mailto:sage [03/12/22 10:37]: >>847
っていうか、そんな細分化して過疎スレ作るほうがおかしいぞ。どれも
ここからスピンアウトしたスレなんだから、ここを維持したほうが良いだろう。

>>849
不完全性定理って何？みたいな単発スレが濫立するほうがおこのみでつか？
851 名前：１３２人目の素数さん mailto:sage [03/12/22 21:01]: 「不完全性定理は潰れる」というエムシラ大先生の予言は当たるのだろうか？
852 名前：１３２人目の素数さん mailto:sage [03/12/23 10:39]: 細分化すると過疎になるというのはおかしい。
単にカキコする奴が区別できるのにしてないだけ。
そういう馬鹿を教育するためにここは潰したほうがいいだろう。
853 名前：１３２人目の素数さん mailto:sage [03/12/23 14:17]: なんか、最近ダークサイドマツシンが出没してないか？
854 名前：１３２人目の素数さん mailto:sage [03/12/23 22:57]: 「ダークサイドマツシン」って何？　マツシンとはどう違うの？
855 名前：１３２人目の素数さん mailto:sage [03/12/23 23:05]: 非古典論理のスレが盛況ですね。
856 名前：１３２人目の素数さん mailto:sage [03/12/24 15:58]: >>845
マツシンにはいいマツシンと悪いマツシンがいるんでしよ。
議論や話題が進むにつれて、だんだん悪いマツシンが顔を出すのでし。
857 名前：１３２人目の素数さん mailto:sage [03/12/24 16:13]: ワス、「絶望」って名の電車に乗っつまいますた。

すかも、特急ざんす。 ( ^ ^ ;)

　　　　　　　　／:::::::::::::::::::::＼
　　　　　　　／::::::::::::::::::::::::::::::::＼
　　　　　　　|:::::::::::|＿|＿|＿|＿|＿|
　　　　　　　|＿|＿ノ∪　＼,, ,,／ヽ
　　　　　　　|::（ 6　　ー─◎─◎　）
　　　　　　|ﾉ　　（∵∴∪（ o o）∴）
　　　　　　 |　　　<　　∵　　３　∵>
　　　　　／＼　└　　　　＿＿_　ノ
　　　　　　 .＼＼U　　＿＿＿ノ＼
　　　　　　　　＼＼＿＿）　ヽ　　敬白　マツシン
858 名前：１３２人目の素数さん mailto:sage [03/12/24 17:42]: 河合塾ブックレットの「いざない」が買いたいんだけど、
なんか、品切れになってるっぽい。......鬱だ...
859 名前：１３２人目の素数さん mailto:sage [03/12/24 21:37]: ＞マツシンにはいいマツシンと悪いマツシンがいるんでしよ。

エムシラはアホエムシラだけだけどな（ｗ
860 名前：１３２人目の素数さん mailto:sage [03/12/24 23:32]: 　　　　　　　　　　／￣￣￣ｖ´｀ヽ､
　　　　　　　　／／／.// ﾊヽヾヽ＼
　　　　　　　　i' ´／/ / ハいヽ、ヾ､ヽi
　　　　　　　/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
　　　　　　/,（(i iﾉ　ヾ.　　　　川川川ﾘｿ
　　　　　(川川丿　ヾ　　　　 ..川川川川
　　　　ノ川川.|---、　　　　　川川川川
　　　　ﾉｉｉ川川ｨ'''･ヽ,ｰ　　　／￣川川川　　／￣￣￣￣￣￣￣￣￣
　　　　ノ川川ﾘ　｀ｰ,ｲ　　 ´ｨ''･ヽ)）川川川　 .| 　
　　　　川川川　　　　ﾉヽ　　｀''´ノ川川川ﾘ＜　ネットでエムシラ様の悪口言ったら
　　　　川川川ヽ,,＿ (,､_,､ )__,イ　/川川川ﾘ　 | 　ひどい目にあわされるってこと
　　　川川川　　,,,,ﾉ　　　ゞヽ /川川川川　│　　　御存知、ア～タ？　オッホホホ
　　　川川川　　　⌒ニ´'　／|川川川川　　＼＿＿＿＿＿＿＿＿＿
　　　　川川川｀ヽ　 ~~　／|川川川川川
　　　　川川川　　｀ｰ-ｰ´ 　||川川川川ｿ
861 名前：１３２人目の素数さん mailto:sage [03/12/25 00:51]: >>859
ものは知ってるので御大は便利な側面もある。まつしんは時に偉く
知ったかぶるのでそうなるとかなりうざい。
862 名前：１３２人目の素数さん mailto:sage [03/12/25 08:18]: ＞ものは知ってるので

そりゃキミがものしらなすぎるんだよ（ｗ

てゆーか、マツシン程度で知ったかぶってると思う
キミはそうとう劣等感に苛まれてるイタイヤシ（ｗ
863 名前：１３２人目の素数さん mailto:sage [03/12/25 09:25]: >>862
＞そりゃキミがものしらなすぎるんだよ（ｗ
とりあえず、スペルチェッカーにはなるぜ（笑）
864 名前：１３２人目の素数さん mailto:sage [03/12/25 17:20]: ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。

　　　　　　　　／:::::::::::::::::::::＼
　　　　　　　／::::::::::::::::::::::::::::::::＼
　　　　　　　|:::::::::::|＿|＿|＿|＿|＿|
　　　　　　　|＿|＿ノ∪　＼,, ,,／ヽ
　　　　　　　|::（ 6　　ー─◎─◎　）
　　　　　　|ﾉ　　（∵∴∪（ o o）∴）
　　　　　　 |　　　<　　∵　　３　∵>
　　　　　／＼　└　　　　＿＿_　ノ
　　　　　　 .＼＼U　　＿＿＿ノ＼
　　　　　　　　＼＼＿＿）　ヽ　　敬白　マツシン
865 名前：１３２人目の素数さん mailto:sage [03/12/25 21:19]: 久しぶりに沢山書き込まれてると思ったら、またですか。。。
866 名前：１３２人目の素数さん mailto:sage [03/12/26 02:48]: そうよ、またなのよ。ヽ(^。^)ノ
867 名前：１３２人目の素数さん mailto:sage [03/12/26 07:30]: このスレは「エムスラ（→ヽ(^。^)ノ）汚染スレ」と認定されますた。　
関係者は直つに退去すてください！

避難場所
数理論理学　基礎
science2.2ch.net/test/read.cgi/math/1035210795/
【数学】前原昭二：数学基礎論入門【基礎論】
science2.2ch.net/test/read.cgi/math/1043852921/
集合論なぜなにスレッド
science2.2ch.net/test/read.cgi/math/1064299337/
868 名前：１３２人目の素数さん mailto:sage [03/12/26 10:39]: >>865
いやいや、ひさしぶりに関連スレ全て活性化してるって。
869 名前：↑ mailto:sage [03/12/27 01:20]: これも、みな、御大の「御活躍」によるものと思われ。ヽ(^。^)ノ
870 名前：１３２人目の素数さん mailto:sage [03/12/27 01:24]: >>867 の「避難場所」は、みんな、すでに「エムシラ汚染スレ」であったことが追認されますた。 (ﾟдﾟ)
871 名前：１３２人目の素数さん mailto:sage [03/12/27 01:27]: ２ｃｈには「避難場所」はないものと思われ。　ヽ(^。^)ノ
872 名前：１３２人目の素数さん [03/12/27 08:40]: エムシラってホント馬鹿だな。
873 名前：↑ mailto:sage [03/12/27 21:10]: 　　　　　　　　　　／￣￣￣ｖ´｀ヽ､
　　　　　　　　／／／.// ﾊヽヾヽ＼
　　　　　　　　i' ´／/ / ハいヽ、ヾ､ヽi
　　　　　　　/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
　　　　　　/,（(i iﾉ　ヾ.　　　　川川川ﾘｿ
　　　　　(川川丿　ヾ　　　　 ..川川川川
　　　　ノ川川.|---、　　　　　川川川川
　　　　ﾉｉｉ川川ｨ'''･ヽ,ｰ　　　／￣川川川　　／￣￣￣￣￣￣￣￣￣
　　　　ノ川川ﾘ　｀ｰ,ｲ　　 ´ｨ''･ヽ)）川川川　 .| 　
　　　　川川川　　　　ﾉヽ　　｀''´ノ川川川ﾘ＜　ネットでエムシラ様の悪口言ったら
　　　　川川川ヽ,,＿ (,､_,､ )__,イ　/川川川ﾘ　 | 　ひどい目にあわされるってこと
　　　川川川　　,,,,ﾉ　　　ゞヽ /川川川川　│　　　御存知、ア～タ？　オッホホホ
　　　川川川　　　⌒ニ´'　／|川川川川　　＼＿＿＿＿＿＿＿＿＿
　　　　川川川｀ヽ　 ~~　／|川川川川川
　　　　川川川　　｀ｰ-ｰ´ 　||川川川川ｿ
874 名前：↑ mailto:sage [03/12/28 15:30]: 　　　　　　　　　　／￣￣￣ｖ´｀ヽ､
　　　　　　　　／／／.// ﾊヽヾヽ＼
　　　　　　　　i' ´／/ / ハいヽ、ヾ､ヽi
　　　　　　　/ | i'リ゛ヾ゛川ヽヽー、_!いﾉヾヽ
　　　　　　/,（(i iﾉ　ヾ.　　　　川川川ﾘｿ
　　　　　(川川丿　ヾ　　　　 ..川川川川
　　　　ノ川川.|---、　　　　　川川川川
　　　　ﾉｉｉ川川ｨ'''･ヽ,ｰ　　　／￣川川川　　／￣￣￣￣￣￣￣￣￣
　　　　ノ川川ﾘ　｀ｰ,ｲ　　 ´ｨ''･ヽ)）川川川　 .| 　
　　　　川川川　　　　ﾉヽ　　｀''´ノ川川川ﾘ＜　ネットでエムシラが
　　　　川川川ヽ,,＿ (,､_,､ )__,イ　/川川川ﾘ　 | 　ひどい目にあわされてるってこと
　　　川川川　　,,,,ﾉ　　　ゞヽ /川川川川　│　　　御存知、ア～タ？　オッホホホ
　　　川川川　　　⌒ニ´'　／|川川川川　　＼＿＿＿＿＿＿＿＿＿
　　　　川川川｀ヽ　 ~~　／|川川川川川
　　　　川川川　　｀ｰ-ｰ´ 　||川川川川ｿ
875 名前：訂正 mailto:sage [03/12/28 17:20]: >>874 で、「エムシラ」と書いたのは、「マツシン」の誤りでいた。 m(_ _)m
876 名前：１３２人目の素数さん mailto:sage [03/12/29 04:20]: ああ、負けた、負けた、世間に負けた。

　　　　　　　　／:::::::::::::::::::::＼
　　　　　　　／::::::::::::::::::::::::::::::::＼
　　　　　　　|:::::::::::|＿|＿|＿|＿|＿|
　　　　　　　|＿|＿ノ∪　＼,, ,,／ヽ
　　　　　　　|::（ 6　　ー─◎─◎　）
　　　　　　|ﾉ　　（∵∴∪（ o o）∴）
　　　　　　 |　　　<　　∵　　３　∵>
　　　　　／＼　└　　　　＿＿_　ノ
　　　　　　 .＼＼U　　＿＿＿ノ＼
　　　　　　　　＼＼＿＿）　ヽ　　敬白　マツシン
877 名前：訂正 mailto:sage [03/12/30 00:00]: >>876 で、「マツシン」と書いたのは、「エムシラ」の誤りでいた。 m(_ _)m
878 名前：↑ mailto:sage [03/12/30 01:09]: と、そのように、マツシン痰が「苦し紛れに」言うとりますた。　ヽ(^。^)ノ
879 名前：１３２人目の素数さん mailto:sage [03/12/30 01:12]: またも負けたか、松本真吾（ｗ
880 名前：１３２人目の素数さん mailto:sage [03/12/30 06:19]: なぜこの程度の陰口が読み流せないのか
881 名前：１３２人目の素数さん mailto:sage [03/12/30 11:30]: なぜこの程度の陰口も我慢できないのか
882 名前：１３２人目の素数さん mailto:sage [03/12/30 15:43]: 　　　　　／　　　　　　　　　　　　　　　　　　　　　　 .＼
　＼　／　　　　　　　　　　　　　　　　　　　　　　　　　　＼　／
　　＼　　　　　　＿＿＿＿＿＿＿＿＿＿＿　　　　　. ／
　　　　＼　　　.／　　　　　　　　　　　　　　　＼　　　／
　　　　 |　＼／　　　　　　　　　　　　　　　　　　＼／...|
　　　　 |　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　 |　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　..＿ |＿|　　　　　　　　　　　　　　　　　　　　　　 |＿|＿..
　　　　|　 |　マツシン、さあ、逝こうか・・・　　　　 |　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　|　 |／　　　　　　　　　　　　　　　　　　　..＼|　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　|　 |
　　 ..＿|／|　　　　　　_　_　_　_　_　_　_　_　　　　　...|＼|＿
　／　..|　 |　　　＿－＿－＿－＿－＿－　＿　　 |　 |　＼
　　　　|　 |／＿／━　━　━　━　━　━＼＿＼|　 |
　　 ..＿| ／＿／━　━　━　━　━　━　━ ＼＿＼.|＿
　　　／＿／━ 　━ 　━ 　━　 ━ 　━ 　━ ＼＿＼
　　／　／━　　━　　━　　━　　━　　━　　━＼　＼
883 名前：１３２人目の素数さん mailto:sage [03/12/30 16:30]: マツシンって、孤立無援だよね。　素行が余りにも悪かったから。（ｗ
884 名前：１３２人目の素数さん mailto:sage [03/12/31 03:23]: このアッフォーの師 ---> 竹内外史

ニシテ

このアッフォーの弟子 ---> 山口人生

アリ（爆笑
885 名前：１３２人目の素数さん mailto:sage [04/01/01 16:20]: 冬厨にスレが潰されてる・・
886 名前：１３２人目の素数さん mailto:sage [04/01/09 12:43]: あらしはさったかな？
887 名前：１３２人目の素数さん mailto:sage [04/01/09 22:10]: 可算選択公理が非可算のものに比べて風当たりが弱いのは何故ですか？
888 名前：１３２人目の素数さん mailto:sage [04/01/10 01:06]: 可算より非可算の方がキモイからだろ
よくわかんなくても数えられると安心なんだよ
889 名前：１３２人目の素数さん mailto:sage [04/01/10 02:33]: >>887
なければ困るから。特に、解析学の基礎的な部分。
選択公理に否定的だったルベーグも無意識のうちに使っていた。
890 名前：１３２人目の素数さん mailto:sage [04/01/10 07:30]: 二重否定の消去￢￢A→Aは風当たりが強いのに
contractionはほとんど問題にされないのはナゼ？
891 名前：１３２人目の素数さん mailto:sage [04/01/10 13:57]: >>889
そうなんだ、知らなかった。
で、ルベーグその人は、「可算なら許可なのダ！」的な発言をしたので
しょうか？　それとも、御自身は最後まで気づかなかったとか？

>>890
contractionてなんすか、解説ｷﾎﾞﾝﾇ。
892 名前：１３２人目の素数さん mailto:sage [04/01/10 23:12]: contradiction（矛盾律）のことなら
￢(A∧￢A)は排中律なくても出せるぞ
893 名前：１３２人目の素数さん mailto:sage [04/01/10 23:48]: >>886
＞あらしはさったかな？
甘いな、オヌシ。
894 名前：１３２人目の素数さん mailto:sage [04/01/11 00:13]: >>891
こんなやつ

A,A,Γ|-Δ
----------
A,Γ|-Δ

Γ|-Δ,A,A
----------
Γ|-Δ,A
895 名前：１３２人目の素数さん mailto:sage [04/01/11 03:23]: >>890
そりゃあ、同じこと二度三度いう必要はなくて、一度にして良い、
っていうのは数学の論理としては自然なんでは？

構造規則を問題にするようになったのは９０年代からだし。最近のこと
といってよいと思うよ。
896 名前：１３２人目の素数さん mailto:sage [04/01/11 03:26]: 言及することによって性質が変わるような類の命題だったら危ないんじゃないの？
897 名前：１３２人目の素数さん mailto:sage [04/01/11 04:14]: >>896
うん、危ない。構造規則をいじる先駆的な研究は、より「現実的な」対応を
できるような論理体系の構築から始まってるのはそういうわけで。
898 名前：１３２人目の素数さん mailto:sage [04/01/11 04:21]: >>896
Relevant, Resorce Consious, Categorical grammer が三大
先駆研究というところだそうだよ。
899 名前：１３２人目の素数さん mailto:sage [04/01/11 09:37]: >>895
見た目だけで感想を述べると恥かくよ。
900 名前：１３２人目の素数さん mailto:sage [04/01/11 09:43]: >>896
∧や∨はもとより、∀や∃の意味も変わるよ。
例えば∀xP(x)からP(a),P(b),P(c),･･･と
どんどん式を増やせるのはcontractionがあるから
つまり、contractionという規則は無限性をもってるわけ。
だから述語論理では決定不能になったりする。
901 名前：１３２人目の素数さん mailto:sage [04/01/11 09:57]: >>897
relevant logic は weakeningがターゲットでしょ。
Lambek　calculusは、weakening,contractionのほかに
exchangeもなくなるし。

対象の無限性と直接かかわりがあるのは真ん中かな。
実は直観主義論理ってブラウアーが本来考えていたような問題の
「正しい解決法」ではないんじゃないかと思うわけ。
何を「正しい」っていうかは難しいけど、ブラウアーがもともと
いってたのは、１，２，３･･･という自然数の対象は、時間の
流れにそって作られるんで、そういうものをあらかじめ全部
あるとした上で、無限の対象について排中律が成り立つと
前提するのはおかしいってことだから、単に排中律をなくす
とか、二重否定を肯定とするのがおかしいとかいうことでは
ないわけ。
実際、contractionを除くと排中律も矛盾律も証明できなくなるし。
902 名前：１３２人目の素数さん mailto:sage [04/01/11 17:30]: 形式論理の研究のほとんど(線形論理その他)は、具体的にあるものを
形式化したのではなくて、推論規則に着目している形式についての研
究で、部外者には興味がもてないものが多いんじゃないのー?
903 名前：１３２人目の素数さん mailto:sage [04/01/11 17:41]: 部外者に興味もたれなくてもいいんじゃないのー?
904 名前：１３２人目の素数さん mailto:sage [04/01/11 18:39]: >>900
＞だから述語論理では決定不能になったりする。

確かに必要な要素ではあるが、別にだから決定不能になる
わけでもないだろう。単項述語のみに限定した場合は、
無限性を持つにもかかわらず決定可能になりますよ？
905 名前：１３２人目の素数さん mailto:sage [04/01/11 18:44]: >>899
どういう意味でしょうか？

>>901
＞relevant logic は weakeningがターゲットでしょ。

でもそもそもの動機は、weakning の規制が目的ではないわけだけどね。
Entailment 読めばわかるけどね。そんなそもそもの動機が異なるいくつかの
論理が、構造規則の制限という形で特徴づけられてきたわけだから
これはおもしろいよなあ。はやるわけだよ。
906 名前：１３２人目の素数さん mailto:sage [04/01/11 20:56]: >>904
ナントカの一つ覚え
>>905
知ったかぶりって恥ずかしいね
907 名前：１３２人目の素数さん mailto:sage [04/01/12 09:06]: みなさんスレ違いだってことぐらい分ってるんですよね？
908 名前：１３２人目の素数さん mailto:sage [04/01/12 10:11]: ↑
なぜなのでせうか？？
909 名前：１３２人目の素数さん mailto:sage [04/01/12 21:49]: 一連のナニは、単なる煽りなんでしょうか？
それとも奥深いナニカがあって、それをあえて明示しないという
奥ゆかしい立場ということなんでしょうか？
910 名前：↑ mailto:sage [04/01/13 03:22]: 勿論、後者だよ。（ｗ
911 名前：１３２人目の素数さん mailto:sage [04/01/13 10:11]: >>910
うそつけ（笑）
912 名前：１３２人目の素数さん mailto:sage [04/01/14 00:47]: >>911

ワダスはウソは申すましぇん。
913 名前：１３２人目の素数さん mailto:sage [04/01/14 08:15]: 一般連続体仮説から、選択公理が証明できるんですか？
前提を「一般連続体仮説」よりも少しでも弱めたら、成立しなくなる
ような証明なんでしょうか。
914 名前：１３２人目の素数さん mailto:sage [04/01/14 08:34]: >>913
一般連続体仮説というものをどのように述べてあるかはっきり
しておかないとおかしなこととなる。
たとえば、実数全体が整列可能ではないが、連続体仮説が成立
することもある。
915 名前：１３２人目の素数さん mailto:sage [04/01/15 11:40]: 性分直せば人気も出るっていってるのに全然治らないね、、、（謎
916 名前：１３２人目の素数さん mailto:sage [04/01/16 21:42]: 任意のnで
2^(アレフ[n]) = アレフ[n+1]
・・・じゃ駄目なん？
917 名前：１３２人目の素数さん mailto:sage [04/01/17 00:08]: >>916
そのようにかけば、帰納法で、ランクがω＋ｎの集合全体の整列
性がいえる。その調子で自然数ｎだけでなくすべての順序数に
ついての連続体仮説をかいておけば整列可能定理はZFから導ける。
しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
調子で述べると整列可能性がでてこないってこと。
べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。
数学一般に命題を正確に述べないと正誤に影響することあるし、
数学基礎論の関係するところはとくにそうなんじゃないのぉー？
918 名前：１３２人目の素数さん mailto:sage [04/01/17 16:01]: >>906
＞知ったかぶりって恥ずかしいね

そもそもの動機は "fallacies of relevance" の解消であって、 weekning の制限などで
はないですが？それとも Entailment は weekning という規則への制限の研究から
生まれたとおっしゃりたいのですかね？面白い考えですな。
919 名前：１３２人目の素数さん mailto:sage [04/01/17 16:03]: >>917
＞べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。

いいわけがましいやつだな（w
920 名前：１３２人目の素数さん mailto:sage [04/01/17 16:46]: >>917
＞べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。

マツシン哀れ（ｗ
921 名前：１３２人目の素数さん mailto:sage [04/01/17 18:31]: >しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
>調子で述べると整列可能性がでてこないってこと。
これは、何故なんでしょうか？
(アレフ[n])と2^(アレフ[n])の間に濃度がなくても、2^(アレフ[n])が
(アレフ[n+1])ではないということなのだから、言うなれば順序関係が
分岐するようなものでしょうか？

>べつに意地悪で説明しなかったわけでもなく、
意地悪だなんて、そんな。

>マツシンでもないよ。
この名前を時折目にしますが・・・有名な人なん？(^^;
922 名前：１３２人目の素数さん mailto:sage [04/01/17 20:38]: ネットでは超有名な御方です（藁

詳しくは、ここ↓で

science2.2ch.net/test/read.cgi/math/1057850128/l50
923 名前：１３２人目の素数さん mailto:sage [04/01/18 00:21]: ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。

　　　　　　　　／:::::::::::::::::::::＼
　　　　　　　／::::::::::::::::::::::::::::::::＼
　　　　　　　|:::::::::::|＿|＿|＿|＿|＿|
　　　　　　　|＿|＿ノ∪　＼,, ,,／ヽ
　　　　　　　|::（ 6　　ー─◎─◎　）
　　　　　　|ﾉ　　（∵∴∪（ o o）∴）
　　　　　　 |　　　<　　∵　　３　∵>
　　　　　／＼　└　　　　＿＿_　ノ
　　　　　　 .＼＼U　　＿＿＿ノ＼
　　　　　　　　＼＼＿＿）　ヽ　　敬白　マツシン
924 名前：１３２人目の素数さん mailto:sage [04/01/18 05:45]: >>917
> しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
> 調子で述べると整列可能性がでてこないってこと。

って調子、というのはどういうものを想定しているのかわからん。

Sierpinski の証明で採用している GCH は「任意の無限集合 a に対し、
a < x < P(a) となる x はない」ではなかったかと。
925 名前：１３２人目の素数さん mailto:sage [04/01/18 13:27]: ＞それとも Entailment は weekning という規則への制限の研究から
＞生まれたとおっしゃりたいのですかね？

そんな風によむ馬鹿は君一人
926 名前：１３２人目の素数さん mailto:sage [04/01/19 12:27]: >>920 >>917 の中の人はマツシンちゃんじゃないよ。

>>925 がマツシンチャン。
927 名前：１３２人目の素数さん [04/01/19 17:34]: 「ちゃん付け」では、気分でないな、マツシンの場合は。やはり「マツシン痰」でないとな（ｗ
928 名前：１３２人目の素数さん mailto:sage [04/01/19 20:17]: マツシンヲタの厨は逝って良し
929 名前：１３２人目の素数さん mailto:sage [04/01/19 22:54]: マツシンヲタの厨は逝って良し
930 名前：１３２人目の素数さん mailto:sage [04/01/22 11:23]: そろそろ４ですな、、、
931 名前：１３２人目の素数さん mailto:sage [04/01/24 00:40]: {0,{0},{0,{0}},{0,{0},{0,{0}}},{0,{0},{0,{0}},{0,{0},{0,{0}}}}}
932 名前：１３２人目の素数さん mailto:sage [04/01/24 00:45]: P(P({φ,{φ}}))
933 名前：１３２人目の素数さん mailto:sage [04/01/24 13:58]: そりゃあ５だろ、って突っ込むのは一応義務なんですかね(w
934 名前：１３２人目の素数さん [04/01/26 14:18]: この師 ---> 竹内外史

ニシテ

この弟子 ---> 山口人生

アリ（爆笑
935 名前：１３２人目の素数さん [04/01/26 15:38]: ↑学歴詐称男エムシラ、一応T大卒のヤマジンに大嫉妬（ｗ
936 名前：１３２人目の素数さん mailto:sage [04/02/01 05:03]: 335
937 名前：１３２人目の素数さん mailto:sage [04/02/02 20:24]: 解析学が形式化できないのは何故ですか
938 名前：１３２人目の素数さん mailto:sage [04/02/03 14:40]: 0'''' でいいじゃないか？
939 名前：１３２人目の素数さん mailto:sage [04/02/04 00:28]: >>937
どういう意味で？
940 名前：１３２人目の素数さん mailto:sage [04/02/04 00:36]: >>937
一応、形式化はされていると思うけど。証明が正しいかどうかを
計算機でチェックできるくらいには。
c.f.1)逆数学と二階算術（最近このシリーズ無くなりかけ）
2)数の体系と超準モデル
941 名前：１３２人目の素数さん mailto:sage [04/02/04 00:57]: >証明が正しいかどうかを計算機でチェックできるくらいには。
どんなプログラムでチェックしてるの？
942 名前：940 mailto:sage [04/02/04 01:05]: ヒルベルトの公理論的な枠組みで捉えられる、ということで、
与えられた証明（証明図）が正しいかどうかは単純なパターン
マッチングで確認できる、ぐらいの意味で言っただけです。
導出原理がどうだとかいっているわけではなく、あまり深い意味
はありません。
943 名前：１３２人目の素数さん mailto:sage [04/02/05 15:16]: すいません。超門外漢です。ゲーデル不完全性定理で質問があるんですが、メタ理論から
ゲーデル数と呼ばれる自然数に還元されて、それが循環し続けるから、
決定不能であり、証明も否定もできないということなのですか？
マジで誰かしえてくれさい。
944 名前：１３２人目の素数さん mailto:sage [04/02/05 19:32]: >>943
違います。
貴方の人生には無縁なことですから
きれいさっぱり忘れましょう（笑
945 名前：１３２人目の素数さん mailto:sage [04/02/05 19:52]: >>943
おれも文系だけどさ、耳学問したいなら本ぐらい買って読んだら？
それでも分らなければ理解出来ない箇所を人に聞くってのが筋じゃないのか？
漠然と分りません、なんて小学生までだろそんなのが許されるのは。
ということで数学の本を買いましょう。
946 名前：１３２人目の素数さん mailto:sage [04/02/06 00:58]: >>943
違います。Godelの元の証明では、pが正しい⇔pが証明不可能
と言う論理式を対角線論法で工夫して構成して決定不可能な
論理式をつくります。多分あなたが言うように書いてある本は
皆無だと思います。Godelの不完全性定理は特に高校文系の
数学以上の知識は要らないので、根気さえあれば自分で理解
出来るはずです。自分でまず勉強しましょう。
947 名前：１３２人目の素数さん mailto:sage [04/02/06 03:50]: わかってないけど、わかりました。じゃぁ、世界史板に戻ります（Ｗ
すんませんでした。
948 名前：１３２人目の素数さん mailto:sage [04/02/06 07:02]: >>946
＞Godelの不完全性定理は特に高校文系の
＞数学以上の知識は要らないので、

小学校の算数の知識で十分。
しかし高校で文系にいく連中は
そもそも九九もロクに覚えてないから
絶対ムリでしょう。
要するに根気がないんだよ（ｗ
949 名前：１３２人目の素数さん mailto:sage [04/02/06 12:19]: 文系の人は短時間で大量の文章を読む訓練が優先されるからね。
数十ページの本に何年も分るまでじっくり付き合うなんて姿勢は
想像力の範囲外にあるんだろうよ。
950 名前：１３２人目の素数さん mailto:sage [04/02/06 18:48]: 小学校の算数の知識じゃ十分じゃないと思われるのだが……
少なくとも中一で記号を用いた代数計算を勉強しないと……

それに、やっていることの意味を十全に分ろうとしたら、
当時の、Cantorの素朴集合論の自己言及的なパラドックスに
よる数学全体の危機感だとか、それに対するHilbertの公理論だとかの
数学史的な知識や、現代の数学が（別に図を描いたりして直観に
頼らなくても）記号変形ゲームとして見做せる、という確かな感触も
必要だし。（まぁ、例えばイタリアの代数幾何学の一派は多分
そんな感触は全く持っていなかったと思われるが）
もっとも数学史的な知識はそれこそ本を読みさえすれば良いんだから、
世界史板の人なんかには楽勝かもしれない。
951 名前：１３２人目の素数さん mailto:sage [04/02/08 17:55]: >>950
＞少なくとも中一で記号を用いた代数計算を勉強しないと……

それは微妙な問題だな。ただ必要なのは代数計算ではなく
記号への代入の発想だと思うが。

＞それに、やっていることの意味を十全に分ろうとしたら、

歴史を知る必要はないよ。数学史に頼っても数学は理解できない。
残念だが諦めたまえ
952 名前：１３２人目の素数さん mailto:sage [04/02/09 09:56]: >>951
＞歴史を知る必要はないよ。数学史に頼っても数学は理解できない。

正論だが、

＞残念だが諦めたまえ

この一文がよけいだな（w
953 名前：１３２人目の素数さん mailto:sage [04/02/12 04:07]: 文系の香具師が論理学からきちんと勉強すれば少なくとも
第一不完全性定理の証明は完全に分るよね。

ときに、LST上昇定理について少し詳しく書いた本誰か知りませんか？
数学基礎論講義だと良く分らないのですが。
954 名前：１３２人目の素数さん mailto:sage [04/02/12 22:36]: >>953
完全性定理の証明をきちんと行っている本ならば何でもよいかと思うけど、
Shoenfield や Chang-Keisler とかを見ても、証明の方針や詳しさは「数学
基礎論講義」と似たようなものですね。
955 名前：953 mailto:sage [04/02/13 22:28]: DavisのConputability & Unsolvabilityを衝動買いして
しまいました。生協にたまたまあったので。ゲッツ(σ･∀･)σ!

>>954
そうですか……ありがとうございます。濃度を上げたときの
モデルの性質が良く分らなかったんですが。まぁ構成法の関係で
仕方がないかも知れないですね。
956 名前：１３２人目の素数さん mailto:sage [04/02/13 23:07]: >>955
超べきを使う証明だと、何となくはっきりしてるように思う雰囲気
はあるが、完全性定理の証明と結局そう変わりはないと思う。
957 名前：１３２人目の素数さん mailto:sage [04/02/16 17:51]: おまいら、揃いも揃って、レヴェル低いな（爆笑

# 偽と矛盾との違いさえ分からんだろ？
958 名前：１３２人目の素数さん mailto:sage [04/02/16 17:55]: ＞＞９５５
＞DavisのConputability & Unsolvabilityを衝動買いして

何が“Conputability”だ ---- バカタレが！（爆笑
959 名前：１３２人目の素数さん mailto:sage [04/02/18 10:24]: >>958
笑った。おれよりひどいなこれは。
960 名前：１３２人目の素数さん mailto:sage [04/02/19 17:25]: またスペルチェッカーエムシラの登場か（ｗ
961 名前：１３２人目の素数さん mailto:sage [04/02/19 23:59]: やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。

www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
962 名前：１３２人目の素数さん mailto:sage [04/02/21 22:15]: >>961
「これからの時代は」というのは正確ではない。
今までも、今も、そして未来も「論*狸*学」だよ。
このスレッドの200－300題で明らかなようにマツシンはまたも偉そうに
振舞って撃沈した。その論理的帰結として、やはり御大の「論*狸*学」だ。
963 名前：１３２人目の素数さん mailto:sage [04/02/22 09:40]: あのー、ここはそういうスレじゃないんで、どっかよそいってやってくれませんか？

まあ、「基礎論」て単語がでるたびに脊髄反射でｴﾑｼﾗネタ、
「P=NP」がでるたびに脊髄反射でﾔﾏｼﾞﾝネタふってれば
厨房でもスレに参加できるんだろうけどさ
964 名前：１３２人目の素数さん mailto:sage [04/02/24 02:16]: >>963

「矛盾」と「偽」との違いさえ分からずに、「(数学)基礎論」もないだろう（爆笑
965 名前：１３２人目の素数さん mailto:sage [04/02/24 10:29]: >>964

ゲーデルの不完全性定理も理解できずに、「(数学)基礎論」もないだろう（爆笑
966 名前：１３２人目の素数さん mailto:sage [04/02/24 23:13]: やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。

www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
967 名前：１３２人目の素数さん [04/02/27 12:00]: 放っとくと、おっこっちゃうよ!
それに 1000 も近いし。
968 名前：１３２人目の素数さん mailto:sage [04/02/28 21:46]: 様相論理というものは、人工知能とかに必須の理論なのですか？
969 名前：１３２人目の素数さん mailto:sage [04/02/29 00:59]: >>968
今じゃ論理なんて殆ど使わないらしいよ。
970 名前：１３２人目の素数さん [04/02/29 16:12]: >>969
んなわけねえよ。

>>968
プログラム検証論で活用されておるらしい。
971 名前：１３２人目の素数さん mailto:sage [04/02/29 16:22]: 様相論理もいいけど、これからは線形論理だな。なんちって
972 名前：１３２人目の素数さん mailto:sage [04/03/02 02:44]: やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。

www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
973 名前：１３２人目の素数さん mailto:sage [04/03/03 23:44]: 非線形論理というものもありますか？
974 名前：１３２人目の素数さん mailto:sage [04/03/04 20:40]: >>973
それは普通の論理
975 名前：１３２人目の素数さん mailto:sage [04/03/05 17:33]: そうなんすか。

線形って、いわゆるf(ax + by) = af(x) + bf(y)的なナニカが、
論理体系中に存在しまつか。
976 名前：１３２人目の素数さん mailto:sage [04/03/06 11:05]: >>975
前提を一回しか使ってはいけないっていうのが、
「線形」ってイメージされるんでしょ。
普通の論理では前提を何回使ってもいい。
だからといって「非線形」とはわざわざいわないけど。
977 名前：１３２人目の素数さん mailto:sage [04/03/08 08:52]: >前提を一回しか使ってはいけないっていうのが、
>「線形」ってイメージされるんでしょ。

解説thx.
で、１回ってところを、例えば３回くらいにまかるようなのはないでつか。
978 名前：１３２人目の素数さん mailto:sage [04/03/08 16:39]: >>977

それは線形論理で、同じ前提を三個に増やしとくとかすればいいかと（笑）
979 名前：１３２人目の素数さん mailto:sage [04/03/09 08:24]: つまり、前提が無限個ある線形論理が普通の論理っすか？
980 名前：１３２人目の素数さん mailto:sage [04/03/12 08:05]: 無限っていっても、色々あるんだよ。
可算とか非可算とか、あとアレフなんてのもある。
981 名前：１３２人目の素数さん mailto:sage [04/03/13 00:53]: 『論理記号の数を数える』などという荒業が
どうやってできるのだろう？
ましてや論理記号の数による帰納法なんて．．．
982 名前：１３２人目の素数さん mailto:sage [04/03/14 00:55]: ９８２。
983 名前：１３２人目の素数さん mailto:sage [04/03/14 23:40]: ９８３。
984 名前：１３２人目の素数さん mailto:sage [04/03/14 23:42]: >>981
いや、どっちも普通にやりますが何か？
985 名前：１３２人目の素数さん mailto:sage [04/03/15 23:44]: ９８５。
986 名前：１３２人目の素数さん mailto:sage [04/03/16 00:15]: 1000!
987 名前：１３２人目の素数さん mailto:sage [04/03/16 00:15]: 1000!
988 名前：１３２人目の素数さん mailto:sage [04/03/16 00:16]: 1000!
989 名前：１３２人目の素数さん mailto:sage [04/03/16 00:16]: 1000!
990 名前：１３２人目の素数さん mailto:sage [04/03/16 00:16]: 1000!
991 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
992 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
993 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
994 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
995 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
996 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
997 名前：１３２人目の素数さん mailto:sage [04/03/16 00:17]: 1000!
998 名前：１３２人目の素数さん mailto:sage [04/03/16 00:18]: 1000!
999 名前：１３２人目の素数さん mailto:sage [04/03/16 00:18]: 1000!
1000 名前：１３２人目の素数さん mailto:sage [04/03/16 00:18]: 1000!
1001 名前：１００１ [Over 1000 Thread]: このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

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