ゲーデルの不完全性定理を論破する方法

1 ：１３２人目の素数さん：2019/09/22(日) 23:34:48.60 ID:eQruPmJi.net

ゲーデル文とかいう数学で使わない命題を考えてるのがよくない
そういうのは数学の命題じゃないから証明できてもできなくてもどうでもいい

「数学で使う命題」という範囲を適切に設定すれば数学の無矛盾性が証明できる
やり方は教えたからあとはガンバ

2 ：１３２人目の素数さん：2019/09/22(日) 23:40:23.93 ID:rSOigfZp.net

それ結局タルスキーの階層理論と同じじゃない？

3 ：１３２人目の素数さん：2019/09/22(日) 23:54:26.92 ID:eQruPmJi.net

>>2
そのワードでググってもほとんど情報が出てこなかった
文献情報が欲しい

まあ発想は素朴だから同じこと考えたやつはいるだろう
最期まで厳密にやり切ったやつがいるかどうかは知らないが

4 ：１３２人目の素数さん：2019/09/23(月) 00:17:37.42 ID:VWfXQ97t.net

やるならやるで、スレで設定を明示しなかったらわからないよ
記号をどうするか、式をどうするか、証明をどうするか

5 ：１３２人目の素数さん：2019/09/23(月) 01:31:48.09 ID:DGKpq2Cs.net

x^2=-1を満たす実数xは？
x=x+1を満たすZ2の元は？
ってきかれたら解無しで話が終わるのに
「この文は偽である」という文は真か偽か？→パラドックスや！
ってなるのは何故？

6 ：１３２人目の素数さん：2019/09/23(月) 08:04:12.48 ID:tiYAxzQr.net

>>4
俺は証明しなくても数学が無矛盾だって分かるからヒントだけ与える
お前らガンバレ

>>5
爆発律が原因
矛盾許容論理が当たり前の世界では「矛盾が生じた？ふーん、で？」ってなる

7 ：１３２人目の素数さん：2019/09/23(月) 08:49:15.06 ID:ccyX/W6n.net

自然数が悪い

8 ：１３２人目の素数さん：2019/09/23(月) 09:58:25.86 ID:VWfXQ97t.net

爆発率とか論理学とか知らないんだけどさ、
>>5の問題って、真偽を付ける上層と真偽を付けられる下層があるとして
上層の文が下層の文として扱われるからおかしいんじゃね？

9 ：１３２人目の素数さん：2019/09/23(月) 14:07:09.79 ID:tiYAxzQr.net

もう1個ヒント

矛盾しちゃいけないとかは数学の命題に対して成り立つことであって、
数学の命題じゃないやつはいくら矛盾してもいい

そもそも「全ての命題PについてPと¬Pが同時に成り立つことはない」が公理になってるのがおかしい
ちゃんと全ての命題を見たのか？やってないだろ？
だからこの公理は捨てる

しかしいくつかの原始的な数学の命題については無矛盾性を仮定できる
「自然数nに対してn=1とn≠1が同時に成り立つことはない」とか
こういう原始的な数学的命題をスタート地点として「AとBが数学的命題ならば『AまたはB』や『AかつB』も数学的命題」というように
帰納的に数学的命題のクラスを確定していく

そうやって定まる数学的命題のクラスでは矛盾が許されないが
パラドックスに出てくるような命題はパラドックスを発生させるためだけに天から降ってきたようなものであって
数学的命題には含まれないからいくら矛盾してもいい

10 ：１３２人目の素数さん：2019/09/23(月) 14:12:20.29 ID:tiYAxzQr.net

技術的には過去の論理学者が「全ての命題は〜」と一律に扱っていたのを
型理論を使って命題をいくつかの型に分類した上で型ごとに別の推論規則に従うようにするってこと

11 ：１３２人目の素数さん：2019/09/23(月) 14:27:55.85 ID:tiYAxzQr.net

ちなみに「命題に型をつけて型ごとに推論規則を分ける」というアイデアによって
数学の論理から日常言語の論理まであらゆる論理体系を一つの体系に共存させることができる

12 ：１３２人目の素数さん：2019/09/23(月) 16:16:55.46 ID:FvfDHyxn.net

別に型理論や階層理論の話するだけなら、もう知ってるよ、としか言えない
結局それらが答えってことでそれ以上の研究は今はもうされていないのかが気になってる

13 ：１３２人目の素数さん：2019/09/23(月) 19:40:21.34 ID:tiYAxzQr.net

>>12
いや、この理論はまだ作ったやつがいないはず
すでにあると主張するなら該当する文献を一つ挙げるだけで存在証明ができるんだけど誰もできない
「やったやつがいる」っていうのは都市伝説みたいなもの

14 ：１３２人目の素数さん：2019/09/23(月) 19:55:19.84 ID:tiYAxzQr.net

もう1個ヒントやる

ゲーデルの不完全性定理って「自分で自分の無矛盾性を証明できない」って感じのものだけど
そもそも数学が自分の無矛盾性を証明する必要はない

数学の責任範囲は数学的命題を証明することであって、メタな命題とかを証明できなくても不完全と言われる筋合いは全くない

数学の無矛盾性を証明するにはそれ用の理論を作る

15 ：１３２人目の素数さん：2019/09/23(月) 20:01:18.30 ID:VWfXQ97t.net

本家の不完全性定理を教えてくんね
それかどの本で勉強したとか

16 ：１３２人目の素数さん：2019/09/23(月) 20:41:32.40 ID:xrE7eXYo.net

体系自身による無矛盾性なら、証明可能性述語の定義次第で実現可能
これ1960年代に論理学者のクライゼルがコメントしてることで
林晋の「パラドックス」（日本評論社）の
”形式化と無矛盾性のパラドックス”でも出てくるよ
1は一度読んだほうがいいんじゃね？

17 ：１３２人目の素数さん：2019/09/23(月) 20:47:50.76 ID:xrE7eXYo.net

>>4
＞俺は…数学が無矛盾だって分かる

