ガロア第一論文と乗数イデアル他関連資料スレ4

**１３２人目の素数さん** · 2023/05/09(火) 07:43:49.59

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論まで）

前スレガロア第一論文と乗数イデアル他関連資料スレ3
https://rio2016.5ch.net/test/read.cgi/math/1680684665/

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部一己著（2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照

あと、テンプレ順次

つづく

**１３２人目の素数さん** · 2023/06/11(日) 09:14:27.25

>>505
>もし人間がコンピュータのように有限回の論理でしか考えられないようになっているなら
>γνῶθι σεαυτό はゲーデルの不完全性定理の応用で否定され得る

これだけでは具体的にどんな命題をどうやって否定するのか全くわからんのでkwsk書かれたし

**１３２人目の素数さん** · 2023/06/11(日) 09:24:09.79

ガウスの時代には外積代数は無かったが、方程式を成分で書いて
電磁気学の基本方程式を概ね正しく表していた。
（電束密度Dの時間変化から来る電束電流に対する項が欠けた定式に
までたどり着いており、マックスウェルの方程式にあと一歩だったが、
しかしそのために、電磁波の存在にまではたどり着けていなかった）。

**１３２人目の素数さん** · 2023/06/11(日) 09:27:33.74

>>510
ありがとうございます
スレ主です
なるほど
そうだったのか

**１３２人目の素数さん** · 2023/06/11(日) 09:41:28.36

>>508
> スレ主です
　またおヌシか

> 数学科オチコボレのサルさん
> 線形代数が分かっていないのは、あなた！
　大学入試に受からんのに
　O大工学部卒とか学歴詐称した
　おサルのおヌシが何を吠えとる？

> 傷口に塩を塗って欲しいらしいなｗ
　またブートジョロキア食べたのか？
　おヌシ、筋金入りの変態じゃなｗ

> ・私「正方行列の逆行列」（数年前）
> ・おサル「正則行列を知らない線形代数落ちこぼれ」
> ・私「零因子行列のことだろ？知っているよ」
　正しくは正則行列＝非零因子行列な
　それはさておき、いつまでもそういいつづけるところをみると
　やっぱり行列式（ライプニッツの明示公式）の暗記という
　安易な方法からまったく抜け出せてないな　おヌシ

> ・おサル「関係ない話だ！」と絶叫
　任意の環について、零因子以外の元は群をなす
　と思ってるなら大間違い
　整数環が典型例　知らんのか？おヌシ

> ・おサル『正則行列の条件なら、「（非）零因子行列であること」はアウトですね
> 　いかなる行列が（非）零因子行列か述べる必要がありますから』
　任意の環について、零因子以外の元は群をなす
　といえない以上、ただ非零因子行列といっただけでは答えにならない
　行列式が０にならない行列も同様
　なぜ、そのような行列、が逆行列を持つのか示す必要がある
　おヌシはそれができていない　なぜそうなるか理解していないのだろう
　大学の理系学部に行ったことあるなら、みな知ってることだがな

> ・私「あんた、上記の自分の文章を読み返しておかしいと気づかないか？」
> ・おサル『「０は乗法逆元を持たない」のつもりで
> 「零因子行列は乗法逆元を持たない」と書いて
>　ケアレスミスだと言い張りたいんだろうけど』
　おヌシは結局、
　非零因子行列（そして行列式が０でない行列）が
　なぜ乗法逆元を持つのかその理屈が分かってない
　それではまったく意味がない
　
> 確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　だった、で終われ
　がといったら舌噛み切れ！
　このエテ公が！

**１３２人目の素数さん** · 2023/06/11(日) 09:57:35.24

>>509
もし人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る
という命題が成り立つ
仮に、人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る　とする
このとき、人間が考え出したことはすべて有限回の論理をを積み重ねて言葉で表現出来るから、
すべての人間が考え出したことは有限個の言葉で表現出来る　という命題が成り立つ
人間はコンピュータのように有限回の論理でしか考えられないから、
ゲーデルの不完全性定理から、人間が考え出したことを有限個の言葉で表現出来る
という現象は無矛盾な現象である
同様に人間が考え出したことを有限個の言葉で表現できないようなことが起きるかも知れないどころか、
これは人間の直観や感情のように実際に起きている現象である
しかし、ゲーデルの不完全性定理の応用で、すべての人間が考え出したことを
有限回の論理を積み重ねることで有限個の言葉で表現出来るという命題は
各個人どころかすべての人間が集まってもこの現象が正しいことは証明出来ないから、矛盾が起きる
よって、背理法により、もし人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る
というコンピュータ内部で起きているような現象に似たこの現象は、否定される

仮に人間がコンピュータのように有限回の論理でしか考えられないなら、
人間の社会や各個人は宇宙やコンピュータ内部て起きている現象に例えることが出来るから、
>>505で書いたことは、ゲーデルの不完全性定理の応用で直観的に分かる

**１３２人目の素数さん** · 2023/06/11(日) 10:24:30.37

>>509
>513の最後の訂正：この現象は、否定される → この命題は、否定される

**１３２人目の素数さん** · 2023/06/11(日) 10:57:40.02

>>509
現象と命題という言葉を混同している部分が多々あったから、>>513の前半の書き直し

もし人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る　という命題が成り立つ
仮に、人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る　とする
このとき、人間が考え出したことはすべて有限回の論理をを積み重ねて言葉で表現出来るから、
すべての人間が考え出したことは有限個の言葉で表現出来る　という命題が成り立つ
人間はコンピュータのように有限回の論理でしか考えられないから、
ゲーデルの不完全性定理から、人間が考え出したことを有限個の言葉で表現出来る
という命題は、無矛盾な命題である
同様に、人間が考え出したことを有限個の言葉で表現出来ないようなことが起きるかも知れないどころか、
これは人間の直観や感情のように実際に起きている現象である
よって、有限回の論理を積み重ねることで有限個の言葉で表現出来ない現象が存在する
しかし、ゲーデルの不完全性定理の応用で、すべての人間が考え出したことを
有限回の論理を積み重ねることで有限個の言葉で表現出来るという命題は
各個人どころかすべての人間が集まっても人間の体系内だけで
この命題が正しいことは証明出来ないから、矛盾が起きる
よって、背理法により、もし人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る
というコンピュータ内部で起きているような現象に似たこの命題は、否定される

**１３２人目の素数さん** · 2023/06/11(日) 11:16:18.08

>>509
まあ、脳の構造について、任意の時刻 t＞0 に対し、過去の時刻から時刻tまでの間で
脳の中に表れた素粒子や原子などの粒子の総数は有限個である

**１３２人目の素数さん** · 2023/06/11(日) 13:46:38.59

>>515-516
ありがとう
ひょっとして、おっちゃんかい？

不完全性定理は、別のガロアスレでも、取り上げたけど
１）ゲーデルの不完全性定理は、一階述語論理限定じゃなかったかな？
２）一方、人の思考は一階述語論理限定じゃないよね
　かつ、デジタル系のロジックだけじゃなく、アナログ系もそなえている
３）「人が不完全な存在だ」（宗教ないし哲学的）という主張は分かるけど
　数学の不完全性定理は当てはまらないかもね

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの不完全性定理（英: Godel's incompleteness theorems、独: Godelscher Unvollstandigkeitssatz）または不完全性定理とは、数学基礎論[1]とコンピュータ科学（計算機科学）の重要な基本定理[2]。（数学基礎論は数理論理学や超数学とほぼ同義な分野で、コンピュータ科学と密接に関連している[3]。）　不完全性定理は厳密には「数学」そのものについての定理ではなく、「形式化された数学」についての定理である[4][注 1]。クルト・ゲーデルが1931年の論文で証明した定理であり[5]、有限の立場（英語版）（形式主義）では自然数論の無矛盾性の証明が成立しないことを示す[3][5]。なお、少し拡張された有限の立場では、自然数論の無矛盾性の証明が成立する（ゲンツェンの無矛盾性証明（英語版））[3][注 2]

つづく

**１３２人目の素数さん** · 2023/06/11(日) 13:47:16.11

>>517
つづき

数学基礎論研究者の菊池誠によると不完全性定理は、20世紀初め以降に哲学から決別した数学基礎論の中で現れた[6][注 3]。コンピュータ科学者・数理論理学者のトルケル・フランセーン[7]および数学者・数理論理学者の田中一之[7]によると、不完全性定理が示した不完全性とは、数学用語の意味での「特定の形式体系Pにおいて決定不能な命題の存在」であり、一般的な意味での「不完全性」とは無関係である[8]。不完全性定理を踏まえても、数学の形式体系の公理は真であり無矛盾であるし[9][注 4]、数学の完全性も成立し続けている[8]。しかし“不完全性定理は数学や理論の「不完全性」を証明した”といった誤解や、“数学には「不完全」な部分があると証明済みであり、数学以外の分野に「不完全」な部分があってもおかしくない”といった誤解が一般社会・哲学・宗教・神学等によって広まり、誤用されている[10][注 5]。

「不完全性定理が成立しない体系」および「ゲーデルの完全性定理」も参照
数学の「無矛盾性」を証明することを目指したヒルベルト・プログラムに関して「不完全性定理がヒルベルトのプログラムを破壊した」という類の哲学的発言はよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる、とフランセーン達は解説している[11]。正確には、ゲーデルはヒルベルトと同様の見解を持っており、彼が不完全性定理を証明して示したのは、ヒルベルトの目的（「無矛盾性証明」）を実現するためには手段（ヒルベルト・プログラム）を拡張する必要がある、ということだった[11]。これについて日本数学会編集の『岩波数学辞典』では「彼〔ゲーデル〕の結果はヒルベルトの企図を直接否定するものではなく，実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている」と記されている[5]。
「ゲンツェンの無矛盾性証明（英語版）」および「不完全性定理によるヒルベルト・プログラムの発展」も参照
(引用終り)
以上

**１３２人目の素数さん** · 2023/06/11(日) 14:30:21.14

>>513
> もし人間がコンピュータのように有限回の論理でしか考えられないなら
> 人間が考えることはすべて言葉で表現出来るという命題が成り立つ
　これトートロジー
> 人間はコンピュータのように有限回の論理でしか考えられないから、
> ゲーデルの不完全性定理から、
> 人間が考え出したことを有限個の言葉で表現出来るという現象は無矛盾な現象である
　ここわからん
　ID:rePRWD92が理解する「ゲーデルの不完全性定理」を具体的に書いた上で
　そこから「人間が考え出したことを有限個の言葉で表現出来る」という命題から
　矛盾が導かれると矛盾するという証明を書いてくれ

