- 1 名前：１３２人目の素数さん mailto:sage [2012/06/24(日) 01:38:43.25 ]
- 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その12
http://uni.2ch.net/test/read.cgi/math/1332549969/
- 85 名前：１３２人目の素数さん [2012/07/22(日) 22:47:56.13 ]
- 証明も反証もできない命題の存在を示したのが第一不完全性定理。
証明できないことが証明も反証もできない命題の存在を示したのが第二不完全性定理。
- 86 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 87 名前：１３２人目の素数さん [2012/07/23(月) 00:35:36.93 ]
- >>78
＞>>76は第一不完全性定理。「数学は矛盾を含まない」という命題がその決定不能な
＞命題のひとつだということを示したのが第二不完全性定理。数学は「数学が矛盾を
＞含まない」という命題を証明も反証もできない
第二不完全性定理は「数学は矛盾を含まない」という命題が、
第一不完全性定理が対象とする決定不能命題であるとまでは主張していませんよ。
- 88 名前：１３２人目の素数さん mailto:sage [2012/07/23(月) 00:57:20.66 ]
- >>85
似た話で
「証明できないことを示すのが強制法
証明できないことが証明できないことを示すのが巨大基数」
というのなら聞いたことがある。
- 89 名前：描者希望 ◆ghclfYsc82 mailto:age [2012/07/23(月) 00:59:17.75 ]
- ★★★学歴格差：無意味
★★★学力格差：尊重しろ
★★★能力格差：最大限利用せよ。
東大や京大にだって馬鹿は沢山居てるんだヨ。
学力格差と能力格差を認める理想社会を実現しろや。要するに：
★★★『馬鹿は無意味なので不必要だから、従って無能は静かにせよ。』★★★
っちゅうこっちゃ。低脳が騒ぐのはワシが許さんのや。
ちゃんと読め。
描
- 90 名前：１３２人目の素数さん mailto:sage [2012/07/23(月) 02:30:46.19 ]
- >>87
決定不能なのは明らかなので書かれないだけでしょ
- 91 名前：１３２人目の素数さん mailto:sage [2012/07/23(月) 03:03:40.28 ]
- >>90
同意
- 92 名前：１３２人目の素数さん mailto:sage [2012/07/23(月) 07:00:49.41 ]
- >>88
そうまとめてくれると現代の集合論が何をやっているのか分かりやすいのだが、
「集合論は論理学じゃない」派の人々はそうまとめられることに反発するだろうな。
- 93 名前：１３２人目の素数さん mailto:sage [2012/07/23(月) 08:12:28.43 ]
- >>73
数年ぶりって、数年前の話はこれのこと？
2chnull.info/r/math/1101457040/401-500
- 94 名前：１３２人目の素数さん [2012/07/23(月) 08:27:11.13 ]
- 2chnull.info/r/math/1101457040/401-500
- 95 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/23(月) 09:56:18.67 ]
- 無能な官僚は断頭台に送るか、或いは北朝鮮に奴隷として売ってしまえ。
保身しかしない役人は国家には無益なので処分するしかない。Googleみ
たいに優秀な人材だけで政治は遂行されなければならない。隠蔽工作や
言い訳、先延ばしみたいな責任の回避は何も無理をして馬鹿官僚に任せ
なくても、民衆が蜂起して撲滅たらソレでエエのや。
無駄は省けや。官僚にでも出来る事は馬鹿でも出来るのや。低脳は役に
立たんから霞ヶ関から追放して東大の清掃員にでもしたれや。かつての
学び舎の地べたに這い回って、さぞ満足する事だろうよ。
描
- 96 名前：１３２人目の素数さん [2012/07/23(月) 10:03:20.24 ]
- >>67
とはいえ、
理論Tを真の算術とすれば
すぐに証明も否定の証明も不可能が、
真偽が決定不能というタルスキの定理の置き換えられる
- 97 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/23(月) 10:04:00.36 ]
- 無能な官僚は断頭台に送るか、或いは北朝鮮に奴隷として売ってしまえ。
保身しかしない役人は国家には無益なので処分するしかない。Googleみ
たいに優秀な人材だけで政治は遂行されなければならない。隠蔽工作や
言い訳、先延ばしみたいな責任の回避は何も無理をして馬鹿官僚に任せ
なくても、民衆が蜂起して撲滅たらソレでエエのや。
無駄は省けや。官僚にでも出来る事は馬鹿でも出来るのや。低脳は役に
立たんから霞ヶ関から追放して東大の清掃員にでもしたれや。かつての
学び舎の地べたに這い回って、さぞ満足する事だろうよ。
描
- 98 名前：１３２人目の素数さん mailto:sage [2012/07/23(月) 10:25:00.14 ]
- >>96
それ和歌か何か？
- 99 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/23(月) 10:47:10.79 ]
- 無能な官僚は断頭台に送るか、或いは北朝鮮に奴隷として売ってしまえ。
保身しかしない役人は国家には無益なので処分するしかない。Googleみ
たいに優秀な人材だけで政治は遂行されなければならない。隠蔽工作や
言い訳、先延ばしみたいな責任の回避は何も無理をして馬鹿官僚に任せ
なくても、民衆が蜂起して撲滅たらソレでエエのや。
無駄は省けや。官僚にでも出来る事は馬鹿でも出来るのや。低脳は役に
立たんから霞ヶ関から追放して東大の清掃員にでもしたれや。かつての
学び舎の地べたに這い回って、さぞ満足する事だろうよ。
描
- 100 名前：１３２人目の素数さん [2012/07/23(月) 10:49:53.79 ]
- 懲戒免職になって、ここまで堕ちたか。
昔から現実を見れていなかったが、さらにひどくなっているようだ。
現実と願望が乖離して、願望を現実だと思い込んできているね。
勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
ほんとに人生大損だね。
- 101 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/23(月) 10:52:43.55 ]
- 無能な官僚は断頭台に送るか、或いは北朝鮮に奴隷として売ってしまえ。
保身しかしない役人は国家には無益なので処分するしかない。Googleみ
たいに優秀な人材だけで政治は遂行されなければならない。隠蔽工作や
言い訳、先延ばしみたいな責任の回避は何も無理をして馬鹿官僚に任せ
なくても、民衆が蜂起して撲滅たらソレでエエのや。
無駄は省けや。官僚にでも出来る事は馬鹿でも出来るのや。低脳は役に
立たんから霞ヶ関から追放して東大の清掃員にでもしたれや。かつての
学び舎の地べたに這い回って、さぞ満足する事だろうよ。
描
- 102 名前：１３２人目の素数さん [2012/07/23(月) 11:21:33.45 ]
- 理論Tが矛盾した論理式を証明可能なことは証明できるよ。
つまり
T |- ¬Con(T)
- 103 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/23(月) 11:24:34.68 ]
- 無能な官僚は断頭台に送るか、或いは北朝鮮に奴隷として売ってしまえ。
保身しかしない役人は国家には無益なので処分するしかない。Googleみ
たいに優秀な人材だけで政治は遂行されなければならない。隠蔽工作や
言い訳、先延ばしみたいな責任の回避は何も無理をして馬鹿官僚に任せ
なくても、民衆が蜂起して撲滅たらソレでエエのや。
無駄は省けや。官僚にでも出来る事は馬鹿でも出来るのや。低脳は役に
立たんから霞ヶ関から追放して東大の清掃員にでもしたれや。かつての
学び舎の地べたに這い回って、さぞ満足する事だろうよ。
描
- 104 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/23(月) 14:11:27.78 ]
- コラ、サッサと逆上せえや。ワシが焼却処分にしたるさかいナ。思いっ
きり焼いたるがな。そやし早く出て来いや。
描
>353 名前：匿名希望 ：2012/07/23(月) 13:12:05.27
> >>347
> そもそも俺は大学院生じゃないんだよ。また甘えた態度じゃないんだよ。
> 立派な自立した社会人だよ。
> 社会人の目から大学事務職員の学生に対する態度の悪さを、
> いわば社会問題として捉えているんだよ。
> 馬鹿なパロディ書いてんじゃねえぞ！
> >>352
> それはある意味正しい。人間なんて所詮堕落腐敗しやすいもんだからな。
> でも、本当に立派な国家公務員もたくさんいるよ。
> 本来公務員というのは社会の模範となる人間であるべき。
> それなのに、学生の目から見てそういう大人の腐敗ぶりをまざまざ見せつけられるのは、
> 学生の教育にとって非常に悪影響だと思う。
>
- 105 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 01:48:42.27 ]
- >>88,>>92
「『証明できないこと』が証明できないこと」が証明できないことを示す方法は現代集合論にはないのー？
- 106 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 107 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 03:57:47.83 ]
- >>92
そのスローガンが分かりやすいのは認めるが、実態を表しているかは別問題。
件のくるるさんも言う通り、その部分はブラックボックスとしても集合論の研究ができるような
彼の言葉だと現代集合論にとっては「枯れた」部分。
数学者としてブラックボックスを持ち込むことが許されるかどうか賛否両論あるだろうが
（俺自身は、あまりいいことだとは思っていない）
現在の集合論がそういう部分に焦点を当てて研究しているのではないのは確か。
- 108 名前：１３２人目の素数さん [2012/07/24(火) 08:53:24.56 ]
- >>102
Tの矛盾を仮定すると
それの無矛盾性を証明するTも矛盾するので
Tが無矛盾であることと矛盾するから、
無矛盾なTからTの矛盾を証明することはできない。
この事実と第二不完全性定理より、
自己の無矛盾性の証明は自己から決定不能（独立）となる。
- 109 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 08:54:31.41 ]
- >>105
それには「『証明できないこと』が証明できないこと」が証明も反証もできない
命題の存在を示す第三不完全性定理がまず証明されないといけません。
- 110 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 11:56:22.79 ]
- >>108
第二不完全性定理だけでTの無矛盾性の証明はTでは決定不能（独立）
- 111 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 12:00:17.54 ]
- コラ、サッサと逆上せえや。ワシが焼却処分にしたるさかいナ。思いっ
きり焼いたるがな。そやし早く出て来いや。
描
>353 名前：匿名希望 ：2012/07/23(月) 13:12:05.27
> >>347
> そもそも俺は大学院生じゃないんだよ。また甘えた態度じゃないんだよ。
> 立派な自立した社会人だよ。
> 社会人の目から大学事務職員の学生に対する態度の悪さを、
> いわば社会問題として捉えているんだよ。
> 馬鹿なパロディ書いてんじゃねえぞ！
> >>352
> それはある意味正しい。人間なんて所詮堕落腐敗しやすいもんだからな。
> でも、本当に立派な国家公務員もたくさんいるよ。
> 本来公務員というのは社会の模範となる人間であるべき。
> それなのに、学生の目から見てそういう大人の腐敗ぶりをまざまざ見せつけられるのは、
> 学生の教育にとって非常に悪影響だと思う。
>
- 112 名前：あぼーん mailto:あぼーん [あぼーん]
- あぼーん
- 113 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 15:50:32.82 ]
- >>107
真理に迫りたい！と思って勉強してたらブラックボックスにするなんて許せないと思うけどな。
与えられた手を駆使してクリアするゲームみたいな感覚なのかな？
- 114 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 17:16:56.05 ]
- T = PA + ¬Con(PA) は第二不完全性より無矛盾だが
明らかに T|-¬Con(PA) で PA は T の部分理論だから T|-¬Con(T) となる
- 115 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 20:09:07.07 ]
- T|-¬Con(T) とならないように普通は「Tは健全な理論」という条件をつけるけど
真偽の概念を使わない条件って何かあるの？
- 116 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 20:10:27.62 ]
- ω無矛盾とすればいいんじゃなかったっけ
記憶違いだったらスマン
- 117 名前：１３２人目の素数さん mailto:sage [2012/07/24(火) 20:23:12.04 ]
- >>116
サンクス
- 118 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 20:30:51.89 ]
- 描
>367 ：匿名希望：2012/07/23(月) 17:23:38.69
> >>365
> 頭悪いのはお前の方だろ？
> 「猫」という字を「描」に間違えやがってｗｗｗ
> 小学生並みの頭の悪さだぞ、お前！
> 焼かれるのはお前の方だろ？
> 外国では猫の丸焼きというゲテモノ料理もあるらしいぜｗｗｗ
>
- 119 名前：１３２人目の素数さん [2012/07/24(火) 22:40:30.35 ]
- Ｔが健全→Ｔがω無矛盾→ＴのΣ1文が健全→Ｔが無矛盾
- 120 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 22:41:03.11 ]
- 描
>367 ：匿名希望：2012/07/23(月) 17:23:38.69
> >>365
> 頭悪いのはお前の方だろ？
> 「猫」という字を「描」に間違えやがってｗｗｗ
> 小学生並みの頭の悪さだぞ、お前！
> 焼かれるのはお前の方だろ？
> 外国では猫の丸焼きというゲテモノ料理もあるらしいぜｗｗｗ
>
- 121 名前：１３２人目の素数さん [2012/07/24(火) 22:59:26.80 ]
- 猫
- 122 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/24(火) 23:00:03.80 ]
- 描
- 123 名前：１３２人目の素数さん [2012/07/25(水) 08:15:48.78 ]
- >>110>>115
Ｔの健全性を仮定すると、
not( T|-¬Con(T) ) となるんですよね？
つまり
not( N|=¬Con(T) ) となるんでしょうが
どう証明しますか？
- 124 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/25(水) 09:52:17.12 ]
- 描
>367 ：匿名希望：2012/07/23(月) 17:23:38.69
> >>365
> 頭悪いのはお前の方だろ？
> 「猫」という字を「描」に間違えやがってｗｗｗ
> 小学生並みの頭の悪さだぞ、お前！
> 焼かれるのはお前の方だろ？
> 外国では猫の丸焼きというゲテモノ料理もあるらしいぜｗｗｗ
>
- 125 名前：STS446 [2012/07/25(水) 23:04:53.60 ]
- 実際レシュタニフスキのメレオロジーやブラウンの形式の法則が
風変りな記法を用いただけの普通の形式体系だって批判があるんだけど
当時の論理学界では例えばフレーゲの概念記法なんかも
パースの存在グラフなんかと同じでかなりトリッキーな記法なんですよね。
あのラッセル・ホワイトヘッドのプリンキピア・マティマテカでさえも
文字化け文みたいなファナティックな記述を使ってる。
やけに論理学黎明期の奴らってのは神秘的記述がすきなんだよねｗ
- 126 名前：描者の品格 ◆ghclfYsc82 mailto:age [2012/07/25(水) 23:39:54.21 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 127 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 05:45:58.23 ]
- 条件法の定義は間違っている
www.amazon.com/gp/cdp/member-reviews/A20USC0GO7RYRK/ref=cm_cr_pr_auth_rev?ie=UTF8&sort_by=MostRecentReview
- 128 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 20:17:47.12 ]
- >>107, >>113
既存の定理を証明を理解しないで使うってことだと思うけど
実際に研究をしていると既存の定理がそのまま使えることは稀で
多くの場合はちょっとした変更が必要になる。
（「本質的に同じ証明で示せる」とかいうことになる。）
だから元の証明を知らないと話にならない。
- 129 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 23:00:31.51 ]
- >>102
"真"の概念がうまく定義できないので代わりに"証明可能"という概念を使って
証明されたのが不完全性定理のはずですが矛盾した論理式を証明可能なことが
証明できてしまうと"証明可能"の地位が揺らいでしまったりしないんでしょうか
- 130 名前：１３２人目の素数さん mailto:sage [2012/07/26(木) 23:40:51.84 ]
- そうならないようにwell-definedにしたわけなので。
- 131 名前：１３２人目の素数さん [2012/07/27(金) 00:47:05.00 ]
- その後JechやWoodinらによって
モデル側の議論だけで
ZFCの第二不完全性定理が証明されたよ。
補題としてIΣ_1やPAやRCA_0にも適用される。
- 132 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 01:30:36.86 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 133 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 01:43:45.86 ]
- >>131
そりゃ面白い、参考文献よろ
- 134 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 01:46:28.99 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 135 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 03:46:00.13 ]
- >>113, >>128
107だが、>>107でも書いたように
俺自身はブラックボックスにすることがいいとは思っていない。
批判があればくるるさんに直接言ってくれ。
>>128
大概の場合はそうだが、例外もある。フォーシングなんかはそういう例外の例。
論理学的な部分はブラックボックスにしたまま独立性証明が出来てしまう。
これまでの数多の応用例で「ちょっとした変更」が必要になるのは
俺の知る限りクラスフォーシングくらいのもの。
いいか悪いかは別として、それでも集合論の研究が出来てしまうのが現実。
一応断っておくが、俺は>>88が間違っていると言いたいわけじゃない。
実際>>88は「そういう見方もできる」って意味で正しい。
ただそういう見方をして研究している人は現代集合論ではいない（いても少数派）ってこと。
- 136 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 07:08:28.35 ]
- 描
>462 名前：１３２人目の素数さん ：2012/07/26(木) 23:54:17.40
> >>461
> 専門学校生が
> 「あらやだイケメンに触られて気持ちいい」
> って思ってたら通報されなかっただろうに
> 気持ち悪いおじさんになるために努力を積み重ねてきた結果
> 「キモ顔のおじさんが、気持ち悪く触ってきて超キモい」
> って思わせることに成功し逮捕されたんだよね
> 努力を実らせた立派な人だと思う
>
>
> 努力して痴漢で逮捕される夢を叶えた描者さんはただ者じゃないと思います
> すばらしい
>
- 137 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 07:43:03.23 ]
- >>107
>そのスローガンが分かりやすいのは認めるが、
>>135
>実際>>88は「そういう見方もできる」って意味で正しい。
正しくて分かりやすいスローガンをどうしてそう必死になって否定する？
- 138 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/27(金) 08:52:20.18 ]
- 描
>462 名前：１３２人目の素数さん ：2012/07/26(木) 23:54:17.40
> >>461
> 専門学校生が
> 「あらやだイケメンに触られて気持ちいい」
> って思ってたら通報されなかっただろうに
> 気持ち悪いおじさんになるために努力を積み重ねてきた結果
> 「キモ顔のおじさんが、気持ち悪く触ってきて超キモい」
> って思わせることに成功し逮捕されたんだよね
> 努力を実らせた立派な人だと思う
>
>
> 努力して痴漢で逮捕される夢を叶えた描者さんはただ者じゃないと思います
> すばらしい
>
- 139 名前：１３２人目の素数さん [2012/07/27(金) 10:04:33.27 ]
- >>133
arxiv.org/pdf/math/9204207.pdf
andrescaicedo.files.wordpress.com/2010/11/2ndincompleteness1.pdf
- 140 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/27(金) 15:16:45.33 ]
- 四値論理は生物の論理
AIOOYA ＝ 真
AIOOYA AMIEE ＝ 宇宙外において真
AIOOYAU ＝ 地球の言語に翻訳不能
AIOOYEEDOO ＝ 偽
個別生物としての真偽／生態系全体としての真偽
真／真 → 真
真／偽 → 生態系外で真
偽／真 → ？
偽／偽 → 偽
- 141 名前：真描vs偽描 ◆ghclfYsc82 mailto:age [2012/07/27(金) 15:33:49.41 ]
- 描
>462 名前：１３２人目の素数さん ：2012/07/26(木) 23:54:17.40
> >>461
> 専門学校生が
> 「あらやだイケメンに触られて気持ちいい」
> って思ってたら通報されなかっただろうに
> 気持ち悪いおじさんになるために努力を積み重ねてきた結果
> 「キモ顔のおじさんが、気持ち悪く触ってきて超キモい」
> って思わせることに成功し逮捕されたんだよね
> 努力を実らせた立派な人だと思う
>
>
> 努力して痴漢で逮捕される夢を叶えた描者さんはただ者じゃないと思います
> すばらしい
>
- 142 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/27(金) 17:03:08.94 ]
- 命題の存在意義／論理の全体性
1. 真から真を導く命題は真
2. 真から偽を導く命題は偽
3. 偽から真を導く命題は真
4. 偽から偽を導く命題は真
a. 論理の中においても外においても真
b. 論理の中では真だが論理の外では偽
c. 論理の中では偽だが論理の外では真
d. 論理の中においても外においても偽
問） 1.?4. と a.?d.を対応づけよ。ただし対応づけない場合は対応づけなくてもよい。
- 143 名前：１３２人目の素数さん mailto:sage [2012/07/27(金) 17:04:21.38 ]
- 問） 1.〜4. と a.〜d.を対応づけよ。ただし対応づけない場合は対応づけなくてもよい。
- 144 名前：真描vs偽描 ◆ghclfYsc82 mailto:age [2012/07/27(金) 17:15:12.29 ]
- 描
量子力学は四値論理
- 145 名前：真描vs偽描 ◆ghclfYsc82 mailto:age [2012/07/27(金) 18:05:57.99 ]
- 勉強や努力が足りなくて優秀になれない奴が惨めな思いをするのは当然
なんだよ。それを自分で何もせずに優秀な人間の足を引っ張るとは言語
道断である。他人を貶めるだけで自分は楽をする奴は恥を知れ。今後も
そういう馬鹿者を発見次第、即刻攻撃を掛けて当該スレを焼け野が原に
するので、覚悟をする様に願いたい。こういう考え方が国家を滅ぼす。
無能な馬鹿は自滅するに任せ、優秀な人材こそを選択的に抽出し、それ
を国家が意図して保護しなければならない。そうする事が国家が生き残
る唯一の道である。繰り返す。何の努力もしない馬鹿を無条件に保護す
れば、その結果として誰も努力しなくなるだけである。だから馬鹿を保
護しては絶対にならない。
描
>みんなで優秀な人間の足を引っ張って沈もうよ。
>そうすれば自分だけが馬鹿で惨めな思いをしなくて
>すむから楽チン。
>一億総白痴可で横並びになれば怖くは無い
>
- 146 名前：１３２人目の素数さん [2012/07/28(土) 19:49:53.45 ]
- 正直
>>139
の証明も数理論理学やゲーデルコーディングの操作を
ブラックボックス化しているので
実質完ぺきな証明とは程遠いのだよな。
- 147 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/28(土) 19:54:16.09 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 148 名前：１３２人目の素数さん mailto:sage [2012/07/28(土) 20:38:58.22 ]
- 中身を理解している人同士がブラックボックスをやりとりするのは問題ない。
- 149 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/28(土) 21:41:13.60 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 150 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/28(土) 22:08:26.99 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 151 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/28(土) 22:14:01.50 ]
-
>超ひも理論は物質の究極の構成要素を点ではなくひもだとするわけですが、
>よく言われるのは「実験対象とナイフの厚みが同じになってしまうので金輪際
>実験なんてできない」というものです。
>
>連続体仮説の解決にこの発想が使えないものでしょうかね。すなわち抽象的な
>理想の座標軸の中に対象物が存在するのではなく、その座標軸そのものも同じ
>「素粒子」で構成されている、という発想をしてみるわけです。集合等の概念を
>構成する「素粒子」のようなものがもし上手く定義できれば、と想像してみるわけ
>です。
- 152 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/28(土) 22:19:29.28 ]
- >なるほど、「実数素粒子物理」のようなものですか
- 153 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/28(土) 22:21:30.03 ]
- 描
- 154 名前：ワシは電波芸人Noだ浩二や ◆ghclfYsc82 mailto:sage [2012/07/28(土) 22:42:05.92 ]
- >論理が他に作用する場合と自己に作用する場合とを区別すればいいんじゃね？
- 155 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/28(土) 22:57:25.47 ]
- 描
- 156 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 00:20:59.73 ]
- ¬(T |- Con(T)) となる条件をロッサーが頑張ってω無矛盾から無矛盾に弱めたのに
肝心の ¬(T |- ¬Con(T)) とするために結局ω無矛盾が必要ってことか
- 157 名前：描者は痴漢 ◆ghclfYsc82 mailto:age [2012/07/29(日) 01:03:28.96 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 158 名前：１３２人目の素数さん [2012/07/29(日) 06:04:32.95 ]
- つまり無矛盾なだけじゃ
自己の無矛盾性は独立命題じゃない。
それに自己の無矛盾性よりも強い主張ならば
（ロッサーの第一不完全性定理に使われる可証性述語）、
自己の無矛盾性が証明できてしまう。
- 159 名前：虐待死の描者 ◆ghclfYsc82 mailto:age [2012/07/29(日) 06:32:51.50 ]
- 描
訂正：
懲戒免職 → 懲戒解雇
>懲戒免職になって、ここまで堕ちたか。
>昔から現実を見れていなかったが、さらにひどくなっているようだ。
>現実と願望が乖離して、願望を現実だと思い込んできているね。
>
>勝手なことを言ったり実行したりしているから、助けてもらえずクビになる。
>ほんとに人生大損だね。
>
- 160 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 15:45:04.74 ]
- >>158
自己とはどんなモデルを指して言っていますか
- 161 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 19:11:28.06 ]
- 到達不可能数ε_0 までの超限帰納法を認めれば Con(PA) が証明できる。
- 162 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 19:15:16.63 ]
- >>87>>91
ロッサーがゲーデル命題の代わりに用いた命題は「この命題の否定は証明を
持たない」という日本語で合ってますか？
- 163 名前：１３２人目の素数さん [2012/07/29(日) 22:09:51.04 ]
- そしてPAはε_0 までの帰納法は証明不可能。
- 164 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 22:49:16.52 ]
- 最小のε数を「到達不可能数」と呼んでるのをよく見かけるが初出はどこ？
- 165 名前：高卒描は数学者に非ず ◆ghclfYsc82 mailto:age [2012/07/29(日) 23:04:53.00 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 166 名前：１３２人目の素数さん [2012/07/29(日) 23:16:52.51 ]
- >>162
「正しくない文は正しい文から証明される。」
- 167 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 23:20:14.37 ]
- 嘘つけ
- 168 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/29(日) 23:21:08.69 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 169 名前：１３２人目の素数さん mailto:sage [2012/07/29(日) 23:50:29.54 ]
- >>163
「そして」というか、>>161と第二不完全性からの帰結だよね？
- 170 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/29(日) 23:58:02.45 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 171 名前：１３２人目の素数さん mailto:sage [2012/07/30(月) 06:57:18.56 ]
- >>164
初出かどうかは知らんが、灯台か兄弟の哲学の院生が、
・ZF の無矛盾性を導く到達不可能基数の存在
・PA の無矛盾性を導くε_0 までの帰納法
を混同してそう呼んでた。紀要か何かの論文集だった。
- 172 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/30(月) 10:45:15.94 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 173 名前：１３２人目の素数さん [2012/07/30(月) 13:16:25.58 ]
- いずれにしろΩ-論理では自己の無矛盾性が証明できる。
ZFC|-Con(ZFC)
- 174 名前：描は偽猫 ◆ghclfYsc82 mailto:age [2012/07/30(月) 13:38:12.63 ]
- 馬鹿が嫉妬してそういう事を延々と続けてるから：
★★★『この国からはマトモな人が誰も出て来ない。国家が傾くだけ。』★★★
ですよね。その結果としてこの国は馬鹿で溢れ返ってしまうんですよね。
たとえ有能な者であっても、自分が努力をして上昇スルよりも、サボっ
て自分が馬鹿になって他人の足を引っ張った方が周囲の理解も得られ易
いし、加えてその方が楽ですからね。だから誰も向上心を持つ事に価値
を見出せない。でもその結果があの国会ですよ、あの国会ね。まあ：
★★★『向上心を持って努力する人を皆で潰す国家に明るい未来なんて有り得ない』★★★
なんですけどね。こうやって国家が滅んで行くんですワ。そして『ソレ
で良し』とするのがその考え方でしょ。まあ沈むのは貴方なんだから、
まあ勝手にしたらエエんだけどサ。こんな嫉妬を正当化スル考え方しか
出来ないから、例えばジョッブスみたいな人材が出ないんですよね、こ
の国からはサ。あの天才ジョッブスでさえ、周囲の馬鹿ゾンビから足を
引っ張られたら、あんな凄い歴史的な実績は残せなかったでしょうナ。
まあ日本にはイノベーションは必要無いから、ソレこそ『同じ穴の狢』
という言い方で、皆で協力して国家を崩壊に導いてるんですよね。
そう、貴方が国家を潰してるんだよ。でもどうぞお好きに潰しなさいな。
私にはもう関係が無いのでね。馬鹿の国だよ、この国は。どうぞ貴方が
国会議員にでもなって、この国の息の根を止めて下さいな。サッサと国
が崩壊したら、皆が一瞬で楽になるヨ。
描
>有能であれば、その卑劣な行為を回避すればいい
>足を引っ張られるのであれば、それは要領がない証拠
>それは有能ではなく無能者である
>
>同じ穴の狢
>
- 175 名前：１３２人目の素数さん mailto:sage [2012/07/31(火) 09:12:32.44 ]
- >>173
Ω-論理って何ですか？
- 176 名前：描は無能 ◆ghclfYsc82 mailto:age [2012/07/31(火) 10:20:39.44 ]
- ソレは絶対にお断りや。こんな有害無益な馬鹿板なんてワシが最後まで
徹底的に焼き払ったるヨ。そやし思いっきり苦しんで耐え忍べや。まあ
『アンタ等は自業自得』っちゅう事やろうナ。執拗な妨害行為が今後も
何年にも亘って延々と続くんを覚悟をスルっちゅう事やろうナ。
ワシはやナ、オマエ等みたいなド馬鹿に謝って欲しいんでも反省して欲
しいんでも何でもナイのや。唯単に崩壊して消えて欲しいだけなんだヨ。
そやからこうやって徹底抗戦をしてや、アンタ等みたいな馬鹿を傷め付
けてるだけなんやワ。そやし早よ諦めろや。
因みにもし「優秀な人の足を引っ張っても良い」のであれば：
★★★『馬鹿の足を思いっきり引っ張っても、ソレは当然の事ながら許される。』★★★
という事にナリマスわナ。
描
>664 名前：１３２人目の素数さん ：2012/07/30(月) 22:05:57.48
> 猫頼むから消えてくれ
>
- 177 名前：１３２人目の素数さん [2012/07/31(火) 16:17:47.43 ]
- >>175
公理的集合論のセマンティック側の推論を利用して
ZFCの内部で展開される新しい論理、ここでは連続体仮設は偽となる。
一階述語論理よりもっと本格的に構成された論理という感じですね。
- 178 名前：描は無能 ◆ghclfYsc82 mailto:age [2012/07/31(火) 16:23:05.01 ]
- ソレは絶対にお断りや。こんな有害無益な馬鹿板なんてワシが最後まで
徹底的に焼き払ったるヨ。そやし思いっきり苦しんで耐え忍べや。まあ
『アンタ等は自業自得』っちゅう事やろうナ。執拗な妨害行為が今後も
何年にも亘って延々と続くんを覚悟をスルっちゅう事やろうナ。
ワシはやナ、オマエ等みたいなド馬鹿に謝って欲しいんでも反省して欲
しいんでも何でもナイのや。唯単に崩壊して消えて欲しいだけなんだヨ。
そやからこうやって徹底抗戦をしてや、アンタ等みたいな馬鹿を傷め付
けてるだけなんやワ。そやし早よ諦めろや。
因みにもし「優秀な人の足を引っ張っても良い」のであれば：
★★★『馬鹿の足を思いっきり引っ張っても、ソレは当然の事ながら許される。』★★★
という事にナリマスわナ。
描
>664 名前：１３２人目の素数さん ：2012/07/30(月) 22:05:57.48
> 猫頼むから消えてくれ
>
- 179 名前：１３２人目の素数さん mailto:sage [2012/07/31(火) 17:13:50.20 ]
- >>177
加算濃度と連続体濃度の間にどんな濃度がありますか？
- 180 名前：描は無能 ◆ghclfYsc82 mailto:age [2012/07/31(火) 17:16:03.29 ]
- ソレは絶対にお断りや。こんな有害無益な馬鹿板なんてワシが最後まで
徹底的に焼き払ったるヨ。そやし思いっきり苦しんで耐え忍べや。まあ
『アンタ等は自業自得』っちゅう事やろうナ。執拗な妨害行為が今後も
何年にも亘って延々と続くんを覚悟をスルっちゅう事やろうナ。
ワシはやナ、オマエ等みたいなド馬鹿に謝って欲しいんでも反省して欲
しいんでも何でもナイのや。唯単に崩壊して消えて欲しいだけなんだヨ。
そやからこうやって徹底抗戦をしてや、アンタ等みたいな馬鹿を傷め付
けてるだけなんやワ。そやし早よ諦めろや。
因みにもし「優秀な人の足を引っ張っても良い」のであれば：
★★★『馬鹿の足を思いっきり引っ張っても、ソレは当然の事ながら許される。』★★★
という事にナリマスわナ。
描
>664 名前：１３２人目の素数さん ：2012/07/30(月) 22:05:57.48
> 猫頼むから消えてくれ
>
- 181 名前：１３２人目の素数さん [2012/07/31(火) 21:53:37.41 ]
- >>179
今では様々な理由から
2^(アレフ0)＝2^(アレフ1)
のほうが自然な解釈だと考えられている。
これは特にマギドアが主張している。
特殊な条件を加えたWoodin基数を仮定すれば
Σ^0_4（？だったと思う）の文までで連続体仮説が偽になるという結果も知られている。
- 182 名前：１３２人目の素数さん mailto:sage [2012/07/31(火) 23:09:42.24 ]
- 聞かれたことに答えず自分の知っていることを喋りたがる香具師…
- 183 名前：１３２人目の素数さん [2012/08/01(水) 10:23:22.96 ]
- 加算濃度と連続体濃度の間には連続体濃度個の濃度がある。
- 184 名前：STS446 [2012/08/01(水) 16:09:09.17 ]
- んで先日都内某所の大型書店の洋書コーナーに立ち寄ったわけ、
するとまあラッセル＝ホワイトヘッドのプリンキピア・マセマティカが
平積みされていて、いつの時代だよ（爆）と。
それでこの本がなかなか煩雑な記述の仕方で
はじめはプログラミング言語か何かだと思ったくらいだね、
数学書でこういった体裁は珍しくて
通常は定義・定理・証明ときどき系と補題って感じなんだけど、
（お、このスレではノートやクライテリオンやアウトプットなんかも入るかな？）
一変、この本はAからZまで論理哲学論考的体裁。
さすが1＋1の証明に60ページを費やした本だね。
んでまぁ一階述語論理の拡張のアイデアとして
量化演算子を加えた様相論理、数学的に拡張されたΩ-論理、
推論規則を削った部分構造論理、
形式体系の真実を明らかにしたオントロジー、なんといっても今はこれだね！
- 185 名前：１３２人目の素数さん mailto:sage [2012/08/01(水) 16:14:43.41 ]
- 論文書く気でないのならさっさとここに書けよ
|
 |
