数学基礎論・数理論理学のスレッド　その7

1 名前：１３２人目の素数さん mailto:sage [2010/11/11(木) 22:13:57 ] 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、 19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。 現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、 多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。 （「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。） 応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、 英米系哲学の一部などを含み、多岐にわたります。 （数学セミナー98年6月号、「数学基礎論の学び方」 ttp://www.math.tohoku.ac.jp/~tanaka/intro.html 或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照） 従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。 他のスレで御質問なさるようにお願いします。 前スレ 数学基礎論・数理論理学のスレッド　その6 kamome.2ch.net/test/read.cgi/math/1265884076/ 804 名前：１３２人目の素数さん [2011/06/17(金) 20:12:33.50 ] >>780>>782 メドヴェージェフ次数を考えれば、 ZF-InfとPAは同型であることが証明されている。 また自然数NとPAとロビンソンのQなども同型なのである！ 805 名前：１３２人目の素数さん mailto:にせものことわり [2011/06/17(金) 21:36:32.56 ] >>802 べ　は理解できないんだ 806 名前：１３２人目の素数さん [2011/06/17(金) 21:43:19.83 ] >>805 もしかして60歳からの数学スレの仙石６０さん？ コンピューターの開発やっていらしたんですっけ？ いつの間にか仙石61になっていますね... 807 名前：１３２人目の素数さん mailto:ｊｋ [2011/06/17(金) 22:00:31.39 ] ↑こうゆうこと書き込む奴って、いつも何考えてんだろう 808 名前：あんでぃは単細胞 ◆AdkZFxa49I [2011/06/17(金) 22:12:49.49 ] さっぱり笑。 あんでぃ 809 名前：806 [2011/06/17(金) 22:47:35.38 ] >>807 自分の頭から光が広がり世界を包む、しばしば考えます。 >>808 だろうな。 810 名前：べ [2011/06/18(土) 03:24:28.45 ] 仙石61さんへ 謝罪と賠償を求めます 811 名前：１３２人目の素数さん mailto:sage [2011/06/18(土) 06:51:29.53 ] 合言葉は、フレ−イ、フレ−イ、NIPPON ! フレイ、フレイ、NIPPON ! フレイ、フレイ、NIPPON ! ・・・・∞ｗ！！！！ 俺、行きたかったんや、義勇兵(Volunteer)として。 すかす(Shikashi)、行けん。　広島からは、遠い！！！！ だもんで、義援金を送った。　小額(\4,000)や。。。。情けない（涙 でもな、日本国民*全員*が　\4,000　送ってみろ。 概算で、約４千億や！！！！ 812 名前：Volunteer mailto:sage [2011/06/18(土) 06:57:01.18 ] 31 ：１３２人目の素数さん：2010/11/13(土) 14:38:01 こんちには みさなん おんげき ですか？　わしたは げんき です。 この ぶんょしう は ＵＫ の ケブンッリジ だがいく の けゅきんう の けっか にんんげ は もじ を にしんき する とき その さしいょ と さいご の もさじえ あいてっれば じばんゅん は めくちちゃゃ でも ちんゃと よめる という けゅきんう に もづいとて わざと もじの じんばゅん を いかれえて あまりす。 どでうす？　ちんゃと よゃちめう でしょ？ ちんゃと よためら はのんう よしろく Daitai Yomeru GA, はのんう よしろく no はのんう ga Wakaran !!!! 813 名前：官軍（一兵卒(＾o＾)） mailto:sage [2011/06/18(土) 07:17:02.09 ] >>812 ：Volunteer：2011/06/18(土)18_vi_2011 06:57:01.18; JMT >>31 ：１３２人目の素数さん：(土)13_xi_2010 14:38:01; JMT ＞ こんちには みさなん おんげき ですか？　 Welcome to YOU ! and Nice to hear YOU. Wareware-wa mi-te no tohri, Genki-desu Yo! TOH-HOKU no Pacific Ocean no HouMen wa TAIHEN da kedo ne.....。(namida わしたは げんき です。 Very very very Very Nice. この ぶんょしう は ＵＫ の ケブンッリジ だがいく の けゅきんう の けっか にんんげ は もじ を にしんき する とき その さしいょ と さいご の もさじえ あいてっれば じばんゅん は めくちちゃゃ でも ちんゃと よめる という けゅきんう に もづいとて わざと もじの じんばゅん を いかれえて あまりす。 じんばゅん ----> 順番 どでうす？　ちんゃと よゃちめう でしょ？ ちんゃと よためら はのんう よしろく Daitai Yomeru GA, はのんう よしろく no はのんう ga Wakaran !!!! 814 名前：あんでぃは単細胞 ◆AdkZFxa49I [2011/06/18(土) 11:44:51.70 ] 難しいですネ。 あんでぃ 815 名前：１３２人目の素数さん mailto:age [2011/06/18(土) 12:16:10.05 ] www.age.ne.jp/x/eurms/Ronri_Kaikaku.html www.age.ne.jp/x/eurms/Kaku-Mokuji.html 816 名前：１３２人目の素数さん [2011/06/18(土) 12:31:49.82 ] どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。 例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののこと と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［¬Ｑ(ｘ)⇒/x/¬Ｐ(ｘ)］ こそが、対偶律を正しく捉えてたものと考えられる。 M_SHIRAISHI氏（たち？）の主張する「論理革命」は、おそらく、世界を席巻 することとなろう。 817 名前：１３２人目の素数さん mailto:sage [2011/06/18(土) 12:37:31.55 ] Ｐ：［ライオンは哺乳動物である］，Ｑ：［ライオンもクジラも共に哺乳動物である］ と おいてみると：− ［ＰはＱを内含する］： ［ライオンは哺乳動物である は ライオンもクジラも 共に哺乳動物であるを内含する］ ------ 明らかに、これは偽です。 ［Ｐでないか又はＱである］： ［ライオンは哺乳動物でないか 又は ライオンもクジラも 共に哺乳動物である］ ------- こちらは真です。 一方は偽であり、他方は真であるような二つの命題 が 同義であるはずはありません。 818 名前：１３２人目の素数さん mailto:sage [2011/06/18(土) 12:40:49.12 ] 一方でA⇒A∧Bという形の命題が恒真でないことをもって「偽」とし、 他方でA⇒A∧Bがあるvaluation（現実ではたまたまそういう値）ではtrueとなることをもって「真」 として対比することに何の意味があるのか まさか、形式的な論理だけで生物学の問題が解決すると思っているわけでもあるまい 819 名前：１３２人目の素数さん [2011/06/18(土) 12:49:14.28 ] (･∀･) ﾆﾔﾆﾔ 820 名前：べ [2011/06/18(土) 20:30:02.39 ] 仙石６１へ あなたのカキコを読んで私は怒りました したがって謝罪と賠償を求めます 821 名前：１３２人目の素数さん [2011/06/18(土) 20:35:45.38 ] 私にも謝罪と賠償を求めます 822 名前：不正義屑猫 ◆MuKUnGPXAY mailto:age [2011/06/18(土) 23:25:25.62 ] >>820 貴殿の頭の悪さと無能さに立腹致しました。従って賠償だけを求めます ので５０００００００００００００００ユーロをご準備戴きます。尚、 貴殿の知性の低さを鑑みて謝罪は求めません。どうせ不可能でしょうし。 猫 823 名前：あんでぃは屑 ◆AdkZFxa49I [2011/06/18(土) 23:27:00.29 ] あんでぃ 824 名前：べ [2011/06/19(日) 00:47:26.69 ] >>822 あなたのカキコを読んでさらなる激怒を得ました したがってあなたに賠償責任が生じます 賠償責任を果たされますよう、どうぞよろしくお願い致します 825 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 00:54:04.54 ] >>824 オウ、やっと釣れたがな。そやしオマエがワシを訴えろや。ワシがオマエ を法廷で八つ裂きにしたるがな。 猫 826 名前：あんでぃは屑 ◆AdkZFxa49I [2011/06/19(日) 01:01:49.27 ] すごい。 あんでぃ 827 名前：べ [2011/06/19(日) 01:02:11.80 ] >>825 あなたがそのようなレスをするのは想定内でしたね なので私はあなたを『釣った』ことになりますね まああなたの狼狽具合をじっくり監視させてもらいますよ どうぞ楽しませてくださいな 828 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 01:06:24.86 ] >>827 では『徹底抗戦という方法』で狼狽して差し上げるので、どうぞ楽しんで 下さいまし。 猫 829 名前：べ [2011/06/19(日) 01:07:25.96 ] >>828 ではあなたに聖戦（ジハード）を宣告することになります 大変お気の毒ですけどもね… 830 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 01:10:18.80 ] >>829 全然気の毒ではアリマセンから、どうぞ宣言して下さい。当然の事として 私も全力で逆襲を行いますので。そやしナンボでも攻撃しなはれや。 アンタの攻撃を待ってるさかいナ。 猫 831 名前：べ [2011/06/19(日) 01:15:06.33 ] To 『仙石６１』 ★ALERT★ WE NEVER FORGIVE YOU. ★ALERT★ 832 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 01:22:55.62 ] >>831 早うワシを攻撃せえや。ワシがオマエをズタボロにしたるさかいナ。 猫 833 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 01:57:29.47 ] >>831 コラ、何してんねん！　ワシが傷め付けたるさかい、出て来いや。 猫 834 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 02:11:17.52 ] >>831 今夜は放置したるさかい、朝までにタップリと馬鹿無能を晒しとけや。 ワシが精読して分析し、思いっきり撲滅したるがな。頭使えよナ。 猫 835 名前：べ [2011/06/19(日) 04:33:22.82 ] 仙石６１へ 覚悟を決めてください。 836 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 04:35:20.69 ] >>835 ワシはずっと馬鹿を観察してるのや。オマエの馬鹿晒しはソレだけかいな？ 猫 837 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 04:36:32.23 ] 徹底的に追い詰めたるさかいナ。 ケッケッケ猫 838 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 04:37:48.16 ] コラ、どうせ見てるんやろ。サッサと反応シロや。 猫 839 名前：１３２人目の素数さん [2011/06/19(日) 04:38:43.89 ] >>べ アンタのその屑頭をフルに活用した所であんでぃすら潰せんよｗ 840 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 04:43:49.04 ] >>839 いやいや、おだてて馬鹿を躍らせたら、どうせ失敗をスルので、ソコを 思いっきり叩けば宜しい。そやし皆で『「べ」の高い知性』を讃えまし ょうや。ほして調子に乗って大失敗した所でトドメを刺すのが一番有効 な処分の仕方ですワ。 猫 841 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 04:46:42.94 ] べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜 馬鹿馬鹿ばっばぁ〜　べべべべっべっべー　馬鹿馬鹿ばっばぁ〜　べべべべっべっべー 猫 842 名前：１３２人目の素数さん [2011/06/19(日) 04:50:10.75 ] 猫さん、下級生物である『べ』の死に場所にはこのスレは立派過ぎます。 もっと、お似合いのクソスレがあるでしょう。 843 名前：猫は不真面目 ◆MuKUnGPXAY mailto:age [2011/06/19(日) 04:53:42.79 ] >>842 いや、くたばりさえすれば、私はその場所は問いません。大切な事は完全 に息の根を止めて再起不能にスル事だけですから。 猫

---

---

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

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