[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
327(1): 11/06(木)05:48 ID:yNffKouK(6/12) AAS
一階述語論理は、アリストテレス論理学よりは強力
アリストテレス論理学は、根本的に単項述語文に関するものである
したがってラッセルパラドックスすら扱えない
ラッセルパラドックスを論じるには二項述語を扱えねばならない
「誰であれ、自分以外のすべての人のヒゲをそることはできない」
この文章で「ヒゲを剃る」という述語は、
ヒゲを剃る人「主語」とヒゲを剃られる人「目的語」の
二つの項を必要とする
これは「日本人である」とか「中国人である」とかいう
一つの項しかない述語とは全く異なる
省2
328(1): 11/06(木)05:56 ID:yNffKouK(7/12) AAS
ラッセルパラドックスは集合論の欠陥を示すものではなく
より一般に二項以上の述語文に対する定理と解釈できる
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、XがXを●●するときそのときに限る」
まあ、そのようなYはX自身に決まってるだろ、というのは明白だが
こんなことすら、アリストテレス論理学では扱い得なかったのだから
フレーゲはやっぱり大した論理学者だといっていい
ただ理論構成でちょっとしくじっただけのことである（笑）
329(5): 11/06(木)06:04 ID:yNffKouK(8/12) AAS
御免、328の文章間違った（笑）
正しくは以下
「Xが誰であれ、それぞれ特定の誰かYがいて、XがYを●●するのは、YがYを●●するときそのときに限る」
この否定は
「ある特定のXがいて、任意のYに対して、XがYを●●するのは、YがYを●●しないときそのときに限る」
ここで、YがXだとすると、
「XがXを●●するとのは、XがXを●●しないときそのときに限る」
となって矛盾する
要するに、ラッセルパラドックスとは
「一階述語論理における、基本的な定理の否定文」
省4
330(1): 11/06(木)07:14 ID:kZjwl31O(1) AAS
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
331: 11/06(木)08:20 ID:PuQ4Gk5G(2/3) AAS
>>329
>XがYを●●するのは、YがYを●●するときそのときに限る
P={(X,Y)|XがYを●●する}
Q={(X,Y)|YがYを●●する}
P⊂Q ⇔ P-Q=φ
¬(P⊂Q) ⇔ P-Q≠φ
∃X∀Y:YがYを●●しないときでもXがYを●●することがある
Y=X
XがXを●●しないときでもXがXを●●することがある
人
332: 11/06(木)08:39 ID:j8xkVDrd(1/12) AAS
>>324
>>307に答えられないアホが何言っても無駄
333: 11/06(木)08:52 ID:0JXWfEhS(1/5) AAS
というか無関心
334: 11/06(木)08:59 ID:j8xkVDrd(2/12) AAS
>>322
>縄文にナショナリズムなんかないよ
>縄文時代に国家なんかないんだから（笑）
国家も農耕も無かった時代、あるいはもっと昔の原始時代は平和だったとでも思ってるんか？
人類がなぜホモサピエンス一種類しかいないか知ってるか？ ホモサピエンスが他の人類をすべて絶滅させたからだよ 原始時代こそ平和から最も遠い時代だった
今の日本人は日本国が護ってくれるおかげで毎日平和に生活できている
日本国が無くなればよいとか言ってる輩は日本国から出ていけばよい 日本国にしがみついて生きてるのは自己矛盾ですよ？
335: 11/06(木)09:04 ID:j8xkVDrd(3/12) AAS
>>322
中国にでも帰化すれば？
あそこは反日教育の国だから日本語は自由に使えなくなるがｗ 下手すりゃ当局にスパイ容疑かけられて強制収容所入れられて臓器抜き取られるぞｗ
336(1): 11/06(木)09:09 ID:0JXWfEhS(2/5) AAS
>>日本国にしがみついて生きてるのは自己矛盾ですよ？
名曲"Hotel California"をぜひ聴いてみてほしい
337(2): 11/06(木)09:13 ID:j8xkVDrd(4/12) AAS
>>325
>中国本土が周辺地域に比べて恵まれていたという地理的条件があるから
>日本とかいう東の島の土人がいかにギャアギャアわめこうとこの条件は否定しようもない
だから地理的条件の恵まれてる中国に帰化しなよ
なんで日本とかいう東の島の土人国にしがみついて生きてんの？
338(1): 11/06(木)09:18 ID:0JXWfEhS(3/5) AAS
>>337
中国に帰化したロシア人はどれくらいいるだろうか
339(1): 11/06(木)09:19 ID:0JXWfEhS(4/5) AAS
>>337
栗原小巻さんに勧めてみては？
340: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)09:52 ID:9MLt2+C6(1/17) AAS
>>338-339
巡回ご苦労様です
>栗原小巻さんに勧めてみては？
なるほど
栗原小巻さんは、”中国でも人気を博する”
”2025年11月4日、ウラジーミル・プーチン大統領より、文化勲章プーシキン・メダル（英語版）を授与された”（下記）
とあるので、中国、ロシアのどちらもOKですかね
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
栗原 小巻（くりはら こまき、1945年3月14日[2][1] - ）は、日本の女優。本名同じ[2]。父は劇作家の栗原一登[1]。弟は演出家の加来英治[3][注釈 1][4]。
省7
341(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:09 ID:9MLt2+C6(2/17) AAS
>>329
必死の連投 ご苦労さん ；ｐ）
>わかったかな カラスの世田君
ふっふ、ほっほ
非数学ネタに逃げた時点で、数学の議論での非勢を認めたってことだ
なので、こちらは ”ふっふ、ほっほ”です （＾＾
因みに、私の名前については、否定も肯定もしない
もし、否定しても 別の名前を持ち出すだろう。そうすると、その名前の人が迷惑だから
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
まあ、がんばってくれ
省1
342: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:26 ID:9MLt2+C6(3/17) AAS
>>336
>名曲"Hotel California"をぜひ聴いてみてほしい
うん、名曲らしいね
カーラジオから流れてきて、意味が取れなかったので
調べた記憶がある
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
「ホテル・カリフォルニア」 (Hotel California) は、アメリカ合衆国のロックバンドであるイーグルスの楽曲。1976年12月8日に発売されたアルバム『ホテル・カリフォルニア』の表題曲で[4]、1977年2月22日にアルバムからの第2弾シングルとして発売された[5]。架空のホテルを舞台としている（アルバム記事も参照）。
作詞作曲のクレジットはドン・フェルダー、ドン・ヘンリー、グレン・フライの連名となっているが、
実際には楽曲部分はイントロのギター、「メロディー」、後半のツインギター・ソロ、サウンドも含め、作曲したのはフェルダーである[6][7]。
省17
343(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)10:53 ID:9MLt2+C6(4/17) AAS
>>341 タイポ訂正
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だからｄ
↓
もし、肯定しても 同じ姓の人がいると、「お前だろう」などとその名前の人が迷惑だから
さて
>>329
>要するに、ラッセルパラドックスとは
>「一階述語論理における、基本的な定理の否定文」
>なので、一階述語論理が確立された現在では
>その気になれば誰でも分かって当然なのである
省25
344(1): 11/06(木)11:00 ID:+e5m8tUJ(1/3) AAS
>>341
＞非数学ネタに逃げた時点で、
＞数学の議論での非勢を認めたってことだ
ラッセルパラドックスって非数学ネタなの？
はじめて知ったわ カラスの世田君
親族の世田水産の人によろしくな
君も、わかりもしない数学なんか諦めて
広島でカキでも養殖したほうがいいんじゃね？
345: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:02 ID:9MLt2+C6(5/17) AAS
>>343
下記の ”自己言及の論理と計算∗長谷川真人”が
参考になるだろう
”自己言及と対角線論法”がいいね
(参考)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
自己言及の論理と計算∗長谷川真人
∗京都大学数理解析研究所数学入門公開講座（2002年8月5〜8日）の予稿を改訂（2006年5月／2007 年8月／2011年6月）
自分自身について述べることの難しさと面白さは，日常誰でも経験することだと思います．以下では，数理論理学と計算機科学の密接な関係を示す好例として，自己言及から生じる様々なパラドックスなどの数理論理学における問題，また自分自身を呼び出すような再帰的なプログラムやデータ構造に関する問題などについて，統一的な視点から考察します．また，後半では，自己言及現象の自明でないモデルの例を，実際に構成します．
目次
省14
346(1): 11/06(木)11:05 ID:+e5m8tUJ(2/3) AAS
＞中国が尖閣領海侵犯を繰り返す理由
面目を保ちたいから（笑）
本気だったら速攻で沖縄本島に侵攻する（笑）
モンゴルは元寇で中国にせめこんだ
日本は豊臣秀吉のときも明治時代も朝鮮に攻めこんだ
のみならず明治以降満州まで攻め込んで無理矢理独立国作って中国本土まで侵攻した
かつてのモンゴルや女真みたいに征服王朝「大和皇国」でも作りたかったのか？
どこまで尊大なんだ日本人
ま、結局、惨敗したけどな
省3
上下前次1-新書関写板覧索設栞歴
あと 656 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s