[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
347: 11/06(木)11:09 ID:k1hSdFD7(1/3) AAS
遊牧民というのは、ぶっちゃけ泥棒生活みたいなもんなんで、
侵略上等みたいな態度でも致し方ない
ただ彼らは基本的には負ける戦はしないけどな
元寇は、自分たちの得意技が通用しないところで
戦を仕掛けたので、さすがに失敗したがね
348(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:10 ID:9MLt2+C6(6/17) AAS
>>344
> はじめて知ったわ カラスの世田君
それが、非数学ネタに逃げたってことよｗｗ
ふっふ、ほっほ
>ラッセルパラドックスって非数学ネタなの？
懐かし話題をありがとう >>343より
高校時代に ゲーデルの不完全性定理の本を読んだときの、”嘘つきのパラドックス”を 思い出したよ ；ｐ）
349(1): 11/06(木)11:16 ID:d2PBLapd(1) AAS
>>343
自己言及したから即、矛盾する、というわけではない
この場合、否定をとる写像における真偽値の不動点が存在しないことが本質
二値でなかったとしても、不動点が存在しなれば矛盾する
逆に、否定をとる写像で、真偽値の不動点が存在するような論理なら矛盾しない
そういうことは例えばDana Scottのdomain theoryを知ってれば、常識
ま、高卒が知らなくても無理ないけど
ああ、そうそうdomainって言っても
zero divisorを持たないringのことじゃないぜ
省1
350: 11/06(木)11:16 ID:IDMvw5Yl(1/2) AAS
>>面目を保ちたいから
面目を保つための
一つの選択肢ではある
351(2): 11/06(木)11:29 ID:k1hSdFD7(2/3) AAS
中国にとって最も目障りな存在は・・・台湾であろう
台湾は中国本土ではない（もともと原住民は漢民族でない）が、そこに最も近い
そして中国人が沢山すんでいるものの、中国政府に従わない
今の台湾は、昔の清朝からみた鄭成功政権みたいなもん（笑）
とはいえ、この件は、もうほうっておくしかない
省1
352(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/06(木)11:40 ID:9MLt2+C6(7/17) AAS
>>326-330
；ｐ）；ｐ）；ｐ）；ｐ）；ｐ）
>一階述語論理は、アリストテレス論理学よりは強力
まず、人は ”一階述語論理”そのものでは、思考していない！
古代ギリシアの昔からね それを認めよう
次に、一階述語論理が向いている分野が 沢山ある
特に 理系の分野な。だが、高木先生は 数学研究は 演繹より帰納だと言った
演繹は、一階述語論理かもしれないが
帰納は、一階述語論理は むかないだろう
そして、人生においては 理性で割り切れない 分野があることも事実だろう
省18
353(1): 11/06(木)11:53 ID:k1hSdFD7(3/3) AAS
>>352
＞まず、人は ”一階述語論理”そのものでは、思考していない！
カラスの世田は、一階述語論理の∀と∃が理解できないので、大嫌いらしい
なんでＡとＥがひっくり返ったり反転したりしてんだとか、マジでいいそう（笑）
＞次に、一階述語論理が向いている分野が 沢山ある
＞演繹は、一階述語論理かもしれないが
＞帰納は、一階述語論理は むかないだろう
ほう
省7
上下前次1-新書関写板覧索設栞歴
あと 649 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s