TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
フィールズ賞 欲しい人スレ
数学の本 第85巻
高校数学の質問スレPart404
背理法不要論ってどうなん？
【ベクトル数Cへ】高校新学習指導要領【線形代数軽視】
フェルマーの最終定理の反例が見つかる
「何の役に立つんですか？」をタブー視する老害wwww
背理法不要論ってどうなん？
文理融合のための数学教育
惑星ニビルの衝突
ゲーデルの不完全性定理を論破する方法
- 1 ：2019/09/22 〜 最終レス ：2020/03/19
- ゲーデル文とかいう数学で使わない命題を考えてるのがよくない
そういうのは数学の命題じゃないから証明できてもできなくてもどうでもいい
「数学で使う命題」という範囲を適切に設定すれば数学の無矛盾性が証明できる
やり方は教えたからあとはガンバ
- 2 ：
- それ結局タルスキーの階層理論と同じじゃない？
- 3 ：
- >>2
そのワードでググってもほとんど情報が出てこなかった
文献情報が欲しい
まあ発想は素朴だから同じこと考えたやつはいるだろう
最期まで厳密にやり切ったやつがいるかどうかは知らないが
- 4 ：
- やるならやるで、スレで設定を明示しなかったらわからないよ
記号をどうするか、式をどうするか、証明をどうするか
- 5 ：
- x^2=-1を満たす実数xは？
x=x+1を満たすZ2の元は？
ってきかれたら解無しで話が終わるのに
「この文は偽である」という文は真か偽か？→パラドックスや！
ってなるのは何故？
- 6 ：
- >>4
俺は証明しなくても数学が無矛盾だって分かるからヒントだけ与える
お前らガンバレ
>>5
爆発律が原因
矛盾許容論理が当たり前の世界では「矛盾が生じた？ふーん、で？」ってなる
- 7 ：
- 自然数が悪い
- 8 ：
- 爆発率とか論理学とか知らないんだけどさ、
>>5の問題って、真偽を付ける上層と真偽を付けられる下層があるとして
上層の文が下層の文として扱われるからおかしいんじゃね？
- 9 ：
- もう1個ヒント
矛盾しちゃいけないとかは数学の命題に対して成り立つことであって、
数学の命題じゃないやつはいくら矛盾してもいい
そもそも「全ての命題PについてPと¬Pが同時に成り立つことはない」が公理になってるのがおかしい
ちゃんと全ての命題を見たのか？やってないだろ？
だからこの公理は捨てる
しかしいくつかの原始的な数学の命題については無矛盾性を仮定できる
「自然数nに対してn=1とn≠1が同時に成り立つことはない」とか
こういう原始的な数学的命題をスタート地点として「AとBが数学的命題ならば『AまたはB』や『AかつB』も数学的命題」というように
帰納的に数学的命題のクラスを確定していく
そうやって定まる数学的命題のクラスでは矛盾が許されないが
パラドックスに出てくるような命題はパラドックスを発生させるためだけに天から降ってきたようなものであって
数学的命題には含まれないからいくら矛盾してもいい
- 10 ：
- 技術的には過去の論理学者が「全ての命題は〜」と一律に扱っていたのを
型理論を使って命題をいくつかの型に分類した上で型ごとに別の推論規則に従うようにするってこと
- 11 ：
- ちなみに「命題に型をつけて型ごとに推論規則を分ける」というアイデアによって
数学の論理から日常言語の論理まであらゆる論理体系を一つの体系に共存させることができる
- 12 ：
- 別に型理論や階層理論の話するだけなら、もう知ってるよ、としか言えない
結局それらが答えってことでそれ以上の研究は今はもうされていないのかが気になってる
- 13 ：
- >>12
いや、この理論はまだ作ったやつがいないはず
すでにあると主張するなら該当する文献を一つ挙げるだけで存在証明ができるんだけど誰もできない
「やったやつがいる」っていうのは都市伝説みたいなもの
- 14 ：
- もう1個ヒントやる
ゲーデルの不完全性定理って「自分で自分の無矛盾性を証明できない」って感じのものだけど
そもそも数学が自分の無矛盾性を証明する必要はない
数学の責任範囲は数学的命題を証明することであって、メタな命題とかを証明できなくても不完全と言われる筋合いは全くない
数学の無矛盾性を証明するにはそれ用の理論を作る
- 15 ：
- 本家の不完全性定理を教えてくんね
それかどの本で勉強したとか
- 16 ：
- 体系自身による無矛盾性なら、証明可能性述語の定義次第で実現可能
これ1960年代に論理学者のクライゼルがコメントしてることで
林晋の「パラドックス」（日本評論社）の
”形式化と無矛盾性のパラドックス”でも出てくるよ
1は一度読んだほうがいいんじゃね？
- 17 ：
- >>4
＞俺は…数学が無矛盾だって分かる
「神が見える」とかいうタイプの人が良く言う発言ですね
ちなみに私は悪魔が好きだったりしますｗ
https://www.youtube.com/watch?v=kpmN01jjutQ
- 18 ：
- >>16
ありがとう
>>17
俺に言われても...
- 19 ：
- >>18
アンカーつけ間違えました
正しくは>>6
- 20 ：
- 既に出されてる解決案の理論とは違う何かができることを提示できないなら、さして意味がないと思う
- 21 ：
- ちょっと前に無理数の非存在を主張してた人がいたけど、あれと変わるところはないね
見たくないものは目をつむっていれば良いんだから
- 22 ：
- >>15
Wikipediaで勉強した
>>16
>>14でコメントしたけど一般に体系が自分で自分の無矛盾性を証明する責任はないと思う
とはいえそれができると主張されてるなら読んでみるわ
>>17
数学的発見って「証明してから真理を発見する」んじゃなくて「真理を発見してから証明を書き始める」んだよな
真理を掴めるようになるのは証明を書いた後なんだけど、それ以前に"視えて"はいるわけよ
>>20
その「if P then Q」という論法は正しいけどPが成り立ってないんだよな
"既に出されてる解決案の理論"が存在しない
>>21
×俺が見たくない
〇俺は見たいと思ってるのにお前らが提示できない
- 23 ：
- >>22
ありがとう
- 24 ：
- おめでたい奴だ。教えてやる義理もないからせいぜい恥かいてくれ
- 25 ：
- >>24
はい論破完了（>>22）
2chの鮫島事件のノリを知ってるやつは>>24みたいなやつが何をしてるか見抜けると思う
無いものをあるって言って釣ってるわけだ
その本質は"ソースを出せるかどうか"、この一点で全てを正しく判断できる
- 26 ：
- 上の方で全ての論理体系を一つの体系に統一することができると書いたが、
その際、各モジュールは矛盾許容的に張りあわされているから爆発律は局所に制限される
つまり、従来の論理体系では体系に一つ矛盾が生じたら全体が自明化するから
古典力学の矛盾が相対性理論を自明化したりして、理論の統一には向いてない
でも、俺のヒント通りに構築すれば古典力学の矛盾はせいぜい古典力学内部で爆発を起こすだけで
外の理論には影響を及ばさない
だから多数の理論を一つの体系に安全に共存させることができる
哲学的に無関係な理論AとBがあったときにAの矛盾がBを自明化するのっておかしいだろ？
日常言語の論理学は実際に矛盾を含むわけだし
だから矛盾許容的に貼り合わせるやるわけよ
- 27 ：
- 知識をモジュール化してつなぎ合わせるというのは、人間の実際の思考方法と同じもので、汎用人工知能にもつながる
例えば、物理学が分かるAIと数学が分かるAIを合成して物理学と数学の両方が分かるAIを作れる
- 28 ：
- このプログラムを実行できれば、数学基礎論というヒルベルトやゲーデルの時代以降本質的な前進がなく
現在ただの税金泥棒になっている分野に終止符を打つことができる
「数学の無矛盾性の証明」と「全論理体系の統一」
若いやつは挑戦してみてくれ
俺には時間がない
- 29 ：
- >>26-28
矛盾許容論理を使う時点で、無矛盾である必要がなくなると思うが
- 30 ：
- 何でWikipedia斜め読みしただけで偉大な数学者になった気になれるんだろうか
- 31 ：
- arxivの論文すらもまともに読まず前進がないとか言ってるんだろうなｗ
自分の人生をまず前進させてこい
- 32 ：
- ×数学は無矛盾
○「ぼくのかんがえたすうがく」は無矛盾
うん。それなら正しいよw
- 33 ：
- IDをコロコロ変えて内容のない発言を連発してるやつ
バレないと思ってるのか？一人だけ発言の質が低いんだよ
全部>>25で論破
- 34 ：
- 見分け方を教えてやる
"何も知らなくてもできるコメント"
"議論に参加せず外野から野次を飛ばしてるだけ"
こういうのを野次馬という
- 35 ：
- このスレ主を論破するのは無意味だからね
誰も真剣に相手にしないだけでしょ
- 36 ：
- 定義の後に具体例を示すのはGoodだね
- 37 ：
- 専門外で詳しい事はわからないが、
主の真理が証明に先立つ云々ってのは既存の定理から公理を探る逆数学の分野でとっくにやっていて、
それによればWKL0というかなり弱い体系ですら第二不完全性定理を満たす
何も知らない、外野から野次を飛ばしているのは主の方ではないか？
- 38 ：
- >>37
それは俺の>>22の書き込みのことだと思うけど、その話は>>17へのコメントであって本筋とは関係ない雑談みたいなもの
- 39 ：
- 排中律を否定するところしか見てないけど直観主義とは違うの？
不完全性定理とは関係なくない？
- 40 ：
- 本筋が「不完全性定理を論破する方法」であれば「証明されているのでない」としか言いようがない
「数学で使う命題という範囲を適切に定める」ことであれば逆数学がやっていてその上で不完全性定理が証明される
終わり！おつかれさん！
- 41 ：
- 何でタルスキーの理論すらまともにググれないのにいい気になってんだろ。笑える
とりあえず「タルスキー 真理論」とかでググって出てきた文書読んでもわからないなら、君、俺より向いてないと思うよ
- 42 ：
- >>39
思想としての直観主義はかなり真実に迫ったもので、この理論の背後にも直観主義の思想がある
ただし、それをハイティングが哲学的な部分をそぎ落として「古典論理から排中律を除いたもの」と
極度に単純化した「直観主義論理」は、この理論とはあまり関係がない
>>40
【ソースなし】、はい論破（>>25ですでに論破されている）
あと「逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。」（Wikipedia）
だから数学の範囲を定めてるわけじゃないよ
- 43 ：
- >>41
お前も>>25で論破な
本当に存在するなら単にURLをコピペすれば存在証明できるんだよ
そんなこともできないのは「存在しないです」って主張してるようなもの
- 44 ：
- こういう奴は、ちゃんとしたソースを出しても見ないふりするんだろうな
- 45 ：
- >>43
もしかして本当の馬鹿なのか？何かまともに相手して損した
http://www2.kobe-u.ac.jp/~mkikuchi/ss2015kurokawa1.pdf
- 46 ：
- タルスキーの真理論？についてはこんな資料が
http://www2.kobe-u.ac.jp/~mkikuchi/ss2015kurokawa1.pdf
- 47 ：
- >>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 ：
- >>47
で？お前の理論がタルスキーの理論と比べてどこが良いわけ？
より良くなったわけでもないのに同じことを目的とした理論なんて今さら要らないと思うけど？
- 49 ：
- >>48
目的が同じだという部分は誤解
>>47に書いたことの反復みたいな回答になるけど、
タルスキのやつは「全ての命題からなる集合」（対象言語の文）のうち
「数学の命題からなる部分集合」がどの範囲かを確定しない
あと異なる理論の合成も扱われていない
タルスキのやつは「初めに言語Lがあります。メタ言語L_Tを作ります」だけど、
俺のやつはそのLをそもそもどうやって構成するのかという話
- 50 ：
- >>49
目的は不完全性定理で出てくるパラドックスへの対処だから、同じだろ？
そんでだから、「数学の命題からなる部分集合」の範囲を確定できることがどうして良いことなわけ？
お前が恣意的に限定した言語Lをどうやって構成するかわかることが、どうして良いことなわけ？
というかお前の理論って「論理の命題からなる部分集合」や「自然言語の命題からなる部分集合」では相変わらずパラドックス起こすんじゃねぇの？
- 51 ：
- やっぱ内容があるロジシャンは計算機に実装して意味があることしてる印象だわ
- 52 ：
- ところで不完全性定理を論破するっていうのはおかしいよな
「不完全性定理により数学の無矛盾性は証明できない」というなら、「数学の無矛盾性の証明」が厳密に定義されてないから攻めどころはあるけど
でも体系の外からなら無矛盾性を証明できて当たり前じゃない？
問題はその外側の体系の無矛盾性を証明することだが、それは数学じゃないから証明する必要はないってこと？
- 53 ：
- >>9
> こういう原始的な数学的命題をスタート地点として「AとBが数学的命題ならば『AまたはB』や『AかつB』も数学的命題」というように
> 帰納的に数学的命題のクラスを確定していく
ここに誤解があるんじゃない？
普通の数学を展開できる原始的な命題の集合が例えばペアノ算術だけど、もうそれで不完全性定理に引っかかるから無矛盾とは言い切れない
つまり原始的な命題の集合が矛盾を含んでいないことを証明しなければならない
その証明に別の体系を使うなら、その別の体系の無矛盾性も証明しなければならない
- 54 ：
- >>47
＞メタ数学は数学じゃない
メタ数学は数学
- 55 ：
- >>42
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0818-03.pdf
WKL 不完全性定理とかでググったら即出たが……
数学で使う定理から公理を定めるっていうのはまさしくお前の言う「数学で使う範囲を適切に定める」だし、これを異なると言うならブルバキの構造主義自体が誤ってることになる
構造主義自体ひっくり返せるなら、それはその人が超天才なのであって主の「やり方」とやらは全く寄与してないと思っていい
- 56 ：
- >>50
お前が提示した資料に明記されてないから聞くんだけど、タルスキは
「不完全性定理で出てくるパラドックスへの対処」を目的として真理論を
構築したの？「真理とは何か？」とかに取り組んでたんじゃないの？
>「数学の命題からなる部分集合」の範囲を確定できることがどうして良いことなわけ？
「数学とは何か？」という問いに答えを出せる
この問いに価値を見出せないならお前はこの理論に関わらなくていい
技術的な利点としては「数学の命題からなる集合」を確定すれば、それは命題全体の中の
ある小さな部分集合になるから無矛盾性の証明が比較的容易になるということがある
分かると思うけど命題の集合AとBがあってA⊂Bの時、Bの無矛盾性よりAの無矛盾性の方が証明しやすい
>というか...（中略）...パラドックス起こすんじゃねぇの？
この理論がまだ完全な形で世界に誕生してないから予言として答えるしかないけど、
基礎の部分を自然に作っていけばパラドキシカルなことは起こらないようになってる
- 57 ：
- >>56
何でも「予言」って言えば話が済むなら、俺だってお前のこの理論は素人の妄想でしかなくて結局パラドックスを引き起こすって予言するわ
お前結局自分で>>25で言ってる釣りしてるだけなのわかんない？
完成させてもない理論の正しさを語るなんて時間の無駄でしかないから、まだレスつける気でいるならちゃんと完成させてからにしてくれよな
俺だって勉強に時間あてたいからさ
- 58 ：
- >>52 >>53
"外側の体系の無矛盾性"については微妙な問題がある
一般に「間違いなく真だと信じられる公理と推論規則から作った理論
が矛盾を含むなら、それは『真なる矛盾』として受け入れるべき」だと思う
ではなぜ無矛盾性が問題になるかというと爆発律が存在するから
そこで理論を作る時は「１、爆発律を仮定した上で無矛盾性を示す」もしくは
「２、爆発律が成り立たないように作り無矛盾性を問題にしない」の二つの
方向が考えられる。
では"外側の体系"についてはどうなるかというと、１と２両方の方針があり得るが
2の方針をとる場合は対象理論Xに対して「Xは無矛盾かつ無矛盾でない」という種類の
矛盾は含まれないようにしないといけない（それ以外の矛盾は含んでもいい）
- 59 ：
- >>58
すごく平たくいうなら、通常論理＋ZFC公理系＋ペアノ公理系の無矛盾性を矛盾許容論理＋何らかの公理系で証明できるってことかな？
矛盾許容論理は通常論理より推論能力が弱いから、通常論理の推論をシミュレートする過程で、結局個々の命題の排中律のようなものを公理系に追加していくことにならないだろうか
そうすると結局すべての命題で矛盾が許されないことになって、不完全性定理に引っかかってしまう
どういう方法でそれを回避できるのだろう？
- 60 ：
- >>55
公理を定めるというのは「全ての命題からなる集合」を所与としてその中で
「何が真で何が偽か」を定めることだから「何が数学で何が数学以外か」とは別の問題
>>57
その感覚は正しい
このスレが無価値だと思ったら去ってもらって構わない
書きたいことは大体書いたから俺も今続いてるやり取りが終わったら去る
- 61 ：
- >>59
無矛盾性を証明する対象論理は「通常論理＋ZFC公理系＋ペアノ公理系」の
全体ではなくてその部分論理になる。小さな部分についてだけ無矛盾性を証明
すればいいから証明力が弱くてもできる。
右記は単なるたとえ話だけど、「人間の言語が生成する文には膨大な可能性があるが
人間が実際に使う文の中には複雑度がNを超える物は存在しない。だから複雑度が
N以下の命題のみを対象として無矛盾性を証明できれば実用上は十分」という話と
ある意味近い。
つまり「通常論理＋ZFC公理系＋ペアノ公理系」が生成する文には膨大な可能性があるけど
数学で実際に使う文はその中の一部分だけであり、その部分の無矛盾性だけ示せばいい
という発想
- 62 ：
- 証明にカットが含まれない、とするなら、体系内での無矛盾性も証明できる
カットのある証明から、カットを取り除く手続きが実行できる、という点が
体系外になる
ゲーデルの不完全性定理は、体系の矛盾を証明するものではない
- 63 ：
- んだ、数学の不完全性を主張するものだ
- 64 ：
- 1は無矛盾性と完全性を混同してる気がする
無矛盾性 ¬（□A∧□¬A)
完全性 □A∨□¬A
□Aは「Aが証明できる」という意味
- 65 ：
- ネタなのかマジなのか分からない
反論の内容が「そんなの無理」じゃなくて「すでやられてる」ってことは少なくとも数学的に筋は通ってるってことか
- 66 ：
- 5300
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
https://twitter.com/dy_dt_dt_dx
(deleted an unsolicited ad)
- 67 ：
- >>65
そんな風に読めるならもう少し数学を勉強した方がいい
- 68 ：
- https://i.imgur.com/4kPSQXR.jpg
- 69 ：
- アルバイト大変だね
- 70 ：
- 俺馬鹿だからわかんないけど
「普通は数学では矛盾が出ないような公理立てて積んでいくけど
矛盾できてもオッケーなスラム街みたいな数学作ってもいいんじゃん？」
的な話でしょ
ゲーテルは一般的な数学の話をしていて
イッチの数学は話の話題にすら出てないんじゃね？
- 71 ：
- 論破ルーム
http://www.youtube.com/watch?v=O9rebYkDtP8
きれいな話題だ････
- 72 ：
- (大意)
リハーサルでは「金熊」だったのに、本番で「キンタマ」と書いたカンペが回って北野で、
そのままN国に入ろうとしたが止められたので闇営業に行った。
なお、「論破ルーム」(日テレ系の子供向け番組) が始まった 1963/10 には。
北野氏 (1947/01/18〜) はすでに16歳半になっており、未だに関係不明････
- 73 ：
- 決定不能自体は決定しているんだが
- 74 ：
- 哲学というか、認識論の理解から
スピノザは規定は否定と語る
わたしという物理存在は運動変化している、赤ん坊から現在に至るまでそうなのに、同じわたし
光一定の原理で絶対座標実在しないから静止は否定される
この今も運動しているが同一、わたしとする
非同一→同一
- 75 ：
- ウィルスは生物、非生物と分類しがたいが、物理としては差違と言うだけで同一
同一を非同一、否定で理解する
- 76 ：
- 地動説は地球が諸天体の一部、つまり否定関係ではないということ
進化論は人間が諸生物の一部ということ
光速度一定の原理は静止は実在しない、つまり自然は運動し、特別な存在はない、つまり無矛盾ということ
物理という学問は一貫して認識する立場は認識対象の一部で実在しないってことを示す
つまり自己言及であり、認識する立場を設定するが、実在はしない
- 77 ：
- 飛ぶ矢は空中の一点にかならず存在する
静止は一点に存在することだから飛ぶ矢は静止している
この逆説は運動を静止で理解、つまり否定で理解することを示す
座標原点は静止であるが自然は運動する
運動という有を無、つまり静止で理解するから、０に限りなく近いが０ではないとという論理になる
- 78 ：
- クレタ人の逆説は対象をその否定で規定することから生じる
ヘーゲルは、運動は存在すると同時に存在しないことと定義する
つまり運動を存在という静止、否定で規定するから決定不能になる
- 79 ：
- 不完全性定理もまた有限を無限、つまり否定で、ということだから決定不能になる
- 80 ：
- 光速度一定の原理は座標原点、つまり対象を理解する立場の否定で自然が無矛盾であることを示す
規定は否定だから、かならず決定不能になる
物理学の場合、否定である規定が実在を否定されることで無矛盾であることが証明される
- 81 ：
- わたし、という表現もまた自己言及だが、これも決定不能でもあり面白いが、やめておく
- 82 ：
- というのがわたしの認識論からの不完全性定理の理解
- 83 ：
- 不完全性定理の不完全な理解
- 84 ：
- 数には大きさがない
自然は運動する
運動という有を無、つまり数で理解する
座標原点は実在しない
光速度一定の原理！
規定は否定
- 85 ：
- >>83
不完全な理解ということを断定するだけで不完全に否定、述べるわけですね。わかります
- 86 ：
- わたしの理解の骨子
決定不能の決定→だからこその「定理」
規定は否定
科学は規定の否定、つまり否定の否定で対象が無矛盾であることを示す
- 87 ：
- まあ、この理解が否定されたら引っ込みますが
- 88 ：
- 数学科の方が不完全性定理で何もかもわからなくなったって書いていたから、いや、それ自身はわかったから定理だろうって内心思ったんで
- 89 ：
- 認識論からの理解だから、この意味では確かに完全じゃないな
だから認識論で突っ込んでくれ
- 90 ：
- 排中律
物理としては、であって、ではない
つまり決定不能
それを、であるで理解する
わたしという規定は運動変化する物理の否定
つまり非同一を同一で理解する
非同一を同一で、規定は否定
排中律は規定
排中律は否定
AはA→否定
- 91 ：
- 物理対象は運動変化する
それを否定で規定する
つまり決定不能
静止は存在しない、つまり自然は無矛盾、理解可能
理解可能だが規定は否定だから決定不能
うーん、詰めがまだかな
- 92 ：
- ＞ゲーデルの不完全性定理を論破
具体的に不完全性定理の何をどう論破したいんだ？
決定不能命題は存在しない！といいたいのか？
無矛盾性は体系内で証明できる！といいたいのか？
- 93 ：
- >>5
＞「この文は偽である」
それ、ゲーデルの不完全性定理じゃないぞ
- 94 ：
- >>73
＞決定不能自体は決定
頭オカシイのか？
真か偽か判断できない命題が決定不能命題
覚えとけ
- 95 ：
- 実はゲーデル命題は（自然な定式化で）無矛盾性命題と同値
つまりゲーデル命題の否定を公理として追加すると
「矛盾の証明が存在する」という命題が証明できるが
実際には矛盾の証明が構成できない、という
ω矛盾体系になる
- 96 ：
- ＞「数学で使う命題」という範囲を適切に設定すれば
不完全性定理と全く無関係
- 97 ：
- ＞数学科の方が不完全性定理で何もかもわからなくなったって書いていた
なにがどうわからないんだ？
書いた奴は数学科出身を詐称する詐欺師だろ
- 98 ：
- >>97
早稲田大学院卒だったな
ある掲示板で暴れていた
聞く耳もたないし、ほっといた
因みに数字で神様の存在が証明されたと言ってたなw
茂木健一郎さんのところでも顰蹙買ってたみたい
- 99 ：
- 吉永さんの本の冒頭に、批判的に紹介されていた理解でした。
- 100 ：
- >>94
> 真か偽か判断できない命題が決定不能命題
？
だから、決定不能自体は決定じゃないですか？
判断できないと判断している
100〜のスレッドの続きを読む
数学学習法
数学が楽しすぎるんだがいつまで続くんだろうか
フーリエ変換・ラプラス変換
数学の本 第85巻
代数学総合スレッド Part6
【地底】大阪・東北・名古屋・九州大学スレッド
初等幾何学ってなに
SNS死神ムラカミ
巨大数探索スレッド15
数論幾何
--------------------
実況 ◆ ＴＢＳテレビ 39347
高橋健の転売で儲ける方法
各球団のﾍﾞｽﾄｵｰﾀﾞｰを考えよう6番佐野
真夜中の白鳥
【TPS】Loadout part3【Steam】
☆ オウム事件の実行犯は創価学会 ★
グランブルーファンタジー総合雑談スレpart147
【黒箱】J:COM ジュピターテレコム総合39【白箱】
【日本経済】有本香氏「中国からの日本回帰と消費減税で自殺者を最小に抑えよ 安倍首相は決断を」［5/16］ [鴉★]
住信SBIネット銀行 就活・転活・現職 スレ 1
TVTestについて語るスレ Part 100
【パズドラ】パズル＆ドラゴンズ [335447567]
【イラコン】イラストコンテスト統合スレ4
ガールズ＆パンツァー GIRLS und PANZER 2205輌目
第3回2ちゃんねる全板人気トーナメントラシ会場87
☆郵便局は土日祝日も営業しろ！
【FEH】ファイアーエムブレムヒーローズpart3055
吉辺あくろ 総合スレ 3
ひとり旅同好会 part7
【朝鮮学校】弁護士への懲戒請求、１３万件に急増 ネット上での請求を煽るような書き込みが要因か[05/18]
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