> ゲーデルの不完全性定理の応用で、
> すべての人間が考え出したことを有限回の論理を積み重ねることで
> 有限個の言葉で表現出来るという命題は
> 各個人どころかすべての人間が集まってもこの現象が正しいことは証明出来ないから、
> 矛盾が起きる
　ここはおかしい
　ある命題Pから矛盾が導けないことと、ある命題Pが（P以外の他の命題から）証明できないことは、矛盾しない
　例えばある公理系が無矛盾であることと、その公理系のある公理が他の公理から証明できないことは、矛盾しない
　平行線公準がいい例だ

> よって、背理法により、
> 人間が考えることはすべて言葉で表現出来る
> というコンピュータ内部で起きているような現象に似たこの現象は、否定される
　そもそも、ID:rePRWD92は、
「人間が考え出したことを有限個の言葉で表現できないようなことは
　人間の直観や感情のように実際に起きている現象である」
　という文章で何の論理もない独断で否定している
　背理法によるものではない

　そもそも、直感や感情が言葉で表せないというのは
　勝手な妄想であり、端的に言えばウソだろう
　結局言葉で表すしかないのだから

　どのような言葉で表してもそれに反する事が起きる
　と言い切るならその証明が必要
　それが示せるのか？

**１３２人目の素数さん** · 2023/06/11(日) 14:35:49.34

>>517
> ゲーデルの不完全性定理は、一階述語論理限定じゃなかったかな？
　わからんちんのおヌシは黙れ

> 一方、人の思考は一階述語論理限定じゃないよね
　一階述語論理で表せない例を示せ

> かつ、デジタル系のロジックだけじゃなく、アナログ系もそなえている
　こういう馬鹿主張は、２０世紀で死滅したと思ったがなｗ
　実数論も理解できず、ε－δも使えん奴が
　「アナログは形式論理では扱えない神秘の術なんじゃあああああ」
　とわめきちらすｗ

> 「人が不完全な存在だ」（宗教ないし哲学的）という主張は分かるけど
> 　数学の不完全性定理は当てはまらないかもね
　数学のスの字も分からん馬鹿に限って
　「数学は無矛盾かつ完全なんじゃあああああ
　とわめきちらすｗ

　いいから永遠に数学板に書き込むな　サル

**１３２人目の素数さん** · 2023/06/11(日) 14:42:26.01

>>518
おヌシはゲーデルの不完全性定理のステートメントは引用せず
そのかわりクソ文章ばかりコピペするから馬鹿にされる
まずステートメントを引用せよ

第一不完全性定理
　"初等的な自然数論"を含むω無矛盾な公理的理論Tは不完全である，
　つまりそこで証明も反証もされない命題（決定不能命題(undecidable proposition)，あるいは独立命題）が存在する。

第二不完全性定理
　"初等的な自然数論"を含む理論Tが無矛盾ならば，
　Tの無矛盾性を表す命題 Con(T) がその体系で証明できない。

実際には以下の形で証明される

第一不完全性定理
　"初等的な自然数論"を含む公理的理論Tが完全ならばω矛盾する

第二不完全性定理
　"初等的な自然数論"を含む理論Tにおいて
　Tの無矛盾性を表す命題 Con(T) がその体系で証明されるならば
　矛盾が導ける

**１３２人目の素数さん** · 2023/06/11(日) 16:17:28.53

>>519
>どのような言葉で表してもそれに反する事が起きる
>と言い切るならその証明が必要
>それが示せるのか？
果たして、人間は自分だけで己のことをすべて知っているかというとそうではない
己だけで言葉で表したことには、真ではないことや間違いが含まれていることが多々ある
己のことをすべて自分で知っているといい切るのは横柄な態度である
当初、いいたかったことはそれ

よくバカにつける薬はないっていうでしょ
何回説明しても分からない人間には幾ら説明しても分かりっこない

**１３２人目の素数さん** · 2023/06/11(日) 16:22:28.28

>>520
>> 一方、人の思考は一階述語論理限定じゃないよね
>　一階述語論理で表せない例を示せ

ホイよ

https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
ゲーデルの不完全性定理

1977年、パリスとハーリントンは、ラムゼーの定理の一種であるパリス＝ハーリントンの定理が、一階算術の公理体系であるペアノ算術の下では決定不能だが、より大きな二階算術の体系では証明できることを証明した。

不完全性定理が成立しない体系
不完全性定理が成立しない例としてはユークリッド幾何学[15]、プレスバーガー算術[16]、実閉体と代数的閉体の理論におけるタルスキの定理などがある[16]。

不完全性定理は「『帰納的公理化可能な自然数論を含む理論が、無矛盾（ω無矛盾）であれば』～」という形の定理である。したがって、帰納的公理化可能であっても自然数論を含まない公理系や、帰納的公理化可能でない理論が完全であっても、不完全性定理とは矛盾しない。

真の算術やペアノ算術の無矛盾完全拡大などは無矛盾かつ完全であるが、帰納的公理化可能でない。とくに真の算術は算術的に定義不能である。この結果はタルスキの真理定義不可能性として知られる。

つづく

**１３２人目の素数さん** · 2023/06/11(日) 16:22:50.42

>>523
つづき

不完全性定理によるヒルベルト・プログラムの発展
「無矛盾性」、「ヒルベルト・プログラム」、および「数学基礎論」も参照
フランセーンによれば、数学者ダヴィット・ヒルベルトは「数学に“イグノラビムス（ignorabimus, 永遠に知られないこと）”はない」と述べた[17]。数学上に不可知は無く、全ての問題は最終的に解決されるというヒルベルトのこの見方は、「ノン・イグノラビムス」として知られている[18]。ゲーデルの不完全性定理は、「決してこのヒルベルトの楽天的な見方を否定するものではない」とされている[18]。何故なら、不完全性定理によって否定されたものとは単に、「ノン・イグノラビムス」へ到達する手段の一つとしてヒルベルトが提案したもの ―― すなわち、「すべての数学の問題が解けるような単一の形式体系」 ―― であり、「ノン・イグノラビムス」自体は否定されていないからである[19]。

実際ゲーデル自身は以下のような、「ノン・イグノラビムス」的なヒルベルト流の見解を持っていた[20]。

こうした見解に基づき、ゲーデルは現代数学を拡張する手段として「巨大基数公理」を提案した[21]。哲学等において「不完全性定理がヒルベルトのプログラムを破壊した」という類の発言がよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる[11]。正確に言えば、ヒルベルトの目的（数学の「無矛盾性証明」）を実現するには手段（ヒルベルト・プログラム）を拡張する必要がある、ということをゲーデルが不完全性定理を通して示したのだった[11]。

つづく

**１３２人目の素数さん** · 2023/06/11(日) 16:23:33.38

>>524
つづき

菊池誠の『不完全性定理』によるとヒルベルトは、「ゲーデルの結果により証明論が実行不可能となったという見解は間違いであり，それは有限の立場の拡張が必要であることが判明しただけだ」と述べている[13]。ゲーデルも不完全性定理の論文の中で、この定理とヒルベルト・プログラムとの関係を取り上げて、不完全性定理は「Hilbert〔ヒルベルト〕の形式主義的な視点とまったく矛盾しない」、と注意を書いている[13]。

日本数学会が編集した『岩波　数学辞典』第4版では、不完全性定理について次の通り記述されている[5]。

「ゲーデルも書いているように，有限の立場は特定の演繹体系として規定されるものではないから，彼の結果はヒルベルトの企図を直接否定するものではなく，実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている．」[5]

数学と哲学の分離
理学博士・数学基礎論研究者である菊池誠[22]の『不完全性定理』によれば、数学史上で「数学の正しさと無矛盾性に対する確信が揺らいだことがかつて一度だけあった」[23]。19世紀末～20世紀初めには、数学の中でいくつも逆理が発見され、数学の基礎についての「不安の時代」が発生した[24]。そうして数学の無矛盾性や「そもそも定理や証明とは何なのか」といった哲学的な問いに対し、伝統的な哲学の手法ではなく数学の手法（形式主義）で答える試みがなされ、そこから数学の一分野「数学基礎論」が生まれた[25][注 11]。

数学の世界全体の無矛盾性を「有限の立場」で証明して数学を危機から救おうとしたヒルベルト・プログラムが、実現不可能であることをゲーデルの不完全性定理が明らかにした[25]。ヒルベルト・プログラムは破綻した一方で、公理的集合論が整備されて「無矛盾」と見なされたこと、「算術の世界の無矛盾性」が証明されたことなどによって「不安の時代」は終わり、数学基礎論が哲学から決別した[2]。数学基礎論上で不完全性定理は、哲学的なものとしてでなく、数学的な応用可能性として重視されるようになった[2]。またこの定理は、電子技術を伴うコンピュータ科学（計算機科学）の重要な基本定理でもある[2][注 12]。
(引用終り)
以上

**１３２人目の素数さん** · 2023/06/11(日) 16:54:17.93

>>522
> 果たして、人間は自分だけで己のことをすべて知っているかというとそうではない
　そんなことはいわずもがなだろ

> 己だけで言葉で表したことには、真ではないことや間違いが含まれていることが多々ある
　そんなこともいわずもがなだろう

> 己のことをすべて自分で知っているといい切るのは横柄な態度である
> 当初、いいたかったことはそれ
　それいったいどこのだれにいってる
　貴様の心のなかの鬼畜にか？

> よくバカにつける薬はないっていうでしょ
> 何回説明しても分からない人間には幾ら説明しても分かりっこない
　そう馬鹿の貴様につける薬はない
　貴様自分が馬鹿でないとうぬぼれてんのか？

**１３２人目の素数さん** · 2023/06/11(日) 17:03:32.75

>>523
>>> 一方、人の思考は一階述語論理限定じゃないよね
>>　一階述語論理で表せない例を示せ
> ホイよ

実例になってないが

> 不完全性定理が成立しない例としては
>ユークリッド幾何学、プレスバーガー算術、実閉体と代数的閉体の理論におけるタルスキの定理
>などがある。

ユークリッド幾何学も、プレスバーガー算術も、実閉体と代数的閉体の理論も
一階述語論理上の理論であって、一階述語論理で表せるんだが
おヌシは中卒だから知らんらしい

だいたい、おヌシ、一階述語論理知らんだろｗ

> 不完全性定理は
>「『帰納的公理化可能な自然数論を含む理論が、無矛盾（ω無矛盾）であれば』」
>という形の定理である。
>したがって、帰納的公理化可能であっても自然数論を含まない公理系や、
>帰納的公理化可能でない理論が完全であっても、不完全性定理とは矛盾しない。

