Inter-universal geometry と ABC予想 (応援スレ) 74 (882ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
65: 08/23(土)17:39:59.23 ID:XQOxXTSd(5/6) AAS
>>64のつづき
■二階論理とメタ論理学の成果
ゲーデルの不完全性定理の系の1つとして、以下の3つの属性を同時に満足するような二階述語論理の推論体系は存在しないとされた。
（健全性）証明可能な二階述語論理の文は常に真である。すなわち standard semantics に従ったあらゆるドメインで真である。
（完全性）standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。
（実効性）与えられた論理式の並びが妥当な証明かどうかを正しく決定できる証明検証アルゴリズムが存在する。
この系を言い換えると、二階述語論理は完全な証明理論に従わない、とも言える。
省8
80(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)22:15:12.23 ID:KYsCHIBD(12/17) AAS
>>70
これは これは ヒキコモリ数学者の 基礎論研究くんか？
お元気そうでなによりだ
まあ、がんばれよ
>>71-75
こっちは、数学科オチコボレさんのおサルさんかい？（>>10 ）
>>36-37 に書いたが
省33
176: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)15:05:39.23 ID:1MD2qx+9(19/28) AAS
四面楚歌の故事を超える。虞美人に俺は礼。
184: 08/25(月)15:16:09.23 ID:2nTStp6p(1/2) AAS
数学理解しなくてもいいが、
だったら未練たらしく数学板に書くなよ
みっともない
221: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)05:49:20.23 ID:5aeR4Epj(14/50) AAS
大金巻き上げられていってみたい？誰かさんたちみたいに。しかし慈善団体に寄付するだけさ。
378(1): 08/27(水)13:39:20.23 ID:SKcxMCpo(17/21) AAS
>>374
372を読んで、まだ自分が馬鹿だと気づかないなら、いっぺん●んだほうがいい
409: 08/27(水)17:09:42.23 ID:yteK2WxD(10/10) AAS
>>408
332のツッコミの理由を指摘されて恥ずかしいからってしらばっくれる馬鹿
哀れだね
421(2): 傍観者 08/27(水)19:50:06.23 ID:/+rTkgpZ(3/6) AAS
>>410
＞考えていることにそんなに違いはないんじゃないの？
＞やり取りにはちょっとしたニュアンスの違いは付き物なのに、
＞妙に強い言葉を使うから拗れてしまっているだけなような気もするが。
もともと殴り合いしに来てるみたいだから
殴り合いさせとけばいいんじゃないかな？
541(2): 08/30(土)22:09:10.23 ID:dKFmS13a(27/30) AAS
>>539
>A=S3=S(S(S(ω)))＝{0,1,2,・・・,ω,S(ω),S(S(ω))} としよう
これは酷い。
S(S(ω))∈S(S(S(ω)))∧¬S(S(S(ω)))∈S(S(S(ω))) だから S(S(S(ω)))は帰納的集合ではない。よってAにはなり得ない。
こんな初歩の初歩の初歩から分かってないとは酷いにも程がある。
583(1): 08/31(日)16:19:54.23 ID:ptzEvizv(18/26) AAS
>>566
やっとわかったｗ この馬鹿「帰納的集合」を「無限集合」と呼んでやがるな とんでもない大馬鹿野郎だ
（引用開始）
１）下記 未確認飛行 Cさんが、面白い
1つ無限集合 a を選び、「x は無限集合である」という命題 M(x)
a の「冪集合」P (a)で、無限集合の族 a^ ＝ {x ∈P(a) | M(x)}を作る
a^ の全ての元の共通部分 ωa ＝ ∩a^
省2
601(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/31(日)22:45:58.23 ID:lylF2dxQ(9/10) AAS
>>600
ふっふ、ほっほ
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ ；ｐ）
(参考)
省22
807(1): 09/07(日)06:54:06.23 ID:CTxYlvA3(1/14) AAS
>>801
>”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”は、ノイマン宇宙でも同じでは？
V_nって宇宙だろ？ だったら違うな
ZFCの最小のモデルでは、集合である宇宙が1つもない
モストフスキ崩壊補題とかいう以前の初歩
>>802
>人工無脳はコピペするだけで内容は読めねーのな
省3
845: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:28:50.23 ID:bTpJAS/P(23/33) AAS
シスターみたいな修士もかなり大事な時期かもよ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s