「神が見える」とかいうタイプの人が良く言う発言ですね
ちなみに私は悪魔が好きだったりしますｗ
https://www.youtube.com/watch?v=kpmN01jjutQ

18 ：１３２人目の素数さん：2019/09/23(月) 20:58:26.81 ID:VWfXQ97t.net

>>16
ありがとう
>>17
俺に言われても...

19 ：１３２人目の素数さん：2019/09/23(月) 22:13:54.96 ID:xrE7eXYo.net

>>18
アンカーつけ間違えました
正しくは>>6

20 ：１３２人目の素数さん：2019/09/23(月) 22:42:41.11 ID:NmWDja06.net

既に出されてる解決案の理論とは違う何かができることを提示できないなら、さして意味がないと思う

21 ：１３２人目の素数さん：2019/09/24(火) 03:05:08.29 ID:b/hBr0oA.net

ちょっと前に無理数の非存在を主張してた人がいたけど、あれと変わるところはないね
見たくないものは目をつむっていれば良いんだから

22 ：１３２人目の素数さん：2019/09/24(火) 08:34:03.66 ID:JdYC8h6S.net

>>15
Wikipediaで勉強した

>>16
>>14でコメントしたけど一般に体系が自分で自分の無矛盾性を証明する責任はないと思う
とはいえそれができると主張されてるなら読んでみるわ

>>17
数学的発見って「証明してから真理を発見する」んじゃなくて「真理を発見してから証明を書き始める」んだよな
真理を掴めるようになるのは証明を書いた後なんだけど、それ以前に"視えて"はいるわけよ

>>20
その「if P then Q」という論法は正しいけどPが成り立ってないんだよな
"既に出されてる解決案の理論"が存在しない

>>21
×俺が見たくない
〇俺は見たいと思ってるのにお前らが提示できない

23 ：１３２人目の素数さん：2019/09/24(火) 13:34:02.09 ID:FvyhqFkt.net

>>22
ありがとう

24 ：１３２人目の素数さん：2019/09/24(火) 23:27:50.60 ID:zmNTO68p.net

おめでたい奴だ。教えてやる義理もないからせいぜい恥かいてくれ

25 ：１３２人目の素数さん：2019/09/25(水) 05:07:50.12 ID:BwBNycuP.net

>>24
はい論破完了（>>22）

5chの鮫島事件のノリを知ってるやつは>>24みたいなやつが何をしてるか見抜けると思う
無いものをあるって言って釣ってるわけだ
その本質は"ソースを出せるかどうか"、この一点で全てを正しく判断できる

26 ：１３２人目の素数さん：2019/09/25(水) 05:16:52.43 ID:BwBNycuP.net

上の方で全ての論理体系を一つの体系に統一することができると書いたが、
その際、各モジュールは矛盾許容的に張りあわされているから爆発律は局所に制限される

つまり、従来の論理体系では体系に一つ矛盾が生じたら全体が自明化するから
古典力学の矛盾が相対性理論を自明化したりして、理論の統一には向いてない

でも、俺のヒント通りに構築すれば古典力学の矛盾はせいぜい古典力学内部で爆発を起こすだけで
外の理論には影響を及ばさない

だから多数の理論を一つの体系に安全に共存させることができる

哲学的に無関係な理論AとBがあったときにAの矛盾がBを自明化するのっておかしいだろ？
日常言語の論理学は実際に矛盾を含むわけだし
だから矛盾許容的に貼り合わせるやるわけよ

27 ：１３２人目の素数さん：2019/09/25(水) 05:23:39.86 ID:BwBNycuP.net

知識をモジュール化してつなぎ合わせるというのは、人間の実際の思考方法と同じもので、汎用人工知能にもつながる
例えば、物理学が分かるAIと数学が分かるAIを合成して物理学と数学の両方が分かるAIを作れる

28 ：１３２人目の素数さん：2019/09/25(水) 05:29:30.95 ID:BwBNycuP.net

このプログラムを実行できれば、数学基礎論というヒルベルトやゲーデルの時代以降本質的な前進がなく
現在ただの税金泥棒になっている分野に終止符を打つことができる

「数学の無矛盾性の証明」と「全論理体系の統一」

若いやつは挑戦してみてくれ

俺には時間がない

29 ：１３２人目の素数さん：2019/09/25(水) 05:33:20.58 ID:EeFvG8oM.net

>>26-28
矛盾許容論理を使う時点で、無矛盾である必要がなくなると思うが

30 ：１３２人目の素数さん：2019/09/25(水) 06:08:41.15 ID:iOwhWM8j.net

何でWikipedia斜め読みしただけで偉大な数学者になった気になれるんだろうか

31 ：１３２人目の素数さん：2019/09/25(水) 07:18:20.87 ID:t3Fy8dFU.net

arxivの論文すらもまともに読まず前進がないとか言ってるんだろうなｗ
自分の人生をまず前進させてこい

32 ：１３２人目の素数さん：2019/09/25(水) 09:37:29.46 ID:45VxX+wI.net

×数学は無矛盾
○「ぼくのかんがえたすうがく」は無矛盾

うん。それなら正しいよw

33 ：１３２人目の素数さん：2019/09/25(水) 12:27:09.31 ID:BwBNycuP.net

IDをコロコロ変えて内容のない発言を連発してるやつ
バレないと思ってるのか？一人だけ発言の質が低いんだよ

全部>>25で論破

34 ：１３２人目の素数さん：2019/09/25(水) 12:33:03.34 ID:BwBNycuP.net

見分け方を教えてやる

"何も知らなくてもできるコメント"
"議論に参加せず外野から野次を飛ばしてるだけ"

こういうのを野次馬という

35 ：野次馬：2019/09/25(水) 15:49:16.68 ID:YXNtoHXg.net

このスレ主を論破するのは無意味だからね
誰も真剣に相手にしないだけでしょ

36 ：１３２人目の素数さん：2019/09/25(水) 18:39:52.20 ID:BwBNycuP.net

定義の後に具体例を示すのはGoodだね