そして、一階述語論理で表せるなら
帰納的公理可能で自然数論を含む
なんてことは誰も言ってないｗ

つまり、一階述語論理限定と思い込んだ
おヌシが間違った

何も考えずに口からでまかせいうから間違う
脳味噌使えｗ

> 真の算術やペアノ算術の無矛盾完全拡大などは無矛盾かつ完全であるが、帰納的公理化可能でない。
> とくに真の算術は算術的に定義不能である。この結果はタルスキの真理定義不可能性として知られる。
　真の算術もペアノ算術の無矛盾完全拡大も一階述語論理で表せる
　ただ帰納的公理化可能ではないだけ、

　「一階述語論理で表せる」を「一階述語論理上の帰納的公理系となる」のことだと言い訳するのはダメ
　言葉を正しく言えないサルのおヌシに、ヒトの数学は無理
　諦めてサル山に帰れ

**１３２人目の素数さん** · 2023/06/11(日) 17:03:49.60

>>526
＞> 己のことをすべて自分で知っているといい切るのは横柄な態度である
＞> 当初、いいたかったことはそれ
＞　それいったいどこのだれにいってる
＞　貴様の心のなかの鬼畜にか？
いや、すべての人間にいえる

＞> よくバカにつける薬はないっていうでしょ
＞> 何回説明しても分からない人間には幾ら説明しても分かりっこない
＞　そう馬鹿の貴様につける薬はない
＞　貴様自分が馬鹿でないとうぬぼれてんのか？
いっておくけど、君がスレ主に同じことを幾ら説明してもムダに終わると思うよ

**１３２人目の素数さん** · 2023/06/11(日) 17:05:37.66

>>524
もしかして、
「高階論理を使えばヒトにも完全かつ無矛盾な公理系が得られる」
とか馬鹿な妄想抱いてる？おサルはｗ

**１３２人目の素数さん** · 2023/06/11(日) 17:11:32.64

>>525
なんかおヌシ、
「数学の完全性と無矛盾性が人間にも証明できる筈！」
と心底思い込んでるみたいで実にキモチワルイぞ

完全な公理系というものは存在するだろう

しかし人がそれを構築できるとは思えんね

また、自然数論も公理的集合論も無矛盾だろう

しかしそれは絶対的な証明が存在するようなものではない

おサルのおヌシは
箱入り無数目や実数の定義や正則行列の定義が理解できないだけではなく
アインシュタインの光速不変の原理による絶対同時の否定も
ゲーデルの不完全性定理による数学の絶対的基礎づけの不能性も
理解できなかったか

**１３２人目の素数さん** · 2023/06/11(日) 17:14:23.70

>>528
>>> 己のことをすべて自分で知っているといい切るのは横柄な態度である
>>> 当初、いいたかったことはそれ
>>　それいったいどこのだれにいってる
>>　貴様の心のなかの鬼畜にか？
>いや、すべての人間にいえる

言えんよ
すべての人が
「己のことをすべて自分で知っている」
と言ってるか？言ってない

言ってない人にそういう人は横柄だと言っても意味ない
意味があるのがそう言ってる人にだけだ

馬鹿はそんなこともわからんか？

**１３２人目の素数さん** · 2023/06/11(日) 17:19:04.94

>>528
>>> 何回説明しても分からない人間には幾ら説明しても分かりっこない
>　　いっておくけど、君がスレ主に同じことを幾ら説明してもムダに終わると思うよ
　　　その件は全く同意

その上でこういっておこう
「ここで”おヌシ”君に説明するのは、彼に分からせる為ではなく
　彼がこんな簡単かつ丁寧でアリの這い出る隙間もない説明も
　理解できずに感情的び反発する人間失格のおサルさんだと
　他の読者に分からせるためである」

ま、貴様は”おヌシ”君同様の馬鹿だけどな
なんで小卒の貴様がここにいるんだ？　失せろ　シッシッ！！！

**１３２人目の素数さん** · 2023/06/11(日) 17:23:26.92

>>531
例えば、自分の身体に何らかの病気が出来ているというような
己だけでは分かりっこないことまで含めて、
己のことをすべて自分で分かっているというのは
普通の人なら横柄な態度だと感じるだろうね

**１３２人目の素数さん** · 2023/06/11(日) 17:29:17.86

>>532
>なんで小卒の貴様がここにいるんだ？
休憩のため
何回説明しても分からないようだが、小卒ではない

**１３２人目の素数さん** · 2023/06/11(日) 20:30:34.88

>>525
>菊池誠の『不完全性定理』

これ、笑えるｗ
https://www.mathsoc.jp/meeting/kikaku/2015aki/2015_aki_kikuchi-p.pdf
不完全性定理. 形式化された数学の限界と可能性.
故角田譲先生に捧ぐ. 2015年9月15日京都産業大学.
日本数学会2015年秋季総合分科会企画特別講演.
菊池誠（神戸大）.
25 ページ

P23-24
4.おわりに
（よくある笑えない話～なぜ笑えないのか？）
(引用終り)

**１３２人目の素数さん** · 2023/06/11(日) 21:00:12.43

>>532
おサル https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
の”シッタカ” 見苦しいｗ

**１３２人目の素数さん** · 2023/06/11(日) 22:46:44.21

>>517 補足
> ３）「人が不完全な存在だ」（宗教ないし哲学的）という主張は分かるけど
>　数学の不完全性定理は当てはまらないかもね

まず引用
https://www.アマゾン
数III方式ガロアの理論 Tankobon Hardcover ? February 25, 2016
by 矢ヶ部巌 (著)
現代数学社
P525 (最後の部分)
佐々木(与次郎) 小川君は、数学科志望だろ
小川(三四郎) そう。佐々木君は？
佐々木迷っている
小川ストレイ・シープ、ストレイ・シープ！
(引用終り)

１）これで何を言いたいか？
　人の思考は、論理だけではないってこと
２）例えば、上記の大学進学が好例です。数学科志望か、別の学科へ行くか？
　これは、自分の人生に対する決断だ。論理だけでは決まらない
３）なぜ、論理だけでは決まらないか？
　人生で、いくつかの選択肢があるとして、どれが正解なのか？
　どれが正解かは、やってみないと分からない！
　人には未来は分からない。神のみぞ知る！
　そして、やり直し(数学科以外へ)は可能な場合もあるけど、不可能の場合もあり
　やり直しもまた決断だ
４）繰り返すが、人生における重要な決断は、論理だけでは決まらない
　それは、未来に対する選択であるから
　よって、論理だけで思考していては、人は人生の決断はできないのです！
５）そういう人の本性を無視して
　形式論理の不完全性定理を
　人に適用するのが間違いだろ？

**１３２人目の素数さん** · 2023/06/12(月) 04:24:48.76

>>535
工学的には「有限の立場」とは計算機の工学的利用そのものだから

永遠にバグ取り地獄なのが保証されてる
というのがゲーデルの結果の言い換え。

**１３２人目の素数さん** · 2023/06/12(月) 06:53:27.64

>>537
> 　人の思考は、論理だけではない
> 　例えば、大学進学が好例です。
> 　数学科志望か、別の学科へ行くか？
> 　これは、自分の人生に対する決断だ。論理だけでは決まらない
> 　なぜ、論理だけでは決まらないか？
> 　人生で、いくつかの選択肢があるとして、どれが正解なのか？
> 　どれが正解かは、やってみないと分からない！
> 　人には未来は分からない。神のみぞ知る！
> 　そして、やり直し(数学科以外へ)は可能な場合もあるけど、不可能の場合もあり
> 　やり直しもまた決断だ
> 　繰り返すが、人生における重要な決断は、論理だけでは決まらない
> 　それは、未来に対する選択であるから
> 　よって、論理だけで思考していては、人は人生の決断はできないのです！
> 　そういう人の本性を無視して
> 　形式論理の不完全性定理を人に適用するのが間違いだろ？
　　
　　そもそも大学入試に受からず大学に入れなかった
　　大阪鶴橋の北鮮人１には全く関係ないな

　　自分の無能を棚にあげて何をわけのわからん恨み言を書いてるんじゃ
　　
　　北鮮人の数学に対する怨嗟が痛々しい

**１３２人目の素数さん** · 2023/06/12(月) 07:04:14.08

>>539
人が何を決断するかはその人の脳の状態で決まる
ただそれはその人の願望を叶える最適な選択とは限らない

たとえば北鮮人１が数学板に書き込むのがやめられないのも病んだ脳のせい
しかしそれが当人にとって幸せな選択かというとまったく違う
一番いい選択はここに書き込まないこと　数学を諦めること

述語論理の∀と∃すら扱えない人間に、数学の論理がわかるわけない
いつまでも論理抜きでチラ見で全部理解しようなど無理なこと

まあ、高校のときみたいに
公式暗記で全数学が理解できる
と思い込む時点でダメダメ

暗記しか能がない奴は語学でもやれ、といいたいが
そもそも論理が分からんやつは母国語さえ理解できんから
どこの外国語でもやっぱり理解できない

詰んでるな

**１３２人目の素数さん** · 2023/06/12(月) 07:07:13.83

>>539

鶴橋周辺よりも
WienやIASのことを書いてほしい

**１３２人目の素数さん** · 2023/06/12(月) 08:03:30.29

>>537 追加

完全に正しいかは不明だが
下記が参考になるだろう

http://aozoragakuen.さくら.ne.jp/index2.html
数学科書庫
http://aozoragakuen.さくら.ne.jp/taiwa/taiwa.html
数学対話第5期
http://aozoragakuen.さくら.ne.jp/taiwa/taiwaNch01/node1.html
基礎分野
http://aozoragakuen.さくら.ne.jp/taiwa/taiwaNch01/taikaku/node1.html
対角線論法と不完全性定理
対角線論法
太郎が「太郎は嘘つき」と言う
リシャールの逆理
カントールの対角線論法
べき集合の濃度

数学の基礎
集合論の逆理
数学体系の対象化
エウクレイデス
定義・公理・証明
非ユークリッド幾何学
ヒルベルトの計画
Cantorの連続体の濃度に関する問題
算術の公理の無矛盾性

不完全性定理
形式化された数学
ゲーデルの対角線論法
不完全性定理
ゲーデル数
証明不能命題
無矛盾性
Bourbaki 『数学史』から

参考書

**１３２人目の素数さん** · 2023/06/12(月) 08:10:49.14

>>538
>工学的には「有限の立場」とは計算機の工学的利用そのものだから
>永遠にバグ取り地獄なのが保証されてる
>というのがゲーデルの結果の言い換え。

