数学基礎論・数理論理学のスレッド その7
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2010/11/11(木) 22:13:5719世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学のスレッド その6
http://kamome.2ch.net/test/read.cgi/math/1265884076/
0774１３２人目の素数さん
2011/06/14(火) 01:56:01.23サンクスです。
無限を嫌う人が多いので無限公理を外した公理系も整備されているかと思ったのですが、
そうではないようですね。
0775１３２人目の素数さん
2011/06/14(火) 07:00:58.96集合としてのモデルが存在することと無矛盾性が同値だというのが完全性定理なので。
クラスに対する操作は若干制限されているから集合と同様に扱う事は出来ない。
0776１３２人目の素数さん
2011/06/14(火) 07:04:34.40セマンティクスを全部放棄したら、文字列だけになるから、意味がなくなり
何をやっているかわからなくなる。
0777１３２人目の素数さん
2011/06/14(火) 09:37:04.89整備？
研究されてます。
0778１３２人目の素数さん
2011/06/14(火) 13:12:27.11シンタックスだけで解決できるなら、どんなセマンティクス持ってきても
当然（シンタックスのレベルで）解決されるということで、任意の解釈云々は
そもそもそういう話だ、と言ってる。
0779１３２人目の素数さん
2011/06/14(火) 20:40:49.33よく考えればわかることだが、シンタックスはそれを信じる人の間
で成り立つことである。一方、セマンティクスは一人の人間が信じる
ことで成り立つことが基本だ。シンタックスにしがみつき一人でも
そのシンタックスを固守する人は存在する。数学のできない人間に
多い。
0780１３２人目の素数さん
2011/06/14(火) 20:53:50.41同じ強さだと思って良い
Kunenに書いてあるし直観的にも結構明らか
0781１３２人目の素数さん
2011/06/14(火) 21:06:38.78ぜんぜん面白くないぞ。
0782１３２人目の素数さん
2011/06/14(火) 22:05:45.93そういわれれば確かにそんな感じもするね。
全順序と半順序の違いくらい？
0783１３２人目の素数さん
2011/06/15(水) 06:41:11.51どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［¬Ｑ(ｘ)⇒/x/¬Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する「論理革命」は、おそらく、世界を席巻
することとなろう。
0784１３２人目の素数さん
2011/06/15(水) 06:44:06.05http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
0785１３２人目の素数さん
2011/06/15(水) 08:54:40.350786１３２人目の素数さん
2011/06/15(水) 08:56:09.790787１３２人目の素数さん
2011/06/15(水) 09:42:24.67ゆえに、常に正しい。
0788官軍（一兵卒(^o^)）
2011/06/15(水) 11:29:41.40今度こそはと
想ってみても
無駄飯よ
すんごクン
爆笑
0789１３２人目の素数さん
2011/06/15(水) 12:45:44.050790１３２人目の素数さん
2011/06/15(水) 13:22:26.720791官軍（一兵卒(^o^)）
2011/06/15(水) 14:43:54.02次の命題を「証明」せよ：−
官軍は、常に、勝つ
0792１３２人目の素数さん
2011/06/15(水) 17:42:46.870793１３２人目の素数さん
2011/06/15(水) 20:10:06.43の証明と同レベル
0794１３２人目の素数さん
2011/06/15(水) 20:16:41.19nを求めよ
0795１３２人目の素数さん
2011/06/16(木) 01:53:02.890796１３２人目の素数さん
2011/06/16(木) 06:18:45.020797１３２人目の素数さん
2011/06/16(木) 21:54:48.22これを論理回路で表すときなるべく論理素子の数を少なくしたいんですが
これ以上簡略化されますかね
0798１３２人目の素数さん
2011/06/17(金) 02:00:26.65このスレッドは終了いたすますた。 軽薄。 マツシン
／:::::::::::::::::::::＼
／::::::::::::::::::::::::::::::::＼
|:::::::::::|＿|＿|＿|＿|＿|
|＿|＿ノ∪ ＼,, ,,／ ヽ
|::（ 6 ー─◎─◎ ）
|ﾉ （∵∴∪（ o o）∴）
| < ∵ ３ ∵>
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼
＼＼＿○○＿） ヽ
0799官軍（一兵卒(＾o＾)）
2011/06/17(金) 14:48:04.17／ ＼
／ ＼
| ∪ ／,, ,,＼ ヽ
| （ 6 ー─◎─◎ ） 白豚って、エムスラじゃなくて、確(た〜す)か、ワスのことですたよ、ネッ！
| （∵∴∪（ o o）∴） 因幡に行って、雌豚おっかけ、精神病院(せいすんびょういん)に収容されますた。
| < ∵ ３ ∵> （＾＾;） 意味わからんッス ---- ワス（涙
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼ 追伸：正装すてなくて、ゴメンさい。 何せ、どこに脱いでおいたのか、わからん様に
＼＼＿ ＿） ヽ なっつまったもんで（＾＾；）
敬白 マツシン(鉄道総研) 亡霊
0800１３２人目の素数さん
2011/06/17(金) 14:51:25.45ﾜﾛﾀ
0801仙石６１
2011/06/17(金) 17:01:50.91AND OR の2段なら（古典的教科書的？） これ以上はムリかな
しかし最近はFGPAはメモリとおなじだから 気にせずコンテンツを書き込めばいい。
速度？ 最近はあまりかわらんよ
実装技術もかんれんするからね
0802べ
2011/06/17(金) 17:17:34.44荒らすな
0803１３２人目の素数さん
2011/06/17(金) 18:56:49.06俺、行きたかったんや、義勇兵(Volunteer)として。
すかす(Shikashi)、行けん。 広島からは、遠い！！！！
だもんで、義援金を送った。 小額(\4,000)や。。。。情けない（涙
でもな、日本国民*全員*が \4,000 送ってみろ。
概算で、約４千億や！！！！
0804１３２人目の素数さん
2011/06/17(金) 20:12:33.50メドヴェージェフ次数を考えれば、
ZF-InfとPAは同型であることが証明されている。
また自然数NとPAとロビンソンのQなども同型なのである！
0805１３２人目の素数さん
2011/06/17(金) 21:36:32.56べ は理解できないんだ
0806１３２人目の素数さん
2011/06/17(金) 21:43:19.83もしかして60歳からの数学スレの仙石６０さん？
コンピューターの開発やっていらしたんですっけ？
いつの間にか仙石61になっていますね...
0807１３２人目の素数さん
2011/06/17(金) 22:00:31.390808あんでぃは単細胞 ◆AdkZFxa49I
2011/06/17(金) 22:12:49.49あんでぃ
0810べ
2011/06/18(土) 03:24:28.45謝罪と賠償を求めます
0811１３２人目の素数さん
2011/06/18(土) 06:51:29.53俺、行きたかったんや、義勇兵(Volunteer)として。
すかす(Shikashi)、行けん。 広島からは、遠い！！！！
だもんで、義援金を送った。 小額(\4,000)や。。。。情けない（涙
でもな、日本国民*全員*が \4,000 送ってみろ。
概算で、約４千億や！！！！
0812Volunteer
2011/06/18(土) 06:57:01.18こんちには みさなん おんげき ですか？ わしたは げんき です。
この ぶんょしう は ＵＫ の ケブンッリジ だがいく の けゅきんう の けっか
にんんげ は もじ を にしんき する とき その さしいょ と さいご の もさじえ あいてっれば
じばんゅん は めくちちゃゃ でも ちんゃと よめる という けゅきんう に もづいとて
わざと もじの じんばゅん を いかれえて あまりす。
どでうす？ ちんゃと よゃちめう でしょ？
ちんゃと よためら はのんう よしろく
Daitai Yomeru GA, はのんう よしろく no はのんう ga Wakaran !!!!
0813官軍（一兵卒(＾o＾)）
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 !!!!
0814あんでぃは単細胞 ◆AdkZFxa49I
2011/06/18(土) 11:44:51.70あんでぃ
0815１３２人目の素数さん
2011/06/18(土) 12:16:10.05http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
http://www.age.ne.jp/x/eurms/Kaku-Mokuji.html
0816１３２人目の素数さん
2011/06/18(土) 12:31:49.82どうも、「M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［¬Ｑ(ｘ)⇒/x/¬Ｐ(ｘ)］
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する「論理革命」は、おそらく、世界を席巻
することとなろう。
0817１３２人目の素数さん
2011/06/18(土) 12:37:31.55［ＰはＱを内含する］： ［ライオンは哺乳動物である は ライオンもクジラも 共に哺乳動物であるを内含する］
------ 明らかに、これは偽です。
［Ｐでないか又はＱである］： ［ライオンは哺乳動物でないか 又は ライオンもクジラも 共に哺乳動物である］
------- こちらは真です。
一方は偽であり、他方は真であるような二つの命題 が 同義であるはずはありません。
0818１３２人目の素数さん
2011/06/18(土) 12:40:49.12他方でA⇒A∧Bがあるvaluation（現実ではたまたまそういう値）ではtrueとなることをもって「真」
として対比することに何の意味があるのか
まさか、形式的な論理だけで生物学の問題が解決すると思っているわけでもあるまい
0819１３２人目の素数さん
2011/06/18(土) 12:49:14.280820べ
2011/06/18(土) 20:30:02.39あなたのカキコを読んで私は怒りました
したがって謝罪と賠償を求めます
0821１３２人目の素数さん
2011/06/18(土) 20:35:45.380822不正義屑猫 ◆MuKUnGPXAY
2011/06/18(土) 23:25:25.62貴殿の頭の悪さと無能さに立腹致しました。従って賠償だけを求めます
ので５０００００００００００００００ユーロをご準備戴きます。尚、
貴殿の知性の低さを鑑みて謝罪は求めません。どうせ不可能でしょうし。
猫
0823あんでぃは屑 ◆AdkZFxa49I
2011/06/18(土) 23:27:00.290824べ
2011/06/19(日) 00:47:26.69あなたのカキコを読んでさらなる激怒を得ました
したがってあなたに賠償責任が生じます
賠償責任を果たされますよう、どうぞよろしくお願い致します
0825猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 00:54:04.54オウ、やっと釣れたがな。そやしオマエがワシを訴えろや。ワシがオマエ
を法廷で八つ裂きにしたるがな。
猫
0826あんでぃは屑 ◆AdkZFxa49I
2011/06/19(日) 01:01:49.27あんでぃ
0827べ
2011/06/19(日) 01:02:11.80あなたがそのようなレスをするのは想定内でしたね
なので私はあなたを『釣った』ことになりますね
まああなたの狼狽具合をじっくり監視させてもらいますよ
どうぞ楽しませてくださいな
0829べ
2011/06/19(日) 01:07:25.96ではあなたに聖戦（ジハード）を宣告することになります
大変お気の毒ですけどもね…
0830猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 01:10:18.80全然気の毒ではアリマセンから、どうぞ宣言して下さい。当然の事として
私も全力で逆襲を行いますので。そやしナンボでも攻撃しなはれや。
アンタの攻撃を待ってるさかいナ。
猫
0831べ
2011/06/19(日) 01:15:06.33★ALERT★
WE NEVER FORGIVE YOU.
★ALERT★
0834猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 02:11:17.52今夜は放置したるさかい、朝までにタップリと馬鹿無能を晒しとけや。
ワシが精読して分析し、思いっきり撲滅したるがな。頭使えよナ。
猫
0835べ
2011/06/19(日) 04:33:22.82覚悟を決めてください。
0837猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 04:36:32.23ケッケッケ猫
0838猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 04:37:48.16猫
0839１３２人目の素数さん
2011/06/19(日) 04:38:43.89アンタのその屑頭をフルに活用した所であんでぃすら潰せんよｗ
0840猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 04:43:49.04いやいや、おだてて馬鹿を躍らせたら、どうせ失敗をスルので、ソコを
思いっきり叩けば宜しい。そやし皆で『「べ」の高い知性』を讃えまし
ょうや。ほして調子に乗って大失敗した所でトドメを刺すのが一番有効
な処分の仕方ですワ。
猫
0841猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 04:46:42.94馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜
馬鹿馬鹿ばっばぁ〜 べべべべっべっべー 馬鹿馬鹿ばっばぁ〜 べべべべっべっべー
猫
0842１３２人目の素数さん
2011/06/19(日) 04:50:10.75もっと、お似合いのクソスレがあるでしょう。
0843猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 04:53:42.79いや、くたばりさえすれば、私はその場所は問いません。大切な事は完全
に息の根を止めて再起不能にスル事だけですから。
猫
0844べ
2011/06/19(日) 06:07:19.66私は精神と肉体が分離していますので。
0845べ
2011/06/19(日) 06:47:40.54とても人前に出せない、それこそ掲示板の世界に永久に引きこもっておいて
もらうしかないような勘違い野郎が急増しています。
0846べ
2011/06/19(日) 06:55:12.41もっと言ってみろ！監視してますので。
0847１３２人目の素数さん
2011/06/19(日) 08:52:41.240848１３２人目の素数さん
2011/06/19(日) 08:54:23.810849あんでぃは屑 ◆AdkZFxa49I
2011/06/19(日) 09:16:41.920852あんでぃは屑 ◆AdkZFxa49I
2011/06/19(日) 10:33:25.25あんでぃ
0853猫は不真面目 ◆MuKUnGPXAY
2011/06/19(日) 10:35:01.44大脳が機能不全でもカキコの権利を行使スル存在は素晴らしいワ。そやし
もっと頑張れやナ。ワシもずっと観察する楽しみがアルさかいナ。
猫
0854あんでぃは屑 ◆AdkZFxa49I
2011/06/19(日) 10:36:04.570855１３２人目の素数さん
2011/06/19(日) 10:53:56.67／ ＼
／ ＼
| ∪ ／,, ,,＼ ヽ
| （ 6 ー─◎─◎ ） 白豚って、エムスラじゃなくて、確(た〜す)か、ワスのことですたよ、ネッ！
| （∵∴∪（ o o）∴） 因幡に行って、雌豚おっかけ、精神病院(せいすんびょういん)に収容されますた。
| < ∵ ３ ∵> （＾＾;） 意味わからんッス ---- ワス（涙
／＼ └ ＿＿_ ノ
.＼＼U ＿＿＿ノ＼ 追伸：正装すてなくて、ゴメンさい。 何せ、どこに脱いでおいたのか、わからん様に
＼＼＿ ＿） ヽ なっつまったもんで（＾＾；）
敬白 マツシン(鉄道総研) 亡霊
0856１３２人目の素数さん
2011/06/19(日) 12:07:37.060857あんでぃは屑 ◆AdkZFxa49I
2011/06/19(日) 12:31:19.71あんでぃ
0858すんご万個
2011/06/20(月) 14:14:09.72白石美穂とまではいわないが、ワスは欲すかや、せめて豚嫁。
すんご万個、すんご万個、すんご万個、。。。。∞
0859１３２人目の素数さん
2011/06/20(月) 14:59:49.490860M_SHIRAISHI
2011/06/20(月) 15:16:32.10あろうことか、フレーゲアン理論（＝２０世紀の論理学の標準理論）は
間違っていたのである。
しかも、肝腎かなめのところで間違っていたのである。 そこで、
論理法則を表わしていると信じられていたものは、悉く、ニセもの
かナンセンスなものである。
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
0861１３２人目の素数さん
2011/06/20(月) 17:06:37.660862１３２人目の素数さん
2011/06/20(月) 17:27:02.77白人達は単なる再発見を偉そうに宣伝してるだけ。
0863１３２人目の素数さん
2011/06/20(月) 20:18:59.370864１３２人目の素数さん
2011/06/20(月) 21:16:11.43関係ない時にわざわざエムシラなんて気違いの名前を出した馬鹿が悪いんだよ
0865↑
2011/06/21(火) 12:29:55.86阿呆！！！！ ど阿呆！！！！∞
エムシラ御大のＷｅｂページを熟読すてから、ものを言え！！！！
http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html
0866べ
2011/06/21(火) 12:41:11.07店員がレジに打ち込んでで５８０円ですって言ってまた俺のところに来てお金を催促。
ん？俺いま１０００円渡したじゃん、店員は気づかずに卵だけ食って帰ったｗ
いや、俺が店に入ったとき店員はいなかったんだけど、牛丼おいしいって言ってたｗ
それでお金払うときに１０００円って分かってるから渡した。
店員まだレジ売ってないから卵だけですねって５８０円って気づいてレジ売って５８０円って。
おれ１０００円渡したじゃんっていったのに５８０円ですって。店員卵おいしいのはわかったって言ってたｗ
0867１３２人目の素数さん
2011/06/21(火) 12:43:20.59＞すんごってここで論理革命とか書いてるガイチキ？
すんご（「しんご」の２ｃｈなまり）本名；ー 松本真吾(MATSUMOTO_Shingo)＠鉄道総合研究所
# エムシラ御大（ こと、M_SHIRAISHI大先生 ）の怒りを買い、徹底的に打ちのめされた*ど*マヌケ。ｗ
0868うんでぃ
2011/06/21(火) 13:23:19.94|￣￣￣|
| 松 |
| 本 |
| 真 |
| 吾 |
| 之 |
| 墓 |
| |
|￣￣￣￣￣|
￣￣￣￣￣￣￣￣
0869↑
2011/06/21(火) 13:28:40.280870１３２人目の素数さん
2011/06/21(火) 14:09:34.48エムシラ=しんご
0871１３２人目の素数さん
2011/06/21(火) 15:43:24.610872↑
2011/06/21(火) 18:44:27.670873１３２人目の素数さん
2011/06/21(火) 19:12:04.44■ このスレッドは過去ログ倉庫に格納されています