37 ：１３２人目の素数さん：2019/09/25(水) 18:45:30.96 ID:t3Fy8dFU.net

専門外で詳しい事はわからないが、
主の真理が証明に先立つ云々ってのは既存の定理から公理を探る逆数学の分野でとっくにやっていて、
それによればWKL0というかなり弱い体系ですら第二不完全性定理を満たす

何も知らない、外野から野次を飛ばしているのは主の方ではないか？

38 ：１３２人目の素数さん：2019/09/25(水) 19:44:51.84 ID:BwBNycuP.net

>>37
それは俺の>>22の書き込みのことだと思うけど、その話は>>17へのコメントであって本筋とは関係ない雑談みたいなもの

39 ：１３２人目の素数さん：2019/09/25(水) 20:38:27.78 ID:LU6urjCH.net

排中律を否定するところしか見てないけど直観主義とは違うの？
不完全性定理とは関係なくない？

40 ：１３２人目の素数さん：2019/09/25(水) 21:23:27.98 ID:+2X+84nH.net

本筋が「不完全性定理を論破する方法」であれば「証明されているのでない」としか言いようがない
「数学で使う命題という範囲を適切に定める」ことであれば逆数学がやっていてその上で不完全性定理が証明される

終わり！おつかれさん！

41 ：１３２人目の素数さん：2019/09/25(水) 23:34:05.16 ID:iOwhWM8j.net

何でタルスキーの理論すらまともにググれないのにいい気になってんだろ。笑える
とりあえず「タルスキー 真理論」とかでググって出てきた文書読んでもわからないなら、君、俺より向いてないと思うよ

42 ：１３２人目の素数さん：2019/09/25(水) 23:36:13.13 ID:BwBNycuP.net

>>39
思想としての直観主義はかなり真実に迫ったもので、この理論の背後にも直観主義の思想がある
ただし、それをハイティングが哲学的な部分をそぎ落として「古典論理から排中律を除いたもの」と
極度に単純化した「直観主義論理」は、この理論とはあまり関係がない

>>40
【ソースなし】、はい論破（>>25ですでに論破されている）
あと「逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。」（Wikipedia）
だから数学の範囲を定めてるわけじゃないよ

43 ：１３２人目の素数さん：2019/09/25(水) 23:38:12.01 ID:BwBNycuP.net

>>41
お前も>>25で論破な

本当に存在するなら単にURLをコピペすれば存在証明できるんだよ
そんなこともできないのは「存在しないです」って主張してるようなもの

44 ：野次馬：2019/09/25(水) 23:46:16.69 ID:YtG7tpha.net

こういう奴は、ちゃんとしたソースを出しても見ないふりするんだろうな

45 ：１３２人目の素数さん：2019/09/26(木) 00:03:00.61 ID:tL0vl+Co.net

>>43
もしかして本当の馬鹿なのか？何かまともに相手して損した
http://www2.kobe-u.ac.jp/~mkikuchi/ss2015kurokawa1.pdf

46 ：１３２人目の素数さん：2019/09/26(木) 00:10:00.56 ID:SZM3XuEv.net

タルスキーの真理論？についてはこんな資料が
http://www2.kobe-u.ac.jp/~mkikuchi/ss2015kurokawa1.pdf

47 ：１３２人目の素数さん：2019/09/26(木) 00:55:55.29 ID:JApipgE1.net

>>45
この資料によるとタルスキの理論は荒く言えば
対象言語Lの文xに対して「xは真である」を意味する文T(x)を考え
LをTで拡張した言語L_Tを作るというもので、この構成を反復的に行って
対象言語L_0、メタ言語L_1、メタメタ言語L_2、...を作っていくことから
「階層」とか「型付き真理論」とか言われるけど

それに対して俺が言ってる理論は言語Lを数学の言語Mとそれ以外Nに分類して
L=M∪Nと書くこと。Nにはメタな言語が含まれるけど（なぜならばメタ数学は数学じゃないから）
やってることは「対象レベルでの分類」であって「対象とメタに分ける」のではない

あと型の使い方も違う
俺のは数学の言語L1、力学の言語L2、電磁気学の言語L3、...
などを合成してL=L1+L2+L3+...という統一言語を作るために
L1の文を表す型T1、L2の文を表す型T2...と水平に型を作る
メタにメタにという方向に進むのではない

48 ：１３２人目の素数さん：2019/09/26(木) 01:08:21.09 ID:tL0vl+Co.net

>>47
で？お前の理論がタルスキーの理論と比べてどこが良いわけ？
より良くなったわけでもないのに同じことを目的とした理論なんて今さら要らないと思うけど？

49 ：１３２人目の素数さん：2019/09/26(木) 01:32:24.30 ID:JApipgE1.net

>>48
目的が同じだという部分は誤解

>>47に書いたことの反復みたいな回答になるけど、
タルスキのやつは「全ての命題からなる集合」（対象言語の文）のうち
「数学の命題からなる部分集合」がどの範囲かを確定しない

あと異なる理論の合成も扱われていない
タルスキのやつは「初めに言語Lがあります。メタ言語L_Tを作ります」だけど、
俺のやつはそのLをそもそもどうやって構成するのかという話

50 ：１３２人目の素数さん：2019/09/26(木) 02:15:24.86 ID:xewp352Q.net

>>49
目的は不完全性定理で出てくるパラドックスへの対処だから、同じだろ？
そんでだから、「数学の命題からなる部分集合」の範囲を確定できることがどうして良いことなわけ？
お前が恣意的に限定した言語Lをどうやって構成するかわかることが、どうして良いことなわけ？

というかお前の理論って「論理の命題からなる部分集合」や「自然言語の命題からなる部分集合」では相変わらずパラドックス起こすんじゃねぇの？

51 ：１３２人目の素数さん：2019/09/26(木) 04:29:49.06 ID:utyDWwIu.net

やっぱ内容があるロジシャンは計算機に実装して意味があることしてる印象だわ