ありがとう
スレ主です
”ゲーデルの結果の言い換え”は別として
”永遠にバグ取り地獄”は当たっているかも

例えば、いま使っているインターネット
例えば、いま使っている５ｃｈ
”永遠にバグ取り地獄”は当たっている

新しい機能が追加され
新しいバグが入るｗ

でも、使えれば良いんじゃね？
それが、工学の立場だし
それでビジネスになるんよ

**１３２人目の素数さん** · 2023/06/12(月) 19:37:13.08

>>543
ま～たわからんちんの中卒１がシッタカしてるな

プログラムのバグ探しは無矛盾性証明と同じ

「前提」と「仕様の否定」が矛盾しない状況がバグってこと

バグがないから矛盾するから証明できる

逆にバグが有る場合は矛盾しない

だからバグを必ず見つける方法は存在し得ない

**１３２人目の素数さん** · 2023/06/12(月) 19:38:14.96

誤　バグがないから矛盾するから証明できる
正　バグがないなら矛盾するから証明できる

**１３２人目の素数さん** · 2023/06/12(月) 20:55:22.10

>>544-545
スレ主です
おサルさん https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
また、ウソ書いてないかな？

>プログラムのバグ探しは無矛盾性証明と同じ
>バグを必ず見つける方法は存在し得ない

・無矛盾性証明-バグ探し（これは可です（下記「ウェア・ツールのありかた」参照））
・プログラム停止判定-不完全性定理と同じ（これは不可（下記「停止性問題」wikipedia参照））

この二つを混同しているよねｗ

(参考)
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_uri&item_id=6915&file_id=1&file_no=1
ウェア・ツールのありかた謝章文情報処理 vol20 No6 1979
P485の左欄中央辺り
(図5以下から"6.ソフトウェア・ツールのありかた"の前までご参照)
(また、P486 7.おわりにの”公理化”、”公理系”について読んでください)

https://ja.wikipedia.org/wiki/%E5%81%9C%E6%AD%A2%E6%80%A7%E5%95%8F%E9%A1%8C
計算可能性理論において停止性問題（英: halting problem）または停止問題は、「どんなチューリングマシン[注 1]、あるいは同様な計算機構についても、それが有限時間で停止するかを判定できるアルゴリズム」は可能か、という問題。
アラン・チューリングは1936年、停止性問題を解くアルゴリズムは存在しないことをある種の対角線論法のようにして証明した。すなわち、そのようなアルゴリズムを実行できるチューリングマシンの存在を仮定すると「自身が停止するならば無限ループに陥って停止せず、停止しないならば停止する」ような別の構成が可能ということになり、矛盾となる。

カントールの対角線論法との関係
対角線論法は、集合Sからその冪集合P(S)への全単射が存在しない(カントールの定理)事を示す為にゲオルク・カントールが使った論法である。
実は上述の証明は対角線論法も利用している。

不完全性定理との関係
停止性問題の決定不能性を利用してゲーデルの第一不完全性定理を示すことができる。

**１３２人目の素数さん** · 2023/06/13(火) 00:08:19.87

>>546 補足

これ参考になる

https://noopable.はてなdiary.org/entry/20090528/1243503981
noopな日々
2009-05-28
「バグのないプログラム」と「バグのないプログラムは作れない」と停止性問題について

停止性問題やライスの定理を持ち出して、「バグのないプログラムは存在しない」もしくは「バグのないプログラムを作ることができない」という主張が、数学や論理に長けた人の間でも交わされることがあります。
いやいやそんなことはないよ、という話をするんですが、そうすると決まって、「君は停止性問題を知らないのか？」という初歩的なツッコミが入る確率95％・・・

