数学基礎論・数理論理学　その14

1 ：2012/09/29 〜 最終レス ：2013/10/22

数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学　その13
http://uni.2ch.net/test/read.cgi/math/1340469523/
なおSTSあるいはTTTと名乗る者のレスは
きちんとした数学的理解に基づかず無意味な内容です。
このことは本人も認めています。（前スレの900以降など）
STSあるいはTTTと名乗る者の相手をすることは
荒らし行為に当たりますのでご注意ください。

2 ：

１乙

3 ：

でかしたぞ、１よ

4 ：

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

5 ：

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

6 ：

書き込まないと言いながらどうせすぐに現れるんだろう、STSのやつは。

7 ：

>>6
これまでの経緯から想像するとその通りだろうね。
だからこそ>>1はよくやったと思う。スルーするしか対処法ないからね。
もっともコテを替えられたらどうしようもないんだけど。

8 ：

スルーしてたんだがあからさまに自演してるしな
本当に手に負えないよ
前スレで名無しで書き込んでた奴いるのか？

9 ：

なんか雰囲気が文keiっぽいな。

10 ：

前スレ875でTTTに晒し上げ食らってた……しかも古いやつ。
俺はTTTじゃないからね。

11 ：

>>8
まさか前スレの自分以外の書き込みは全部TTTの書き込みだと思って叩いてたとか？
そこまでいくとちょっと極端だよ

12 ：

TTTは自分のスレに対してもレスしていたから、そのことじゃね？

13 ：

そんな事言ってる間にSTSより面白いこと書けよ

14 ：

数学者は「存在する」という言葉で何を表現してるんですか。

15 ：

「ある性質を持つものが存在する」は「その性質が矛盾しない」と同義です。

16 ：

ω＜κ＜2^ωとなるような基数κは存在しますか？

17 ：

>>14
色んな意味づけができるので、一つの意味だけを取り上げるとかえって実情と掛け離れる。

18 ：

>>15
同義である場合もそうでない場合もある。

19 ：

>>16
基数ってなんすか

20 ：

基数とは順序数αであって、αよりも小さな順序数とは一対一対応が存在しないようなもののことです

21 ：

アレフゼロとかのこと？

22 ：

アレフ0は基数の一例ですね
アレフの活字が無いのが惜しいのだが

23 ：

意味わからん(^^;;
これって大学何年レベルなの？
自分はまだコンパクト集合くらいまでしかやってないからな＿|￣|○

24 ：

微積も線形代数も使わないマニアックな分野なので
一年生の時から或る意味大学院レベルの勉強ができるのであります

25 ：

集合論を深くやらない大学って多いんだろうか？
集合論を扱った本なら大抵基数は載ってると思うんだが

26 ：

等濃度の定義はやるけど基数の定義はやらないよ
同値関係なんだから似たようなものじゃん、と思うかもしれないけどさに非ず。
厄(a)と厄(b)が同じ ⇔ a△b := (a-b) ∪ (b-a) が有限
みたいな同値関係だと、さすがに海のものとも山のものとも分からない代表元を
選んで来ちゃう厄(x)を導入して大丈夫なのか不安に思うでしょ？
こういう厄介な関数が存在しても矛盾はしないわけだが、それを言うのは学部の知識じゃ無理
（要はNBG + Global Choiceがあれば良い。
でもこれの整合性を示すには、強制法を使わないと証明が大変な
NBGのZFからの相対無矛盾性と、
任意のproper class C と V は一対一対応するという定理が要るはず）

27 ：

>>26
厄(･)は何を意味してるの？

28 ：

厄（・）:V→Vは無定義術語で、
条件（厄）：「厄(a)と厄(b)が同じ ⇔ a△b := (a-b) ∪ (b-a) が有限」
を満たすクラス関数とします。
つまり（厄）を満たすもの、というのが定義です。
等濃な集合の同値類を取るのと同じ操作をした訳です。

29 ：

ロジック関係やったことない人だと>不安に思うでしょ？
って別に不安に思わない気がしてきた（汗
ところで北田均先生が「数理解析学概論」という本を新しく出したのが
生協に売ってたんだけど、立ち読みした範囲だと
不完全性と集合論に関する間違いは発見できなかった。
最近は新井先生の教科書みたいな本
（ただしこの本は、テクニカルな間違い・ミスプリがかなり多いので
新しく買うときは第3刷を買いましょう）も出て
理解しやすいようになったから或る程度ご理解されたのかなあ。

30 ：

http://uni.2ch.net/test/read.cgi/math/1348832025/102
こんな話があるがこのスレ的にはどうなの？

31 ：

ユニバースの話じゃなくてそれ以前のIVの定理1.10が
（abc予想と）Uniform Serre Open Image予想なるものを仮定すると
成り立っていないようだって言われてるんじゃなかったっけ？
＞その前までの数論的な部分については指摘されていない。
これは明らかに間違いです。
たぶん全然ロジック知らない人が、前スレの
もっちーの公理の数え方がおかしいという話を、
これが問題点なのか！とトンデモナイ勘違いしたとかそういう話なのではｗ
前スレのあれは、望月先生の権威がどうとかに関係なく
こんなのは誰が見たって揚げ足取りですよね、って話ですよｗ

32 ：

>たぶん全然ロジック知らない人が、前スレの
>もっちーの公理の数え方がおかしいという話を、
>これが問題点なのか！とトンデモナイ勘違いしたとかそういう話なのではｗ
お前やっぱかなーりズレてるわ
どういうお花畑脳だとこう解釈できるんだよｗ

33 ：

>>32
お花畑ってことは自分にとっておめでたい解釈ってことですよね？
>>32さんがおかしいと指摘しているその解釈が仮に正しかったとすると
どうして31の自説(>>31の最後の2行)を補強することになるのか
理解できてるってことですか？
もしそうなら教えて下さい。

34 ：

アスペの考えることを理解しようなんて時間の無駄
その時間で噂の望月論文でもお経のように唱えてた方がまし

35 ：

>>33
「超難問を解いた論文・著者にケチをつけているように見られておまいらバカね」って言いたいんじゃないの？
これを権威を借りようとしていると言わずして何というのか
得てしてこういうことは本人が一番気づけないんだな

36 ：

いや望月先生みたいなマトモな研究者の論文が
初歩的な勘違いしてる可能性が限りなく低いのは、数学のリテラシーがあれば誰でも分かるから

37 ：

>>36
おっしゃることはその通りだがそれがいまの話とどんな関係が？

38 ：

宇宙際の論文は俺も見てみたが基礎論の部分で間違いというのは
ZFCGがZFCの保存拡大になっているというところじゃないの？
ZFCGは前スレのZFC+Uのことだから、ロジシャンなら誰にでも分かる明らかに間違い。
この間違いが他の部分に本質的な打撃を与えたりしないとは思うけど
もっちーが基礎論の部分に関して初歩的な勘違いしているのは否定しようのない事実。

39 ：

つーかZFC+UとZFCは同じ言語なんだから保存拡大って正しい正しくない以前に型エラーじゃん。
初歩的もいいとこでほんとにそんなバカなことが書いてあるのかよと
ダウンロードしたまんま開いてなかった論文を見てみたよ。確かに書いてある。
というかこれって前スレ830が引用した箇所のすぐ近くなんだけど
前スレ830=>>31はこんな初歩的な間違いにも気づかずに
得意になって「望月先生は〜」なんて引用してたんか？アホだろ。

40 ：

ありゃ本当だ……失礼しました。
「(†)はZFCから独立である」みたいな問題記述だったら
ロジックの専門家でもやっちゃうことがあるし、その否定が正しい訳でもないんですが
conservative extentionって書いちゃったら（ZFCが矛盾していない限り）偽ですね。
ネットで手に入りやすい参考資料
・　http://math.stanford.edu/~feferman/papers/BernaysLecture3.pdf　の特にスライド8あたり（同名の論文あり）
・　http://arxiv.org/pdf/0810.1279v2.pdf　（もっと詳しい）
mathoverflowの
"Set theory for category theory beginners"ってトピックみたら
ShulmanさんとかHamkinsさんとかが普通に答えててﾜﾛﾀ

41 ：

話はちょっと逸れますけど私、代数幾何の教科書で有名なR. ハーツホーンが
「不完全性」の定義について吉永良正と同じように酷い勘違いしてるのも見たことあるんですよね…
自然に読者を誤解させるような用語法を使ってるロジシャンも酷いと言えば相当に酷いのですが。
Springer社のUTMの"Geometry : Euclid and beyond"（和訳あり）にこういう文章があります
>　最後に，公理系は完全であるかと言う問題がある．すなわち，公理系のす
>べてのモデルでなりたつ命題は，公理系から結果として証明されるか，とい
>う問題である．再びゲーデルは，相応に豊富な任意の公理系が，完全ではあり
>得ないことを示している．　　　　　　　　　　　　　　（R.ハーツホーン「幾何学」 p.83）
望月先生もハーツホーンも「初歩的」なミスをしているのは
たぶん、普通の数学者は統語論と意味論の区別ができないからだと思います。
小平邦彦先生もこの区別が分かっていなかったフシがあります。
代数幾何学者がZFCなどの集合論について何かしら書いたものを読むときには
そもそも、Grothendieck学派の人達自身がZFCからはみ出した
Grothendieck宇宙の公理がどこで必要になるのかちゃんと分かってたのかどうかとか、
そのレベルで疑問符付きでやらないとダメなのかもしれません。

42 ：

もっちーの威を借る論法は破綻かよｗ

43 ：

噂の望月論文、問題の保存拡大とか書いてある後のところ読むと
「一つの宇宙を固定してその中で作業するのが集合論なのに対し
同じ論理式を異なる宇宙で解釈させるのががspecies理論だ」
みたいなこと書いてあるけど、こりゃ集合論者も真っ青だなｗ

44 ：

集合論がどういう研究なのか全く分かってないで書いてるね。
なんか「数学では答えは一つだけど現実社会でははそうじゃない」
って言われたときのあの脱力感。

45 ：

最先端の研究者は使えそうなものは何でも使うからね。
きちんと身につけてから使おうとしたら勉強だけで終わってしまう。

46 ：

他のスレ（VIPとかニュー速系も含めて）では望月先生マンセーのノリなのに
ここだけは望月先生をdisるスレになってるね！

47 ：

こんな話題性のある論文でZFCやZFCGを取り上げてくれているんだから
本当なら歓迎したいし個人的な本音としてはディスりたくなんかないさ。
しかしロジックの部分の内容が余りに的外れで擁護のしようが(ry

48 ：

俺の2chの書き込みが破綻したのは、まあどうでもいいんだが
もっちーの論文の信頼性が微妙に破綻しかけてることのほうがまずい
もっちーはDrakeを一応持ってるみたいだから、巨大基数とは何か、
みたいなことは或る程度知ってると思う
たぶん代数幾何学者は集合論には興味を持って勉強しようとするだろうけど、
一階述語論理についてきちんと勉強しようという気にはならないんだと思う（数学者的には、そらそうだわな）
集合論の言語は< =, ∈>であって保存拡大かどうかは
言語を意識的にfixして考えないといけない、とか
公理的な集合論を勉強するときはコンパクト性定理とかL-S定理とか
完全性定理と不完全性定理を知っていることは
基礎知識として仮定されていることが多い、とかそういうところで躓くんだと思う

49 ：

俺は数覚を頼りに色んな道具を使うから、下々の者はあとで合理化してくれ、って感じかな

50 ：

>>48
そういうところで躓いてたとしてもDrakeの本をさらっとでも見たら
「一つの宇宙を固定してその中で作業するのが集合論なのに対し
同じ論理式を異なる宇宙で解釈させるのががspecies理論だ」
なんて誤解はしないんじゃないか？
絶対性がどうとか、モデルに相対化させる記法とかさんざん出てくるんだから。

51 ：

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は?
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

52 ：

やっぱりなんだかんだ言っても集合論は論理学なんだよね

53 ：

「ZFCGがZFCの保存拡大」って間違った主張をしているのは
ABC予想をZFCGで証明した後その主張からZFCの定理であると言うため？
だとするとかなり致命的なんじゃないの？

54 ：

なんかinteruniversalっていうネーミング自体
本当に大丈夫なのか心配になってくるよね

55 ：

>>53
abc予想はその前の節で証明されていることになっているはず

56 ：

>>55
だとすると何故必要もないのに、自分がよく知らない世界に立ち入って
怪しい理解に基づいた主張をするんだろう？

57 ：

同じ言語上の二つの理論に対して保存拡大と言うなんて
（しかも原文だと conservative extensionality になってる）
どう贔屓目に見ても保存拡大の概念を理解していないし
一階述語論理の言語とか理論とかを分かっているとは思えない

58 ：

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　このスレ 馬鹿ばかりね。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

59 ：

もしかして>>41の
「相応に豊富な任意の公理系」って二階算術のことで、モデルってのは
二階算術としての標準解釈（Henkin解釈ではなく）だったりするのかな
まさかね

60 ：

訂正
×二階算術として
○二階述語論理として

61 ：

>>41
＞Springer社のUTMの"Geometry : Euclid and beyond"（和訳あり）にこういう文章があります
＞>　最後に，公理系は完全であるかと言う問題がある．すなわち，公理系のす
＞>べてのモデルでなりたつ命題は，公理系から結果として証明されるか，とい
＞>う問題である．再びゲーデルは，相応に豊富な任意の公理系が，完全ではあり
＞>得ないことを示している．　　　　　　　　　　　　　　（R.ハーツホーン「幾何学」 p.83）
前半の完全と後半の完全は別の意味で使っているから正しいのでは？

62 ：

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　このスレ 馬鹿ばかりね。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

63 ：

Speciesの理論のところが論理的に間違ってなければ
ただちに無意味であるとか役に立たないとかそういうことは言えないよね

64 ：

Speciesの理論がどういった役割をするのかが重要で
保存的拡大の部分は枝葉末節。

65 ：

>>61
そら無理ってもんだろ

66 ：

>>64
それでどういう役割を果たすんだい？

67 ：

>>41
>Springer社のUTMの"Geometry : Euclid and beyond"（和訳あり）にこういう文章があります
>　最後に，公理系は完全であるかと言う問題がある．すなわち，公理系のす
>べてのモデルでなりたつ命題は，公理系から結果として証明されるか，とい
>う問題である．再びゲーデルは，相応に豊富な任意の公理系が，完全ではあり
>得ないことを示している．　　　　　　　　　　　　　　（R.ハーツホーン「幾何学」 p.83）
吉永の誤解とは違うね。
吉永は完全性を決定可能性と同義だと誤解していたからね。
ハーツホーンが、例えば自然数論を二階論理上の理論と考えているなら
上記の文章がマチガッテルとはいえないな。
二階論理では、一階論理と違って完全性定理が成立しない。
そしてそれは、ゲーデルの不完全性定理から証明される。

68 ：

はいはい、君はそうやって超好意的な解釈持ち出して
「偉い人はやっぱり偉い」って言い続けていればいいよ

69 ：

>>63
＞ただちに無意味であるとか役に立たないとかそういうことは言えないよね
誰かそんなこと言ってたか？
ロジックに関して初歩的な勘違いをしているね、という話しか出てないはずだが

70 ：

>>61と>>67は別人？
僅か1時間50分の間に同じ文章の解釈（間違いではない根拠）が
劇的に変わっているんだが同一人物ではあり得ない、よな？

71 ：

別人です。
私はハーツホーンは２つの完全性の違いをきちんと理解している可能性もあるんじゃないと主張しています。
たとえば翻訳者が２種類の完全性を同一のものと勘違いして意訳してしまったという状況もありえます。

72 ：

Google booksで原文見つかった。
原著のpp.70, 71。ちょっと広めに引用するけどfinally以降が相当する部分。
While we are discussing axiom systems, there are a few more concepts we should mention.
An axiom system is consistent if it will never lead to a contradiction.　That is to say, if it is not
possible to prove from the axioms a statement A and slso to prove its negation not A.
（中略）
Unfortunately, however, the logician Kurt Godel has proved that for any reasonably
rich set of axioms, it will be impossible to prove the consistency of that system.
So we will have to settle for something less, which is relative consistency.
(中略)
Another question about a system of axioms is whether it is categorical. This means, does
it describe a unique mathematical object? OR in other words, is there a unique model
(up to isomorphism) for the system of axioms?
（中略）
Finally, one can ask whether the axiom system is complete, which means, can every
statement that is true in every model of the axiom system be proved as a consequence of the axioms?
Again, Godel has shown that any axiomatic system of reasonable richness cannot be complete.
For a fuller discussion of these questions, see Chapter 51 of Kline(1972) on the foundations of mathematics.

73 ：

これだけ近い箇所で同じ単語completeを別の意味で使っているとは通常考えられないよね？
その直前か直後で「同じ単語を別の意味で使っています」と断り書きがあれば別だが、
>>61はそういう断り書きを示すことはできないんだよな？
あとはハーツホーンは正しく理解していたが誤ってという可能性だが
これはもう本人の責任であって「間違ってる」と言われても仕方がない話。

74 ：

そもそもKline(1972)ってのはおそらく数学史の本なので、
ハーツホーンはcompleteを含め論理学については何も知らないと思う。

75 ：

ゲーデル数化が可能な最弱の理論って知られていますか？

76 ：

その理論で再帰的可算な理論のコード化が出来るという意味なら
なかなかRobinsonのQとかRとかは良い感じに弱いよ

77 ：

RobinsonのQとやらが最弱かどうかはわからないんですか？

78 ：

その前に、「ある理論においてゲーデル数化が可能である」ということを、なんとなくではなしに厳密に定義しなきゃ

79 ：

そうなんだよね。そしてそれが大変。
ゲーデル数化は或る意味で多様体の局所座標みたいなものだから
きちんと定義して性質をまとめるのは有意義なんじゃないかな、
とは思うんだが、そういう研究はあまり見たことないな。
知られている中で最弱の〜〜だったらある程度文献を調べるだけで良いんだけどね。

80 ：

あと強いとか弱いもちゃんと定義して
その定義に則って最弱なものの存在も示さないとな

81 ：

強い弱いはペアノ算術を含む〜〜とかいうときの「含む」で良いんじゃないの。
つまり理論やモデルの解釈関係で良いはず。
こういうinterpretabilityについてはそれなりに研究されてるんじゃないのかな。

82 ：

論理式は有限種類の文字の文字列だと見做せるから
文字列 s のコードを G(s) としたときにゲーデル数化ができるというのは
チューリングマシンを用いて s から G(s) が計算でき、
また G(s) から s も計算できる、という定義で良いか。
異なるゲーデル数化同士の関係には再帰理論がそのまま応用できる。

83 ：

なんかダメな気がしてきた
82は無しで

84 ：

>>81
Hajek-Pudlak に書いてあったと思うけど
Robinson's Q とか Buss' S^2_i とか弱い体系は
全部 mutually intepretable になるはず。
だからその定義だとその辺の体系はすべて最弱。

85 ：

ゲーデル数化というよりも第二不完全性が成り立つ最弱理論は何かという方がわかりやすいですね。
数年前にQより弱いR'_0で第一の方が証明されたというPDFを読んで浮かんだ疑問でした。

86 ：

>>85
一般の理論Tにたして、何が示せたら第二不完全性定理が示せたことになるのか、
という本質的に全く同じ問題が残るわけだが

87 ：

どうも、M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。

例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。
そして、M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［¬Ｑ(ｘ)⇒/x/¬Ｐ(ｘ)］
こそが【対偶律】を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する Logical Reformationは、おそらく、世界を
席巻することとなろう。

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

88 ：

要はゲーデル数みたいなものを考える、というだけなら
0または1に当たるものとsuccessor Sがあれば良い
そのゲーデル数の性質がどれだけ証明できるか、ということなんだよね
第二不完全性定理を（知られているやり方で）証明するためには
帰納法がある程度必要になる、というのがコンセンサスかと

89 ：

それなんてコンセンサス？
RobinsonのQとか帰納法が全くないにもかかわらず
第二不完全性定理が証明できるわけだが。
何個か前のスレでもこの話題出てなかった？

90 ：

>>81が指摘しているように
解釈可能関係で同値なものは第二不完全性の観点からは区別する必要はない。
そして>>84が指摘しているように
帰納法が全く入っていない体系(Qなど)と帰納法のある体系がこの意味で同値になることがある。
つまり
***帰納法の有無は第二不完全性に影響しない***
わけなのだけれど、ということは>>88のいう
＞第二不完全性定理を（知られているやり方で）証明するためには
＞帰納法がある程度必要になる、というのがコンセンサスかと
はどんな素人間のコンセンサスかよ、という話になる。

91 ：

えっ、マジ？
第一不完全性定理のメタ証明を理論Tの中で形式化するためには
Tが数学的帰納法の公理を持ってないといけないんじゃないの？？

92 ：

たしか「数学基礎論講義」の第二不完全性定理の証明のところで
第一と違ってΣ1式について帰納法を仮定していることに注意すること、
とかそういうこと書いてたような

93 ：

このスレのその10で、
ゲーデル数化には最低でもｘ＾log(ｙ)程度の演算が必要とあったんだけど、これの情報元が不明。
またゲーデル数化の可能なIΣ1＋Ω1がQで解釈可能なのでQは第二が成り立つとあったんだけど、これの情報元も不明。
それから弱い限定算術の体系（S^i_2とか）は、自分の無矛盾性の証明どころか、
自分よりも弱い体系の無矛盾性も証明できないので、どれが弱い理論なのかよくわからないのでは？
いったい何が正しいのか分からないから、できれば情報元を提示してほしい。

94 ：

ロジシャン一般向けの教科書だと大抵第一と第二で違う条件を仮定して証明していることが多くて、
http://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/terui.pdf
の18ページ脚注も
>実際には、PA ほど強力な証明能力は必要ではなく、高々Σ1 論理式に関する
>帰納法が使用できれば十分である。（
となってるので第二は帰納法が無ければ証明出来ない、と認識してる人が多いんだと思う。
ただHajek & Pudlakの最後あたりとか、Bussの"First-Order Proof Theory of Arithmetic"
（Handbook of Proof Theoryの第二章）とかだとQに対して第二不完全性が証明してある。
限定算術について本格的に勉強したことある人はQでもOKということを知ってるんだと思う。
en.wikipedia.orgのQの記事にも、Qを含む理論に対して第二が証明できるよと
ちゃんと書いてあって文献も示してある。さすが英語版。
ただ>>90さんの言うように或る弱い算術の理論の中で
別の算術の理論を解釈するというやり方だとちょっと反則な感じがしないでもない。

95 ：

超準解析では、0はstandard、nがstandardならn+1はstandard、しかしnonstandardな自然数が存在する。
ネルソンのように超準解析を経由して帰納法に疑いを持つのは理解できる。

96 ：

Hajek & Pudlakの最後あたり
http://projecteuclid.org/euclid.pl/1235421934
Bussの"First-Order Proof Theory of Arithmetic"
http://www.math.ucsd.edu/~sbuss/ResearchWeb/handbookII/ChapterII.pdf
en.wikipedia.orgのQの記事
http://en.wikipedia.org/wiki/Robinson_arithmetic

97 ：

>>68
何拗ねてんのｗ
私は代数幾何とか知らんから
ハーツホーンが偉いかどうか
なんて知らんよｗ

98 ：

だいたい二階論理では、一階論理と違って完全性定理が成立しない
というのは常識であって知らない奴はモグリ

99 ：

数学やっててハーツホーン？誰それ？って感じだったらそっちの方が怪しがられるぞ
東大でも京大でも数学科学部生に「ハーツホーン読んだことある？」って言ったら普通通じる
物理学科でも通じる人のが多いかも

100read 1read

1read 100read
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲

この歳になって初めて知ったこと【正直に】 (260)
30歳から数学やりはじめようスレ part7 (502)
数学の本 第55巻 (332)
30歳から数学やりはじめようスレ part7 (502)
ゲームの評価 運と実力 (123)
30歳から数学やりはじめようスレ part7 (502)
--log9.info------------------
寒冷地仕様での不平不満 (114)
しょせん車ではバイクに勝てないのよ part97 (122)
【Ωカーブ】名阪国道 38KP【そろそろ冬装備】 (251)
【MOGGY】ユピテルのカーナビ★4【YUPITERU】 (165)
欲しい車がない (120)
【温度】追加メーターを語る　15℃【圧力】 (357)
【カロ】HDD楽ナビ専用ｽﾚPart21【Pioneer】 (955)
5ナンバーのノッチバックは消える運命 (118)
デイライト点灯してる？ (171)
●　プレミアムタイヤ　15本目　● (300)
★高級ミニバンの勝ち組感は異常★ (467)
【車】-カースピーカーを語るスレ21 (270)
［HardcoreStyle］Truckin-Board ['12models] (487)
私、女だけど多摩ナンバー乗ってる男は無理　５ (228)
結婚したらミニバンに乗り換えるのがけじめだろ？ (449)
極少スペースの糞建て売りにノア一台w (108)
--log55.com------------------
★2ch.scは何故失敗したのか
★クロール批判要望スレ
★削ジェンヌに文句ある人集合
★迷惑行為報告担当 - 小さな親切募集中 2
★2ch.scへの要望スレ Part3
★かっこう観測所
★スレ立て人キャップ
★2ch.scニュース系板観測所