52 ：１３２人目の素数さん：2019/09/26(木) 05:15:42.39 ID:Gq6TQgjN.net

ところで不完全性定理を論破するっていうのはおかしいよな
「不完全性定理により数学の無矛盾性は証明できない」というなら、「数学の無矛盾性の証明」が厳密に定義されてないから攻めどころはあるけど
でも体系の外からなら無矛盾性を証明できて当たり前じゃない？
問題はその外側の体系の無矛盾性を証明することだが、それは数学じゃないから証明する必要はないってこと？

53 ：１３２人目の素数さん：2019/09/26(木) 05:50:54.30 ID:Gq6TQgjN.net

>>9
> こういう原始的な数学的命題をスタート地点として「AとBが数学的命題ならば『AまたはB』や『AかつB』も数学的命題」というように
> 帰納的に数学的命題のクラスを確定していく

ここに誤解があるんじゃない？
普通の数学を展開できる原始的な命題の集合が例えばペアノ算術だけど、もうそれで不完全性定理に引っかかるから無矛盾とは言い切れない
つまり原始的な命題の集合が矛盾を含んでいないことを証明しなければならない
その証明に別の体系を使うなら、その別の体系の無矛盾性も証明しなければならない

54 ：１３２人目の素数さん：2019/09/26(木) 06:48:09.61 ID:8SLr+Kit.net

>>47
＞メタ数学は数学じゃない

メタ数学は数学

55 ：１３２人目の素数さん：2019/09/26(木) 07:45:14.76 ID:/8Z+4cJI.net

>>42
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0818-03.pdf

WKL 不完全性定理とかでググったら即出たが……
数学で使う定理から公理を定めるっていうのはまさしくお前の言う「数学で使う範囲を適切に定める」だし、これを異なると言うならブルバキの構造主義自体が誤ってることになる
構造主義自体ひっくり返せるなら、それはその人が超天才なのであって主の「やり方」とやらは全く寄与してないと思っていい

56 ：１３２人目の素数さん：2019/09/26(木) 18:16:28.04 ID:JApipgE1.net

>>50
お前が提示した資料に明記されてないから聞くんだけど、タルスキは
「不完全性定理で出てくるパラドックスへの対処」を目的として真理論を
構築したの？「真理とは何か？」とかに取り組んでたんじゃないの？

>「数学の命題からなる部分集合」の範囲を確定できることがどうして良いことなわけ？
「数学とは何か？」という問いに答えを出せる
この問いに価値を見出せないならお前はこの理論に関わらなくていい
技術的な利点としては「数学の命題からなる集合」を確定すれば、それは命題全体の中の
ある小さな部分集合になるから無矛盾性の証明が比較的容易になるということがある
分かると思うけど命題の集合AとBがあってA⊂Bの時、Bの無矛盾性よりAの無矛盾性の方が証明しやすい

>というか...（中略）...パラドックス起こすんじゃねぇの？
この理論がまだ完全な形で世界に誕生してないから予言として答えるしかないけど、
基礎の部分を自然に作っていけばパラドキシカルなことは起こらないようになってる

57 ：１３２人目の素数さん：2019/09/26(木) 19:25:20.44 ID:QfLXjwDI.net

>>56
何でも「予言」って言えば話が済むなら、俺だってお前のこの理論は素人の妄想でしかなくて結局パラドックスを引き起こすって予言するわ

お前結局自分で>>25で言ってる釣りしてるだけなのわかんない？
完成させてもない理論の正しさを語るなんて時間の無駄でしかないから、まだレスつける気でいるならちゃんと完成させてからにしてくれよな
俺だって勉強に時間あてたいからさ

58 ：１３２人目の素数さん：2019/09/26(木) 19:28:37.26 ID:JApipgE1.net

>>52 >>53
"外側の体系の無矛盾性"については微妙な問題がある
一般に「間違いなく真だと信じられる公理と推論規則から作った理論
が矛盾を含むなら、それは『真なる矛盾』として受け入れるべき」だと思う
ではなぜ無矛盾性が問題になるかというと爆発律が存在するから
そこで理論を作る時は「１、爆発律を仮定した上で無矛盾性を示す」もしくは
「２、爆発律が成り立たないように作り無矛盾性を問題にしない」の二つの
方向が考えられる。
では"外側の体系"についてはどうなるかというと、１と２両方の方針があり得るが
2の方針をとる場合は対象理論Xに対して「Xは無矛盾かつ無矛盾でない」という種類の
矛盾は含まれないようにしないといけない（それ以外の矛盾は含んでもいい）

59 ：１３２人目の素数さん：2019/09/26(木) 21:31:12.09 ID:Gq6TQgjN.net

>>58
すごく平たくいうなら、通常論理＋ZFC公理系＋ペアノ公理系の無矛盾性を矛盾許容論理＋何らかの公理系で証明できるってことかな？
矛盾許容論理は通常論理より推論能力が弱いから、通常論理の推論をシミュレートする過程で、結局個々の命題の排中律のようなものを公理系に追加していくことにならないだろうか
そうすると結局すべての命題で矛盾が許されないことになって、不完全性定理に引っかかってしまう
どういう方法でそれを回避できるのだろう？

60 ：１３２人目の素数さん：2019/09/26(木) 22:13:57.80 ID:JApipgE1.net

>>55
公理を定めるというのは「全ての命題からなる集合」を所与としてその中で
「何が真で何が偽か」を定めることだから「何が数学で何が数学以外か」とは別の問題

>>57
その感覚は正しい
このスレが無価値だと思ったら去ってもらって構わない
書きたいことは大体書いたから俺も今続いてるやり取りが終わったら去る

61 ：１３２人目の素数さん：2019/09/26(木) 22:33:40.01 ID:JApipgE1.net

>>59
無矛盾性を証明する対象論理は「通常論理＋ZFC公理系＋ペアノ公理系」の
全体ではなくてその部分論理になる。小さな部分についてだけ無矛盾性を証明
すればいいから証明力が弱くてもできる。

