19/07/31 15:49:57.88 TSyv2NlH.net
それじゃ、おっちゃんもう寝る。
953:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 16:56:13.52 /g9to0os.net
メモ
URLﾘﾝｸ(jbpress.ismedia.jp)
Japan Business Press
新たな物理学に突入か、固体の中を動き回る謎の粒子
熱は通すが電気は通さない奇妙な物質を発見
2019.7.31（水）小谷 太郎
(抜粋)
URLﾘﾝｸ(jbpress.ismcdn.jp)
（小谷太郎：大学教員・サイエンスライター）
2019年7月2日、京都大、ミシガン大、米ロスアラモス国立研究所、東京大、茨城大のグループが、ある種の固体の内部を動き回る未知の中性粒子を発見したと発表しました＊1。
＊1：プレスリリース（URLﾘﾝｸ(www.k.u-tokyo.ac.jp)）
京都大の大学院生佐藤雄貴氏、笠原裕一准教授、ミシガン大の?子?博士らの研究グループは、イッテルビウム12ホウ化物（YbB12）という物質が、絶縁体なのに、まるで金属みたいに熱をよく伝えることを発見しました。
イッテルビウムYbという、おそらくほとんどの読者には馴染みのない元素は、原子番号70番、周期表の左から3列目の「希土類（レアアース）」と呼ばれる元素グループの一員です。
954:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 16:57:34.24 /g9to0os.net
>>876
おっちゃん、どうも、スレ主です。
おっちゃん、お休みなさい
955:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 17:06:49.27 /g9to0os.net
メモ
URLﾘﾝｸ(www.itmedia.co.jp)
「量子コンピュータとは何か」を問う“新たな壁”：
「量子理論の副
956:産物に過ぎなかった」──東芝の「量子コンピュータより速いアルゴリズム」誕生秘話 (1/5) 2019年07月30日 [井上輝一，ITmedia] 米Googleと米航空宇宙局（NASA）が2015年に「従来のコンピュータより1億倍速い」と評した量子アニーラ「D-Wave」を作るカナダD-Wave Systems、量子アニーリングを模したアルゴリズムをデジタル回路上に再現する富士通と日立、光を用いて解く「コヒーレント・イジングマシン」を作るNTTの研究グループなどだ。IBMなどが作る「量子ゲート方式」の量子コンピュータを用いた組合せ最適化計算の研究も盛んだ。 各社が組合せ最適化計算に取り組むのは、これを高速に解けると交通渋滞の解消や金融ポートフォリオの最適化など、社会問題の解決やビジネスへ応用が見込めるからだ。 そんな中、他社の計算性能を上回るアルゴリズムを東芝の研究者が開発した。専用マシンを必要とせず、家庭向けのPCに搭載される「GPU」でも高速に計算できるという。 東芝は4月に、同アルゴリズムを搭載したFPGA（プログラミング可能な集積回路）による計算で、それまで最速だったコヒーレント・イジングマシンを上回る計算性能を発揮したとする論文を発表した。 https://www.itmedia.co.jp/news/articles/1904/22/news097.html もともとは量子コンピュータ理論の「副産物」 後藤さんは、東京大学で大学院まで物理学を学んだ後、東芝で量子コンピュータや量子光学を専門に研究してきた。 後藤さんは2016年に、「量子分岐マシン」と名付けた量子コンピュータの理論を発表した。これは量子アニーリングと同様に、組合せ最適化問題を表す「イジングモデル」を解くマシンだが、「汎用量子コンピュータ」の動作原理である量子ゲート計算にも応用できるという。しかし、この新型量子コンピュータには特殊な素子を用いなければならず、既存の量子ビットとも異なるためにまだ開発途上だ。 この古典分岐マシンの理論こそ、量子コンピュータより速いという「シミュレーテッド分岐アルゴリズム」の原型である。 後藤さんの研究結果は、量子コンピュータ研究が越えていかねばならない壁を大きく引き上げたことになりそうだ。
957:１３２人目の素数さん
19/07/31 17:17:11.91 1JMsWjID.net
>>867
＞現代数学では、「一点コンパクト化」（下記）で、自然数を拡張して
＞" 0.33333……＝1/3”を理解します（多分
スレ主・・・正真正銘の馬鹿だろｗ
哀れな素人氏が
「オレは無限集合を認めない！
だから無限小数も認めない！」
というのは分かる
しかし、スレ主が
「無限小数を認めるには
自然数全体に一点∞を追加し
コンパクト化する必要がある」
というのは全然分からん
そんな必要全然ないから
自然数全体の集合を認めればいいだけ
ノンコンパクトでも全然かまわん
無限小数に最後の桁なんて必要ないし
スレ主は
「有限であれ無限であれ
小数には最後の桁が必要だ」
と思ってるのか？
もしそうなら正真正銘の馬鹿だなｗ
こいつが実数論を全く理解できず
大学の解析学の単位をお情けで
通してもらったのは確実
（どこの大学の工学部でも
こういう馬鹿はたくさんいるらしい
…世も末だ）
958:１３２人目の素数さん
19/07/31 17:22:27.67 1JMsWjID.net
>>851
＞「Dが一定」である必要なし！
じゃ、>>850で言ってることが成立するから
スレ主惨敗
スレ主・・・正真正銘の馬鹿だろｗ
959:１３２人目の素数さん
19/07/31 17:28:01.05 1JMsWjID.net
>>854
＞無限が存在しないなら無限公理は間違いであり、
＞無限公理の上に築かれた理論は間違いなのである。
数学的に無限公理は間違いだというには
無限公理から矛盾を導くしかない
是非やってくれ
できたらフィールズ賞は確実だ
いや数学の歴史に名を残す大偉業だ
960:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 17:49:21.11 /g9to0os.net
>>814
TVニュースでも流れていたね
実際に、例えば、もし東京にぶつかると分かれば、核爆発を使って、小惑星の軌道をそらすしかない
そのための、最低限の核爆発技術と運搬ロケット技術は、絶対必要ですね（＾＾
URLﾘﾝｸ(headlines.yahoo.co.jp)
小惑星が地球にニアミスしていた 落下すれば都市壊滅の可能性も直前まで気づかず
7/30(火) 19:17配信
(抜粋)
直径約100メートルを超すとみられる小惑星が日本時間の25日午前に地球の近くを通過していた。もし地球に落下していたら、東京都全域に匹敵する広さに壊滅的打撃を与える可能性もあったという。米航空宇宙局(NASA)ジェット推進研究所(JPL)や日本スペースガード協会関係者らが30日までに明らかにした。
小惑星が地球に衝突して大打撃を与えた例としては1908年に直径約60メートルの小惑星がロシア・シベリアに落下した「ツングースカ大爆発」が有名で東京23区と同程度の範囲で被害が出たとされる。
また2013年にはロシア・チェリャビンスクに直径約17メートルの小惑星が落下して衝突による衝撃波により人的物的被害が出ている。通常10メートル程度の小惑星だと衝撃波による人的物的被害とされるが、100メートル程度の大きさになると都市の破壊や巨大津波による甚大な被害をもたらすとされる。
961:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 17:58:04.46 /g9to0os.net
>>883 補足
昔は、宇宙人説もあったね（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
ツングースカ大爆発
(抜粋)
URLﾘﾝｸ(upload.wikimedia.org)
概要
落下した隕石が大気中で爆発したために、強烈な空振が発生し半径約30-50kmにわたって森林が炎上し、約2,150平方キロメートル[4]の範囲の樹木がなぎ倒された。1,000km離れた家の窓ガラスも割れた。爆発によって生じたキノコ雲は数百km離れた場所からも目撃された。
イルクーツクでは衝撃による地震が観測された[5]。 爆発から数夜に渡ってアジアおよびヨーロッパにおいても夜空は明るく輝き、ロンドンでは真夜中に人工灯火なしに新聞を読めるほどであった[6][7]。 地面の破壊規模から見て爆発した「物体」の大きさは当初3mから70mと推定された[5]。
近くに村落がなかったため、死者は報告されていない。一時、死者1名と報告されたが誤報であった。ただし非常に僻地であるため、発見されなかった犠牲者がいた可能性もある[8]。破壊力はTNT火薬にして5-15メガトンと考えられていたが、後ほど5メガトン程と訂正された[1]。
2007年、米サンディア国立研究所の研究チームが、スーパーコンピューターを使った解析による検討を発表した。解析によると、隕石自体は従来考えられたサイズより小型であり、広範囲の被害は大気中でのエアバーストが原因とされた[1]。
2013年、ウクライナ、ドイツ、米国の科学者のグループが、当時の泥炭の地層より、隕石を構成していたと見られる鉱物を検出した。これによって爆発は隕石が
962:原因だったと特定された。
963:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 18:10:52.39 /g9to0os.net
>>880
>しかし、スレ主が
>「無限小数を認めるには
そんなことを言っているから
数学落ちこぼれるんだよ！
ちゃんと、”理解”という用語を使っているだろ
" 0.33333……＝1/3”の証明は、別に>>862において、
循環小数の理論を使って証明しているでしょ！ｗ（＾＾
証明と理解とを、分けた方が良いときは、結構あるよ
時枝も同じだ。不成立は、反例構成で示している
証明としては、反例構成で終わっている！
だが、なぜ不成立かの理解には、
さらなる考察が必要だということ
それは、不成立の証明とは別物だ
両者の区別がつかない
数学落ちこぼれには、
困ったものだね
まあ、だからの”数学落ちこぼれ” なんだろうろうねｗ（＾＾；
964:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 18:19:50.47 /g9to0os.net
>>885 補足
＞証明と理解とを、分けた方が良いときは、結構あるよ
多くの人が、経験していると思うが
ある定理の証明を読んで、「なるほど～！」とすんなり納得できる場合もあれば
「なんか証明は正しいが、なんとなく騙された気分というか、すっきりしないものが残る」というときもあれば
「証明にギャップはなさそうだが、なっとくできない」とか
まあ、いろんな場合があるでしょ（＾＾；
そういうとき、自分で別証明を考えたり
いろいろな具体例で考察したりするよね
それと、証明をごっちゃにしちゃいけないってことよ（＾＾；
まあ、証明できたら、それで全部終わりでもない
証明後の考察と探求と自分なりの理解を深める過程で
新しい発見もあるかもしれない
それは、与えられた証明を読むのとは別に大事なことだと思うよ（＾＾
965:１３２人目の素数さん
19/07/31 18:39:03.30 1JMsWjID.net
>>885
落ちこぼれは工学馬鹿のお前だよ、お前
どこに無限小数の理解で「一点コンパクト」なんて
全然無関係なものを持ち出す馬鹿がいるかね
お前のそのヘラヘラした軽薄さが
数学の学習を妨げたんだな
軽薄才子は正真正銘の馬鹿
966:１３２人目の素数さん
19/07/31 18:41:25.47 1JMsWjID.net
>>886
わけもわからず
「一点コンパクト！！！」
とか白目剥いて絶叫する
スレ主は正真正銘のキチガイｗ
全然関係ないから
そんなことで「分かった」と思うのは妄想
キチガイのおまえには数学なんか絶対わからねえよｗ
967:１３２人目の素数さん
19/07/31 18:43:36.17 1JMsWjID.net
スレ主は数学が理解できないから
数学用語をちりばめて分かったフリ
したがる正真正銘のウソツキ野郎
しかし数学科出身者からみれば
どれもこれも見当違い
嘲笑されてることにも気づかない
スレ主はまさにピエロｗｗｗ
968:１３２人目の素数さん
19/07/31 18:44:21.77 1JMsWjID.net
これからスレ主のことを
「一点コンパクト馬鹿」
と呼ぶかｗ
これほど恥ずかしい綽名はないなｗ
969:１３２人目の素数さん
19/07/31 18:46:02.02 1JMsWjID.net
一点コンパクト馬鹿はεーδが分からない
だから馬鹿の一つ覚えで無限小解析と絶叫する
無限小解析は自分の理解を正当化すると思ってるらしい
お前みたいな馬鹿の間違いが正当化されるわけないだろｗ
970:１３２人目の素数さん
19/07/31 18:46:54.00 1JMsWjID.net
スレ主の馬鹿の一つ覚えの言葉
「自分なりの理解」
「自分勝手な誤解」の誤りだろｗｗｗｗｗｗｗ
971:１３２人目の素数さん
19/07/31 18:47:54.44 1JMsWjID.net
一点コンパクト馬鹿は論理が分かってない
だから証明ができない
出来るのは計算だけ
人間じゃなくただの機械ｗ
972:１３２人目の素数さん
19/07/31 18:48:36.40 1JMsWjID.net
一点コンパクト馬鹿は数学板から失せろ
いや死ね ガソリンかぶって丸焼けになって死ね
973:１３２人目の素数さん
19/07/31 18:50:18.52 1JMsWjID.net
一点コンパクト馬鹿は社会の落ちこぼれ
丸焼けになって死ね 負け犬
974:１３２人目の素数さん
19/07/31 18:51:17.43 1JMsWjID.net
一点コンパクト馬鹿は数学板の負け犬ポチｗ
975:１３２人目の素数さん
19/07/31 19:20:59.97 oTj4KA7B.net
>>861
おまえ真性バカだろ
確率変数が違うのに同じ確率になる方がおかしいだろ
何が矛盾だバカ
おまえのバカっぷりをお前でも分かるように例えてやろう
おまえは八百屋の店員に向かって「大根と人参の値段が違うのは矛盾だ」と言ってるんだよ
商品が違うのだから値段が違ってて当然なんだよ
そのくらいおまえの言ってることバカ過ぎだぞ、自分で気付けよバカ
976:１３２人目の素数さん
19/07/31 19:23:14.94 1JMsWjID.net
>>897
あいつは一点コンパクト馬鹿だからな
数学用語を口にしただけで数学の天才になった気になる池沼ｗ
977:１３２人目の素数さん
19/07/31 19:26:47.28 oTj4KA7B.net
>>861
おまえ時枝解法の確率変数を言ってみ？
言えねーだろ、わかってねーから
まずてめーの頭で考えてそれから書き込め
畜生がごとく脊椎反射してんじゃねーよバカ
わかんねーんなら書き込むなよバカ
978:１３２人目の素数さん
19/07/31 19:32:18.89 oTj4KA7B.net
バカ主よ
いいから時枝解法の確率変数を書いてみ？
確率変数をどう設定するかはプレーヤー2の自由
なんでおまえが勝手に決めてんだよバカ
979:１３２人目の素数さん
19/07/31 19:33:13.71 1JMsWjID.net
無限小数で、「一点コンパクト」とかいいだしたのを聞いて
「こいつ数学全然わかってないんだな」と露見ｗｗｗｗｗｗｗ
どんな言い訳も無駄
知らないのに知ったかぶるから馬鹿がバレるｗｗｗｗｗｗｗ
980:１３２人目の素数さん
19/07/31 19:41:08.73 oTj4KA7B.net
まあバカ主にいくら言っても正しい確率変数なんて書けないし、見て見ぬふりするだろうな
答えられないレスは見て見ぬふりする、これバカ主の常とう手段
正しい確率変数が書けるならそもそも時枝不成立なんてアホなこと言わんだろうしな（＾＾
981:１３２人目の素数さん
19/07/31 19:51:21.63 oTj4KA7B.net
しかし時枝解法の確率変数を書けもしないくせに当てられないと主張していること自体が矛盾だなｗ
矛盾してるのは時枝解法ではなくバカ主の行為でした（＾＾；
982:１３２人目の素数さん
19/07/31 20:07:28.49 4LXJ1Fvn.net
Ω星人の呟き
>>891 を読んでたら、ヘンな電波受信
なに、地球人達は言ってるんだ。
εーδのδは無限小だろ。
任意のεより小さい値が在るのだから
983:１３２人目の素数さん
19/07/31 20:10:11.41 oTj4KA7B.net
>>865
おまえの論法がいかにバカバカしいかは、お前が時枝解法の確率変数を正しく書けるようになれば分かる
だから黙って時枝解法の確率変数を書け、話はそれからだ
時枝解法の確率変数を正しく書けるようにならない限り、いくらこっちが教え諭してもバカの耳に念仏状態だ
984:１３２人目の素数さん
19/07/31 20:18:37.71 oTj4KA7B.net
>>904
あんたもわかってないね
「無限」なる訳の分からない概念に頼ることなく極限を定義する手法がεδ論法だ
「無限小だろ？」とか言ったらわざわざεδ論法を開発した意味が無いだろ。数学の歴史に謝れｗ
「無限小だろ？」とか言う輩に限って「無限小とは何か？」という問いにちゃんと答えられない
985:１３２人目の素数さん
19/07/31 20:22:31.77 oTj4KA7B.net
バカ主ならこう答えるだろう
「君が思い浮かべるどんな小さい実数よりも小さい実数である」
かつて「無限大に近い巨大数」のことを同様に言っていたｗ バカ丸出しｗ
986:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 20:30:22.05 U/EDJXNy.net
>>904
Ω星人さん、どうも。スレ主です。
>任意のεより小さい値が在るのだから
あるある ε＞0として
ε＞ε/2＞0 なので
任意のεより小さい値 ε/2が在る（＾＾；
987:１３２人目の素数さん
19/07/31 20:36:07.19 oTj4KA7B.net
>>908
誰でも分ることを自慢げにｗ
バカ丸出しｗ
988:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 20:40:26.56 U/EDJXNy.net
スレ68 で、１日に100以上連投したIDが2つある（下記ご参照）
狂気の連投がほぼ同時に2つのIDで始まり、そしてほぼ同時に終わった
下記だ。ID:DhrTdtd0が435連投で、ID:BpkQxrlsが139連投だった
まあ、おそらくは一人の人間の成り済ましだったのだろう
このスレでも、成り済ましの可能性がある（＾＾；
（参考）
スレ68 ｽﾚﾘﾝｸ(math板:592番)-
592 名前：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 21:41:06.82 ID:DhrTdtd0 [355/435]
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。
593 名前：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 21:41:14.79 ID:BpkQxrls [139/139]
スレ主は証明に失敗した結果、惨敗しました。
直ちにスレを閉じて下さい。
実行しない場合、サイコパスとして処刑します。
594 名前：１３２人目の素数さん[sage] 投稿日：2019/06/13(木) 21:42:02.12 ID:DhrTdtd0 [356/435]
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。
(引用終り)
989:１３２人目の素数さん
19/07/31 20:59:21.13 oTj4KA7B.net
>>885
>証明としては、反例構成で終わっている！
なにが反例だバカ
どうしても反例だと主張したいなら「数当てができてはならない」と謳っている
関数の定義を、得意のコピペで示してみろバカ
990:１３２人目の素数さん
19/07/31 21:02:15.76 oTj4KA7B.net
>>885
>まあ、だからの”数学落ちこぼれ” なんだろうろうねｗ（＾＾；
と、大学一年四月にεN論法についていけずに落ちこぼれたバカが申しております（＾＾；
991:１３２人目の素数さん
19/07/31 21:04:53.70 oTj4KA7B.net
>>886
なにをバカが偉そうにｗ
おまえは黙って時枝解法の確率変数を書けバカ
書けなきゃ書けるようになるまでROMってろバカ
992:１３２人目の素数さん
19/07/31 21:10:22.05 1JMsWjID.net
>>910
一点コンパクト馬鹿 反論不能で発狂
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
993:１３２人目の素数さん
19/07/31 21:11:52.61 1JMsWjID.net
まず全裸になり
( ： )
（ ゜∀゜）ノ彡
<( )
ノωヽ
自分の尻を両手でバンバン叩きながら白目をむき
从
Д゜ ） て
( ヾ) )ヾ て
< <
人__人__人__人__人__人__人__人__人__人__人
Σ て
Σ びっくりするほどコンパクト！ て人__人_
Σ びっくりするほどコンパクト！ て
⌒Ｙ⌒Ｙ⌒Ｙ) て
Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒
＿_＿＿＿＿＿
|＿＿ ヽ(゜∀゜）ノ
|＼＿〃´￣￣ ヽ..ヘ( )ミ
| |＼,.-～´￣￣ ω > （∀゜ ）ノ
＼|∫＼ _,. - 、_,. - 、 ＼ ( ヘ)
＼ ＼＿＿＿＿＿＿ _＼<
＼ ||￣￣￣￣￣￣￣ |
＼||＿＿＿＿＿＿＿ |
これを１０分程続けると妙な脱力感に襲われ、解脱気分に浸れる
994:１３２人目の素数さん
19/07/31 21:22:58.61 oTj4KA7B.net
>>889
全くその通りですな
995:１３２人目の素数さん
19/07/31 21:24:01.43 oTj4KA7B.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
996:現代数学の系譜 雑談 古典ガロア理論も読む
19/07/31 21:28:31.80 U/EDJXNy.net
なにをそんなに悔しがっているのかね？ｗ（＾＾
リーマンが１点コンパクトで、ガウス平面をリーマン球面にしたことは、画期的な発明だと思うけどね～ｗ（＾＾
997:１３２人目の素数さん
19/07/31 21:47:57.88 Tfohd+Nr.net
>>906
いつ、Ω星の数学を学んだんだ？
"1点コンパクト化"にいっさいツッコめないオバカさんｗｗ
998:１３２人目の素数さん
19/07/31 22:35:57.81 oTj4KA7B.net
>>919
必死の論点ずらし乙です（＾＾
君の無限小論を聞きたかったのに残念です（＾＾
999:１３２人目の素数さん
19/07/31 22:50:46.97 Tfohd+Nr.net
>>920
>必死の論点ずらし乙です（＾＾
意味不明。詳しくｗｗ
>君の無限小論を聞きたかったのに残念です（＾＾
残念ながら、君と違って、俺は"無限小論"とやらには興味がないｗｗ
ついでに、ノンスタンダードも今のところは。
ID:oTj4KA7Bは、これだけ悪口を書き込んでいるのに、
ツッコミどころ満載の"1点コンパクト化"にはいっさい言及しない不思議。ｗｗ
1000:１３２人目の素数さん
19/07/31 22:58:24.08 oTj4KA7B.net
>>921
なんで他人がどこに言及するのかおまえは監視してるの？
気持ち悪い奴だなおまえｗ
人の興味の対象なんて人それぞれだろｗ
自分と同じ感性であることを他人に求めるその性格、やばくね？（＾＾；
なに？発達障害かなんか？
1001:１３２人目の素数さん
19/07/31 23:02:13.31 oTj4KA7B.net
>残念ながら、君と違って、俺は"無限小論"とやらには興味がないｗｗ
>ついでに、ノンスタンダードも今のところは。
俺も興味無いよｗ
ただ「無限小だろ」の発言者が無限小とは何かという問いにどう答えるのか、お笑いのネタ
として聞きたかっただけだよｗ
1002:１３２人目の素数さん
19/07/31 23:07:55.17 oTj4KA7B.net
ID:Tfohd+Nr
↑
こいつ、自分がアイドル好きで、周囲の人間がアイドルに興味ないのを見ると途端に機嫌損ねるタイプ？
きもちわりーよおめー
1003:１３２人目の素数さん
19/07/31 23:15:01.54 oTj4KA7B.net
ID:Tfohd+Nr
あとな、おまえ悪口といってるが、俺は悪口言ってるつもりはない
全部事実しか言ってないつもりだ
逆に聞きたい
おまえが悪口と言ってるもので事実じゃないものって例えばなに？
1004:１３２人目の素数さん
19/07/31 23:16:35.60 Tfohd+Nr.net
>>922-924
必死の論点ずらし乙です（＾＾ ｗｗ
>なんで他人がどこに言及するのかおまえは監視してるの？
監視も何もおまえが掲示板に書き込んだものを読んだだけだが？
たとえ「1点コンパクト化」を知らなかったとしても、いくらでも突っ込めるのにな>867ｗｗ
1005:１３２人目の素数さん
19/07/31 23:23:34.85 Tfohd+Nr.net
>>925
お前の勝手な決めつけを事実と言われてもな。ｗｗ
お前はΩ星人のヘンな電波からでも色々決めつけてるしな>906
1006:１３２人目の素数さん
19/07/31 23:27:36.04 oTj4KA7B.net
>>926
なんでおまえが他人に期待する行動を俺が取らなきゃならんの？ｗ
おまえが他人の行動に期待するのもおまえの自由なら、俺がその期待に応えないのも俺の自由だろｗ
おまえが期待する行動を俺が取らなかったからといっていちいち俺に絡んでくんなっつー話をしているのであって
まったく論点ずらしじゃないんだがｗ
>いくらでも突っ込めるのにな>867ｗｗ
いくらでも突っ込めばええやん、おまえがｗ
なんでそれを俺に求めるの？ きめーんだよクソが
1007:１３２人目の素数さん
19/07/31 23:29:02.19 oTj4KA7B.net
>>927
具体性が欠如しているので却下します（＾＾
1008:１３２人目の素数さん
19/07/31 23:29:36.29 Tfohd+Nr.net
>>928
自己否定乙ｗｗ
ついでに、本当に読解力がないな、お前。
1009:１３２人目の素数さん
19/07/31 23:34:04.77 oTj4KA7B.net
>>930
意味不明なので却下します（＾＾
1010:１３２人目の素数さん
19/07/31 23:40:21.31 oTj4KA7B.net
ID:Tfohd+Nr
おまえさ、いや、冗談抜きでやばいよその性格
他人も自分と同じ方向を見ていて同じ思いを持ってないと落ち着かない、それって病気だよ
1011:１３２人目の素数さん
19/07/31 23:41:26.57 Tfohd+Nr.net
>>932
自己分析乙ｗｗ
1012:１３２人目の素数さん
19/07/31 23:47:23.24 oTj4KA7B.net
>>933
ますます意味不明ｗ
いくらでも突っ込めるのになんで突っ込まないの？と俺に絡んで来たのおまえだしｗ
ていうかそもそも意味を持たせる気もなくただ中傷したいだけかｗ はいはい、ご苦労さん（＾＾
1013:１３２人目の素数さん
19/07/31 23:51:02.57 oTj4KA7B.net
ID:Tfohd+Nr
まあ、気の済むまで中傷したらええやん
ただこれだけはいっとくわ
おまえやばいってその性格
1014:１３２人目の素数さん
19/08/01 00:06:53.05 xjflQcOY.net
>>935
かわいそうだから、この辺で止めといてやるよ。
>867について
コンパクト ⇔ 完備 + 全有界 (⇔ 閉 + 有界)
コンパクト化？ 完備化？
0.33333… ->1/3 ∈ Q
1015:１３２人目の素数さん
19/08/01 00:44:32.32 0cNb3lKV.net
>>936
へーすごいすごい 君かしこいね～（＾＾
で、もう俺には絡まないでね～（＾＾；
1016:１３２人目の素数さん
19/08/01 00:47:06.95 0cNb3lKV.net
赤の他人からなんで>867につっこまないの？って突然絡まれた貴重な経験でした（＾＾
いやーきもいのなんのって
1017:（＾＾；
1018:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 06:39:43.21 3WolrY+P.net
>>934
ID:Tfohd+Nr＆ID:xjflQcOYさん、どうも。スレ主です。
お疲れです（＾＾；
下記、スレ58の君子豹変（ID:oTj4KA7B） VS あなた の再現か
サイコパス（ID:oTj4KA7B）はできるだけ、このスレに隔離する方針が、正解だな（＾＾；
（参考）
スレ58 ｽﾚﾘﾝｸ(math板:347番)-
347 名前：１３２人目の素数さん[] 投稿日：2019/01/19(土) 17:18:06.68 ID:NWH3th4T [17/31]
>>345
いやーアンタもなかなかのトンデモだね
こっちが事を収めよう収めようと誘導してるのにブチ壊すことしかしないよね、アンタ
リアルでもそんなん？
351 名前：１３２人目の素数さん[] 投稿日：2019/01/19(土) 17:25:20.98 ID:LRwYC/w0 [23/36]
>>347
＞ブチ壊すことしかしない
＞リアルでもそんなん？
実際に人を真っ二つに斬れたら
爽快極まりないだろう
352 名前：１３２人目の素数さん[sage] 投稿日：2019/01/19(土) 17:26:44.71 ID:LRwYC/w0 [24/36]
>>350
>誤解すんなよ
>非が無いんだよｗ
なんだ、スレ主と同じ自己中か
焼かれて死ね
スレ58 ｽﾚﾘﾝｸ(math板:768番)
768 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/01/25(金) 06:35:26.99 ID:sw2GMLb3 [1/29]
全くサイコパスだねー
この発言が通常人にどう受け止められるか、理解できないんだろうね、彼には
(引用開始)
(>>351より)
実際に人を真っ二つに斬れたら
爽快極まりないだろう
(>>352より)
なんだ、スレ主と同じ自己中か
焼かれて死ね
(>>612より)
勝手に吠えろ 狂犬
(>>616より)
狂犬がワンワン吠えたおかげで
「代表元も決定番号もプレイヤーが勝手に知ればいいので
ディーラーがそんなこと分かったら逆におかしい」
ということが明らかになった
これこそ明確な態度の変更 君子豹変
ありがとよ 狂犬！！！
(>>617より)
必要ないことに
今更ながら気づいちゃったから
ということで君の三パターン、全然無駄だから
どうだ 狂犬 自分の発言で自爆した気分は？
(引用終り)
1019:１３２人目の素数さん
19/08/01 06:48:45.23 0cNb3lKV.net
バカ主乙
1020:１３２人目の素数さん
19/08/01 07:01:48.05 y3u2G2Ga.net
まず全裸になり
( ： )
（ ゜∀゜）ノ彡
<( )
ノωヽ
自分の尻を両手でバンバン叩きながら白目をむき
从
Д゜ ） て
( ヾ) )ヾ て
< <
人__人__人__人__人__人__人__人__人__人__人
Σ て
Σ びっくりするほどコンパクト！ て人__人_
Σ びっくりするほどコンパクト！ て
⌒Ｙ⌒Ｙ⌒Ｙ) て
Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒Ｙ⌒
＿_＿＿＿＿＿
|＿＿ ヽ(゜∀゜）ノ
|＼＿〃´￣￣ ヽ..ヘ( )ミ
| |＼,.-～´￣￣ ω > （∀゜ ）ノ
＼|∫＼ _,. - 、_,. - 、 ＼ ( ヘ)
＼ ＼＿＿＿＿＿＿ _＼<
＼ ||￣￣￣￣￣￣￣ |
＼||＿＿＿＿＿＿＿ |
これを１０分程続けると妙な脱力感に襲われ、解脱気分に浸れる
1021:１３２人目の素数さん
19/08/01 07:04:04.43 y3u2G2Ga.net
>>918
＞リーマンが１点コンパクトで、
＞ガウス平面をリーマン球面にしたことは、
＞画期的な発明だと思うけどね～
無限小数と全然無関係な話をする白痴 乙
ｗｗｗｗｗｗｗｗｗｗｗｗ
1022:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 07:38:48.92 3WolrY+P.net
>>936
(引用開始)
>867について
コンパクト ⇔ 完備 + 全有界 (⇔ 閉 + 有界)
コンパクト化？ 完備化？
0.33333… ->1/3 ∈ Q
(引用終り)
さて
１）リーマン球面の方へ目が行ったのかな？
２）そもそもは、哀れな素人さんの" 0.33333……≠1/3の証明"、>>803
”つまりどこまで割っても1/10^nの余りが出るのである。
そしてｎ→∞のとき、1/10^n→0だが、
これは1/10^nはかぎりなく0に近づくが0にはならない、
略
だから0.33333……はかぎりなく1/3に近づくが、1/3にはならない”
について、n∈N で考える限りは、それは一つの理屈で、私も>>821に書いた通りで
”利口過ぎる小学生や高校生は、哀れな素人さんのように考えるかも知れませんね”（>>867）ってこと
３）なので、1つの理解として、自然数全体N の一点コンパクト化で、N ∪ ω（>>867） と考えるのはどうかと言った
４）あと、”完備化？”としているけど、”稠密”（下記 コンパクト化 wikipediaより）じゃないの？
”定義
Xが位相空間 、K がコンパクトな位相空間、i:X → Kが中への同相写像であり、i(X) がK で稠密であるとき、K を 埋め込み写像 i による X のコンパクト化という。”
”例えばX を R ^n
1023:上の縁を含まない単位円盤 {x∈ R ^n ｜ |x|<1}としたとき、縁を含んだ単位円盤は包含写像を埋め込み写像とするX のコンパクト化である。一方半径3の縁を含んだ円盤をK とすると、X はKの中で稠密ではないので、Kは包含写像に対するX のコンパクト化ではない。” ５）なお、下記完備性ご参照 https://ja.wikipedia.org/wiki/%E5%AE%8C%E5%82%99%E6%80%A7 ”数学における完備性（かんびせい、英: completeness）は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備（かんび、英: complete）でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。 ・実数の完備性: 実数の完備性は実数を公理的に定義する際に必要とされる性質の一つ。この場合の完備性は、実数全体の成す集合 R を距離空間と見た場合の完備性、あるいは R を半順序集合と見た場合の完備性の何れの意味とも取ることができる。”
1024:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 07:50:24.83 3WolrY+P.net
＜小話その１＞
・ある数学者が、証明を発表した
・反例が、1つ示された
・その数学者は、「おれの証明のどこにギャップがあるのか？ それを具体的に示せ！！ お前は同値類が分ってない！」と吠えたとさｗ
お後が、よろしいようで（＾＾；
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
大きな区分
高校数学(←Top)
>> 高校数学Ⅰ・Ａ
>> 集合と条件
(抜粋)
== 反 例 ==
《解説》
「全部が～である」という判断が正しいのは，本当に「全部が～である」ときだけで，１つでもそうでない例が見つかればこの命題は間違いであることになります．
■ このように，ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります．
URLﾘﾝｸ(www.geisya.or.jp)
反例１つで成立しないことの証明になります．
(引用終り)
1025:哀れな素人
19/08/01 08:15:19.63 pSxXrr1A.net
随分スレが進んでいるな（笑
>>872を見ると、スレ主が依然として、
数学は公理と定義の設定次第でどう解釈しても良い、
と思っていることが分る（笑
公理と定義が間違いなら、その上に構築された理論は
すべて間違いである、という、この単純な常識が分っていない（笑
>>882
無限は存在しないのだから無限公理は間違いであり、
無限公理の無矛盾性などいちいち証明する必要はない（笑
1026:哀れな素人
19/08/01 09:02:45.14 pSxXrr1A.net
ヒマだからもう少し書くと、2chの数学板の連中は、
0.33333……は1/3の近似値であって1/3そのものではない、
という単純な常識を理解していない（笑
その理由は、大学の数学で0.99999……＝１
と教えられているからである。
だから以前僕がこのスレで、0.99999……は１ではない、
と説いたとき、賛同者は一人もいなかった（笑
スレ主はこの問題に対して完全にノータッチだったので、
スレ主も0.99999……＝１だと思っているらしいと推測できた。
だからその頃からスレ主も○○だな、と分っていた（笑
今もスレ主は0.33333……＝1/3、0.99999……＝1
と思っていることは確かだ（笑
要するに大学で0.99999……＝１
と教えられているからである（笑
そしてこれはスレ主だけでなく、サル石その他の連中も
同じように考えているに違いない（笑
1027:１３２人目の素数さん
19/08/01 09:09:34.52 pSxXrr1A.net
自然数ｎはどこまで行っても有限であり、決して∞にはならない。
この単純な事実さえ分っていれば、
0.99999……は１ではないことも、
無限は存在しないから無限公理は間違いであることも
分るのである。
ところがほとんどの人が、この単純な事実と、
この単純な事実の意味す
1028:ることを、分かっていないのである。
1029:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:38:40.54 mC1KhRVe.net
>>945
哀れな素人さん、どうもスレ主です。
(引用開始)
数学は公理と定義の設定次第でどう解釈しても良い、
と思っていることが分る（笑
公理と定義が間違いなら、その上に構築された理論は
すべて間違いである、という、この単純な常識が分っていない（笑
無限は存在しないのだから無限公理は間違いであり、
無限公理の無矛盾性などいちいち証明する必要はない（笑
(引用終り)
”数学は厳密の学”（>>864）ではありますが、
下記、コトバンク 【数学基礎論】19世紀末に ”数学は重大な危機に陥った”とありますように
哀れな素人さんのような考え方では、まずいとなりました。
（詳しく説明すると長くなるので省略）
そこで、下記「数理論理学」として、”公理主義を取って、一階述語論理に制限しよう”（ヒルベルト）というのが、20世紀の前半でした
20世紀の後半から、いろんな発展がありました
そして、コンピュータサイエンスの発展 もありました
なので、数理論理学は非常に多様化しているのが、21世紀の現在の状況なのです
”数学は厳密の学”の一言では、簡単に言い切れないのが、現状です
（参考）
URLﾘﾝｸ(kotobank.jp)
コトバンク
モデル理論（英語表記）model theory
世界大百科事典内のモデル理論の言及 出典｜株式会社平凡社世界大百科事典 第２版について | 情報
【数学基礎論】より
…数学は矛盾のない理論体系と信じられており，諸科学の中でももっとも厳密な論証を誇るものとして，およそそのよって立つ基盤がゆらぐようなことがあろうなどとは考えられなかった。
ところが，19世紀末G.カントルによって創設された集合論はまもなく逆理を生じた(パラドックス)。カントル自身が発見した逆理(1899)，ブラリ=フォルティの逆理(1897)やラッセルの逆理(1903)がそれである。
集合論におけるすこぶる有効な用法ときわめて類似したしかたによって容易にこれらの逆理が導かれるのみならず，同時期に提出されたリシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉とともに，ほとんど形式論理の範囲内で現れることから数学は重大な危機に陥った。…
つづく
1030:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:39:49.51 mC1KhRVe.net
>>948
つづき
【超準解析】より
…すなわち，無限小量は追放され，極限概念は〈任意の正数εに対してかくかくの性質をもつ正数δが存在する〉という述語論理式によって表現される。それからほぼ100年後，数学基礎論の中からモデル理論が生まれる。モデルとは形式的な理論を解釈する枠組みであるが，一定の条件を満たす理論には標準的でないモデルが存在する。…
【モデル】より
…しかし，こういっても，それにはさまざまな種類がある。 まず大きく分けると，科学におけるモデルは，〈対象モデル〉と〈モデル理論〉に分けられる。そして一般に科学においてモデルというとき，それは対象モデルを意味することが多い。…
※「モデル理論」について言及している用語解説の一部を掲載しています。
URLﾘﾝｸ(ja.wikipedia.org)
数理論理学
数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくにACM Classification（英語版））における数理論理学の役
1031:割の詳細はこの記事には含まれていない。詳細は計算機科学における論理学（英語版）を参照。 下位分野 Handbook of Mathematical Logic (Barwise 1989)は数理論理学を大まかに次の4つの領域に分類している： 1.集合論 2.モデル理論 3.再帰理論 4.証明論 と 構成的数学 （これらはひとつの領域の2つの部分と見做される） 数理論理学の発祥 言葉を、代数学におけると同様に文字や記号の列で表して、その変換について研究するいわゆる記号論理学、数理論理学の発祥は、19世紀のジョージ・ブールによる「論理代数」、ゴットロープ・フレーゲの書『概念記法』に見ることができる。前者は命題論理、後者は述語論理の原型である。 他に直観主義論理、量子論理などがある。 つづく
1032:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:40:28.36 mC1KhRVe.net
>>949
つづき
URLﾘﾝｸ(en.wikipedia.org)
Logic in computer science
Logic plays a fundamental role in computer science. Some of the key areas of logic that are particularly significant are computability theory (formerly called recursion theory), modal logic and category theory.
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理
1033:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 13:56:51.72 mC1KhRVe.net
>>948
(引用開始)
数学は公理と定義の設定次第でどう解釈しても良い、
と思っていることが分る（笑
公理と定義が間違いなら、その上に構築された理論は
すべて間違いである、という、この単純な常識が分っていない（笑
無限は存在しないのだから無限公理は間違いであり、
無限公理の無矛盾性などいちいち証明する必要はない（笑
(引用終り)
１）なので、21世紀の数理論理学は、多様だということを、まずご認識ください
２）「数学は公理と定義」がされた後は、”数学は厳密の学”です
しかし、どういう「公理と定義」を選ぶのかは、その人の自由です
３）「無限は存在しない」は、証明できません
「無限は存在する」も、証明できません
だから、「無限」は、公理なのです
公理として認めるか認めないかなのです
４）最後に、「数学は公理と定義」した後は、”数学は厳密の学”ですが、小説やマンガの世界と思ってください
まあ、SFの世界でしょうか？ 「SFの世界」として、首尾一貫つじつまは合っている
しかし、「SFの世界」が、現実の世界そっくりとか、如何にもありそうでも
それが、現実の世界と適合しているかどうかを、数学は問いません
あくまで、架空の世界の中で、論理が一貫して矛盾が無ければ、数学としては成立です
現実の世界と適合しているかどうかを問うのは、物理とか別のサイエンスです
おそらく、理解できないと思いますが
でも、これが理系の世界なのです
1034:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 14:15:10.40 mC1KhRVe.net
>>948 補足
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉とともに，ほとんど形式論理の範囲内で現れることから数学は重大な危機に陥った。…
リシャールの逆理は、二階述語論理によるものとして、一階述語論理に制限することで、”逆理”を避けようということですね
なお、リシャールの逆理の原因は、自己言及（二階述語論理）にあるということです
URLﾘﾝｸ(ja.wikipedia.org)
一階述語論理
(抜粋)
一階述語論理の表現力
一階述語論理は、数学のほぼ全領域を形式化するのに十分な表現力を持っている。
実際、現代の標準的な集合論の公理系 ZFC は一階述語論理を用いて形式化されており、数学の大部分はそのように形式化された ZFC の中で行うことができる。
すなわち、数学の命題は一階述語論理の論理式によって記述することができ、そのように論理式で記述された数学の定理には ZFC の公理からの形式的証明 (formal proof) が存在する。
このことが一階述語論理が重要視される理由の一つである。
1035:哀れな素人
19/08/01 16:29:33.16 pSxXrr1A.net
>>948-952
あいかわらずお前は全然分っていないな（笑
だからカントールの数学が間違いだと
僕も市川氏も言っているのである（笑
無限が存在しないことは、
自然数はどこまで行っても有限であり、決して∞にはならない、
ということによって証明されている（笑
1036:哀れな素人
19/08/01 16:36:30.77 pSxXrr1A.net
とにかく、お前に限らず、
現代の数学生に何を言っても通じない、
ということが嫌というほど分る（笑
おそらく、お前に限らず、
このスレで
1037:僕の投稿を読んでいるすべての連中が、 僕が書いていることは間違いだと思っているに違いないのである（笑 しかし市川氏のような人だけは、 僕が書いていることが正しいと分っているし、 ごくフツーの一般人でも、多少とも物が分っている人は、 0.99999……は１ではないと分っているのである（笑 但しその人が、無限は存在しない、 と分っているかどうかは分らない。 というのは、自然数はどこまで行っても有限であり、 決して∞にはならない、ということを、 ほとんどの人が分っているとは限らないからである（笑 実際お前は、このことをはっきりと理解していない（笑
1038:哀れな素人
19/08/01 16:42:59.90 pSxXrr1A.net
さて今日はヒマだったので、
youtubeに数学動画を上げている連中の、連絡先を調べてみた。
僕の数学本も、その後ちっとも売れないので、
こういう連中に本の宣伝メールを送ってみようかと思っている。
2chで宣伝するよりましだろう（笑
1039:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 16:55:21.88 mC1KhRVe.net
>>948＆>>952
補足
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字で定義されている〉
↓
正しくは
＞リシャールの逆理(1905)〈25字以内の字数によっては定義されない最小の自然数は，現にこの文章によって25字以内で定義されている〉
だな、きっと（＾＾
そして、本当は、ベリーのパラドックスらしいｗ（＾＾；
なお、リシャール数をヒントに、ゲーデルはゲーデル数を考えて、「不完全性定理の証明に用いた」と言われる（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
リシャールのパラドックス
なお 誤ってベリーのパラドックスがリシャールのパラドックスとして紹介されることがある。
パラドックスの源泉
リシャールが構成しようとする数をリシャール数と呼ぶと、この数を構成するための操作的定義のうちにリシャール文によって順序付けた実数の集合全体が暗黙のうちに含まれていると考えられる（循環定義）。
URLﾘﾝｸ(ja.wikipedia.org)
ベリーのパラドックス
(抜粋)
ベリーのパラドックス（ベリーの逆説）はパラドックスのひとつ。
「19文字以内で記述できない最小の自然数」という文を考える。自然数は可算無限に存在する一方で、日本語19文字で行える記述は有限通り（文字の種類の19乗）であるから、日本語19文字で表現できない自然数は必ず存在する。
つまり、「19文字以内で記述できない最小の自然数」という文章は明確にある自然数を一意に定義している。しかしながら、実際に「19文字以内で記述できない最小の自然数」を求めてみると、「19文字以内で記述できない最小の自然数」であるにも関わらず、「19文字以内で記述できない最小の自然数」という19文字で表現が可能であり、「19文字以内で記述できない最小の自然数」という定義に合致しない。
ZFCなどの公理系は、上記のような非形式的な定義の方法を許可しないことでこのパラドックスを回避している。
つづく
1040:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 16:55:46.99 mC1KhRVe.net
>>956
つづき
「自然言語による数の定義」から生まれるパラドックスは他にリシャールのパラドックスが存在し、混同・同一視されることもある[1]。矛盾を導くために実数を構成する必要がないぶんベリーのパラドックスの方が平易である。
イギリスの図書館職員G.G.ベリーに由来する名称の逆説である。
URLﾘﾝｸ(ja.wikipedia.org)
ゲーデル数
(抜粋)
ゲーデル数（ゲーデルすう、英: Godel number）は、数理論理学において何らかの形式言語のそれぞれの記号や整論理式に一意に割り振られる自然数である。クルト・ゲーデルが不完全性定理の証明に用いたことから、このように呼ばれている。また、ゲーデル数を割り振ることをゲーデル数化（英: Godel numbering）と呼ぶ。
(引用終り)
以上
1041:哀れな素人
19/08/01 16:55:51.70 pSxXrr1A.net
ついでにいっておくと、youtubeに数学動画を上げている連中でも、
カントールの実数論や集合論が間違いである、
と分っている者は一人もいないのである（笑
2chの連中も誰一人として分っていない（笑
本職の数学者すら分っていない（笑
フィールズ賞を取った数学者でさえ分っていない（笑
ところが市川氏のような人は分っているのだ（笑
1042:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 16:57:47.19 mC1KhRVe.net
>>955
哀れな素人さん、どうもスレ主です。
＞youtubeに数学動画を上げている連中の、連絡先を調べてみた。
＞僕の数学本も、その後ちっとも売れないので、
＞こういう連中に本の宣伝メールを送ってみようかと思っている。
動画作ってアップするのはどう？（＾＾；
自説を解説するやつ
1043:１３２人目の素数さん
19/08/01 17:05:37.31 pSxXrr1A.net
スレ主が、やれリシャールのパラドックスだの、ゲーデルだの、
知ったかぶりしていろんな知識を上げているが、スレ主はアホだから、
リシャールやゲーデルが間違っているかもしれない、
という意識が完全に欠如している（笑
こういう
1044:意識が欠如していることが、すべての馬鹿の特徴だ（笑 スレ主に限らないのだ（笑 サル石もその他の連中も、みんな同じだ（笑
1045:哀れな素人
19/08/01 17:11:11.13 pSxXrr1A.net
>>959
そんなことをしたら、これを最初に発表したのは私だ、
と手柄を横取りする奴が出て来るに決まっている（笑
1046:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 18:27:54.61 mC1KhRVe.net
>>961
哀れな素人さん、どうもスレ主です。
>そんなことをしたら、これを最初に発表したのは私だ、
>と手柄を横取りする奴が出て来るに決まっている（笑
いや、それは逆ですよ
”手柄を横取りする奴が出て来る”くらい、凄い理論だったと
昔のノーベル化学賞の田中耕一さんの事例がありますよ
ちゃんと発表の裏付けがあれば、「おれに優先権があるぞ」という主張は認められます
それが、理系の世界ですよ（＾＾
（文系は違うのかもねｗ（＾＾； ）
参考（細かい経緯は、”ノーベル化学賞受賞 木村美実子 青山紘一 情報管理 2002 特報版”ご参照）
URLﾘﾝｸ(ja.wikipedia.org)
田中耕一
(抜粋)
URLﾘﾝｸ(upload.wikimedia.org)
レーザーイオン化質量分析技術
この「レーザーイオン化質量分析計用試料作成方法」は、1985年（昭和60年）に特許申請された。
現在、生命科学分野で広く利用されている「MALDI-TOF MS」は、田中らの発表とほぼ同時期にドイツ人化学者のフランツ・ヒレンカンプ (Franz Hillenkamp) とミヒャエル・カラス (Michael Karas) により発表された方法である。MALDI-TOF MS は、低分子化合物をマトリックスとして用いる点が田中らの方法と異なっており、より高感度にタンパク質を解析することができる。
評価とノーベル賞受賞
上記の功績が評価され、田中の開発した方法を「ソフトレーザー脱離イオン化法」として、ノーベル化学賞を2002年に受賞する。
なお、ノーベル賞受賞決定にあたり、何故ヒレンカンプやカラスではないのかという疑問の声が上がり、田中自身も自分が受賞するのを信じられなかった原因に挙げている[10]。経緯として、英語論文発表はヒレンカンプとカラスが早かったが、2人はそれ以前に田中が日本で行った学会発表を参考にしたと書いてあったため[11]、田中の貢献が先と認められた[12]。
URLﾘﾝｸ(www.jstage.jst.go.jp)
ノーベル化学賞受賞 木村美実子 青山紘一 情報管理 2002 特報版
1047:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:39:50.57 3WolrY+P.net
次スレ（＾＾；
現代数学の系譜 工学物理雑談 古典ガロア理論も読む74
ｽﾚﾘﾝｸ(math板)
1048:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:41:21.37 3WolrY+P.net
適当に次スレへ移りましょう
特に新規の話題や
継続の話題でも、長く続きそうなテーマは、次スレへ（＾＾
1049:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:42:05.79 3WolrY+P.net
このスレは、
ここまで来れば
自然に埋まるでしょう
1050:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/01 20:42:52.87 3WolrY+P.net
と、まあ、いろいろ言いながら、埋めていますｗ（＾＾；
1051:１３２人目の素数さん
19/08/01 23:05:07.60 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
1052:１３２人目の素数さん
19/08/01 23:08:36.23 0cNb3lKV.net
>>944
>・反例が、1つ示された
バカ乙
「数当てができてはならない」などと謳われている関数の定義は存在しません（＾＾
1053:１３２人目の素数さん
19/08/01 23:09:58.08 0cNb3lKV.net
>>944
>反例１つで成立しないことの証明になります．
あなたはまったく正しい（＾＾
但しあなたの反例は反例になってませんが（＾＾；
アホバカ乙（＾＾
1054:１３２人目の素数さん
19/08/01 23:13:31.65 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
1055:１３２人目の素数さん
19/08/01 23:13:52.87 0cNb3lKV.net
ほれ、クソスレ埋める手伝いしてやったぞ
有難く思え（＾＾
1056:１３２人目の素数さん
19/08/01 23:14:03.40 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
1057:１３２人目の素数さん
19/08/01 23:16:29.30 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
1058:１３２人目の素数さん
19/08/01 23:18:07.09 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
1059:１３２人目の素数さん
19/08/01 23:18:45.38 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月のεN論法についていけず落ちこぼれた
1060:１３２人目の素数さん
19/08/01 23:20:34.49 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
1061:１３２人目の素数さん
19/08/01 23:22:59.92 0cNb3lKV.net
こら、バカ主
さっさと時枝解法の確率変数を書け
おまえわかってないから書けないんだろ？
バカだね～まったく（＾＾
1062:１３２人目の素数さん
19/08/01 23:27:24.80 0cNb3lKV.net
そもそも rとXは、r～Xすなわち
∃d∈N: n≧d⇒rn=Xn
であるから、先頭のたかだか有限個の項しか不一致でない
つまりほとんどすべての項が一致している
あとは数学的にきちんと99/100を言うために100列のいずれか1列をランダムに選ぶだけである
こんな簡単なことが分からないバカ主は池沼である（＾＾
1063:１３２人目の素数さん
19/08/01 23:27:55.17 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
バカ主は池沼である
1064:１３２人目の素数さん
19/08/01 23:33:51.69 0cNb3lKV.net
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
バカ主は池沼である
バカ主は”共通のしっぽ”を本気で信じている
1065:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/02 00:07:21.61 iEpfJmnQ.net
問答無用！ｗ（＾＾；
（>>851より）
下記の通り「時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという」だから
「Dが一定」である必要なし！
(>>829より）
１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
これは矛盾である（>>812）
３）独立同分布(IID)を仮定した瞬間、これで終りでしょｗ（＾＾
これには、全部裏付けがあるよ(下記)
>>465 >>474 >>479
（過去なんども繰り返し述べてきた通りだが、確率過程論の知識がないと、時枝不成立がなかなか理解できないのだろう）
>必ずXD=rD
(>>831より)
時枝の設定は、次の通り
スレ20 ｽﾚﾘﾝｸ(math板:18番)-
(抜粋)
過去スレ20 再録 ｽﾚﾘﾝｸ(math板:2-7番)
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
・・・・
列r のD番目の実数r(D)を見て， 「第k列のD
1066:番目の箱に入った実数はs^k(D)＝rD」と賭ければ，めでたく確率99/100で勝てる. 確率1-ε で勝てることも明らかであろう. (引用終り) ここで、実数値rDは、（-∞，+∞）の範囲をカバー出来ていなければ、的中確率99/100など得られない だが、コイントスのIID ２値{0,1}のみとは、真っ向矛盾している コイントスのIID ２値{0,1}のみを仮定すれば、実数値rDで的中確率99/100など得られるはずがない！ 「必ずXD=rD」というが、例えばrD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では、コイントスの２値{0,1}は的中できるはずがない！！（＾＾ QED
1067:哀れな素人
19/08/02 08:10:27.38 lH6rWB37.net
>>962
何をトンチンカンなことを書いているのか（笑
お前の挙げているコピペによると、
田中は学界で発表したのであって、
ネット上に発表したのではない（笑
ワイルズはネット上で発表したらしいが、学者であるし、
難解な数学論文など一般人には理解できないから、
そういうことができる。
僕の「無限小数は数ではない」とか「解析学の大錯誤」
などは読めば誰でも理解できるものだから、
ネット上で発表すれば剽窃する人間が出て来るに決まっている（笑
1068:哀れな素人
19/08/02 08:23:56.10 lH6rWB37.net
実を言えば、僕は今のところ30人ほどの数学関係者に
本の宣伝メールを送ったが、読んだ人間が、
その重大さに気づいて、手柄を横取りするのではないか、
と少し危惧しているほどだ。
youtubeに数学動画を上げている連中に
宣伝メールを送るのも、そういう意味で、
少し慎重になっているのだ。
なぜなら彼等なら、読めば必ず理解するだろうし、
その重大さに気づくだろうからだ。
何しろ現代数学の根幹であるカントールの実数論や集合論や、
また解析学の基本公理の誤りを指摘した本だからだ。
だから、本が全然売れていないということが、
ある意味では、幸運なことなのだ（笑
なぜなら剽窃される心配がないから（笑
1069:哀れな素人
19/08/02 09:45:18.71 lH6rWB37.net
ヒマだからもう少し書くと、
最近のブログにはツイッターの投稿欄はあるが、
それ以外の連絡欄がない。
だからたとえばyoutubeに「式変形チャンネル」
という名前で数学動画を上げている男がいるが、
この男に本の宣伝メールを送ろうと思っても、
僕はツイッターには入っていないので、送れない（嘆
他にも、同じ理由で、
メールを送ろうにも送れないサイトがかなりある（嘆
1070:１３２人目の素数さん
19/08/02 21:29:47.41 goMJLft3.net
>>981
>問答無用！ｗ（＾＾；
「数当てできてはならない」と謳っている関数の定義を提示できないから問答されたら困るんですね？ 分かります（＾＾；
1071:哀れな素人
19/08/04 08:02:11.05 YHlwXkGl.net
こちらのスレが空いているから、こちらに書いておこうか。
次スレのスレ主のコピペによると、
どうやら千京夕夏は千京であるらしい。
しかし千京夕夏のHPにも、ツイートの投稿欄はあるが、
それ以外のコンタクト欄がない（嘆
こうなれば、僕もツイッターを始めてみようか、
とも思うが、どうもいまいち決心がつかない。
1072:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:05:52.27 wYXDzdNx.net
埋め
1073:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:07:20.90 wYXDzdNx.net
>>986
哀れな素人さん、どうも。スレ主です。
>こうなれば、僕もツイッターを始めてみようか、
それは良い考えですね
いやなら、止めるのも自由ですから（＾＾
1074:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:07:37.88 wYXDzdNx.net
ウメ
1075:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:42:49.14 wYXDzdNx.net
うめ～
1076:現代数学の系譜 雑談 古典ガロア理論も読む
19/08/04 12:43:14.92 wYXDzdNx.net
埋め、梅
1077:１３２人目の素数さん
19/08/04 17:21:32.61 P7bSsHJN.net
{}
1078:１３２人目の素数さん
19/08/04 17:21:57.26 P7bSsHJN.net
{{}}
1079:１３２人目の素数さん
19/08/04 17:22:28.34 P7bSsHJN.net
{{}{{}}}
1080:１３２人目の素数さん
19/08/04 17:23:05.11 P7bSsHJN.net
{{}{{}}{{}{{}}}}
1081:１３２人目の素数さん
19/08/04 17:23:31.30 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}
1082:１３２人目の素数さん
19/08/04 17:23:54.56 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
1083:１３２人目の素数さん
19/08/04 17:24:20.02 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}
1084:１３２人目の素数さん
19/08/04 17:24:50.77 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}}
1085:１３２人目の素数さん
19/08/04 17:25:35.41 P7bSsHJN.net
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}{{}{{}}{{}{{}}}{{}{{}}{{}{{}}}}}}
}}}
1086:1001
Over 1000 Thread.
1087:net
1088:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています