Inter-universal geometry と ABC予想 (応援スレ) 71 (614ﾚｽ)
上下前次1-新
60(1): 04/23(火)07:18 ID:hJsMQbos(2/3) AAS
>>57
>この立場にたつなら確かに Robert 先生の指摘にたいする答えにはなってはいるが、だとすると IUT は標準の数学のルールに反してすべての命題にあらかじめ“真偽値”が定められているという考えはとることができなくなる、当然これまで当たり前につかってた“推論則”は使えなくなるから新たにそっからやり直さないといけなくなる、もちろんやり直してもいいしできっこないなどとはいわないが現時点で“完成していない”のは確実となる、現時点で提出されてる論文でそのような現代数学を一から見直すような議論などどこにもない。
圏論では、必ずしも排中律は成り立つとは限らない
望月IUTは、圏論を使うという（本当かどうかは知らないが）
よって、排中律の観点からの批判は、筋違いでは？
61: 04/23(火)08:00 ID:nfeXM0n/(5/9) AAS
もちろん全ての数学が“標準の数学”である必要はないかもしれないが排中律もつかわない“非標準の数学”で議論するなら論文の最初の一行目で書かないといけないし、じゃあどんな推論つかうのかから始めないといけない。
そんな注意は一言もない
62: 04/23(火)08:00 ID:NWsSQnB9(1/2) AAS
>>43
2024/04/22(月) 17:00:45.50 ID:8CFW5jXQ
>半可通がシッタカしているねｗ
自虐？
>(参考)
自分が全く読まずにコピペしてる文章を「参考」と書くのは詐欺
>>44
>二階述語論理のNon-reducibility to first-order logic（一階論理への非還元性）
>があるって知らない人がいるらしい。
>そういう人が、訳分からずにハナタカしているんだねｗ
省29
63(1): 04/23(火)08:02 ID:NWsSQnB9(2/2) AAS
【結論】
二階論理のstandard semanticsは、人には実現不可能だから無意味
一方Henkin semanticsで良い、と諦めるなら、一階論理上の公理系で実現できる
その場合「一階論理は無意味」という君の主張は完全に崩壊する
Non-reducibility to first-order logic で死ぬのは
私ら健全な一般人ではなく君(ID:8CFW5jXQ)ら完全を求める★違いな連中
64(1): non 04/23(火)08:10 ID:IkIISSSw(1) AAS
>>55
>(決められた言語・公理・推論則から)
>演繹された命題を“真”、否定が演繹された命題を“偽”とさだめよう。
>しかし“真”でも“偽”ない命題が発生したりすることのないよう
>十分強力な公理系を用意することは可能であろう。
>しかし今日ではよく知られた通りこの目論見は失敗におわる。
>ゲーデルの不完全性定理
>公理系が機能的に枚挙可能で体系が自然数論のモデルを含むなら
>その公理系は不完全である、すなわち P も not P も証明できない命題を必ず含む。
確かに「完全主義者の夢」は実現不可能である
省7
65(1): 04/23(火)08:13 ID:nfeXM0n/(6/9) AAS
>>64
おまえいくらなんでもひどすぎる
もうこんなレベルのレスしかできないなら出てけよ
66: non 04/23(火)08:15 ID:lIu6DEfw(1/2) AAS
>>56
>数理論理学的には数学理論の体系は
>?公理系 A と標準モデル M のペアである
>?公理系 A から定められた推論測で演繹されるものが定理である
>?モデル M で真と判定される命題が真である。
>とするということ。
なぜ?で標準モデルを持ち出す必要があるのかね？
Aだけでよくないかね？(Aを満たすモデルMは、Aで定まるから）
そもそも君のいう標準モデルとは何かね？説明できるかい？
67(1): 04/23(火)08:19 ID:nfeXM0n/(7/9) AAS
やっぱり iut スレはあかんな
こんなゴミレスしかつかん
68: 04/23(火)08:22 ID:G9yEv0DN(1/2) AAS
>>58
単に氏がGrothendieck universeについてひどい誤解しているだけだと思うの
論文にZFCGがZFCの保存拡大だなんて書いちゃった人ですから
そんなことは本当に学部生（集合論を学んだ）でもしない間違いだもの
不完全性定理の主張と整合しないことは定義より明らかでしょう
69: フォースを使え！ 04/23(火)08:25 ID:9rizQwg9(1/4) AAS
>>57
>(ZFCとかBGとかその辺のものを使う)前提で Inter Universal という理論を観察していく。
>まず最初に考えないといけないのはこの “Universe” いう概念のあつかい…
>加藤先生の論によれば、Universe はいわゆる Grothendick の Universe ではなく
>基礎論のモデルに近いもの、これがとりかわることにより
>一つの命題が“真”だったり“偽”だったりすることが切り替わるとのこと、
それ、forcingと何が違うのかね？
>もともと Robert 先生が
>同じ命題があるときは“真”、またあるときは“偽”になるのはおかしい、
>そんなの認められてないだろに対する反論のよう(ソースはだれかがもってきたコピペ)
省16
70: フォースを使え！ 04/23(火)08:31 ID:9rizQwg9(2/4) AAS
>>58
>一方望月先生の論ではiut の言語体系、推論体系は標準の数学のそれと全くかわらない。
>これまで数学基礎論で議論、研究されてきた成果はそのまま適用ができ、新たに議論すべきところなどどこにもない
>（従って iut 論文でもそんな議論はしていない?）universe は Grothendick の universe、
>ただしそれが“入れ子の構造”をもつように集合論の“正則性公理”はあきらめるらしい。
>しかしそれだとわからなくなるのはそもそも今の iut 論文はひとつも“標準の数学”の“自然言語への標準的な翻訳、解釈に則っていない”ということ。
というか、ZFC上じゃなくてZFC-AFA上での証明になるね
（AFAは、anti-foundation axiom）
望月新一氏は正則性公理の否定に固執してるが
そもそもそれが必要かどうかがよく分からない
省1
71: 04/23(火)08:37 ID:G9yEv0DN(2/2) AAS
chatGPTってゆーか人工無能のハルシネーションだと思うの
72(1): フォースを使え！ 04/23(火)08:39 ID:9rizQwg9(3/4) AAS
>>58
>iut はその“理解者”を自認しているような人たちからも異論が出てくるほど
>望月先生以外の人間に伝わっていない
望月新一氏以外の理解者がいるとは思えないが
よくいって「応援者」くらいだろう
応援者と理解者は全然違う
>師匠筋のファルティングス先生、天才ショルツ先生、多くの人が
>“標準的な数学としての解釈”を試みるも誰一人として成功していない。
>これだけ高名な数学者たちがそろいもそろって“わからない”と言わせしめるようでは
>とても“書き手の自由裁量”と評価できる範囲内に収まってる文章だとはいえない。
省14
73: 狼少年圏 04/23(火)08:46 ID:9rizQwg9(4/4) AAS
>>59
>排中律の扱いについて
>直観主義論理が、ハイティング代数 ラムダ計算 カリー＝ハワード対応などで復権
排中律自体がカリー＝ハワード対応で解釈できるので、
直観主義論理に限定する意味はなくなりましたけど
そこは照井一成氏が「コンピュータは数学者になれるのか?」で書いている通りです
>圏論では、排中律は成り立つとは限らない
>量子論理でも、排中律は成り立つとは限らない
>>60
>圏論では、必ずしも排中律は成り立つとは限らない
省5
74: consistentist 04/23(火)08:57 ID:CJQkRorX(1) AAS
>>65 >>67
煽りは受け流すとして
ID:nfeXM0n/氏は、数学的プラトニスト（実在論者）ですな
数学においても信教の自由は保障されますが
標準的数学がプラトニズムであるというのは
他の主義を否定するものなのでこのご時世
如何なものかと
75: 04/23(火)09:04 ID:gpbFruYF(1/3) AAS
「標準モデルとは、circumscriptionである」というのを、
林晋氏が以前どこかで言っていたのを見た覚えがあります
要するに、公理系から存在が証明できる元に限定するということです
自然数の場合、非標準的な自然数というのは、公理系から存在が証明できません
ω矛盾的なものといえばよろしいでしょうか
circumscriptionを公理系によって完全に統制することはできないわけですが、発想としては大変面白い
外部ﾘﾝｸ:en.wikipedia.org
76(1): 04/23(火)09:38 ID:027JknK5(1) AAS
>>72
お国自慢とかでなく英語圏にも興味を持つものもいると思うが、
ただ最初にやることは英語版のウィキペディアなどで経緯や概要を知ろうとするけど、あれをみて興味を失くし、みな懐疑的になるのだよ。
書き込みや編集が英語圏だからだな。
77: 04/23(火)11:26 ID:lIu6DEfw(2/2) AAS
>>76
海外の興味を持った人の期待を裏切った点で
2015年12月のオックスフォードでのワークショップは
大失敗だったね
78(1): 04/23(火)11:55 ID:DgYuW2lD(1/8) AAS
プレゼンが下手な人いる
ビジネスとしては、失敗だろうが
アカデミックは、ビジネスとは違うだろう
アカデミックでは
成功とはいえないが、失敗？ それで？ ってことでしょ
数学の証明の成否と、プレゼンの上手下手とは別物
79(1): 04/23(火)11:56 ID:DgYuW2lD(2/8) AAS
上手な方が良い
それは認める
上下前次1-新書関写板覧索設栞歴
あと 535 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s