右記は単なるたとえ話だけど、「人間の言語が生成する文には膨大な可能性があるが
人間が実際に使う文の中には複雑度がNを超える物は存在しない。だから複雑度が
N以下の命題のみを対象として無矛盾性を証明できれば実用上は十分」という話と
ある意味近い。

つまり「通常論理＋ZFC公理系＋ペアノ公理系」が生成する文には膨大な可能性があるけど
数学で実際に使う文はその中の一部分だけであり、その部分の無矛盾性だけ示せばいい
という発想

62 ：１３２人目の素数さん：2019/09/28(土) 07:52:05.84 ID:ccu5D6lw.net

証明にカットが含まれない、とするなら、体系内での無矛盾性も証明できる
カットのある証明から、カットを取り除く手続きが実行できる、という点が
体系外になる

ゲーデルの不完全性定理は、体系の矛盾を証明するものではない

63 ：１３２人目の素数さん：2019/09/28(土) 07:54:33.48 ID:eq8OZaeK.net

んだ、数学の不完全性を主張するものだ

64 ：１３２人目の素数さん：2019/09/28(土) 08:00:39.73 ID:ccu5D6lw.net

1は無矛盾性と完全性を混同してる気がする

無矛盾性　¬（□A∧□¬A)
完全性　　□A∨□¬A

□Aは「Aが証明できる」という意味

65 ：１３２人目の素数さん：2019/09/29(日) 18:02:28.87 ID:m0h7myyH.net

ネタなのかマジなのか分からない
反論の内容が「そんなの無理」じゃなくて「すでやられてる」ってことは少なくとも数学的に筋は通ってるってことか

66 ：１３２人目の素数さん：2019/09/29(日) 20:53:01.31 ID:rVYV+GdK.net

5300
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
https://twitter.com/dy_dt_dt_dx
(deleted an unsolicited ad)

67 ：１３２人目の素数さん：2019/09/29(日) 22:24:13.33 ID:+Fw4yfvP.net

>>65
そんな風に読めるならもう少し数学を勉強した方がいい

68 ：１３２人目の素数さん：2019/11/01(金) 17:43:15.74 ID:Ceaoafi6.net

https://i.imgur.com/4kPSQXR.jpg

69 ：１３２人目の素数さん：2019/11/01(金) 19:21:26.77 ID:Kxr3wynK.net

アルバイト大変だね

70 ：１３２人目の素数さん：2019/11/04(月) 01:08:05.84 ID:Yfh/b0Sx.net

俺馬鹿だからわかんないけど
「普通は数学では矛盾が出ないような公理立てて積んでいくけど
矛盾できてもオッケーなスラム街みたいな数学作ってもいいんじゃん？」
的な話でしょ
ゲーテルは一般的な数学の話をしていて
イッチの数学は話の話題にすら出てないんじゃね？

71 ：１３２人目の素数さん：2020/01/18(土) 14:58:01 ID:PXyx+OwH.net

論破ルーム
http://www.youtube.com/watch?v=O9rebYkDtP8

きれいな話題だ････

72 ：１３２人目の素数さん：2020/01/19(日) 00:18:48.06 ID:K/so592d.net

(大意)
リハーサルでは「金熊」だったのに、本番で「キンタマ」と書いたカンペが回って北野で、
そのままN国に入ろうとしたが止められたので闇営業に行った。
なお、「論破ルーム」(日テレ系の子供向け番組) が始まった 1963/10 には。
北野氏 (1947/01/18〜) はすでに16歳半になっており、未だに関係不明････

73 ：１３２人目の素数さん：2020/03/10(火) 07:43:45.72 ID:OuEK/91S.net

決定不能自体は決定しているんだが

74 ：１３２人目の素数さん：2020/03/10(火) 07:58:48 ID:OuEK/91S.net

哲学というか、認識論の理解から

スピノザは規定は否定と語る
わたしという物理存在は運動変化している、赤ん坊から現在に至るまでそうなのに、同じわたし
光一定の原理で絶対座標実在しないから静止は否定される
この今も運動しているが同一、わたしとする
非同一→同一

75 ：１３２人目の素数さん：2020/03/10(火) 08:03:48 ID:OuEK/91S.net

ウィルスは生物、非生物と分類しがたいが、物理としては差違と言うだけで同一

同一を非同一、否定で理解する

76 ：１３２人目の素数さん：2020/03/10(火) 08:14:55.05 ID:OuEK/91S.net

地動説は地球が諸天体の一部、つまり否定関係ではないということ
進化論は人間が諸生物の一部ということ
光速度一定の原理は静止は実在しない、つまり自然は運動し、特別な存在はない、つまり無矛盾ということ

物理という学問は一貫して認識する立場は認識対象の一部で実在しないってことを示す
つまり自己言及であり、認識する立場を設定するが、実在はしない

77 ：１３２人目の素数さん：2020/03/10(火) 08:24:04.71 ID:OuEK/91S.net

飛ぶ矢は空中の一点にかならず存在する
静止は一点に存在することだから飛ぶ矢は静止している
この逆説は運動を静止で理解、つまり否定で理解することを示す

座標原点は静止であるが自然は運動する
運動という有を無、つまり静止で理解するから、０に限りなく近いが０ではないとという論理になる

78 ：１３２人目の素数さん：2020/03/10(火) 08:28:10.52 ID:OuEK/91S.net

クレタ人の逆説は対象をその否定で規定することから生じる

ヘーゲルは、運動は存在すると同時に存在しないことと定義する
つまり運動を存在という静止、否定で規定するから決定不能になる

79 ：１３２人目の素数さん：2020/03/10(火) 08:30:09.53 ID:OuEK/91S.net

不完全性定理もまた有限を無限、つまり否定で、ということだから決定不能になる

80 ：１３２人目の素数さん：2020/03/10(火) 08:37:58.50 ID:OuEK/91S.net

光速度一定の原理は座標原点、つまり対象を理解する立場の否定で自然が無矛盾であることを示す

規定は否定だから、かならず決定不能になる