停止性問題について
簡単に書くと、停止性判定問題とは任意のプログラム*1が無限ループするかどうかを別のプログラムによって判定可能かどうかという問題。ちなみに、これは判定不能であることが証明されています。*2
Wikipediaの説明は微妙なんですが、こちら(http://d.はてな.ne.jp/kilrey/20090311#p3)の補足がわかりやすいです。

なぜミスリードするのか
すでに証明済みの定理を用いて"論理っぽい言葉でつなげる"と、比喩的に似ていればいるほど、あたかもそれが正しいかのように錯覚してしまいます。そして、錯覚してしまう人が多いという事実を前にして、錯覚していない人までが他者の錯覚を利用してしまうわけです。それは悪意というレベルでないとすれば、ちょっとした知の悪戯のようなものかもしれませんが。

困ったチャン
ところが、困ったことに、数学的な話が好きな輩は、「停止性問題」を持ち出して酒の肴にするためにこういうことを言っているようです。つまるところ与太話ですね。この与太話をできるレベルの人っていうのは、ネタとして認識しながら話をしているわけですが、サイエンス的に周囲の信頼を集めていたりするので、本人は与太話のつもりで話しているのにそれを聞いた周りの人が、それを本気にしてしまう。するとそういう言説が一人歩きしてしまうんですね。

**１３２人目の素数さん** · 2023/06/13(火) 06:09:24.75

>>546
> スレ主です
　またおヌシか

> おサルさん　また、ウソ書いてないかな？
　ここでウソ書いてるのはもっぱらおヌシだが、自覚ないのか？

> ・無矛盾性証明-バグ探し（これは可です）
> ・プログラム停止判定-不完全性定理と同じ（これは不可）
> この二つを混同しているよねｗ
　否

　まず、「バグの発見」は「停止判定」のことではない
　その意味でまったく混同はしていない

　一方で
　「述語論理式の集合が矛盾しないことを示す」と
　「プログラムが停止しないことを示す」は
　実は同値である

　述語論理の充足可能性は決定不能問題
　これ、常識な　知らない奴はモグリ

充足可能性問題
https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C#%E6%8B%A1%E5%BC%B5

拡張
論理式の範囲を述語論理式に拡大した場合、ゲーデルの不完全性定理により、充足可能性問題は決定不能である。
平たくいえば、もし述語論理の充足可能性問題が決定可能であるならば、
その方法を利用して自然数論によるそれ自身の無矛盾性証明が可能となるが、
それは不完全性定理により否定されるからである。

停止性問題
https://ja.wikipedia.org/wiki/%E5%81%9C%E6%AD%A2%E6%80%A7%E5%95%8F%E9%A1%8C#%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86%E3%81%A8%E3%81%AE%E9%96%A2%E4%BF%82

停止性問題の決定不能性を利用してゲーデルの第一不完全性定理を示すことができる。

計算模型を適当に算術化すれば、
「プログラム M は入力 x のもとで停止する」
という述語 Halt(M,x) がΣ1述語となるようにできる。
停止性問題の決定不能性はこの述語がΠ1述語でないことを述べている。
したがって「プログラム M は入力 x のもとで停止しない」という述語はΠ1であるがΣ1でない。
・・・

T が任意のΠ1文を証明または反証すると仮定して矛盾を導く。
・・・

**１３２人目の素数さん** · 2023/06/13(火) 06:20:46.17

そのスジで有名な問題といえば
NP完全問題か決定不能問題と
相場が決まっている

例えば
・命題論理式の集合の充足性判定はNP完全
・述語論理式の集合の充足性判定は決定不能

決定不能問題
https://en.wikipedia.org/wiki/Undecidable_problem
決定不能問題のリスト
https://en.wikipedia.org/wiki/List_of_undecidable_problems

ついでにいうと、正則行列の判定は
もちろん決定可能で、しかもNP完全ですらなく
多項式時間で解けてしまう
（ま、ライプニッツの明示公式で行列式計算したら
　明らかに確実に指数時間かかるので
　それだけで愚かな方法だとわかるが）

ガウスの消去法
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%82%A6%E3%82%B9%E3%81%AE%E6%B6%88%E5%8E%BB%E6%B3%95

計算量（乗算の回数）は、変数の個数を n とすると、ほぼ（1/3）n＾3 になる。
大部分は前進消去にかかっており、後退代入にはそれより少ない（1/2）n＾2 程度である。
ランダウの記号では、計算量は O(n^3）となる。

**１３２人目の素数さん** · 2023/06/13(火) 08:17:34.73

>>548-549
必死の論点ずらし
笑えるｗｗｗ

**１３２人目の素数さん** · 2023/06/13(火) 10:09:08.72

「極めて強力なAI、2030年までに実現」アルトマン氏が描く未来
https://www.asahi.com/articles/ASR6D6SHTR6DULFA00N.html

>生成AIは、文章の要約やメールの作成などすでに幅広い用途で使われている。
>「プログラマーたちは以前より2、3倍作業が効率化したと言っている。
> これほどの生産性の向上はめったに起きない」と話した。

**１３２人目の素数さん** · 2023/06/13(火) 12:05:24.98

>>551
スレ主です
ありがとうございます。

**１３２人目の素数さん** · 2023/06/13(火) 12:19:08.51

>>549
>そのスジで有名な問題といえば
>NP完全問題

この人のいうこと
信用できないな

https://ja.wikipedia.org/wiki/P%E2%89%A0NP%E4%BA%88%E6%83%B3
P≠NP予想（P≠NPよそう、英: P is not NP）は、計算複雑性理論（計算量理論）における予想 (未解決問題) の1つで、「クラスPとクラスNPが等しくなる例は存在しない」というものである。P対NP問題（PたいNPもんだい、英: P versus NP）と呼ばれることもある。

理論計算機科学と現代数学上の未解決問題の中でも最も重要な問題の一つであり、2000年にクレイ数学研究所のミレニアム懸賞問題の一つとして、この問題に対して100万ドルの懸賞金がかけられた。4

概要
クラスPとは、決定性チューリングマシンにおいて、多項式時間で判定可能な問題のクラスであり、クラスNPは、Yesとなる証拠（Witnessという）が与えられたとき、多項式時間でWitnessの正当性の判定（これを検証という）が可能な問題のクラスである。多項式時間で判定可能な問題は、多項式時間で検証可能であるので、P⊆NPであることは明らかであるが、PがNPの真部分集合であるか否かについては明確ではない。証明はまだないが、多くの研究者はP≠NPだと信じている。そして、このクラスPとクラスNPが等しくないという予想を「P≠NP予想」という。

仮にP＝NPであると示された場合、多項式時間で検証可能な問題は全て多項式時間で判定可能であることを意味し、未だ効率の悪い指数時間アルゴリズムしかないさまざまな分野の問題に効率的な計算アルゴリズムが与えられる可能性が示される。しかし、多くの研究者が長年にわたって多項式時間オーダーのアルゴリズムの開発に取り組んでいるにもかかわらず、そのような効率的なアルゴリズムは見つかっていない。NP問題は数千種類が知られているが、P＝NPが示された途端にそれらが全て多項式時間で解けるとは俄かに信じ難いことである。更に、P≠NPだと仮定して、何らかのNP完全問題の入力nビットについての既知の最良の計算量がO(kn・poly(n,))であるようなときに、せめて基底のkを改善しよう（例えばk=2を1.9や1.8等に）という試みでさえ、ある程度進展した後に行き詰ることが経験的に知られている。これらの観察がP≠NP予想の重要な根拠の一つとなっている。

**１３２人目の素数さん** · 2023/06/13(火) 12:53:46.09

>>553
>この人のいうこと
>信用できないな

私？
当然、私のいうことも信用しないようにｗ

但し、私はできるだけ発言に典拠をつけるようにしています
主に、そちらを見てもらえればと思います

**１３２人目の素数さん** · 2023/06/15(木) 18:56:53.90

>>554
１、自分が信用できず発狂死

**１３２人目の素数さん** · 2023/06/16(金) 11:23:35.00

>>555
スレ主です
"γνῶθι σεαυτόν">>506>>495 だな

人はしばしば誤りを含む
どんなえらい数学者だとしてもね
だから、数学では、鵜呑みはだめってことだ
数学の教科書も、しばしば後に正誤表が公表されるのが常
それ大前提

さて
”この人のいうこと
信用できないな”>>553には
反論なしか？
そのスジで有名な問題は、NP完全問題ではなく、P≠NP予想>>553だと認めたんだね
そこは、素直でよろしい！ｗ

ところで、ある二人が縁台将棋をしていた
（https://ja.wikipedia.org/wiki/%E7%B8%81%E5%8F%B0%E5%B0%86%E6%A3%8B
　縁台将棋は、夕涼みがてらに縁台で指す将棋のこと。転じて、下手同士が指す将棋のことをさす）

そこに、一人の男が通りかかって曰く「お前には将棋は無理！」
突然の話に、縁台将棋の人が「どうした？　”お前には将棋は無理”って？？」と
聞くと、その男は元奨励会でプロ棋士を目指した人だったそう
しかし、将棋はへぼ将棋から上はプロの藤井聡太まで、いろんな人がやるものだ

数学も同じ。へぼ数学レベルから、プロレベルまであるのに
「お前には数学は無理！」って
なんか”変な元奨励会の怨念”が、こもった叫びではあるねｗ

で、その男に聞いて見ると、下記
１）線形代数の零因子行列が分かっていなかった（零因子行列⊂正則行列と勘違いしていた）>>508
２）不完全性定理が人に適用できると勘違いしていた>>537
　（そもそも、”人は不完全性定理の仮定節を満たさない”よねｗ）
３）時枝「箱入り無数目」の不成立が理解できない https://rio2016.5ch.net/test/read.cgi/math/1674744315/

こんなんじゃ、プロは無理でしょ？
あたりまえｗ

**１３２人目の素数さん** · 2023/06/16(金) 16:10:05.34

>>556
　またおヌシか
> "γνωθι σεαυτον"（汝自身を知れ）だな
　それは身の程知らずのおヌシにこそ最もふさわしい
> 人はしばしば誤りを含む
　人でなしのおヌシは誤りしかない
> どんなえらい数学者だとしてもね
> だから、数学では、鵜呑みはだめってことだ
　間違ってる、と判断した理由が
　おサルのおヌシの直感のみ、なら
　それこそ全然ダメだな
> 数学の教科書も、しばしば後に正誤表が公表されるのが常
> それ大前提
　おヌシは誤りから始まるから
　正誤表すら出ずに死ぬわけだな
　南無阿弥陀仏　成仏しろよ
> さて”この人のいうこと信用できないな”には反論なしか？
　おサルにヒトの数学は永遠に分からぬよ
> そのスジで有名な問題は、NP完全問題ではなく、P≠NP予想だと認めたんだね
　ほら、文章が全く読めてない
　私が問題の複雑度について述べたことが分かってない
　ちなみに命題論理の充足性判定問題がNP完全だというのは
　NP完全性を定義したスティーブン・クックによって発見された

スティーブン・クック
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%86%E3%82%A3%E3%83%BC%E3%83%96%E3%83%B3%E3%83%BB%E3%82%AF%E3%83%83%E3%82%AF

充足可能性問題
https://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C

> そこは、素直でよろしい！
　おサルにもう一つ、ふさわしい言葉を贈ろう

「縁なき衆生は度し難し」
https://gimon-sukkiri.jp/en-shujou/

読み方縁(えん)なき衆生(しゅじょう)は度(ど)し難(がた)し
意味人の忠告を聞かない者は救いようがないことのたとえ
由来江戸時代の浮世草子『諸芸袖日記』
類義語犬に論語、馬に念仏、牛に経文など
英語訳 Even Buddha cannot redeem those who do not believe in him.
　　　　　　　(信仰心のない者は、たとえブッダであっても救うことはできない。)

**１３２人目の素数さん** · 2023/06/16(金) 16:17:33.68

>>556
> ところで、ある二人が縁台将棋をしていた
> （縁台将棋は、夕涼みがてらに縁台で指す将棋のこと。転じて、下手同士が指す将棋のことをさす）

> そこに、一人の男が通りかかって曰く
> 「お前には将棋は無理！」
> 突然の話に、縁台将棋の人が
> 「どうした？　”お前には将棋は無理”って？？」
> と
> 聞くと、・・・
　「おまえ、玉とられてんじゃん！
　　自分が負けたのもわかんねぇやつが
　　将棋指しても意味ねぇよ！」

> 将棋はへぼ将棋から上はプロの藤井聡太まで、いろんな人がやるものだ
　それは、少なくとも
「玉とられたら負け」
　ってのが分かってる必要がある

> 数学も同じ。
> へぼ数学レベルから、プロレベルまであるのに
> 「お前には数学は無理！」って
　それは問題の文章が正しく読めて
　何が前提か正しく理解できるやつのいうこと

　おヌシは「箱入り無数目」の前提から誤解してるからダメ
　箱の中身はどれ一つとして確率変数ではない
　という前提が分からん馬鹿に数学なんか３００００年早い
　マンモスでも狩ってろ　この旧石器人

**１３２人目の素数さん** · 2023/06/16(金) 16:37:52.14

>>556
> 線形代数の零因子行列が分かっていなかった（零因子行列⊂正則行列と勘違いしていた）
　そもそもその勘違いはおサルのおヌシがしたことだろうｗｗｗ

１．正則行列とは零因子行列でない正方行列と同値である
　ネットにそう書いてあったから何も考えずにコピペしたんだろ？おヌシ

１は正しい　しかし本当に分かってる人はそんな安直な回答はしない
おヌシは何が零因子行列か判定できるか？できないだろｗ
ワンアウト！

ま、おヌシは煽るとすぐ頭に血がのぼるから
またネットで検索して、つぎはこれをコピペするだろｗ

２．正則行列とは行列式が０でない正方行列と同値である

２も正しい　しかも行列式は計算可能だから１よりはマシ
じゃ、これでいいか？
まあしかし本当に分かってる人はそんな回答もしない
なぜなら、なぜ行列式が０でないと正則なのかわからんから
おヌシはムキになって、
「逆行列は余因子行列から計算できる」
とか喚き散らすだろうがそれもただ公式を暗記しただけで
なぜその公式でいいのかわからんだろうｗ
ツーアウト！！

本当に分かってる奴は例えばこう答える

３．正則行列とは行基本変形で階段行列に変形したときの段数が行列のサイズと一致する正方行列と同値である

まあ、そのような行列なら更に行基本変形によって対角行列にもできてしまうし
そこまでいけば基本変形で単位行列にもできてしまう
一つ一つの行基本変形は行列で表せるからその積で逆行列が構成できる

一見、面倒くさいように見えるが、実は行列式のライプニッツの明示公式で計算するより全然早い
つまり、おヌシは
・数学としての理屈が分かってない
だけでなく
・工学としての実用的計算法すら分かってない
時点で、数学者どころが工学屋としても失格したわけだ
スリーアウト！！！

だからいってるだろう
大学にも入れなかった工員の貴様に
現代数学など到底無理だと
線形代数が分からん奴に
その先の数学なんか絶対わかるわけない

**１３２人目の素数さん** · 2023/06/16(金) 16:46:07.47

>>556
>不完全性定理が人に適用できると勘違いしていた
>（そもそも、”人は不完全性定理の仮定節を満たさない”よねｗ）
　不完全性定理の仮定節なんて、おヌシは理解できないだろう

　人の知恵は、「帰納的公理化可能な理論」ではない、とほざく奴は少なくない
　ロジャー・ペンローズ（以下、ロジャペン）もそうわめいていたようだ
　ロジャペンは自惚れ屋だから、自分が完全でない、と認めたくなかったんだろう
　そのせいで、量子脳理論なんていうトンデモ理論にハマってしまった　哀れなもんだ

　人の知恵が「帰納的公理化可能な理論」ではない、というならその証明が必要だ
　しかしながら誰もそんなことは証明できていない

　スティーブン・スメイルの問題の最後は、このことを問うている
　https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%A1%E3%82%A4%E3%83%AB%E3%81%AE%E5%95%8F%E9%A1%8C

**１３２人目の素数さん** · 2023/06/16(金) 16:48:00.70

>>556
おヌシは
時枝「箱入り無数目」の「成立」が理解できない
こんなんじゃ、大学数学は無理
当たり前田のクラッカー

**１３２人目の素数さん** · 2023/06/16(金) 21:50:26.42

医師になるのは、めちゃくちゃ簡単だよ。
どんな馬鹿医大でも国家試験の合格率7割以上はあるし、自治医大以上ならほぼ100％。

弁護士の場合は難関ロースクールを卒業しても、国家試験を通るのは10%程度。

医師になるには金と時間がかかるが、試験自体は簡単。
うちは従兄弟三人医師になったが、英検二級すら落ちるレベルの頭だからね。

医師国家試験の合格率ランキング見てみ。
一番低い杏林大学ですら、79.4%。

奈良県立大以上の偏差値の25校は95.0％超え。

これのどこが難関試験なの？
医学部に学費を支払える財力のハードルが高いだけで、医師にはバカでもなれる。

弁護士、司法書士、会計士、英検１級あたりは、バカには絶対に無理。

まとめると
医師国家試験→バカでも受かる。しかし、医学部6年間で1,000万以上かかる学費のハードルが高い。
司法試験→ロースクール卒業しても、合格できるのはごく一部。非常に難関な試験。
司法書士→ロースクールに行かなくても受験できるが、難易度は司法試験並み。
英検１級→英語がずば抜けて優秀でないと合格できない。英語の偏差値100必要。（実際にはそんな偏差値はないが）
会計士→おそらく、最難関試験か。会計大学院修了者の合格率は7.6％しかない。
不動産鑑定士→鑑定理論が地獄。単体の科目としては最難関の一つ。経済学などは公務員試験より簡単か。

**１３２人目の素数さん** · 2023/06/17(土) 07:50:21.86

>>562
試験が難しいことは、
試験で問われる知識が世の中の役に立つことを
証明するものではない

数学でも同じことがいえる
証明が難しいからといって
より学問的に興味深い
というわけではない

**１３２人目の素数さん** · 2023/06/17(土) 09:31:09.84

>>563
ありがとうございます
スレ主です
これは、プロフェッサーかな？
（まだ発言が少ないので単なる推測ですが）

数学の難問の証明は、それ自身より証明に使われた手法が重要だとよく言われる（だれが言い出したか不明だが、20世紀のころから聞く）
例外は、有限単純群の分類定理くらいか（数学手法も重要なもの多数らしいけど、とにかく結果は常識としてしっておくべき）
有名どころでは、フェルマーの最終定理が、谷山志村予想と結びつけられて、解かれたこと

リーマン予想に挑戦する人もいます
はたして、どういう手法で解かれるのか？

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E6%9C%80%E7%B5%82%E5%AE%9A%E7%90%86
フェルマーの最終定理
個別研究の時代
n = 4：フェルマー
無限降下法
n = 3：オイラー
エレガントながら不完全な証明を公開した。ただし、この2番目の証明は虚数のレベル、具体的には a+b√?3 の形の数まで因数分解を行ったもので、現代の言葉で言えば、整数環
{Z} [√ {-3}]で因数分解を行うものであったが、この整数環では素因数分解の一意性が成立しない（一意分解環ではない）という不備があった[11]ので、のちに √?3 の代わりに 1の原始3乗根
ζ_{3}=(-1+ √-3)/2 を付加した整数環
{Z} [ζ_{3}]}（これは円分体
{Q} [ζ_{3}]} の整数環でもあり、素因数分解の一意性が成り立つ）を使うことで修正された。
n = 5：ジェルマン、ディリクレ、ルジャンドル
1823年にソフィ・ジェルマンは、フェルマー予想を奇素数 p に対して、 xp + yp = zp において、略

