[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
503(1): 2023/06/11(日)07:29 ID:UHPzFVQz(6/17) AAS
「連立線型方程式系はクラメールの公式で解ける」
「逆行列は余因子行列によって求められる」
こんなことをいう奴はまず線形代数が分かってないｗ
工学屋的実用主義からいえば、行列式知らなくてもいい
消去法がわかっていれば連立方程式も解けるし逆行列も求まる
行列式を知っていてもいいが
ライプニッツの明示公式で定義し
それで分かったと思うのはアサハカ
多重交代線型形式として定義するほうがいい
もちろん、そこからライプニッツの明示公式も導けるが
省7
504: 2023/06/11(日)08:26 ID:uW+EXYYb(2/2) AAS
>>503
>>数学とは公式を暗記することなりと誤解した
>>哀れなド田舎のガリ勉野郎である
50年前の都会の最底辺が粋がっているような雰囲気
505(2): 2023/06/11(日)08:39 ID:rePRWD92(1/5) AAS
>>495
人間の精神構造と脳の構造との関連は知らないが、
もし人間がコンピュータのように有限回の論理でしか考えられないようになっているなら
γνῶθι σεαυτό はゲーデルの不完全性定理の応用で否定され得る
506(3): 2023/06/11(日)09:02 ID:5t3/bu9Q(1/12) AAS
>>497
>「汝自身を知れ」
>これもID:9OKzQGabに言ったが
>>>496で「よく分からないが」というように
>全く通じなかったようだ
スレ主です
なるほど、Bing回答下記
Bingへ質問：γνῶθι σεαυτόν
‘γνῶθι σεαυτόν’ を検索しています
回答を生成しています…
省7
507: 2023/06/11(日)09:02 ID:5t3/bu9Q(2/12) AAS
>>506
つづき
解釈
古代ギリシアの賢人の中でこの格言の作者と言われたことがあるのは少なくとも以下の6人である。
スパルタのキロン (Chilon I 63, 25)
ヘラクレイトス
ピュタゴラス
ソクラテス
アテナイのソロン
ミレトスのタレス
省5
508(2): 2023/06/11(日)09:13 ID:5t3/bu9Q(3/12) AAS
>>502
>>私ではおサルをブチのめすことでしか
下記だねｗ(>>63再録)
スレ主です
数学科オチコボレのサルさんｗ 2chｽﾚ:math
線形代数が分かっていないのは、あ な た！ ｗｗｗ
前スレより
2chｽﾚ:math
傷口に塩を塗って欲しいらしいなｗ
>>406-407より以下再録
省32
509(4): 2023/06/11(日)09:14 ID:UHPzFVQz(7/17) AAS
>>505
>もし人間がコンピュータのように有限回の論理でしか考えられないようになっているなら
>γνῶθι σεαυτό はゲーデルの不完全性定理の応用で否定され得る
これだけでは具体的にどんな命題をどうやって否定するのか全くわからんのでkwsk書かれたし
510(1): 2023/06/11(日)09:24 ID:7k5lZFEJ(1) AAS
ガウスの時代には外積代数は無かったが、方程式を成分で書いて
電磁気学の基本方程式を概ね正しく表していた。
（電束密度Dの時間変化から来る電束電流に対する項が欠けた定式に
までたどり着いており、マックスウェルの方程式にあと一歩だったが、
しかしそのために、電磁波の存在にまではたどり着けていなかった）。
511: 2023/06/11(日)09:27 ID:5t3/bu9Q(4/12) AAS
>>510
ありがとうございます
スレ主です
なるほど
そうだったのか
512: 2023/06/11(日)09:41 ID:UHPzFVQz(8/17) AAS
>>508
> スレ主です
またおヌシか
> 数学科オチコボレのサルさん
> 線形代数が分かっていないのは、あ な た！
大学入試に受からんのに
O大工学部卒とか学歴詐称した
おサルのおヌシが何を吠えとる？
> 傷口に塩を塗って欲しいらしいなｗ
またブートジョロキア食べたのか？
省33
513(3): 2023/06/11(日)09:57 ID:rePRWD92(2/5) AAS
>>509
もし人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る
という命題が成り立つ
仮に、人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る とする
このとき、人間が考え出したことはすべて有限回の論理をを積み重ねて言葉で表現出来るから、
すべての人間が考え出したことは有限個の言葉で表現出来る という命題が成り立つ
人間はコンピュータのように有限回の論理でしか考えられないから、
ゲーデルの不完全性定理から、人間が考え出したことを有限個の言葉で表現出来る
省12
514: 2023/06/11(日)10:24 ID:rePRWD92(3/5) AAS
>>509
>513の最後の訂正：この現象は、否定される → この命題は、否定される
515(1): 2023/06/11(日)10:57 ID:rePRWD92(4/5) AAS
>>509
現象と命題という言葉を混同している部分が多々あったから、>>513の前半の書き直し
もし人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る という命題が成り立つ
仮に、人間がコンピュータのように有限回の論理でしか考えられないなら
人間が考えることはすべて言葉で表現出来る とする
このとき、人間が考え出したことはすべて有限回の論理をを積み重ねて言葉で表現出来るから、
すべての人間が考え出したことは有限個の言葉で表現出来る という命題が成り立つ
人間はコンピュータのように有限回の論理でしか考えられないから、
ゲーデルの不完全性定理から、人間が考え出したことを有限個の言葉で表現出来る
省11
516(1): 2023/06/11(日)11:16 ID:rePRWD92(5/5) AAS
>>509
まあ、脳の構造について、任意の時刻 t＞0 に対し、過去の時刻から時刻tまでの間で
脳の中に表れた素粒子や原子などの粒子の総数は有限個である
517(3): 2023/06/11(日)13:46 ID:5t3/bu9Q(5/12) AAS
>>515-516
ありがとう
ひょっとして、おっちゃんかい？
不完全性定理は、別のガロアスレでも、取り上げたけど
１）ゲーデルの不完全性定理は、一階述語論理限定じゃなかったかな？
２）一方、人の思考は一階述語論理限定じゃないよね
かつ、デジタル系のロジックだけじゃなく、アナログ系もそなえている
３）「人が不完全な存在だ」（宗教ないし哲学的）という主張は分かるけど
数学の不完全性定理は当てはまらないかもね
(参考)
省3
518(1): 2023/06/11(日)13:47 ID:5t3/bu9Q(6/12) AAS
>>517
つづき
数学基礎論研究者の菊池誠によると不完全性定理は、20世紀初め以降に哲学から決別した数学基礎論の中で現れた[6][注 3]。コンピュータ科学者・数理論理学者のトルケル・フランセーン[7]および数学者・数理論理学者の田中一之[7]によると、不完全性定理が示した不完全性とは、数学用語の意味での「特定の形式体系Pにおいて決定不能な命題の存在」であり、一般的な意味での「不完全性」とは無関係である[8]。不完全性定理を踏まえても、数学の形式体系の公理は真であり無矛盾であるし[9][注 4]、数学の完全性も成立し続けている[8]。しかし“不完全性定理は数学や理論の「不完全性」を証明した”といった誤解や、“数学には「不完全」な部分があると証明済みであり、数学以外の分野に「不完全」な部分があってもおかしくない”といった誤解が一般社会・哲学・宗教・神学等によって広まり、誤用されている[10][注 5]。
「不完全性定理が成立しない体系」および「ゲーデルの完全性定理」も参照
数学の「無矛盾性」を証明することを目指したヒルベルト・プログラムに関して「不完全性定理がヒルベルトのプログラムを破壊した」という類の哲学的発言はよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる、とフランセーン達は解説している[11]。正確には、ゲーデルはヒルベルトと同様の見解を持っており、彼が不完全性定理を証明して示したのは、ヒルベルトの目的（「無矛盾性証明」）を実現するためには手段（ヒルベルト・プログラム）を拡張する必要がある、ということだった[11]。これについて日本数学会編集の『岩波数学辞典』では「彼〔ゲーデル〕の結果はヒルベルトの企図を直接否定するものではなく，実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている」と記されている[5]。
「ゲンツェンの無矛盾性証明（英語版）」および「不完全性定理によるヒルベルト・プログラムの発展」も参照
(引用終り)
以上
519(1): 2023/06/11(日)14:30 ID:UHPzFVQz(9/17) AAS
>>513
> もし人間がコンピュータのように有限回の論理でしか考えられないなら
> 人間が考えることはすべて言葉で表現出来るという命題が成り立つ
これトートロジー
> 人間はコンピュータのように有限回の論理でしか考えられないから、
> ゲーデルの不完全性定理から、
> 人間が考え出したことを有限個の言葉で表現出来るという現象は無矛盾な現象である
ここわからん
ID:rePRWD92が理解する「ゲーデルの不完全性定理」を具体的に書いた上で
そこから「人間が考え出したことを有限個の言葉で表現出来る」という命題から
省24
520(1): 2023/06/11(日)14:35 ID:UHPzFVQz(10/17) AAS
>>517
> ゲーデルの不完全性定理は、一階述語論理限定じゃなかったかな？
わからんちんのおヌシは黙れ
> 一方、人の思考は一階述語論理限定じゃないよね
一階述語論理で表せない例を示せ
> かつ、デジタル系のロジックだけじゃなく、アナログ系もそなえている
こういう馬鹿主張は、２０世紀で死滅したと思ったがなｗ
実数論も理解できず、ε－δも使えん奴が
「アナログは形式論理では扱えない神秘の術なんじゃあああああ」
とわめきちらすｗ
省6
521: 2023/06/11(日)14:42 ID:UHPzFVQz(11/17) AAS
>>518
おヌシはゲーデルの不完全性定理のステートメントは引用せず
そのかわりクソ文章ばかりコピペするから馬鹿にされる
まずステートメントを引用せよ
第一不完全性定理
"初等的な自然数論"を含むω無矛盾な公理的理論Tは不完全である，
つまりそこで証明も反証もされない命題（決定不能命題(undecidable proposition)，あるいは独立命題）が存在する。
第二不完全性定理
"初等的な自然数論"を含む理論Tが無矛盾ならば，
Tの無矛盾性を表す命題 Con(T) がその体系で証明できない。
省7
522(1): 2023/06/11(日)16:17 ID:or0bmf/G(1/4) AAS
>>519
>どのような言葉で表してもそれに反する事が起きる
>と言い切るならその証明が必要
>それが示せるのか？
果たして、人間は自分だけで己のことをすべて知っているかというとそうではない
己だけで言葉で表したことには、真ではないことや間違いが含まれていることが多々ある
己のことをすべて自分で知っているといい切るのは横柄な態度である
当初、いいたかったことはそれ
よくバカにつける薬はないっていうでしょ
何回説明しても分からない人間には幾ら説明しても分かりっこない
523(2): 2023/06/11(日)16:22 ID:5t3/bu9Q(7/12) AAS
>>520
>> 一方、人の思考は一階述語論理限定じゃないよね
> 一階述語論理で表せない例を示せ
ホイよ
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの不完全性定理
1977年、パリスとハーリントンは、ラムゼーの定理の一種であるパリス＝ハーリントンの定理が、一階算術の公理体系であるペアノ算術の下では決定不能だが、より大きな二階算術の体系では証明できることを証明した。
不完全性定理が成立しない体系
不完全性定理が成立しない例としてはユークリッド幾何学[15]、プレスバーガー算術[16]、実閉体と代数的閉体の理論におけるタルスキの定理などがある[16]。
省3
524(2): 2023/06/11(日)16:22 ID:5t3/bu9Q(8/12) AAS
>>523
つづき
不完全性定理によるヒルベルト・プログラムの発展
「無矛盾性」、「ヒルベルト・プログラム」、および「数学基礎論」も参照
フランセーンによれば、数学者ダヴィット・ヒルベルトは「数学に“イグノラビムス（ignorabimus, 永遠に知られないこと）”はない」と述べた[17]。数学上に不可知は無く、全ての問題は最終的に解決されるというヒルベルトのこの見方は、「ノン・イグノラビムス」として知られている[18]。ゲーデルの不完全性定理は、「決してこのヒルベルトの楽天的な見方を否定するものではない」とされている[18]。何故なら、不完全性定理によって否定されたものとは単に、「ノン・イグノラビムス」へ到達する手段の一つとしてヒルベルトが提案したもの ―― すなわち、「すべての数学の問題が解けるような単一の形式体系」 ―― であり、「ノン・イグノラビムス」自体は否定されていないからである[19]。
実際ゲーデル自身は以下のような、「ノン・イグノラビムス」的なヒルベルト流の見解を持っていた[20]。
こうした見解に基づき、ゲーデルは現代数学を拡張する手段として「巨大基数公理」を提案した[21]。哲学等において「不完全性定理がヒルベルトのプログラムを破壊した」という類の発言がよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる[11]。正確に言えば、ヒルベルトの目的（数学の「無矛盾性証明」）を実現するには手段（ヒルベルト・プログラム）を拡張する必要がある、ということをゲーデルが不完全性定理を通して示したのだった[11]。
つづく
525(2): 2023/06/11(日)16:23 ID:5t3/bu9Q(9/12) AAS
>>524
つづき
菊池誠の『不完全性定理』によるとヒルベルトは、「ゲーデルの結果により証明論が実行不可能となったという見解は間違いであり，それは有限の立場の拡張が必要であることが判明しただけだ」と述べている[13]。ゲーデルも不完全性定理の論文の中で、この定理とヒルベルト・プログラムとの関係を取り上げて、不完全性定理は「Hilbert〔ヒルベルト〕の形式主義的な視点とまったく矛盾しない」、と注意を書いている[13]。
日本数学会が編集した『岩波 数学辞典』第4版では、不完全性定理について次の通り記述されている[5]。
「ゲーデルも書いているように，有限の立場は特定の演繹体系として規定されるものではないから，彼の結果はヒルベルトの企図を直接否定するものではなく，実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている．」[5]
数学と哲学の分離
理学博士・数学基礎論研究者である菊池誠[22]の『不完全性定理』によれば、数学史上で「数学の正しさと無矛盾性に対する確信が揺らいだことがかつて一度だけあった」[23]。19世紀末～20世紀初めには、数学の中でいくつも逆理が発見され、数学の基礎についての「不安の時代」が発生した[24]。そうして数学の無矛盾性や「そもそも定理や証明とは何なのか」といった哲学的な問いに対し、伝統的な哲学の手法ではなく数学の手法（形式主義）で答える試みがなされ、そこから数学の一分野「数学基礎論」が生まれた[25][注 11]。
省3
526(1): 2023/06/11(日)16:54 ID:UHPzFVQz(12/17) AAS
>>522
> 果たして、人間は自分だけで己のことをすべて知っているかというとそうではない
そんなことはいわずもがなだろ
> 己だけで言葉で表したことには、真ではないことや間違いが含まれていることが多々ある
そんなこともいわずもがなだろう
> 己のことをすべて自分で知っているといい切るのは横柄な態度である
> 当初、いいたかったことはそれ
それいったいどこのだれにいってる
貴様の心のなかの鬼畜にか？
> よくバカにつける薬はないっていうでしょ
省3
527: 2023/06/11(日)17:03 ID:UHPzFVQz(13/17) AAS
>>523
>>> 一方、人の思考は一階述語論理限定じゃないよね
>> 一階述語論理で表せない例を示せ
> ホイよ
実例になってないが
> 不完全性定理が成立しない例としては
>ユークリッド幾何学、プレスバーガー算術、実閉体と代数的閉体の理論におけるタルスキの定理
>などがある。
ユークリッド幾何学も、プレスバーガー算術も、実閉体と代数的閉体の理論も
一階述語論理上の理論であって、一階述語論理で表せるんだが
省21
528(2): 2023/06/11(日)17:03 ID:or0bmf/G(2/4) AAS
>>526
＞> 己のことをすべて自分で知っているといい切るのは横柄な態度である
＞> 当初、いいたかったことはそれ
＞ それいったいどこのだれにいってる
＞ 貴様の心のなかの鬼畜にか？
いや、すべての人間にいえる
＞> よくバカにつける薬はないっていうでしょ
＞> 何回説明しても分からない人間には幾ら説明しても分かりっこない
＞ そう馬鹿の貴様につける薬はない
＞ 貴様自分が馬鹿でないとうぬぼれてんのか？
省1
529: 2023/06/11(日)17:05 ID:UHPzFVQz(14/17) AAS
>>524
もしかして、
「高階論理を使えばヒトにも完全かつ無矛盾な公理系が得られる」
とか馬鹿な妄想抱いてる？おサルはｗ
530: 2023/06/11(日)17:11 ID:UHPzFVQz(15/17) AAS
>>525
なんかおヌシ、
「数学の完全性と無矛盾性が人間にも証明できる筈！」
と心底思い込んでるみたいで実にキモチワルイぞ
完全な公理系というものは存在するだろう
しかし人がそれを構築できるとは思えんね
また、自然数論も公理的集合論も無矛盾だろう
しかしそれは絶対的な証明が存在するようなものではない
省5
531(1): 2023/06/11(日)17:14 ID:UHPzFVQz(16/17) AAS
>>528
>>> 己のことをすべて自分で知っているといい切るのは横柄な態度である
>>> 当初、いいたかったことはそれ
>> それいったいどこのだれにいってる
>> 貴様の心のなかの鬼畜にか？
>いや、すべての人間にいえる
言えんよ
すべての人が
「己のことをすべて自分で知っている」
と言ってるか？言ってない
省3
532(2): 2023/06/11(日)17:19 ID:UHPzFVQz(17/17) AAS
>>528
>>> 何回説明しても分からない人間には幾ら説明しても分かりっこない
> いっておくけど、君がスレ主に同じことを幾ら説明してもムダに終わると思うよ
その件は全く同意
その上でこういっておこう
「ここで”おヌシ”君に説明するのは、彼に分からせる為ではなく
彼がこんな簡単かつ丁寧でアリの這い出る隙間もない説明も
理解できずに感情的び反発する人間失格のおサルさんだと
他の読者に分からせるためである」
ま、貴様は”おヌシ”君同様の馬鹿だけどな
省1
533: 2023/06/11(日)17:23 ID:or0bmf/G(3/4) AAS
>>531
例えば、自分の身体に何らかの病気が出来ているというような
己だけでは分かりっこないことまで含めて、
己のことをすべて自分で分かっているというのは
普通の人なら横柄な態度だと感じるだろうね
534: 2023/06/11(日)17:29 ID:or0bmf/G(4/4) AAS
>>532
>なんで小卒の貴様がここにいるんだ？
休憩のため
何回説明しても分からないようだが、小卒ではない
535(1): 2023/06/11(日)20:30 ID:5t3/bu9Q(10/12) AAS
>>525
>菊池誠の『不完全性定理』
これ、笑えるｗ
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
不完全性定理. 形式化された数学の限界と可能性.
故角田譲先生に捧ぐ. 2015年9月15日京都産業大学.
日本数学会2015年秋季総合分科会企画特別講演.
菊池誠（神戸大）.
25 ページ
P23-24
省3
536: 2023/06/11(日)21:00 ID:5t3/bu9Q(11/12) AAS
>>532
おサル 2chｽﾚ:math
の”シッタカ” 見苦しいｗ
537(3): 2023/06/11(日)22:46 ID:5t3/bu9Q(12/12) AAS
>>517 補足
> ３）「人が不完全な存在だ」（宗教ないし哲学的）という主張は分かるけど
> 数学の不完全性定理は当てはまらないかもね
まず引用
外部ﾘﾝｸ:www.アマゾン
数III方式ガロアの理論 Tankobon Hardcover ? February 25, 2016
by 矢ヶ部 巌 (著)
現代数学社
P525 (最後の部分)
佐々木(与次郎) 小川君は、数学科志望だろ
省20
538(1): 2023/06/12(月)04:24 ID:ASVkScYx(1) AAS
>>535
工学的には「有限の立場」とは計算機の工学的利用そのものだから
永遠にバグ取り地獄なのが保証されてる
というのがゲーデルの結果の言い換え。
539(2): 2023/06/12(月)06:53 ID:JGs8cB1b(1/4) AAS
>>537
> 人の思考は、論理だけではない
> 例えば、大学進学が好例です。
> 数学科志望か、別の学科へ行くか？
> これは、自分の人生に対する決断だ。論理だけでは決まらない
> なぜ、論理だけでは決まらないか？
> 人生で、いくつかの選択肢があるとして、どれが正解なのか？
> どれが正解かは、やってみないと分からない！
> 人には未来は分からない。神のみぞ知る！
> そして、やり直し(数学科以外へ)は可能な場合もあるけど、不可能の場合もあり
省12
540: 2023/06/12(月)07:04 ID:JGs8cB1b(2/4) AAS
>>539
人が何を決断するかはその人の脳の状態で決まる
ただそれはその人の願望を叶える最適な選択とは限らない
たとえば北鮮人１が数学板に書き込むのがやめられないのも病んだ脳のせい
しかしそれが当人にとって幸せな選択かというとまったく違う
一番いい選択はここに書き込まないこと 数学を諦めること
述語論理の∀と∃すら扱えない人間に、数学の論理がわかるわけない
いつまでも論理抜きでチラ見で全部理解しようなど無理なこと
まあ、高校のときみたいに
公式暗記で全数学が理解できる
省5
541: 2023/06/12(月)07:07 ID:Xb/e0MST(1) AAS
>>539
鶴橋周辺よりも
WienやIASのことを書いてほしい
542: 2023/06/12(月)08:03 ID:WCNckC2q(1/3) AAS
>>537 追加
完全に正しいかは不明だが
下記が参考になるだろう
外部ﾘﾝｸ:aozoragakuen.さくら.ne.jp/index2.html
数学科書庫
外部ﾘﾝｸ:aozoragakuen.さくら.ne.jp/taiwa/taiwa.html
数学対話第5期
外部ﾘﾝｸ:aozoragakuen.さくら.ne.jp/taiwa/taiwaNch01/node1.html
基礎分野
外部ﾘﾝｸ:aozoragakuen.さくら.ne.jp/taiwa/taiwaNch01/taikaku/node1.html
省24
543(1): 2023/06/12(月)08:10 ID:WCNckC2q(2/3) AAS
>>538
>工学的には「有限の立場」とは計算機の工学的利用そのものだから
>永遠にバグ取り地獄なのが保証されてる
>というのがゲーデルの結果の言い換え。
ありがとう
スレ主です
”ゲーデルの結果の言い換え”は別として
”永遠にバグ取り地獄”は当たっているかも
例えば、いま使っているインターネット
例えば、いま使っている５ｃｈ
省6
544(1): 2023/06/12(月)19:37 ID:JGs8cB1b(3/4) AAS
>>543
ま～たわからんちんの中卒１がシッタカしてるな
プログラムのバグ探しは無矛盾性証明と同じ
「前提」と「仕様の否定」が矛盾しない状況がバグってこと
バグがないから矛盾するから証明できる
逆にバグが有る場合は矛盾しない
省1
545(1): 2023/06/12(月)19:38 ID:JGs8cB1b(4/4) AAS
誤 バグがないから矛盾するから証明できる
正 バグがないなら矛盾するから証明できる
546(2): 2023/06/12(月)20:55 ID:WCNckC2q(3/3) AAS
>>544-545
スレ主です
おサルさん 2chｽﾚ:math
また、ウソ書いてないかな？
>プログラムのバグ探しは無矛盾性証明と同じ
>バグを必ず見つける方法は存在し得ない
・無矛盾性証明-バグ探し （これは可です（下記「ウェア・ツールのありかた」参照））
・プログラム停止判定-不完全性定理と同じ（これは不可（下記「停止性問題」wikipedia参照））
この二つを混同しているよねｗ
(参考)
省13
547: 2023/06/13(火)00:08 ID:PdPS2uC7(1/2) AAS
>>546 補足
これ参考になる
外部ﾘﾝｸ:noopable.はてなdiary.org/entry/20090528/1243503981
noopな日々
2009-05-28
「バグのないプログラム」と「バグのないプログラムは作れない」と停止性問題について
停止性問題やライスの定理を持ち出して、「バグのないプログラムは存在しない」もしくは「バグのないプログラムを作ることができない」という主張が、数学や論理に長けた人の間でも交わされることがあります。
いやいやそんなことはないよ、という話をするんですが、そうすると決まって、「君は停止性問題を知らないのか？」という初歩的なツッコミが入る確率95％・・・
停止性問題について
簡単に書くと、停止性判定問題とは任意のプログラム*1が無限ループするかどうかを別のプログラムによって判定可能かどうかという問題。ちなみに、これは判定不能であることが証明されています。*2
省5
548(1): 2023/06/13(火)06:09 ID:QCbVeGHD(1/2) AAS
>>546
> スレ主です
またおヌシか
> おサルさん また、ウソ書いてないかな？
ここでウソ書いてるのはもっぱらおヌシだが、自覚ないのか？
> ・無矛盾性証明-バグ探し （これは可です）
> ・プログラム停止判定-不完全性定理と同じ（これは不可）
> この二つを混同しているよねｗ
否
まず、「バグの発見」は「停止判定」のことではない
省25
549(2): 2023/06/13(火)06:20 ID:QCbVeGHD(2/2) AAS
そのスジで有名な問題といえば
NP完全問題か決定不能問題と
相場が決まっている
例えば
・命題論理式の集合の充足性判定はNP完全
・述語論理式の集合の充足性判定は決定不能
決定不能問題
外部ﾘﾝｸ:en.wikipedia.org
決定不能問題のリスト
外部ﾘﾝｸ:en.wikipedia.org
省11
550: 2023/06/13(火)08:17 ID:PdPS2uC7(2/2) AAS
>>548-549
必死の論点ずらし
笑えるｗｗｗ
551(1): 2023/06/13(火)10:09 ID:HFKr0nab(1) AAS
「極めて強力なAI、2030年までに実現」アルトマン氏が描く未来
外部ﾘﾝｸ[html]:www.asahi.com
>生成AIは、文章の要約やメールの作成などすでに幅広い用途で使われている。
>「プログラマーたちは以前より2、3倍作業が効率化したと言っている。
> これほどの生産性の向上はめったに起きない」と話した。
552: 2023/06/13(火)12:05 ID:0ZjyHyJP(1/3) AAS
>>551
スレ主です
ありがとうございます。
553(2): 2023/06/13(火)12:19 ID:0ZjyHyJP(2/3) AAS
>>549
>そのスジで有名な問題といえば
>NP完全問題
この人のいうこと
信用できないな
外部ﾘﾝｸ:ja.wikipedia.org
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予想」という。
省1
554(1): 2023/06/13(火)12:53 ID:0ZjyHyJP(3/3) AAS
>>553
>この人のいうこと
>信用できないな
私？
当然、私のいうことも信用しないようにｗ
但し、私はできるだけ発言に典拠をつけるようにしています
主に、そちらを見てもらえればと思います
555(1): 2023/06/15(木)18:56 ID:aL9tFEcI(1) AAS
>>554
１、自分が信用できず発狂死
556(6): 2023/06/16(金)11:23 ID:Snj4ZGeN(1) AAS
>>555
スレ主です
"γνῶθι σεαυτόν">>506>>495 だな
人はしばしば誤りを含む
どんなえらい数学者だとしてもね
だから、数学では、鵜呑みはだめってことだ
数学の教科書も、しばしば後に正誤表が公表されるのが常
それ大前提
さて
”この人のいうこと
省21
557: 2023/06/16(金)16:10 ID:N+EFosFh(1/5) AAS
>>556
またおヌシか
> "γνωθι σεαυτον"（汝自身を知れ）だな
それは身の程知らずのおヌシにこそ最もふさわしい
> 人はしばしば誤りを含む
人でなしのおヌシは誤りしかない
> どんなえらい数学者だとしてもね
> だから、数学では、鵜呑みはだめってことだ
間違ってる、と判断した理由が
おサルのおヌシの直感のみ、なら
省27
558: 2023/06/16(金)16:17 ID:N+EFosFh(2/5) AAS
>>556
> ところで、ある二人が縁台将棋をしていた
> （縁台将棋は、夕涼みがてらに縁台で指す将棋のこと。転じて、下手同士が指す将棋のことをさす）
> そこに、一人の男が通りかかって曰く
> 「お前には将棋は無理！」
> 突然の話に、縁台将棋の人が
> 「どうした？ ”お前には将棋は無理”って？？」
> と
> 聞くと、・・・
「おまえ、玉とられてんじゃん！
省15
559: 2023/06/16(金)16:37 ID:N+EFosFh(3/5) AAS
>>556
> 線形代数の零因子行列が分かっていなかった（零因子行列⊂正則行列と勘違いしていた）
そもそもその勘違いはおサルのおヌシがしたことだろうｗｗｗ
１．正則行列とは零因子行列でない正方行列と同値である
ネットにそう書いてあったから何も考えずにコピペしたんだろ？おヌシ
１は正しい しかし本当に分かってる人はそんな安直な回答はしない
おヌシは何が零因子行列か判定できるか？できないだろｗ
ワンアウト！
ま、おヌシは煽るとすぐ頭に血がのぼるから
またネットで検索して、つぎはこれをコピペするだろｗ
省27
560(1): 2023/06/16(金)16:46 ID:N+EFosFh(4/5) AAS
>>556
>不完全性定理が人に適用できると勘違いしていた
>（そもそも、”人は不完全性定理の仮定節を満たさない”よねｗ）
不完全性定理の仮定節なんて、おヌシは理解できないだろう
人の知恵は、「帰納的公理化可能な理論」ではない、とほざく奴は少なくない
ロジャー・ペンローズ（以下、ロジャペン）もそうわめいていたようだ
ロジャペンは自惚れ屋だから、自分が完全でない、と認めたくなかったんだろう
そのせいで、量子脳理論なんていうトンデモ理論にハマってしまった 哀れなもんだ
人の知恵が「帰納的公理化可能な理論」ではない、というならその証明が必要だ
しかしながら誰もそんなことは証明できていない
省2
561: 2023/06/16(金)16:48 ID:N+EFosFh(5/5) AAS
>>556
おヌシは
時枝「箱入り無数目」の「成立」が理解できない
こんなんじゃ、大学数学は無理
当たり前田のクラッカー
562(2): 2023/06/16(金)21:50 ID:yAXsgoMd(1) AAS
医師になるのは、めちゃくちゃ簡単だよ。
どんな馬鹿医大でも国家試験の合格率7割以上はあるし、自治医大以上ならほぼ100％。
弁護士の場合は難関ロースクールを卒業しても、国家試験を通るのは10%程度。
医師になるには金と時間がかかるが、試験自体は簡単。
うちは従兄弟三人医師になったが、英検二級すら落ちるレベルの頭だからね。
医師国家試験の合格率ランキング見てみ。
一番低い杏林大学ですら、79.4%。
奈良県立大以上の偏差値の25校は95.0％超え。
省10
563(1): 2023/06/17(土)07:50 ID:5UKQ3shq(1/5) AAS
>>562
試験が難しいことは、
試験で問われる知識が世の中の役に立つことを
証明するものではない
数学でも同じことがいえる
証明が難しいからといって
より学問的に興味深い
というわけではない
564(2): 2023/06/17(土)09:31 ID:RkueqThP(1/16) AAS
>>563
ありがとうございます
スレ主です
これは、プロフェッサーかな？
（まだ発言が少ないので単なる推測ですが）
数学の難問の証明は、それ自身より証明に使われた手法が重要だとよく言われる（だれが言い出したか不明だが、20世紀のころから聞く）
例外は、有限単純群の分類定理くらいか（数学手法も重要なもの多数らしいけど、とにかく結果は常識としてしっておくべき）
有名どころでは、フェルマーの最終定理が、谷山志村予想と結びつけられて、解かれたこと
リーマン予想に挑戦する人もいます
はたして、どういう手法で解かれるのか？
省14
565: 2023/06/17(土)09:32 ID:RkueqThP(2/16) AAS
>>564
つづき
クンマーの理想数
コーシーとラメが争っていたのと同じ頃、エルンスト・クンマーが自ら打ち立てた理想数の理論（後にリヒャルト・デーデキントがイデアルの理論として発展させる）を導入する[16]。これにより、多くの素数において一意的な因数分解が可能となり、n が正則素数である（もしくは正則素数で割り切れる）全ての場合については証明がなされた[17]。
近代的アプローチへ
モジュラー形式
詳細は「モジュラー形式」を参照
アンリ・ポアンカレは上半平面上の関数についての研究から、モジュラー形式を案出する。
谷山?志村予想
詳細は「谷山?志村予想」を参照
省11
566: 2023/06/17(土)09:46 ID:RkueqThP(3/16) AAS
>>562
ありがとうございます
スレ主です
で、問題はプロ数学者になるためには？
ですね
・一つの例は、早熟の天才でしょう
・他の例は運でしょうか？ 数学の場合運を掴むにも実力はいる（数学に限らないが）
今回京都賞 リーブさん（下記）
私はこの方のことを殆どしらないのですが
Awards
省11
567(1): 2023/06/17(土)10:14 ID:RkueqThP(4/16) AAS
>>560
> 不完全性定理の仮定節なんて、おヌシは理解できないだろう
> 人の知恵は、「帰納的公理化可能な理論」ではない、とほざく奴は少なくない
例えば、いまや国民的シンガーソングライターのあいみょん さん（下記 youtube ）
・ハルノヒ：これが、多分「春の日」と思う人多数（AIはどうかな？）
・これ日本語(文法)を絶妙に壊している；
思い出話と思い出ふかし：タバコの例え？
僕らは何も見えない未来を誓い合った：僕らは男女でしょ！ ”何も見えない”？ ”誓い合った”？
寒さにこらえた木々と猫：木が寒い？ なんで猫がいる？
蕾を咲かせようと実を揺らしている：生物学的にありえない！ 花が咲いて受粉して実がなるのに！
省24
568(2): 2023/06/17(土)10:18 ID:E0BKNkWv(1) AAS
引用してる文章がメチャクチャやん
よくこんな文章引っ張ってくるな
文章の意味まるでわかってないやろ定期
569: 2023/06/17(土)10:18 ID:RkueqThP(5/16) AAS
>>567 タイポ訂正
通常の文章に以上の訴求力を持つんだよね
↓
通常の文章以上の訴求力を持つんだよね
あいみょん さん
数学できるとは思えないがｗ
別に、それで良いんじゃね？
ある種の天才ですね
数学とは別の
570(1): 2023/06/17(土)10:20 ID:RkueqThP(6/16) AAS
>>568
ありがとう
スレ主です
歌詞は著作権で保護されているので
部分引用とした（全文引用はまずい）
リンクはつけているよ
571(1): 2023/06/17(土)10:22 ID:RkueqThP(7/16) AAS
>>568
＞文章の意味まるでわかってないやろ定期
ああ、意味ね
歌詞の逐語解説やったら、膨大になるだろうね
そんな趣味ないけどねｗ
572: 2023/06/17(土)10:27 ID:RkueqThP(8/16) AAS
>>570
余談ですが
こういう歌詞のページは
コピー規制があって
印刷不可になっている
著作権保護のため
今回の投稿も
そこを配慮して
遠慮がちに投稿した
573(1): 2023/06/17(土)11:28 ID:5UKQ3shq(2/5) AAS
>>564
> これは、プロフェッサーかな？
うむ
574(1): 2023/06/17(土)13:12 ID:RkueqThP(9/16) AAS
>>571 追加
動画ﾘﾝｸ[YouTube]
あいみょん ? ハルノヒ【OFFICIAL MUSIC VIDEO】
2019/04/03
@tomokiokawa4962
1 か月前
あいみょんはシンプルな曲調で人々の心に響く名曲へと大成させるのが凄いと思う
外部ﾘﾝｸ:ja.wikipedia.org
「ハルノヒ」は、あいみょんの楽曲。ワーナーミュージック・ジャパン内のレーベル「unBORDE」から2019年4月17日にメジャー7枚目のシングルとして発売された。
解説
省4
575(1): 2023/06/17(土)13:13 ID:RkueqThP(10/16) AAS
>>573
スレ主です
ありがとうございます
576: 2023/06/17(土)13:40 ID:RkueqThP(11/16) AAS
>>476
外部ﾘﾝｸ[html]:www.iwanami.co.jp
岩波科学ライブラリー
抽象数学の手ざわり
ピタゴラスの定理から圏論まで
高校までの数学を題材に、現代数学のキーワード「集合と構造」「圏」「関手」「線形代数」などを解説。
抽象数学の手ざわり
著者 斎藤 毅 著
2021/07/16
外部ﾘﾝｸ[pdf]:www.iwanami.co.jp
省4
577(1): 2023/06/17(土)14:56 ID:5UKQ3shq(3/5) AAS
>>575
うむ
いつもわたしを支持してくれてどうもありがとう
M.S
578(3): 2023/06/17(土)15:27 ID:RkueqThP(12/16) AAS
>>577
どうも
スレ主です
いつものプロフェッサーらしくないね
（もう少しカキコが溜まらないと判別不能、というかカキコが少ないから別人の可能性も・・）
だが、それはどうでも良い
ここは、私のスレで、私はスレ主ですからね
また～りしていって、ください
579(1): 2023/06/17(土)15:41 ID:RkueqThP(13/16) AAS
>>574 追加
解説を書いた人がいる
解説は、百人百様だろうが下記ご参照
//music-is-the-best.com/?p=14468
Music is the Best！
あいみょん『ハルノヒ』歌詞の意味は？【水色に挨拶とは誰のこと？】
2021年6月22日
動画ﾘﾝｸ[YouTube]
PV/映画『クレヨンしんちゃん新婚旅行ハリケーン～失われたひろし』は、激安新婚旅行ツアーでオーストラリアを訪れることになった野原家を描いた物語。
しんちゃんの両親である野原ひろしとみさえの「いまさらの新婚旅行」で、いろんなアクシデントに巻き込まれます。
省17
580: 2023/06/17(土)16:07 ID:RkueqThP(14/16) AAS
>>579
私見ですが、歌詞を絶妙に（万人に当てはまるよう）抽象化している
（論理は破綻させても）
だから、ヒット曲になるのだろう
ある種の天才ですよね
（これはゲーデルには、絶対に無理）
外部ﾘﾝｸ:ja.wikipedia.org
「ハルノヒ」は、あいみょんの楽曲。ワーナーミュージック・ジャパン内のレーベル「unBORDE」から2019年4月17日にメジャー7枚目のシングルとして発売された。
チャート成績
2019年4月3日付のオリコンデジタルシングルデイリーランキングでは1位にランクインし、5日連続で首位をキープした。4月15日付のオリコン週間デジタルシングルランキングでは、2.6万ダウンロードで2位にランクイン。その後もロングヒットを続け、発売3週目の4月29日付で2.5万ダウンロードで1位を獲得。あいみょんにとっては初のオリコン週間1位獲得となった[2]。
省5
581(1): 2023/06/17(土)17:54 ID:5UKQ3shq(4/5) AAS
>>578
> いつものプロフェッサーらしくないね
そんな日もある
そもそも、いつもプロフェッサーと呼んでいるのが別人
外部ﾘﾝｸ:plaza.rakuten.co.jp
582(2): 2023/06/17(土)18:03 ID:5UKQ3shq(5/5) AAS
>>578
> ここは、私のスレで、私はスレ主ですからね
スレ主、そして、スレ所有者を主張する根拠は
1、すなわち、スレ設置者であることと考えられるが
なぜ1としてスレを設置すると、そのスレを所有する
といえるのか、まったく明確に証明されていない
誤った慣例は正すべきである
私の主張を否定する外国人も
自らの誤りを正すべきである
M.S
583: 2023/06/17(土)18:30 ID:RkueqThP(15/16) AAS
>>581
>そもそも、いつもプロフェッサーと呼んでいるのが別人
>外部ﾘﾝｸ:plaza.rakuten.co.jp
ありがとう
面白い人がきたね
”モチヅキ シンイチ”ならぬ、”モギ シンイチ”さんかい？
本物の”モチヅキ”さんなら、望月IUT応援スレにかきそうなものだが・・ 2chｽﾚ:math
まあ、”モチヅキ”さんとは別人かな
584(3): 2023/06/17(土)18:41 ID:RkueqThP(16/16) AAS
>>582
>スレ主、そして、スレ所有者を主張する根拠は
> 1、すなわち、スレ設置者であることと考えられるが
所有-所有権を理解していますか？（下記）
分かってないんでしょ？
外部ﾘﾝｸ:ja.wikipedia.org
所有権とは、物の全面的支配すなわち自由に使用・収益・処分する権利[1]。
18世紀ないし19世紀の近代的所有権は、自由主義や個人主義思想のもとで絶対的な所有権として成立し、原則的に無制限であると考えられていたが、20世紀に入ると私権の公共性が強調され始め、現代では所有権の横暴を抑制し公共の福祉を図るために社会的・経済的必要から所有権を原則的に制限可能なものであり、むしろ法律が許容する範囲内でのみその存在が可能なものと考えるようになった[2]。
日本の民法においては206条以下に規定がある。
省21
585: 2023/06/18(日)07:25 ID:TzeHJbXy(1/6) AAS
>>584
追加参考
//zeirishi-law.com/minpou/buken-category1
弁護士法人ピクト法律事務所
2017.3.14
物権（所有権・用益物権）の種類①
【目次】
１ 物権の種類と分類
1.1 本権と占有権
1.2 所有権とそれ以外、および用益物権と担保物権
省15
586(2): 2023/06/18(日)08:10 ID:Ju2LrcBl(1/7) AAS
>>584
>所有-所有権を理解していますか？
>分かってないんでしょ？
1はすぐキレるね カルシウム不足？
>>578
>ここは、私のスレで、私はスレ主
なんて書くからつっこまれる
私のスレが私の所有するスレではないなら
私の何するスレなんだ？
P.S.
省1
587(1): 2023/06/18(日)08:14 ID:Ju2LrcBl(2/7) AAS
5chでスレを立てたからといって
スレ設置者は立てたステに対して
他の人にない独自の権利など
何一つもっていない
これ知らん奴は日本人じゃない
北鮮人かニホンザルかは知らないが
588: 2023/06/18(日)10:51 ID:TzeHJbXy(2/6) AAS
>>586-587
あんたは
自称と他称の区別がついていないｗ
下記
ブッダ：天上天下唯我独尊
ムハンマド：神の預言者であり、神の使者である
繰り返す
私は、スレ主です
これを認めるかどうかは
それぞれにお任せするｗ
省6
589(1): 2023/06/18(日)11:10 ID:TzeHJbXy(3/6) AAS
>>586
＞法律を語る奴に賢い奴は皆無
東大法学部
これを考えれば
話は逆とわかる
おサルさんｗ 2chｽﾚ:math
あなたの負けですｗ
590(2): 2023/06/18(日)12:16 ID:F2MeABtH(1) AAS
コピペした wiki だけで法律を正しく適用出来る訳がない
591(2): 2023/06/18(日)15:21 ID:Q/fFODCL(1/2) AAS
日本語文化圏の法学部学卒が自然法則を「制定」したならばさぞかし笑えるクソゲーになることだろう。
592(2): 2023/06/18(日)15:21 ID:TzeHJbXy(4/6) AAS
>>590
ありがとね
>コピペした wiki だけで法律を正しく適用出来る訳がない
それはそうだが、>>582の所有-所有権の理解は、そのレベルでさえない
「スレ主、そして、スレ所有者を主張する根拠」>>582って
>>584と対比してみな
”所有権とは、物の全面的支配すなわち自由に使用・収益・処分する権利”>>584
とあるよ
「スレ主」という自称は、”スレの全面的支配すなわち自由に使用・収益・処分”を意味しない
あたりまえ
省1
593(2): 2023/06/18(日)15:32 ID:TzeHJbXy(5/6) AAS
>>591
>日本語文化圏の法学部学卒が自然法則を「制定」したならばさぞかし笑えるクソゲーになることだろう。
でも
現実に、多くの分野の日本の法律が
東大法学部（勿論、東大教授を委員や委員長とした会議もあるだろうが）
の人たちの手で制定され、国会で審議され制定されていることは事実
もちろん
東大の理系も入っているだろうけど
はやりのAI関連の法律もそうなるでしょ
外部ﾘﾝｸ[pdf]:www.meti.go.jp
省9
594(1): 2023/06/18(日)15:33 ID:TzeHJbXy(6/6) AAS
>>593
>文部科学省科学技術政策研究所科学技術動向研究センター報告書「忘れられた科学－数学」（2006年5月）
これ面白い
”>日本語文化圏の法学部学卒が自然法則を「制定」したならばさぞかし笑えるクソゲー”>>591
の典型例かもね
みんなで笑いましょう！ｗｗｗ
595: 2023/06/18(日)15:44 ID:Ju2LrcBl(3/7) AAS
>>592
>>592
>「スレ主」という自称は、”スレの全面的支配すなわち自由に使用・収益・処分する権利”を意味しない
”スレの全面的支配すなわち自由に使用・収益・処分する権利”を有しないなら「スレ主」を名乗ってはいけない
これがほんとのあたりまえ
言葉の意味を知らずにスレ主を僭称したのが１ってこと
596: 2023/06/18(日)15:46 ID:Ju2LrcBl(4/7) AAS
>>589
東大法学部に賢い奴はまずいない
賢い奴は法学部のような●ンコ学部にはいかない
１、おヌシの負けだ
ここから去れ！
597: 2023/06/18(日)16:10 ID:Ju2LrcBl(5/7) AAS
>>593
> 現実に、多くの分野の日本の法律が
> 東大法学部の人たちの手で制定され、
> 国会で審議され制定されていることは事実
だから日本は「滅んだ」わけだが
そもそも法学は学問ではない
学問について何一つ知らない素人が
ただ高卒レベルの知識を問う「クイズ」で
高得点をとったとかいう無意味な経歴だけで
まるで賢者のごとく振る舞い
省2
598(1): 2023/06/18(日)16:15 ID:Ju2LrcBl(6/7) AAS
>>594
御択を並べる前に
「ある正方行列Aが正則行列か否かを判定する
実効的アルゴリズムがいかなるものか」
ここで説明できるようになってもらいたいものだ
大学１年の線形代数を「正しく」習得すればできる筈
やってごらん
注）ライプニッツの明示公式による行列式の計算は
実効的アルゴリズムではない
なぜなら行列のサイズｎに対して
省2
599: 2023/06/18(日)16:18 ID:Q/fFODCL(2/2) AAS
各省庁の省益で管轄ギョーカイを縦割り分割統治して利権化するのに邁進してるだけで
垣根を自動的にぶち壊し続ける技術革新の進行をなるだけ阻害するために立ち動く邪魔以外の何物でもない。
600(1): 2023/06/18(日)16:45 ID:2YNCZlG/(1) AAS
>>598
そういうのを本当の御託というのではないか？
601(1): 2023/06/18(日)19:32 ID:Ju2LrcBl(7/7) AAS
>>600
なんだ、線形代数理解できないウマシカがもう一匹現れたか
602: 2023/06/18(日)20:36 ID:lmuvFAWD(1) AAS
>>601
御託の意味も理解できない🏇🦌
上下前次1-新書関写板覧索設栞歴
あと 400 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s