物理学の場合、否定である規定が実在を否定されることで無矛盾であることが証明される

81 ：１３２人目の素数さん：2020/03/10(火) 08:40:20.27 ID:OuEK/91S.net

わたし、という表現もまた自己言及だが、これも決定不能でもあり面白いが、やめておく

82 ：１３２人目の素数さん：2020/03/10(火) 08:46:17.67 ID:OuEK/91S.net

というのがわたしの認識論からの不完全性定理の理解

83 ：１３２人目の素数さん：2020/03/10(火) 09:55:19.48 ID:tHZNICl1.net

不完全性定理の不完全な理解

84 ：１３２人目の素数さん：2020/03/10(火) 09:57:35.41 ID:OuEK/91S.net

数には大きさがない
自然は運動する
運動という有を無、つまり数で理解する

座標原点は実在しない
光速度一定の原理！

規定は否定

85 ：１３２人目の素数さん：2020/03/10(火) 10:00:39.11 ID:OuEK/91S.net

>>83
不完全な理解ということを断定するだけで不完全に否定、述べるわけですね。わかります

86 ：１３２人目の素数さん：2020/03/10(火) 10:09:41.75 ID:OuEK/91S.net

わたしの理解の骨子
決定不能の決定→だからこその「定理」

規定は否定

科学は規定の否定、つまり否定の否定で対象が無矛盾であることを示す

87 ：１３２人目の素数さん：2020/03/10(火) 10:14:02.46 ID:OuEK/91S.net

まあ、この理解が否定されたら引っ込みますが

88 ：１３２人目の素数さん：2020/03/10(火) 10:18:09.77 ID:OuEK/91S.net

数学科の方が不完全性定理で何もかもわからなくなったって書いていたから、いや、それ自身はわかったから定理だろうって内心思ったんで

89 ：１３２人目の素数さん：2020/03/10(火) 10:46:47.70 ID:OuEK/91S.net

認識論からの理解だから、この意味では確かに完全じゃないな

だから認識論で突っ込んでくれ

90 ：１３２人目の素数さん：2020/03/11(水) 02:55:06 ID:p9sWTFM2.net

排中律
物理としては、であって、ではない
つまり決定不能
それを、であるで理解する
わたしという規定は運動変化する物理の否定
つまり非同一を同一で理解する

非同一を同一で、規定は否定
排中律は規定
排中律は否定
AはA→否定

91 ：１３２人目の素数さん：2020/03/11(水) 03:08:08 ID:p9sWTFM2.net

物理対象は運動変化する
それを否定で規定する
つまり決定不能　　

静止は存在しない、つまり自然は無矛盾、理解可能
理解可能だが規定は否定だから決定不能

うーん、詰めがまだかな

92 ：１３２人目の素数さん：2020/03/14(土) 07:07:37.67 ID:yZtXqoPL.net

＞ゲーデルの不完全性定理を論破

具体的に不完全性定理の何をどう論破したいんだ？

決定不能命題は存在しない！といいたいのか？
無矛盾性は体系内で証明できる！といいたいのか？

93 ：１３２人目の素数さん：2020/03/14(土) 07:09:02.68 ID:yZtXqoPL.net

>>5
＞「この文は偽である」

それ、ゲーデルの不完全性定理じゃないぞ

94 ：１３２人目の素数さん：2020/03/14(土) 07:15:47.00 ID:yZtXqoPL.net

>>73
＞決定不能自体は決定
頭オカシイのか？

真か偽か判断できない命題が決定不能命題

覚えとけ

95 ：１３２人目の素数さん：2020/03/14(土) 07:24:34 ID:yZtXqoPL.net

実はゲーデル命題は（自然な定式化で）無矛盾性命題と同値

つまりゲーデル命題の否定を公理として追加すると
「矛盾の証明が存在する」という命題が証明できるが
実際には矛盾の証明が構成できない、という
ω矛盾体系になる

96 ：１３２人目の素数さん：2020/03/14(土) 07:26:26 ID:yZtXqoPL.net

＞「数学で使う命題」という範囲を適切に設定すれば

不完全性定理と全く無関係

97 ：１３２人目の素数さん：2020/03/14(土) 07:29:09 ID:yZtXqoPL.net

＞数学科の方が不完全性定理で何もかもわからなくなったって書いていた

なにがどうわからないんだ？

書いた奴は数学科出身を詐称する詐欺師だろ

98 ：１３２人目の素数さん：2020/03/14(土) 08:18:03 ID:vMbdjOnH.net

>>97
早稲田大学院卒だったな
ある掲示板で暴れていた
聞く耳もたないし、ほっといた
因みに数字で神様の存在が証明されたと言ってたなw
茂木健一郎さんのところでも顰蹙買ってたみたい

99 ：１３２人目の素数さん：2020/03/14(土) 08:19:47 ID:vMbdjOnH.net

吉永さんの本の冒頭に、批判的に紹介されていた理解でした。

100 ：１３２人目の素数さん：2020/03/14(土) 08:23:15 ID:vMbdjOnH.net

>>94

> 真か偽か判断できない命題が決定不能命題

？
だから、決定不能自体は決定じゃないですか？
判断できないと判断している

101 ：１３２人目の素数さん：2020/03/14(土) 08:34:03.21 ID:yZtXqoPL.net

>>98
奇遇だな　俺もＷ大学卒だ

数字で神様の存在が証明された？

何を云ったかしらんが、それが本当なら
そいつは完全に頭オカシイな

102 ：１３２人目の素数さん：2020/03/14(土) 08:35:28.61 ID:yZtXqoPL.net

>>99
＞吉永さんの本の冒頭に、批判的に紹介されていた理解

吉永の本は読んでない

ここで具体的に書いてくれ

103 ：１３２人目の素数さん：2020/03/14(土) 08:36:58.78 ID:vMbdjOnH.net

>>101
なんか某が証明したと興奮して書いていた
真偽はしらないが親父は東大数学科教授とか