つづく

**１３２人目の素数さん** · 2023/06/17(土) 09:32:20.40

>>564
つづき

クンマーの理想数
コーシーとラメが争っていたのと同じ頃、エルンスト・クンマーが自ら打ち立てた理想数の理論（後にリヒャルト・デーデキントがイデアルの理論として発展させる）を導入する[16]。これにより、多くの素数において一意的な因数分解が可能となり、n が正則素数である（もしくは正則素数で割り切れる）全ての場合については証明がなされた[17]。

近代的アプローチへ
モジュラー形式
詳細は「モジュラー形式」を参照
アンリ・ポアンカレは上半平面上の関数についての研究から、モジュラー形式を案出する。

谷山?志村予想
詳細は「谷山?志村予想」を参照

https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8D%98%E7%B4%94%E7%BE%A4%E3%81%AE%E5%88%86%E9%A1%9E
有限単純群の分類

https://engineer.fabcross.jp/archeive/190605_riemann-hypothesis.html
fabcross for エンジニア
160年前からの数学界の難問「リーマン予想」の証明に至るアプローチ
2019-6-10
米エモリー大学の日系数学者Ken Ono教授の研究チームが、数多の数学者が挑み、挫折してきた、「リーマン予想」の証明に対する明解なアプローチを提案した。

研究チームは、1927年にJohan JensenとGeorge Polyaが、リーマン予想を検証する基準として作り上げたJensen-Polya多項式に注目した。この多項式は、計算が限りなく遅く、扱いにくいことから、これまで数学界からは見放されていたものだ。研究チームは、Jensen-Polya多項式を次数ごとに結合して計算するフレームワークを考案し、これによって1つずつではなく、まとめて計算できるようにした。この結果、リーマン予想から帰結され、その正しさを示唆する多くの定理を証明することに成功した。

Ono教授はリーマン予想の完全な証明は、未だ先のことと考えているが、「我々の証明は、新しい数学手法を駆使したのではなく、驚くほど短くシンプルかつ明解だ。フォローして理解するのは簡単だろう」と説明する。また、スタンフォード大学の数学者で、リーマン予想の専門家であるKannan Soundararajan氏は、「この論文で確立された結果は、リーマン予想に対する新たな証拠を提示したものと見ることができる」と、評価している。
(引用終り)
以上

**１３２人目の素数さん** · 2023/06/17(土) 09:46:19.56

>>562
ありがとうございます
スレ主です

で、問題はプロ数学者になるためには？
ですね

・一つの例は、早熟の天才でしょう
・他の例は運でしょうか？　数学の場合運を掴むにも実力はいる（数学に限らないが）

今回京都賞リーブさん（下記）
私はこの方のことを殆どしらないのですが
Awards
In 2022 the Carl Friedrich Gauss Prize at the International Congress of Mathematicians
とあります
いわゆる数学科は出ていないのにｗ
（日本人で「おまえε-δ知っているか！」と突っ込み入れる人がいたりしてｗｗ）

https://rio2016.5ch.net/test/read.cgi/math/1674527723/264
https://en.wikipedia.org/wiki/Elliott_H._Lieb
Elliott H. Lieb
Biography
He received his B.S. in physics from the Massachusetts Institute of Technology in 1953[6] and his PhD in mathematical physics from the University of Birmingham in England in 1956.[6][7] Lieb was a Fulbright Fellow at Kyoto University, Japan (1956?1957),[6] and worked as the Staff Theoretical Physicist for IBM from 1960 to 1963.[6] In 1961?1962, Lieb was on leave as professor of applied mathematics at Fourah Bay College, the University of Sierra Leone.[6] He has been a professor at Princeton since 1975,[6] following a leave from his professorship at MIT.

In 2022
the Carl Friedrich Gauss Prize at the International Congress of Mathematicians

**１３２人目の素数さん** · 2023/06/17(土) 10:14:49.16

>>560
>　不完全性定理の仮定節なんて、おヌシは理解できないだろう
>　人の知恵は、「帰納的公理化可能な理論」ではない、とほざく奴は少なくない

例えば、いまや国民的シンガーソングライターのあいみょんさん（下記 youtube ）
・ハルノヒ：これが、多分「春の日」と思う人多数（AIはどうかな？）
・これ日本語(文法)を絶妙に壊している；
　思い出話と思い出ふかし：タバコの例え？
　僕らは何も見えない未来を誓い合った：僕らは男女でしょ！ ”何も見えない”？ ”誓い合った”？
　寒さにこらえた木々と猫：木が寒い？　なんで猫がいる？
　蕾を咲かせようと実を揺らしている：生物学的にありえない！花が咲いて受粉して実がなるのに！
　素敵に笑っている：主語不明！木？猫？実？これらの全部？

でもね、”日本語(文法)を絶妙に壊している”ことで
通常の文章に以上の訴求力を持つんだよね
人に対してね（AIはしらんけど）

理屈は全然通っていない！！
けど、これは歌としては成立して
商業的にも成功したんだ

人は理屈だけじゃないってことよ
”人の知恵は、「帰納的公理化可能な理論」ではない”に一票！ byスレ主ｗ

https://www.youtube.com/watch?v=68ZgT-8s6t0
2023 04 07 あいみょんのオールナイトニッポンGOLD
Radiko CH 2023/04/08

https://www.uta-net.com/song/265755/
ハルノヒ
あいみょん

北千住駅
銀色の改札
思い出話と思い出ふかし

僕らは何も見えない
未来を誓い合った

寒さにこらえた木々と猫が
まるで僕らのことで
蕾を咲かせようと実を揺らしている
素敵に笑っている

**１３２人目の素数さん** · 2023/06/17(土) 10:18:29.77

引用してる文章がメチャクチャやん
よくこんな文章引っ張ってくるな
文章の意味まるでわかってないやろ定期

**１３２人目の素数さん** · 2023/06/17(土) 10:18:45.70

>>567 タイポ訂正

通常の文章に以上の訴求力を持つんだよね
　↓
通常の文章以上の訴求力を持つんだよね

あいみょんさん
数学できるとは思えないがｗ
別に、それで良いんじゃね？

ある種の天才ですね
数学とは別の

**１３２人目の素数さん** · 2023/06/17(土) 10:20:33.21

>>568
ありがとう
スレ主です

歌詞は著作権で保護されているので
部分引用とした（全文引用はまずい）
リンクはつけているよ

**１３２人目の素数さん** · 2023/06/17(土) 10:22:56.61

>>568
＞文章の意味まるでわかってないやろ定期

ああ、意味ね
歌詞の逐語解説やったら、膨大になるだろうね
そんな趣味ないけどねｗ

**１３２人目の素数さん** · 2023/06/17(土) 10:27:33.97

>>570
余談ですが

こういう歌詞のページは
コピー規制があって
印刷不可になっている
著作権保護のため

今回の投稿も
そこを配慮して
遠慮がちに投稿した

**１３２人目の素数さん** · 2023/06/17(土) 11:28:30.63

>>564
> これは、プロフェッサーかな？
うむ

**１３２人目の素数さん** · 2023/06/17(土) 13:12:02.12

>>571 追加

https://www.youtube.com/watch?v=pfGI91CFtRg
あいみょん ? ハルノヒ【OFFICIAL MUSIC VIDEO】
2019/04/03
@tomokiokawa4962
1 か月前
あいみょんはシンプルな曲調で人々の心に響く名曲へと大成させるのが凄いと思う

https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%AB%E3%83%8E%E3%83%92
「ハルノヒ」は、あいみょんの楽曲。ワーナーミュージック・ジャパン内のレーベル「unBORDE」から2019年4月17日にメジャー7枚目のシングルとして発売された。

解説
前作『今夜このまま』から約5か月ぶりに発表されるシングル。「通常盤」「クレヨンしんちゃん盤」の2形態で発売され、通常盤では大きなスーツケースの上に跨がるあいみょんの写真、クレヨンしんちゃん盤では野原一家が描かれたジャケットになっている[10]。

表題曲「ハルノヒ」は、アニメ映画『クレヨンしんちゃん新婚旅行ハリケーン ?失われたひろし?』の主題歌として書き下ろされた。また、映画の宣伝を兼ねて期間限定でテレビアニメ『クレヨンしんちゃん』エンディングテーマにも起用された[11]。

表題曲のタイトル「ハルノヒ」は、野原一家の住居のある街・「春日部」に由来し、『春日部』→『春の日』→『ハルノヒ』となった[12][13][14]。

ミュージック・ビデオの監督は前作と同様、山田智和が担当。舞台は静岡県の伊豆半島となっている[15]。3月11日には、アートアーク撮影時の模様で構成された視聴動画が公開された[10]。

**１３２人目の素数さん** · 2023/06/17(土) 13:13:55.96

>>573
スレ主です
ありがとうございます

**１３２人目の素数さん** · 2023/06/17(土) 13:40:51.29

>>476
https://www.iwanami.co.jp/book/b584810.html
岩波科学ライブラリー
抽象数学の手ざわり
ピタゴラスの定理から圏論まで
高校までの数学を題材に、現代数学のキーワード「集合と構造」「圏」「関手」「線形代数」などを解説。
抽象数学の手ざわり
著者斎藤　毅著
2021/07/16
https://www.iwanami.co.jp/moreinfo/tachiyomi/0297050.pdf
（試し読み）
(引用終り)

図書館に頼んでいた本きました
なかなか良い本です

**１３２人目の素数さん** · 2023/06/17(土) 14:56:40.74

>>575
うむ
いつもわたしを支持してくれてどうもありがとう

M.S

**１３２人目の素数さん** · 2023/06/17(土) 15:27:16.98

>>577
どうも
スレ主です
いつものプロフェッサーらしくないね
（もう少しカキコが溜まらないと判別不能、というかカキコが少ないから別人の可能性も・・）

だが、それはどうでも良い
ここは、私のスレで、私はスレ主ですからね
また～りしていって、ください

**１３２人目の素数さん** · 2023/06/17(土) 15:41:40.89

>>574 追加

解説を書いた人がいる
解説は、百人百様だろうが下記ご参照

//music-is-the-best.com/?p=14468
Music is the Best！
あいみょん『ハルノヒ』歌詞の意味は？【水色に挨拶とは誰のこと？】
2021年6月22日

https://youtu.be/6yX4pGrxxio
PV/映画『クレヨンしんちゃん新婚旅行ハリケーン～失われたひろし』は、激安新婚旅行ツアーでオーストラリアを訪れることになった野原家を描いた物語。
しんちゃんの両親である野原ひろしとみさえの「いまさらの新婚旅行」で、いろんなアクシデントに巻き込まれます。

ひろしのみさえへの「プロポーズ」をテーマに、「ひろし目線」で書かれた歌詞のようですが、「ハルノヒ」について、あいみょん本人がコメントしています。

あいみょんコメント
この度、「映画クレヨンしんちゃん新婚旅行ハリケーン～失われたひろし～」の主題歌を担当させて頂くことになりました。
小さい頃から大好きだった。と、言いますととてもありきたりだとは思うのですが、その大好きな想いを私なりに楽曲でどうにか伝えられたらな。と心から思い、今回のテーマが「家族の愛」と聞いて、野原一家の誕生の物語を楽曲で描けたら！と考えました。
引用：//www.shinchan-movie.com/

「ハルノヒ」アウトロ・歌詞の意味は？
住みなれた駅のプラットホーム
水色に挨拶
「おかえりなさい」と
小さく揺れる影を踏むシアワセ
引用：「ハルノヒ」作詞作曲/あいみょん

ここでは、北千住駅ではなく「住みなれた駅」と表現されています。
これまでの歌詞はまだ、家族になっていない２人の話でした。
しかし、ここの歌詞では２人は家族になっているようですね。
住みなれた駅は「春日部」の駅だと思います。
そして『水色に挨拶』は、しんちゃんの事ですよね。
https://futaman.ismcdn.jp/mwimgs/c/d/728wm/img_cdb2c3c907109cfa5be7060cc82df82044948.jpg

**１３２人目の素数さん** · 2023/06/17(土) 16:07:10.34

>>579
私見ですが、歌詞を絶妙に（万人に当てはまるよう）抽象化している
（論理は破綻させても）
だから、ヒット曲になるのだろう
ある種の天才ですよね
（これはゲーデルには、絶対に無理）

https://ja.wikipedia.org/wiki/%E3%83%8F%E3%83%AB%E3%83%8E%E3%83%92
「ハルノヒ」は、あいみょんの楽曲。ワーナーミュージック・ジャパン内のレーベル「unBORDE」から2019年4月17日にメジャー7枚目のシングルとして発売された。

チャート成績
2019年4月3日付のオリコンデジタルシングルデイリーランキングでは1位にランクインし、5日連続で首位をキープした。4月15日付のオリコン週間デジタルシングルランキングでは、2.6万ダウンロードで2位にランクイン。その後もロングヒットを続け、発売3週目の4月29日付で2.5万ダウンロードで1位を獲得。あいみょんにとっては初のオリコン週間1位獲得となった[2]。

Billboard Japan Hot Animation、Billboard Japan Top Download Songsにおいて初の1位を獲得した[3][4]。Hot Animationではその後5週連続で首位をキープしている。

先行配信から2週間後に発売されたCDシングルは、4月29日付のオリコン週間シングルランキングで1.0万枚を売り上げ6位にランクイン。あいみょんにとって初めて初動1万枚を突破したシングルとなった。合算シングルランキングでは2.9万ポイントで4位にランクインした[16]。

曲の解説
2020年に出演した麒麟麦酒「淡麗グリーンラベル」のCMでは、アコースティックバージョンで演奏した[21]。
2020年7月22日付のBillboard Japan Streaming Songsで、202万9022回再生を記録し、5作目となるストリーミング1億回再生を記録[22]。

**１３２人目の素数さん** · 2023/06/17(土) 17:54:11.75

>>578
> いつものプロフェッサーらしくないね
そんな日もある

そもそも、いつもプロフェッサーと呼んでいるのが別人

https://plaza.rakuten.co.jp/shinichi0329/

**１３２人目の素数さん** · 2023/06/17(土) 18:03:52.45

>>578
> ここは、私のスレで、私はスレ主ですからね
スレ主、そして、スレ所有者を主張する根拠は
1、すなわち、スレ設置者であることと考えられるが
なぜ1としてスレを設置すると、そのスレを所有する
といえるのか、まったく明確に証明されていない

誤った慣例は正すべきである
私の主張を否定する外国人も
自らの誤りを正すべきである

M.S

**１３２人目の素数さん** · 2023/06/17(土) 18:30:09.96

>>581
>そもそも、いつもプロフェッサーと呼んでいるのが別人
>https://plaza.rakuten.co.jp/shinichi0329/

ありがとう
面白い人がきたね

”モチヅキシンイチ”ならぬ、”モギシンイチ”さんかい？
本物の”モチヅキ”さんなら、望月IUT応援スレにかきそうなものだが・・ https://rio2016.5ch.net/test/read.cgi/math/1659142644/

まあ、”モチヅキ”さんとは別人かな

**１３２人目の素数さん** · 2023/06/17(土) 18:41:25.89

>>582
>スレ主、そして、スレ所有者を主張する根拠は
> 1、すなわち、スレ設置者であることと考えられるが

所有-所有権を理解していますか？（下記）
分かってないんでしょ？

https://ja.wikipedia.org/wiki/%E6%89%80%E6%9C%89%E6%A8%A9
所有権とは、物の全面的支配すなわち自由に使用・収益・処分する権利[1]。

18世紀ないし19世紀の近代的所有権は、自由主義や個人主義思想のもとで絶対的な所有権として成立し、原則的に無制限であると考えられていたが、20世紀に入ると私権の公共性が強調され始め、現代では所有権の横暴を抑制し公共の福祉を図るために社会的・経済的必要から所有権を原則的に制限可能なものであり、むしろ法律が許容する範囲内でのみその存在が可能なものと考えるようになった[2]。

日本の民法においては206条以下に規定がある。

概説
占有を正当化し物の支配の基礎となる権利（占有権以外の物権）を本権というが、所有権は物の使用・収益・処分という全面的支配を内容とするものでその典型である[3]。

近代的所有権の歴史
近代の所有権は、土地に対する複雑な封建的制約の廃止を目指して生成した。1789年のフランス人権宣言は、所有権を「神聖不可侵」として所有権の絶対性（所有権絶対の原則）を標榜し、私有財産制の基礎を確立した。

近代的所有権の性質
・観念性
所有権は物の現実的な支配（占有）とは関係なく観念的に存在するという性質[4][5]。
・絶対性
所有権は何人に対しても妨害を受けることなく主張しうるという性質[5][6]。
・私的性質
所有権は社会の承認を受けた権利ではあるが、物の支配という点では社会関係から切り離されて私的に存在するという性質[5][6]。
・全面的支配性
所有権は物の使用・収益・処分という全面的支配を内容とするという性質[4]。
・渾一性
所有権は物に対する一切の権能の源泉となる権利であるという性質[6]。
・恒久性
所有権は目的物が存在する限り永久に存在するもので消滅時効にかからないという性質[6]。
・弾力性
所有権は制限物権すなわち用益物権（地上権など）や担保物権（抵当権など）によって制限を受けても、その制限が消滅すれば再びもとの全面的支配を回復するという性質[6]。

所有権の限界
略

**１３２人目の素数さん** · 2023/06/18(日) 07:25:45.76

>>584
追加参考

//zeirishi-law.com/minpou/buken-category1
弁護士法人ピクト法律事務所
2017.3.14
物権（所有権・用益物権）の種類①
【目次】
１　物権の種類と分類
1.1 本権と占有権
1.2 所有権とそれ以外、および用益物権と担保物権
２　所有権
2.1 使用
2.2 収益
2.3 処分
３　用益物権
3.1 地上権
3.2 永小作権
3.3 地役権
４　まとめ

１　物権の種類と分類
　物権の分類は、大きく分けると「本権と占有権」、本権のうち「所有権とそれ以外」、それ以外のうち「用益物権と担保物件」という段階があります。
//zeirishi-law.com/wp-content/uploads/2017/03/%E7%89%A9%E6%A8%A9%EF%BC%88%E6%89%80%E6%9C%89%E6%A8%A9%E3%83%BB%E7%94%A8%E7%9B%8A%E7%89%A9%E6%A8%A9%EF%BC%89%E3%81%AE%E7%A8%AE%E9%A1%9E%E2%91%A0%E4%BF%AE%E6%AD%A3%EF%BC%89.jpg
1.1 本権と占有権
　物権には、大きく分けて、「本権」と「占有権」という区別があります。「本権」とは、物の支配を根拠づける法的な権利があるものを言います。一方で、「占有権」とは、物を現実に支配しているという事実状態を尊重して、法律上認められている物権です。わかりにくいですが、ここでは、「占有権」は特殊なのだなということを抑えていただければいいです。例を言うと、「占有権」により、自分の所有権のある物を、他人がとってしまったとしても、その他人に占有権自体は認められるので、裁判等の法的手続きを経ずに勝手に奪い返すということはできないということになります。
　この「占有権」は特殊なものですので、別記事に譲るとして、今回は「本権」について見ていきたいと思います。

