- 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
- 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 も全集の一巻 として復刊してほしいなぁ。
- 839 名前:132人目の素数さん mailto:sage [03/12/14 21:16]
- >>837
「竹内外史+山口人生」師弟全集刊行予定 ---- 限定販売につき、申し込みは早めに!!!
- 840 名前:132人目の素数さん mailto:sage [03/12/14 23:34]
- >>839
もうヤマジンネタはやめてぇ〜
- 841 名前:132人目の素数さん mailto:sage [03/12/15 22:33]
- ヤマジンネタ、おもろいので続けてぇ〜
- 842 名前:132人目の素数さん mailto:sage [03/12/16 09:21]
- >>841
いい加減空気読んでくれない?
- 843 名前:132人目の素数さん mailto:sage [03/12/18 15:07]
- 「いい加減空気」って、どんな空気?
- 844 名前:132人目の素数さん mailto:sage [03/12/19 04:34]
- ウワッ、キモい…>>843
- 845 名前:132人目の素数さん mailto:sage [03/12/19 14:44]
- そろそろ次のスレタイを決めておきたいなあ。
ツェルメロ流ではもう長さ限界なので、なんかいい案希望。 無難にサクセサにする? 0'''' とか。なんかつまらんな。
- 846 名前:132人目の素数さん mailto:sage [03/12/19 22:02]
- {0,1,2,3}ならいけるけど・・・あんまり美しくはないか
- 847 名前:132人目の素数さん mailto:sage [03/12/20 00:18]
- そろそろ基礎論スレ終了しようよ。もうネタも無いしさ。
論理なら数理論理学スレ、集合論なら集合論スレでどうぞ。
- 848 名前:132人目の素数さん mailto:sage [03/12/20 16:52]
- >>847
ネタというのはどこからともなく突然降ってくるものだから、そういわずに気長に待つ のが吉かと。
- 849 名前:132人目の素数さん mailto:sage [03/12/20 22:55]
- 待つのにスレはいらない。
ネタがあればスレがなくてもスレが立つ。
- 850 名前:132人目の素数さん mailto:sage [03/12/22 10:37]
- >>847
っていうか、そんな細分化して過疎スレ作るほうがおかしいぞ。どれも ここからスピンアウトしたスレなんだから、ここを維持したほうが良いだろう。 >>849 不完全性定理って何?みたいな単発スレが濫立するほうがおこのみでつか?
- 851 名前:132人目の素数さん mailto:sage [03/12/22 21:01]
- 「不完全性定理は潰れる」というエムシラ大先生の予言は当たるのだろうか?
- 852 名前:132人目の素数さん mailto:sage [03/12/23 10:39]
- 細分化すると過疎になるというのはおかしい。
単にカキコする奴が区別できるのにしてないだけ。 そういう馬鹿を教育するためにここは潰したほうがいいだろう。
- 853 名前:132人目の素数さん mailto:sage [03/12/23 14:17]
- なんか、最近ダークサイドマツシンが出没してないか?
- 854 名前:132人目の素数さん mailto:sage [03/12/23 22:57]
- 「ダークサイドマツシン」って何? マツシンとはどう違うの?
- 855 名前:132人目の素数さん mailto:sage [03/12/23 23:05]
- 非古典論理のスレが盛況ですね。
- 856 名前:132人目の素数さん mailto:sage [03/12/24 15:58]
- >>845
マツシンにはいいマツシンと悪いマツシンがいるんでしよ。 議論や話題が進むにつれて、だんだん悪いマツシンが顔を出すのでし。
- 857 名前:132人目の素数さん mailto:sage [03/12/24 16:13]
-
ワス、「絶望」って名の電車に乗っつまいますた。 すかも、特急ざんす。 ( ^ ^ ;) /:::::::::::::::::::::\ /::::::::::::::::::::::::::::::::\ |:::::::::::|_|_|_|_|_| |_|_ノ∪ \,, ,,/ ヽ |::( 6 ー─◎─◎ ) |ノ (∵∴∪( o o)∴) | < ∵ 3 ∵> /\ └ ___ ノ .\\U ___ノ\ \\_ _) ヽ 敬白 マツシン
- 858 名前:132人目の素数さん mailto:sage [03/12/24 17:42]
- 河合塾ブックレットの「いざない」が買いたいんだけど、
なんか、品切れになってるっぽい。......鬱だ...
- 859 名前:132人目の素数さん mailto:sage [03/12/24 21:37]
- >マツシンにはいいマツシンと悪いマツシンがいるんでしよ。
エムシラはアホエムシラだけだけどな(w
- 860 名前:132人目の素数さん mailto:sage [03/12/24 23:32]
-
/ ̄ ̄ ̄v´`ヽ、 / //.// ハヽヾ ヽ\ i' ´// / ハ いヽ、ヾ、ヽi / | i'リ゛ヾ゛川ヽヽー、_!いノヾヽ /,((i iノ ヾ. 川川川リソ (川川丿 ヾ ..川川川川 ノ川川.|---、 川川川川 ノi i川川ィ'''・ヽ,ー / ̄川川川 / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ノ川川リ `ー,イ ´ィ''・ヽ))川川川 .| 川川川 ノヽ `''´ノ川川川リ< ネットでエムシラ様の悪口言ったら 川川川ヽ,,_ (,、_,、 )__,イ /川川川リ | ひどい目にあわされるってこと 川川川 ,,,,ノ ゞヽ /川川川川 │ 御存知、ア〜タ? オッホホホ 川川川 ⌒ニ´' /|川川川川 \_________ 川川川 `ヽ ~~ /|川川川川川 川川川 `ー-ー´ ||川川川川ソ
- 861 名前:132人目の素数さん mailto:sage [03/12/25 00:51]
- >>859
ものは知ってるので御大は便利な側面もある。まつしんは時に偉く 知ったかぶるのでそうなるとかなりうざい。
- 862 名前:132人目の素数さん mailto:sage [03/12/25 08:18]
- >ものは知ってるので
そりゃキミがものしらなすぎるんだよ(w てゆーか、マツシン程度で知ったかぶってると思う キミはそうとう劣等感に苛まれてるイタイヤシ(w
- 863 名前:132人目の素数さん mailto:sage [03/12/25 09:25]
- >>862
> そりゃキミがものしらなすぎるんだよ(w とりあえず、スペルチェッカーにはなるぜ(笑)
- 864 名前:132人目の素数さん mailto:sage [03/12/25 17:20]
-
ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。 /:::::::::::::::::::::\ /::::::::::::::::::::::::::::::::\ |:::::::::::|_|_|_|_|_| |_|_ノ∪ \,, ,,/ ヽ |::( 6 ー─◎─◎ ) |ノ (∵∴∪( o o)∴) | < ∵ 3 ∵> /\ └ ___ ノ .\\U ___ノ\ \\_ _) ヽ 敬白 マツシン
- 865 名前:132人目の素数さん mailto:sage [03/12/25 21:19]
- 久しぶりに沢山書き込まれてると思ったら、またですか。。。
- 866 名前:132人目の素数さん mailto:sage [03/12/26 02:48]
- そうよ、またなのよ。ヽ(^。^)ノ
- 867 名前:132人目の素数さん 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 名前:132人目の素数さん mailto:sage [03/12/26 10:39]
- >>865
いやいや、ひさしぶりに関連スレ全て活性化してるって。
- 869 名前:↑ mailto:sage [03/12/27 01:20]
- これも、みな、御大の「御活躍」によるものと思われ。ヽ(^。^)ノ
- 870 名前:132人目の素数さん mailto:sage [03/12/27 01:24]
- >>867 の「避難場所」は、みんな、すでに「エムシラ汚染スレ」であったことが追認されますた。 (゚д゚)
- 871 名前:132人目の素数さん mailto:sage [03/12/27 01:27]
- 2chには「避難場所」はないものと思われ。 ヽ(^。^)ノ
- 872 名前:132人目の素数さん [03/12/27 08:40]
- エムシラってホント馬鹿だな。
- 873 名前:↑ mailto:sage [03/12/27 21:10]
-
/ ̄ ̄ ̄v´`ヽ、 / //.// ハヽヾ ヽ\ i' ´// / ハ いヽ、ヾ、ヽi / | i'リ゛ヾ゛川ヽヽー、_!いノヾヽ /,((i iノ ヾ. 川川川リソ (川川丿 ヾ ..川川川川 ノ川川.|---、 川川川川 ノi i川川ィ'''・ヽ,ー / ̄川川川 / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ノ川川リ `ー,イ ´ィ''・ヽ))川川川 .| 川川川 ノヽ `''´ノ川川川リ< ネットでエムシラ様の悪口言ったら 川川川ヽ,,_ (,、_,、 )__,イ /川川川リ | ひどい目にあわされるってこと 川川川 ,,,,ノ ゞヽ /川川川川 │ 御存知、ア〜タ? オッホホホ 川川川 ⌒ニ´' /|川川川川 \_________ 川川川 `ヽ ~~ /|川川川川川 川川川 `ー-ー´ ||川川川川ソ
- 874 名前:↑ mailto:sage [03/12/28 15:30]
-
/ ̄ ̄ ̄v´`ヽ、 / //.// ハヽヾ ヽ\ i' ´// / ハ いヽ、ヾ、ヽi / | i'リ゛ヾ゛川ヽヽー、_!いノヾヽ /,((i iノ ヾ. 川川川リソ (川川丿 ヾ ..川川川川 ノ川川.|---、 川川川川 ノi i川川ィ'''・ヽ,ー / ̄川川川 / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ノ川川リ `ー,イ ´ィ''・ヽ))川川川 .| 川川川 ノヽ `''´ノ川川川リ< ネットでエムシラが 川川川ヽ,,_ (,、_,、 )__,イ /川川川リ | ひどい目にあわされてるってこと 川川川 ,,,,ノ ゞヽ /川川川川 │ 御存知、ア〜タ? オッホホホ 川川川 ⌒ニ´' /|川川川川 \_________ 川川川 `ヽ ~~ /|川川川川川 川川川 `ー-ー´ ||川川川川ソ
- 875 名前:訂正 mailto:sage [03/12/28 17:20]
- >>874 で、「エムシラ」と書いたのは、「マツシン」の誤りでいた。 m(_ _)m
- 876 名前:132人目の素数さん mailto:sage [03/12/29 04:20]
- ああ、負けた、負けた、世間に負けた。
/:::::::::::::::::::::\ /::::::::::::::::::::::::::::::::\ |:::::::::::|_|_|_|_|_| |_|_ノ∪ \,, ,,/ ヽ |::( 6 ー─◎─◎ ) |ノ (∵∴∪( o o)∴) | < ∵ 3 ∵> /\ └ ___ ノ .\\U ___ノ\ \\_ _) ヽ 敬白 マツシン
- 877 名前:訂正 mailto:sage [03/12/30 00:00]
- >>876 で、「マツシン」と書いたのは、「エムシラ」の誤りでいた。 m(_ _)m
- 878 名前:↑ mailto:sage [03/12/30 01:09]
- と、そのように、マツシン痰が「苦し紛れに」言うとりますた。 ヽ(^。^)ノ
- 879 名前:132人目の素数さん mailto:sage [03/12/30 01:12]
- またも負けたか、松本真吾(w
- 880 名前:132人目の素数さん mailto:sage [03/12/30 06:19]
- なぜこの程度の陰口が読み流せないのか
- 881 名前:132人目の素数さん mailto:sage [03/12/30 11:30]
- なぜこの程度の陰口も我慢できないのか
- 882 名前:132人目の素数さん mailto:sage [03/12/30 15:43]
-
/ .\ \ / \ / \ ___________ . / \ ./ \ / | \/ \/...| | | | | | | | | .._ |_| |_|_.. | | マツシン、さあ、逝こうか・・・ | | | | | | | | | | | | | | | |/ ..\| | | | | | .._|/| _ _ _ _ _ _ _ _ ...|\|_ / ..| | _−_−_−_−_− _ | | \ | |/_/━ ━ ━ ━ ━ ━\_\| | .._| /_/━ ━ ━ ━ ━ ━ ━ \_\.|_ /_/━ ━ ━ ━ ━ ━ ━ \_\ / /━ ━ ━ ━ ━ ━ ━\ \
- 883 名前:132人目の素数さん mailto:sage [03/12/30 16:30]
- マツシンって、孤立無援だよね。 素行が余りにも悪かったから。(w
- 884 名前:132人目の素数さん mailto:sage [03/12/31 03:23]
-
このアッフォーの師 ---> 竹内外史 ニシテ このアッフォーの弟子 ---> 山口人生 アリ(爆笑
- 885 名前:132人目の素数さん mailto:sage [04/01/01 16:20]
- 冬厨にスレが潰されてる・・
- 886 名前:132人目の素数さん mailto:sage [04/01/09 12:43]
- あらしはさったかな?
- 887 名前:132人目の素数さん mailto:sage [04/01/09 22:10]
- 可算選択公理が非可算のものに比べて風当たりが弱いのは何故ですか?
- 888 名前:132人目の素数さん mailto:sage [04/01/10 01:06]
- 可算より非可算の方がキモイからだろ
よくわかんなくても数えられると安心なんだよ
- 889 名前:132人目の素数さん mailto:sage [04/01/10 02:33]
- >>887
なければ困るから。特に、解析学の基礎的な部分。 選択公理に否定的だったルベーグも無意識のうちに使っていた。
- 890 名前:132人目の素数さん mailto:sage [04/01/10 07:30]
- 二重否定の消去¬¬A→Aは風当たりが強いのに
contractionはほとんど問題にされないのはナゼ?
- 891 名前:132人目の素数さん mailto:sage [04/01/10 13:57]
- >>889
そうなんだ、知らなかった。 で、ルベーグその人は、「可算なら許可なのダ!」的な発言をしたので しょうか? それとも、御自身は最後まで気づかなかったとか? >>890 contractionてなんすか、解説キボンヌ。
- 892 名前:132人目の素数さん mailto:sage [04/01/10 23:12]
- contradiction(矛盾律)のことなら
¬(A∧¬A)は排中律なくても出せるぞ
- 893 名前:132人目の素数さん mailto:sage [04/01/10 23:48]
- >>886
>あらしはさったかな? 甘いな、オヌシ。
- 894 名前:132人目の素数さん mailto:sage [04/01/11 00:13]
- >>891
こんなやつ A,A,Γ|-Δ ---------- A,Γ|-Δ Γ|-Δ,A,A ---------- Γ|-Δ,A
- 895 名前:132人目の素数さん mailto:sage [04/01/11 03:23]
- >>890
そりゃあ、同じこと二度三度いう必要はなくて、一度にして良い、 っていうのは数学の論理としては自然なんでは? 構造規則を問題にするようになったのは90年代からだし。最近のこと といってよいと思うよ。
- 896 名前:132人目の素数さん mailto:sage [04/01/11 03:26]
- 言及することによって性質が変わるような類の命題だったら危ないんじゃないの?
- 897 名前:132人目の素数さん mailto:sage [04/01/11 04:14]
- >>896
うん、危ない。構造規則をいじる先駆的な研究は、より「現実的な」対応を できるような論理体系の構築から始まってるのはそういうわけで。
- 898 名前:132人目の素数さん mailto:sage [04/01/11 04:21]
- >>896
Relevant, Resorce Consious, Categorical grammer が三大 先駆研究というところだそうだよ。
- 899 名前:132人目の素数さん mailto:sage [04/01/11 09:37]
- >>895
見た目だけで感想を述べると恥かくよ。
- 900 名前:132人目の素数さん mailto:sage [04/01/11 09:43]
- >>896
∧や∨はもとより、∀や∃の意味も変わるよ。 例えば∀xP(x)からP(a),P(b),P(c),・・・と どんどん式を増やせるのはcontractionがあるから つまり、contractionという規則は無限性をもってるわけ。 だから述語論理では決定不能になったりする。
- 901 名前:132人目の素数さん mailto:sage [04/01/11 09:57]
- >>897
relevant logic は weakeningがターゲットでしょ。 Lambek calculusは、weakening,contractionのほかに exchangeもなくなるし。 対象の無限性と直接かかわりがあるのは真ん中かな。 実は直観主義論理ってブラウアーが本来考えていたような問題の 「正しい解決法」ではないんじゃないかと思うわけ。 何を「正しい」っていうかは難しいけど、ブラウアーがもともと いってたのは、1,2,3・・・という自然数の対象は、時間の 流れにそって作られるんで、そういうものをあらかじめ全部 あるとした上で、無限の対象について排中律が成り立つと 前提するのはおかしいってことだから、単に排中律をなくす とか、二重否定を肯定とするのがおかしいとかいうことでは ないわけ。 実際、contractionを除くと排中律も矛盾律も証明できなくなるし。
- 902 名前:132人目の素数さん mailto:sage [04/01/11 17:30]
- 形式論理の研究のほとんど(線形論理その他)は、具体的にあるものを
形式化したのではなくて、推論規則に着目している形式についての研 究で、部外者には興味がもてないものが多いんじゃないのー?
- 903 名前:132人目の素数さん mailto:sage [04/01/11 17:41]
- 部外者に興味もたれなくてもいいんじゃないのー?
- 904 名前:132人目の素数さん mailto:sage [04/01/11 18:39]
- >>900
>だから述語論理では決定不能になったりする。 確かに必要な要素ではあるが、別にだから決定不能になる わけでもないだろう。単項述語のみに限定した場合は、 無限性を持つにもかかわらず決定可能になりますよ?
- 905 名前:132人目の素数さん mailto:sage [04/01/11 18:44]
- >>899
どういう意味でしょうか? >>901 >relevant logic は weakeningがターゲットでしょ。 でもそもそもの動機は、weakning の規制が目的ではないわけだけどね。 Entailment 読めばわかるけどね。そんなそもそもの動機が異なるいくつかの 論理が、構造規則の制限という形で特徴づけられてきたわけだから これはおもしろいよなあ。はやるわけだよ。
- 906 名前:132人目の素数さん mailto:sage [04/01/11 20:56]
- >>904
ナントカの一つ覚え >>905 知ったかぶりって恥ずかしいね
- 907 名前:132人目の素数さん mailto:sage [04/01/12 09:06]
- みなさんスレ違いだってことぐらい分ってるんですよね?
- 908 名前:132人目の素数さん mailto:sage [04/01/12 10:11]
- ↑
なぜなのでせうか??
- 909 名前:132人目の素数さん mailto:sage [04/01/12 21:49]
- 一連のナニは、単なる煽りなんでしょうか?
それとも奥深いナニカがあって、それをあえて明示しないという 奥ゆかしい立場ということなんでしょうか?
- 910 名前:↑ mailto:sage [04/01/13 03:22]
- 勿論、後者だよ。(w
- 911 名前:132人目の素数さん mailto:sage [04/01/13 10:11]
- >>910
うそつけ(笑)
- 912 名前:132人目の素数さん mailto:sage [04/01/14 00:47]
- >>911
ワダスはウソは申すましぇん。
- 913 名前:132人目の素数さん mailto:sage [04/01/14 08:15]
- 一般連続体仮説から、選択公理が証明できるんですか?
前提を「一般連続体仮説」よりも少しでも弱めたら、成立しなくなる ような証明なんでしょうか。
- 914 名前:132人目の素数さん mailto:sage [04/01/14 08:34]
- >>913
一般連続体仮説というものをどのように述べてあるかはっきり しておかないとおかしなこととなる。 たとえば、実数全体が整列可能ではないが、連続体仮説が成立 することもある。
- 915 名前:132人目の素数さん mailto:sage [04/01/15 11:40]
- 性分直せば人気も出るっていってるのに全然治らないね、、、(謎
- 916 名前:132人目の素数さん mailto:sage [04/01/16 21:42]
- 任意のnで
2^(アレフ[n]) = アレフ[n+1] ・・・じゃ駄目なん?
- 917 名前:132人目の素数さん mailto:sage [04/01/17 00:08]
- >>916
そのようにかけば、帰納法で、ランクがω+nの集合全体の整列 性がいえる。その調子で自然数nだけでなくすべての順序数に ついての連続体仮説をかいておけば整列可能定理はZFから導ける。 しかし、ωとその部分集合の全体の濃度の間には濃度がない、って 調子で述べると整列可能性がでてこないってこと。 べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。 数学一般に命題を正確に述べないと正誤に影響することあるし、 数学基礎論の関係するところはとくにそうなんじゃないのぉー?
- 918 名前:132人目の素数さん mailto:sage [04/01/17 16:01]
- >>906
> 知ったかぶりって恥ずかしいね そもそもの動機は "fallacies of relevance" の解消であって、 weekning の制限などで はないですが?それとも Entailment は weekning という規則への制限の研究から 生まれたとおっしゃりたいのですかね?面白い考えですな。
- 919 名前:132人目の素数さん mailto:sage [04/01/17 16:03]
- >>917
>べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。 いいわけがましいやつだな(w
- 920 名前:132人目の素数さん mailto:sage [04/01/17 16:46]
- >>917
>べつに意地悪で説明しなかったわけでもなく、マツシンでもないよ。 マツシン哀れ(w
- 921 名前:132人目の素数さん mailto:sage [04/01/17 18:31]
- >しかし、ωとその部分集合の全体の濃度の間には濃度がない、って
>調子で述べると整列可能性がでてこないってこと。 これは、何故なんでしょうか? (アレフ[n])と2^(アレフ[n])の間に濃度がなくても、2^(アレフ[n])が (アレフ[n+1])ではないということなのだから、言うなれば順序関係が 分岐するようなものでしょうか? >べつに意地悪で説明しなかったわけでもなく、 意地悪だなんて、そんな。 >マツシンでもないよ。 この名前を時折目にしますが・・・有名な人なん?(^^;
- 922 名前:132人目の素数さん mailto:sage [04/01/17 20:38]
- ネットでは超有名な御方です(藁
詳しくは、ここ↓で science2.2ch.net/test/read.cgi/math/1057850128/l50
- 923 名前:132人目の素数さん mailto:sage [04/01/18 00:21]
-
ワス、「コロンビア」の綴りは、"Columbia"だっつこと知(す)らずに、"Colombia"と書いて、顔が潰れたッス。 /:::::::::::::::::::::\ /::::::::::::::::::::::::::::::::\ |:::::::::::|_|_|_|_|_| |_|_ノ∪ \,, ,,/ ヽ |::( 6 ー─◎─◎ ) |ノ (∵∴∪( o o)∴) | < ∵ 3 ∵> /\ └ ___ ノ .\\U ___ノ\ \\_ _) ヽ 敬白 マツシン
- 924 名前:132人目の素数さん mailto:sage [04/01/18 05:45]
- >>917
> しかし、ωとその部分集合の全体の濃度の間には濃度がない、って > 調子で述べると整列可能性がでてこないってこと。 って調子、というのはどういうものを想定しているのかわからん。 Sierpinski の証明で採用している GCH は 「任意の無限集合 a に対し、 a < x < P(a) となる x はない」ではなかったかと。
- 925 名前:132人目の素数さん mailto:sage [04/01/18 13:27]
- >それとも Entailment は weekning という規則への制限の研究から
>生まれたとおっしゃりたいのですかね? そんな風によむ馬鹿は君一人
- 926 名前:132人目の素数さん mailto:sage [04/01/19 12:27]
- >>920 >>917 の中の人はマツシンちゃんじゃないよ。
>>925 がマツシンチャン。
- 927 名前:132人目の素数さん [04/01/19 17:34]
- 「ちゃん付け」では、気分でないな、マツシンの場合は。 やはり「マツシン痰」でないとな(w
- 928 名前:132人目の素数さん mailto:sage [04/01/19 20:17]
- マツシンヲタの厨は逝って良し
- 929 名前:132人目の素数さん mailto:sage [04/01/19 22:54]
- マツシンヲタの厨は逝って良し
- 930 名前:132人目の素数さん mailto:sage [04/01/22 11:23]
- そろそろ 4ですな、、、
- 931 名前:132人目の素数さん mailto:sage [04/01/24 00:40]
- {0,{0},{0,{0}},{0,{0},{0,{0}}},{0,{0},{0,{0}},{0,{0},{0,{0}}}}}
- 932 名前:132人目の素数さん mailto:sage [04/01/24 00:45]
- P(P({φ,{φ}}))
- 933 名前:132人目の素数さん mailto:sage [04/01/24 13:58]
- そりゃあ5だろ、って突っ込むのは一応義務なんですかね(w
- 934 名前:132人目の素数さん [04/01/26 14:18]
- この師 ---> 竹内外史
ニシテ この弟子 ---> 山口人生 アリ(爆笑
- 935 名前:132人目の素数さん [04/01/26 15:38]
- ↑学歴詐称男エムシラ、一応T大卒のヤマジンに大嫉妬(w
- 936 名前:132人目の素数さん mailto:sage [04/02/01 05:03]
- 335
- 937 名前:132人目の素数さん mailto:sage [04/02/02 20:24]
- 解析学が形式化できないのは何故ですか
- 938 名前:132人目の素数さん mailto:sage [04/02/03 14:40]
- 0'''' でいいじゃないか?
- 939 名前:132人目の素数さん mailto:sage [04/02/04 00:28]
- >>937
どういう意味で?
- 940 名前:132人目の素数さん mailto:sage [04/02/04 00:36]
- >>937
一応、形式化はされていると思うけど。証明が正しいかどうかを 計算機でチェックできるくらいには。 c.f.1)逆数学と二階算術(最近このシリーズ無くなりかけ) 2)数の体系と超準モデル
- 941 名前:132人目の素数さん mailto:sage [04/02/04 00:57]
- >証明が正しいかどうかを計算機でチェックできるくらいには。
どんなプログラムでチェックしてるの?
- 942 名前:940 mailto:sage [04/02/04 01:05]
- ヒルベルトの公理論的な枠組みで捉えられる、ということで、
与えられた証明(証明図)が正しいかどうかは単純なパターン マッチングで確認できる、ぐらいの意味で言っただけです。 導出原理がどうだとかいっているわけではなく、あまり深い意味 はありません。
- 943 名前:132人目の素数さん mailto:sage [04/02/05 15:16]
- すいません。超門外漢です。ゲーデル不完全性定理で質問があるんですが、メタ理論から
ゲーデル数と呼ばれる自然数に還元されて、それが循環し続けるから、 決定不能であり、証明も否定もできないということなのですか? マジで誰かしえてくれさい。
- 944 名前:132人目の素数さん mailto:sage [04/02/05 19:32]
- >>943
違います。 貴方の人生には無縁なことですから きれいさっぱり忘れましょう(笑
- 945 名前:132人目の素数さん mailto:sage [04/02/05 19:52]
- >>943
おれも文系だけどさ、耳学問したいなら本ぐらい買って読んだら? それでも分らなければ理解出来ない箇所を人に聞くってのが筋じゃないのか? 漠然と分りません、なんて小学生までだろそんなのが許されるのは。 ということで数学の本を買いましょう。
- 946 名前:132人目の素数さん mailto:sage [04/02/06 00:58]
- >>943
違います。Godelの元の証明では、pが正しい⇔pが証明不可能 と言う論理式を対角線論法で工夫して構成して決定不可能な 論理式をつくります。多分あなたが言うように書いてある本は 皆無だと思います。Godelの不完全性定理は特に高校文系の 数学以上の知識は要らないので、根気さえあれば自分で理解 出来るはずです。自分でまず勉強しましょう。
- 947 名前:132人目の素数さん mailto:sage [04/02/06 03:50]
- わかってないけど、わかりました。じゃぁ、世界史板に戻ります(W
すんませんでした。
- 948 名前:132人目の素数さん mailto:sage [04/02/06 07:02]
- >>946
>Godelの不完全性定理は特に高校文系の >数学以上の知識は要らないので、 小学校の算数の知識で十分。 しかし高校で文系にいく連中は そもそも九九もロクに覚えてないから 絶対ムリでしょう。 要するに根気がないんだよ(w
- 949 名前:132人目の素数さん mailto:sage [04/02/06 12:19]
- 文系の人は短時間で大量の文章を読む訓練が優先されるからね。
数十ページの本に何年も分るまでじっくり付き合うなんて姿勢は 想像力の範囲外にあるんだろうよ。
- 950 名前:132人目の素数さん mailto:sage [04/02/06 18:48]
- 小学校の算数の知識じゃ十分じゃないと思われるのだが……
少なくとも中一で記号を用いた代数計算を勉強しないと…… それに、やっていることの意味を十全に分ろうとしたら、 当時の、Cantorの素朴集合論の自己言及的なパラドックスに よる数学全体の危機感だとか、それに対するHilbertの公理論だとかの 数学史的な知識や、現代の数学が(別に図を描いたりして直観に 頼らなくても)記号変形ゲームとして見做せる、という確かな感触も 必要だし。(まぁ、例えばイタリアの代数幾何学の一派は多分 そんな感触は全く持っていなかったと思われるが) もっとも数学史的な知識はそれこそ本を読みさえすれば良いんだから、 世界史板の人なんかには楽勝かもしれない。
- 951 名前:132人目の素数さん mailto:sage [04/02/08 17:55]
- >>950
>少なくとも中一で記号を用いた代数計算を勉強しないと…… それは微妙な問題だな。ただ必要なのは代数計算ではなく 記号への代入の発想だと思うが。 >それに、やっていることの意味を十全に分ろうとしたら、 歴史を知る必要はないよ。数学史に頼っても数学は理解できない。 残念だが諦めたまえ
- 952 名前:132人目の素数さん mailto:sage [04/02/09 09:56]
- >>951
>歴史を知る必要はないよ。数学史に頼っても数学は理解できない。 正論だが、 >残念だが諦めたまえ この一文がよけいだな(w
- 953 名前:132人目の素数さん mailto:sage [04/02/12 04:07]
- 文系の香具師が論理学からきちんと勉強すれば少なくとも
第一不完全性定理の証明は完全に分るよね。 ときに、LST上昇定理について少し詳しく書いた本誰か知りませんか? 数学基礎論講義だと良く分らないのですが。
- 954 名前:132人目の素数さん 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 名前:132人目の素数さん mailto:sage [04/02/13 23:07]
- >>955
超べきを使う証明だと、何となくはっきりしてるように思う雰囲気 はあるが、完全性定理の証明と結局そう変わりはないと思う。
- 957 名前:132人目の素数さん mailto:sage [04/02/16 17:51]
- おまいら、揃いも揃って、レヴェル低いな(爆笑
# 偽と矛盾との違いさえ分からんだろ?
- 958 名前:132人目の素数さん mailto:sage [04/02/16 17:55]
- >>955
>DavisのConputability & Unsolvabilityを衝動買いして 何が“Conputability”だ ---- バカタレが!(爆笑
- 959 名前:132人目の素数さん mailto:sage [04/02/18 10:24]
- >>958
笑った。おれよりひどいなこれは。
- 960 名前:132人目の素数さん mailto:sage [04/02/19 17:25]
- またスペルチェッカーエムシラの登場か(w
- 961 名前:132人目の素数さん mailto:sage [04/02/19 23:59]
-
やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。 www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
- 962 名前:132人目の素数さん mailto:sage [04/02/21 22:15]
- >>961
「これからの時代は」というのは正確ではない。 今までも、今も、そして未来も「論*狸*学」だよ。 このスレッドの200−300題で明らかなようにマツシンはまたも偉そうに 振舞って撃沈した。その論理的帰結として、やはり御大の「論*狸*学」だ。
- 963 名前:132人目の素数さん mailto:sage [04/02/22 09:40]
- あのー、ここはそういうスレじゃないんで、どっかよそいってやってくれませんか?
まあ、「基礎論」て単語がでるたびに脊髄反射でエムシラネタ、 「P=NP」がでるたびに脊髄反射でヤマジンネタふってれば 厨房でもスレに参加できるんだろうけどさ
- 964 名前:132人目の素数さん mailto:sage [04/02/24 02:16]
- >>963
「矛盾」と「偽」との違いさえ分からずに、「(数学)基礎論」もないだろう(爆笑
- 965 名前:132人目の素数さん mailto:sage [04/02/24 10:29]
- >>964
ゲーデルの不完全性定理も理解できずに、「(数学)基礎論」もないだろう(爆笑
- 966 名前:132人目の素数さん mailto:sage [04/02/24 23:13]
-
やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。 www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
- 967 名前:132人目の素数さん [04/02/27 12:00]
- 放っとくと、おっこっちゃうよ!
それに 1000 も近いし。
- 968 名前:132人目の素数さん mailto:sage [04/02/28 21:46]
- 様相論理というものは、人工知能とかに必須の理論なのですか?
- 969 名前:132人目の素数さん mailto:sage [04/02/29 00:59]
- >>968
今じゃ論理なんて殆ど使わないらしいよ。
- 970 名前:132人目の素数さん [04/02/29 16:12]
- >>969
んなわけねえよ。 >>968 プログラム検証論で活用されておるらしい。
- 971 名前:132人目の素数さん mailto:sage [04/02/29 16:22]
- 様相論理もいいけど、これからは線形論理だな。なんちって
- 972 名前:132人目の素数さん mailto:sage [04/03/02 02:44]
-
やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。 www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
- 973 名前:132人目の素数さん mailto:sage [04/03/03 23:44]
- 非線形論理というものもありますか?
- 974 名前:132人目の素数さん mailto:sage [04/03/04 20:40]
- >>973
それは普通の論理
- 975 名前:132人目の素数さん mailto:sage [04/03/05 17:33]
- そうなんすか。
線形って、いわゆるf(ax + by) = af(x) + bf(y)的なナニカが、 論理体系中に存在しまつか。
- 976 名前:132人目の素数さん mailto:sage [04/03/06 11:05]
- >>975
前提を一回しか使ってはいけないっていうのが、 「線形」ってイメージされるんでしょ。 普通の論理では前提を何回使ってもいい。 だからといって「非線形」とはわざわざいわないけど。
- 977 名前:132人目の素数さん mailto:sage [04/03/08 08:52]
- >前提を一回しか使ってはいけないっていうのが、
>「線形」ってイメージされるんでしょ。 解説thx. で、1回ってところを、例えば3回くらいにまかるようなのはないでつか。
- 978 名前:132人目の素数さん mailto:sage [04/03/08 16:39]
- >>977
それは線形論理で、同じ前提を三個に増やしとくとかすればいいかと(笑)
- 979 名前:132人目の素数さん mailto:sage [04/03/09 08:24]
- つまり、前提が無限個ある線形論理が普通の論理っすか?
- 980 名前:132人目の素数さん mailto:sage [04/03/12 08:05]
- 無限っていっても、色々あるんだよ。
可算とか非可算とか、あとアレフなんてのもある。
- 981 名前:132人目の素数さん mailto:sage [04/03/13 00:53]
- 『論理記号の数を数える』などという荒業が
どうやってできるのだろう? ましてや論理記号の数による帰納法なんて...
- 982 名前:132人目の素数さん mailto:sage [04/03/14 00:55]
- 982。
- 983 名前:132人目の素数さん mailto:sage [04/03/14 23:40]
- 983。
- 984 名前:132人目の素数さん mailto:sage [04/03/14 23:42]
- >>981
いや、どっちも普通にやりますが何か?
- 985 名前:132人目の素数さん mailto:sage [04/03/15 23:44]
- 985。
- 986 名前:132人目の素数さん mailto:sage [04/03/16 00:15]
- 1000!
- 987 名前:132人目の素数さん mailto:sage [04/03/16 00:15]
- 1000!
- 988 名前:132人目の素数さん mailto:sage [04/03/16 00:16]
- 1000!
- 989 名前:132人目の素数さん mailto:sage [04/03/16 00:16]
- 1000!
- 990 名前:132人目の素数さん mailto:sage [04/03/16 00:16]
- 1000!
- 991 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 992 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 993 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 994 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 995 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 996 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 997 名前:132人目の素数さん mailto:sage [04/03/16 00:17]
- 1000!
- 998 名前:132人目の素数さん mailto:sage [04/03/16 00:18]
- 1000!
- 999 名前:132人目の素数さん mailto:sage [04/03/16 00:18]
- 1000!
- 1000 名前:132人目の素数さん mailto:sage [04/03/16 00:18]
- 1000!
- 1001 名前:1001 [Over 1000 Thread]
- このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
|
|