104 ：１３２人目の素数さん：2020/03/14(土) 08:37:32.80 ID:yZtXqoPL.net

>>100
＞だから、決定不能自体は決定じゃないですか？
＞判断できないと判断している

？
決定不能とは
「全ての命題の真偽が判断できない」という意味ではない
「真偽が判断できない命題が存在する」という意味だぞ

105 ：１３２人目の素数さん：2020/03/14(土) 08:39:04.42 ID:yZtXqoPL.net

>>103
それじゃ全然分からん

まず某が誰か書け
そして何を証明したか書け

この2点がない限り、何も言ったことにならんぞ

106 ：１３２人目の素数さん：2020/03/14(土) 08:40:22.35 ID:vMbdjOnH.net

>>102
いや、たんに全てがわからなくなったっていう理解があるということの紹介でした
ブルーバックスで図書館においてあるし、冒頭ですから、すぐ見つかるでしょう

107 ：１３２人目の素数さん：2020/03/14(土) 08:43:29.40 ID:yZtXqoPL.net

>>106
わざわざ読むのが面倒だからここに書いてくれ
どうせ数行だろう

要するに「何もかもわからなくなった」と書いた
数学科の方は吉永ということか？
吉永はたしか京大卒だろう

108 ：１３２人目の素数さん：2020/03/14(土) 08:46:25.32 ID:vMbdjOnH.net

>>105
一時期話題になったんですが
冷笑気味でしたが
神の存在証明を数字で、なんて話でした

松本とかいうのが興奮していて面白いと誘導されて、しばらく滞在していました

109 ：１３２人目の素数さん：2020/03/14(土) 08:47:58.46 ID:vMbdjOnH.net

>>107
吉永さんが、こんな理解があると批判的に紹介していました

110 ：１３２人目の素数さん：2020/03/14(土) 08:48:55.68 ID:yZtXqoPL.net

>>108
なんだか全然わからん
神の存在証明はともかく、「数字」がわからん
「数学」の間違いじゃないのか？

111 ：１３２人目の素数さん：2020/03/14(土) 08:49:50.68 ID:yZtXqoPL.net

>>109
「こんな」じゃわからん、具体的に書け
どこをどう批判したんだ　「的」でごまかすな

112 ：１３２人目の素数さん：2020/03/14(土) 08:50:13.31 ID:vMbdjOnH.net

>>110
間違いです
失礼さしました

113 ：１３２人目の素数さん：2020/03/14(土) 08:50:38.17 ID:yZtXqoPL.net

>>108
あと、個人情報は要らん
おまえ警察につかまるぞ

114 ：１３２人目の素数さん：2020/03/14(土) 08:53:43.08 ID:vMbdjOnH.net

図書館が閉鎖中で・・・
借りることはできるので予約し確認します

115 ：１３２人目の素数さん：2020/03/14(土) 08:54:54.08 ID:yZtXqoPL.net

>>114
いや、持ってないならいい
覚えてないならどうでもいいことだろう

理解したなら記憶できる筈
記憶できない時点で理解できてないということだ

116 ：１３２人目の素数さん：2020/03/14(土) 08:55:02.34 ID:vMbdjOnH.net

>>113
本人が、開示していましたが

117 ：１３２人目の素数さん：2020/03/14(土) 08:56:19.27 ID:yZtXqoPL.net

>>116
馬鹿だな
当人でない奴が書くのはダメなんだ
覚えとけ
警察につかまっても言い訳できないぞ

118 ：１３２人目の素数さん：2020/03/14(土) 08:56:37.55 ID:vMbdjOnH.net

>>115
いや某と同じように、何もかもわからないっていう理解です

119 ：１３２人目の素数さん：2020/03/14(土) 08:58:21.22 ID:yZtXqoPL.net

>>118
「何もかもわからない」のは君じゃないのか？

120 ：１３２人目の素数さん：2020/03/14(土) 09:00:15.93 ID:vMbdjOnH.net

>>117
確認してみますが、某スレでは紹介し放題ですw

121 ：１３２人目の素数さん：2020/03/14(土) 09:03:32.34 ID:yZtXqoPL.net

>>120
そんなことはどうでもいい
とにかく「何もかもわからない」で終わりなら話にならない

君、数学分かってるのか？

122 ：１３２人目の素数さん：2020/03/14(土) 09:07:14.09 ID:vMbdjOnH.net

わたし自身は可知であるがゆえに不可知だと「理解」していますがw

で、まさかと思いますが松本さんご本人ですか？
投稿が途絶えたので、間違いに気付いたからかな、なんてある人が書いていました。

じゃ、出掛けます

123 ：１３２人目の素数さん：2020/03/14(土) 09:10:43.31 ID:yZtXqoPL.net

>>122
＞わたし自身は可知であるがゆえに不可知だと「理解」していますが

わけがわからん

何度も云うが「不可知」とは「全てが不可知」の意味ではない

匿名掲示板で個人情報を出す馬鹿はいない
自分が出さないなら、他人の情報も扱わない
それが大人ってもんだ

君は子供か

＞じゃ、出掛けます

行き先は警察か？刑務所か？

帰ってこなくていいぞ

124 ：１３２人目の素数さん：2020/03/14(土) 09:12:29.16 ID:yZtXqoPL.net

５ｃｈでは専門家の発言を嘲笑する素人が
もっと馬鹿なことを真顔で言ってるので困るな

125 ：１３２人目の素数さん：2020/03/14(土) 09:19:19.02 ID:yZtXqoPL.net

だいたい

126 ：１３２人目の素数さん：2020/03/14(土) 09:19:41 ID:yZtXqoPL.net

ゲーデルの不完全性定理を

127 ：１３２人目の素数さん：2020/03/14(土) 09:19:55 ID:yZtXqoPL.net

論破するとか

128 ：１３２人目の素数さん：2020/03/14(土) 09:20:10 ID:yZtXqoPL.net

云ってる奴は

129 ：１３２人目の素数さん：2020/03/14(土) 09:20:57 ID:yZtXqoPL.net

頭がオカシイ