**１３２人目の素数さん** · 2023/06/18(日) 08:10:21.27

>>584
>所有-所有権を理解していますか？
>分かってないんでしょ？
1はすぐキレるね　カルシウム不足？

>>578
>ここは、私のスレで、私はスレ主
なんて書くからつっこまれる

私のスレが私の所有するスレではないなら
私の何するスレなんだ？

P.S.
法律を語る奴に賢い奴は皆無

**１３２人目の素数さん** · 2023/06/18(日) 08:14:11.39

5chでスレを立てたからといって
スレ設置者は立てたステに対して
他の人にない独自の権利など
何一つもっていない

これ知らん奴は日本人じゃない
北鮮人かニホンザルかは知らないが

**１３２人目の素数さん** · 2023/06/18(日) 10:51:09.87

>>586-587
あんたは
自称と他称の区別がついていないｗ

下記
ブッダ：天上天下唯我独尊
ムハンマド：神の預言者であり、神の使者である

繰り返す
私は、スレ主です

これを認めるかどうかは
それぞれにお任せするｗ

(参考)
https://ja.wikipedia.org/wiki/%E5%A4%A9%E4%B8%8A%E5%A4%A9%E4%B8%8B%E5%94%AF%E6%88%91%E7%8B%AC%E5%B0%8A
天上天下唯我独尊

https://ja.wikipedia.org/wiki/%E3%83%A0%E3%83%8F%E3%83%B3%E3%83%9E%E3%83%89%E3%83%BB%E3%82%A4%E3%83%96%E3%83%B3%EF%BC%9D%E3%82%A2%E3%83%96%E3%83%89%E3%82%A5%E3%83%83%E3%83%A9%E3%83%BC%E3%83%95
ムハンマド・イブン＝アブドゥッラーフ
570年（象の年）頃にアラビアの都市メッカで生まれたムハンマドは、6歳の時に孤児となった[7]。父方の祖父アブド・アル・ムッタリブの世話の下で育てられ、彼の死後は叔父のアブー＝ターリブに育てられた。後年、彼は定期的にヒラという名の山の洞窟に身を潜め、数日間の祈りの夜を過ごした。彼が40歳の時、ムハンマドは洞窟の中でガブリエルの訪問を受け[8]、神からの最初の啓示を受けたと報告していた。613年[9]、ムハンマドはこれらの啓示を公に説き始め、「神は一つである」こと、神への完全な「服従」（イスラーム）[10]が正しい生き方（ディーン）[11]であること、そしてムハンマドはイスラム教の他の預言者と同様に、神の預言者であり、神の使者であることを宣言した[12][13][14]。

**１３２人目の素数さん** · 2023/06/18(日) 11:10:24.20

>>586
＞法律を語る奴に賢い奴は皆無

東大法学部
これを考えれば
話は逆とわかる

おサルさんｗ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
あなたの負けですｗ

**１３２人目の素数さん** · 2023/06/18(日) 12:16:59.02

コピペした wiki だけで法律を正しく適用出来る訳がない

**１３２人目の素数さん** · 2023/06/18(日) 15:21:08.38

日本語文化圏の法学部学卒が自然法則を「制定」したならばさぞかし笑えるクソゲーになることだろう。

**１３２人目の素数さん** · 2023/06/18(日) 15:21:12.42

>>590
ありがとね

>コピペした wiki だけで法律を正しく適用出来る訳がない

それはそうだが、>>582の所有-所有権の理解は、そのレベルでさえない
「スレ主、そして、スレ所有者を主張する根拠」>>582って
　>>584と対比してみな

”所有権とは、物の全面的支配すなわち自由に使用・収益・処分する権利”>>584
とあるよ

「スレ主」という自称は、”スレの全面的支配すなわち自由に使用・収益・処分”を意味しない
あたりまえ
そこを誤解したカキコが、>>582だってこと

**１３２人目の素数さん** · 2023/06/18(日) 15:32:06.15

>>591
>日本語文化圏の法学部学卒が自然法則を「制定」したならばさぞかし笑えるクソゲーになることだろう。

でも
現実に、多くの分野の日本の法律が
東大法学部（勿論、東大教授を委員や委員長とした会議もあるだろうが）
の人たちの手で制定され、国会で審議され制定されていることは事実

もちろん
東大の理系も入っているだろうけど
はやりのAI関連の法律もそうなるでしょ

https://www.meti.go.jp/shingikai/economy/risukei_jinzai/pdf/005_02_00.pdf
経済産業省
数理資本主義の時代～数学パワーが世界を変える～（案）平成３１年３月
理数系人材の産業界での活躍に向けた意見交換会
P2 注
ここで言う「数学」は、純粋数学、応用数学、統計学、確率論、さらには数学的な表現を必要とする量子論、素粒子物理学、宇宙物理学なども含む広範な概念であり、文部科学省科学技術政策研究所科学技術動向研究センター報告書「忘れられた科学－数学」（2006年5月）における「数学研究」の定義をほぼ踏襲している。

https://www.meti.go.jp/policy/it_policy/jinzai/MDASH/mdashsupport.html
経済産業省最終更新日：2023年4月4日
数理・データサイエンス・ＡＩ教育プログラム支援サイト
＜ＭＤＡＳＨ　ＳＵＰＰＯＲＴＥＲＳ＞

**１３２人目の素数さん** · 2023/06/18(日) 15:33:55.07

>>593
>文部科学省科学技術政策研究所科学技術動向研究センター報告書「忘れられた科学－数学」（2006年5月）

これ面白い

”>日本語文化圏の法学部学卒が自然法則を「制定」したならばさぞかし笑えるクソゲー”>>591
の典型例かもね

みんなで笑いましょう！ｗｗｗ

**１３２人目の素数さん** · 2023/06/18(日) 15:44:20.79

>>592
>>592
>「スレ主」という自称は、”スレの全面的支配すなわち自由に使用・収益・処分する権利”を意味しない
”スレの全面的支配すなわち自由に使用・収益・処分する権利”を有しないなら「スレ主」を名乗ってはいけない
これがほんとのあたりまえ
言葉の意味を知らずにスレ主を僭称したのが１ってこと

**１３２人目の素数さん** · 2023/06/18(日) 15:46:20.79

>>589
東大法学部に賢い奴はまずいない
賢い奴は法学部のような●ンコ学部にはいかない

１、おヌシの負けだ
ここから去れ！

**１３２人目の素数さん** · 2023/06/18(日) 16:10:55.68

>>593
> 現実に、多くの分野の日本の法律が
> 東大法学部の人たちの手で制定され、
> 国会で審議され制定されていることは事実
　だから日本は「滅んだ」わけだが

　そもそも法学は学問ではない
　学問について何一つ知らない素人が
　ただ高卒レベルの知識を問う「クイズ」で
　高得点をとったとかいう無意味な経歴だけで
　まるで賢者のごとく振る舞い
　トンチンカンな法律を制定することは
　トンデモ以外の何者でもない　

**１３２人目の素数さん** · 2023/06/18(日) 16:15:52.71

>>594
御択を並べる前に
「ある正方行列Aが正則行列か否かを判定する
　実効的アルゴリズムがいかなるものか」
ここで説明できるようになってもらいたいものだ

大学１年の線形代数を「正しく」習得すればできる筈

やってごらん

注）ライプニッツの明示公式による行列式の計算は
　　実効的アルゴリズムではない
　　なぜなら行列のサイズｎに対して
　　少なくともｎ！ステップの計算を
　　必要とするからである

**１３２人目の素数さん** · 2023/06/18(日) 16:18:34.46

各省庁の省益で管轄ギョーカイを縦割り分割統治して利権化するのに邁進してるだけで
垣根を自動的にぶち壊し続ける技術革新の進行をなるだけ阻害するために立ち動く邪魔以外の何物でもない。

**１３２人目の素数さん** · 2023/06/18(日) 16:45:38.25

>>598
そういうのを本当の御託というのではないか？

**１３２人目の素数さん** · 2023/06/18(日) 19:32:37.26

>>600
なんだ、線形代数理解できないウマシカがもう一匹現れたか

**１３２人目の素数さん** · 2023/06/18(日) 20:36:57.61

>>601
御託の意味も理解できない🏇🦌

**１３２人目の素数さん** · 2023/06/18(日) 23:00:07.56

ガロアが決闘で死なずに、大学教授に成り上がっておれば、書物の2－3冊も書いて、
方程式の群論、代数函数の積分の理論、などなどが明らかになっていたかと思うと、
惜しい気がする。

**１３２人目の素数さん** · 2023/06/19(月) 07:29:21.55

>>603
凡人以下のクソが無理に天才を称えようとすると
無意味な文章になるという典型。
しかも称賛にさえなっていない。「既存の数学」
をガロアがちょっと先行してやっていただけ
という如何にも凡人らしい発想でしかない。

**１３２人目の素数さん** · 2023/06/19(月) 12:47:16.39

がロアが代数学の本を残していれば
現在の代数学の講義が
「群・環・体・ガロア理論」
というような不格好な体裁になることは
なかっただろう

**１３２人目の素数さん** · 2023/06/19(月) 14:27:43.19

ガロアよりもグラスマンのほうが抽象化一般化幾何学化の面で勝ってたってだけでは？。

**１３２人目の素数さん** · 2023/06/19(月) 17:27:45.86

抽象化
一般化
幾何学化
これらにより古典を再編成するのではなく
これらを織り込んで古典を豊かにする方向も
考えられたと思う

**１３２人目の素数さん** · 2023/06/19(月) 22:15:17.56

>>605
>「群・環・体・ガロア理論」
>というような不格好な体裁
どれ一つ理解できない落ちこぼれが
悔しがって喚いとる

>>607
>抽象化一般化幾何学化
>これらにより古典を再編成するのではなく
>これらを織り込んで古典を豊かにする方向も
>考えられたと思う
落ちこぼれは大学１年の線型代数の
消去法からやりなおせ
どうせ全然分かってないんだろ？