130 ：１３２人目の素数さん：2020/03/14(土) 09:30:34 ID:yZtXqoPL.net

己の愚かさを自覚できない者は

131 ：１３２人目の素数さん：2020/03/14(土) 09:30:55 ID:yZtXqoPL.net

己の発言が恥ずかしいとも感じない

132 ：１３２人目の素数さん：2020/03/14(土) 09:31:56.81 ID:yZtXqoPL.net

困ったもんだ

133 ：１３２人目の素数さん：2020/03/14(土) 11:35:55 ID:vMbdjOnH.net

マジレスすると

現代の学問の基本は信じていない
かなり前からその疑問は科学者が述べていて
数年前に研究者が混乱中って書いてた
個人的には理系の学問でさえ基本は中世に毛が生えた程度だと認識している

数学もまた

134 ：１３２人目の素数さん：2020/03/14(土) 15:32:45 ID:jNlaXkTi.net

そんなふわふわしたことしか言えねえのか

135 ：１３２人目の素数さん：2020/03/14(土) 20:52:27.14 ID:yZtXqoPL.net

>>133
そもそも現代の学問を理解してないでしょ

その疑問がどんな疑問か結局語れないし
そもそも自分が混乱してるんでしょ

原始人だな

136 ：１３２人目の素数さん：2020/03/15(日) 18:40:27 ID:FdzSM7yU.net

俺は現在の数学者、科学者が自身の学問を理解しているとは思えない
不完全性定理にしても、ある意味理解しているし、またいないとしか思えない

いずれにしても発展途上で基礎はまだまだとしか言えない

137 ：１３２人目の素数さん：2020/03/18(水) 11:22:27 ID:QZVr0YKl.net

今月中に原始人の不完全性定理理解アップするかな

138 ：１３２人目の素数さん：2020/03/19(木) 09:04:09 ID:vFkNF5Zn.net

個人的には学問は、自然、論理、社会、人間を理解したいから学ぶだけで、それ以外ではない
無論、それは個人的価値基準に過ぎない
だからある意味表層だけで良い場合もある
というかそれだけとか

認識論からは不完全性定理理解は自然、論理理解という前提が必要だと考えている

そこふから出発したい

139 ：１３２人目の素数さん：2020/03/19(木) 09:24:57 ID:vFkNF5Zn.net

自然理解は科学、とりわけ光速度一定の原理を取り上げる

この原理は絶対座標の実在否定、つまり静止は自然の実在は否定する
地動説は座標原点は仮ということを示すが、光速度一定の原理はそれが普遍で、運動は自然の存在形態だということ

座標原点は理解には必要だが実在しないということ

この原理は運動する自然を静止で理解することを示す

140 ：１３２人目の素数さん：2020/03/19(木) 09:29:52 ID:ja1MnPll.net

速度は　距離➗時間　だが、では時間とはなにか？

141 ：１３２人目の素数さん：2020/03/19(木) 09:38:45 ID:vFkNF5Zn.net

>>104

> 決定不能とは
> 「全ての命題の真偽が判断できない」という意味ではない
> 「真偽が判断できない命題が存在する」という意味だぞ

外部からは違うけどな

142 ：１３２人目の素数さん：2020/03/19(木) 09:42:33 ID:vFkNF5Zn.net

>>140
次元一般は光速度一定の原理が否定している
運動は静止で理解する

143 ：１３２人目の素数さん：2020/03/19(木) 09:43:40 ID:vFkNF5Zn.net

>>142
訂正

> >>140
> 次元一般の実在は光速度一定の原理が否定している
>

144 ：１３２人目の素数さん：2020/03/19(木) 09:52:44 ID:vFkNF5Zn.net

そもそも座標原点が実在しない

静止で運動を理解するから量にしなければならない

145 ：１３２人目の素数さん：2020/03/19(木) 09:55:00 ID:vFkNF5Zn.net

朝永振一郎は物理学の自然はたわめられた自然だと語る
たわめているのは次元

146 ：１３２人目の素数さん：2020/03/19(木) 09:59:58 ID:vFkNF5Zn.net

理論=自然ってわけじゃない
物理として生死は実在しない
私たちもまた他の物理存在同様何かから生成され。また違う何かに生成していく過程として存在する
何も生まれない、無くならない

147 ：１３２人目の素数さん：2020/03/19(木) 10:03:19 ID:vFkNF5Zn.net

ウイルスは分類するからヌエ的になる
物理なら差異でしかない

つまり差異ではあるが同一

148 ：１３２人目の素数さん：2020/03/19(木) 10:14:27 ID:vFkNF5Zn.net

自然は運動するエネルギーの濃淡
差異を否定で理解する

光速度一定の原理は直ちにこの自然観を導く

149 ：１３２人目の素数さん：2020/03/19(木) 10:31:14 ID:vFkNF5Zn.net

対象をその否定で理解するから決定不能に

つまり点は決定不能なんだ

150 ：脱糞老女・清水婆婆の告発（葛飾区青戸６−２３−１９）：2021/03/09(火) 09:20:18.22 ID:5gIZP/7W.net

高添沼田（葛飾区青戸６−２６−６）
●高添沼田「井口千明の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・井口千明の息子（葛飾区青戸６−２３−１６）の挑発
●井口千明の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!!　糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

●高添沼田「盗聴盗撮犯罪者の井口千明の息子の逮捕を要請します」
高添沼田の住所＝東京都葛飾区青戸6−26−6
●盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で母親の下着で自慰行為をしている井口千明の息子
井口千明の息子の住所＝東京都葛飾区青戸6−23−16
【通報先】亀有警察署＝東京都葛飾区新宿4ー22ー19　�рO３ー３６０７ー０１１０

盗聴盗撮つきまとい嫌がらせ犯罪者／アナル挿入食糞愛好家で母親の下着で自慰行為をしている井口千明の息子の盗聴盗撮つきまとい嫌がらせ犯罪者／愛人変態メス豚家畜清水婆婆（青戸6−23−19）の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg