[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
25(1): 11/01(土)12:59:10.67 ID:r8CZePHW(1) AAS
去年の研究集会で
「私はできるだけinformalなスタイルでお話ししたいと思う」
と語っていた人が
今年は
「個人的にはHartshornの本はあまりにもformalなので好きではない」
と言っていた。
34: 11/01(土)21:53:38.67 ID:i+EantH6(7/13) AAS
古新聞だよ
102: 11/04(火)04:36:31.67 ID:edKQSXTM(1/5) AAS
>>90
>非数学に逃げた時点で、おれの優勢勝ちが決まる
全く努力しないのに勝負する時点でカラスの世田は負けてる
おまえは負けた おまえは死んだ もうあきらめろ
先祖の出身地 広島廿日市に帰って 牡蠣でもとってろ
246: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/04(火)23:23:17.67 ID:yzUd5nV9(8/9) AAS
つづき
arXiv:1102.1773v4 [math.LO] 30 Apr 2014
arXiv
外部ﾘﾝｸ:arxiv.org›pdf
PDF
C McLarty 著 · 2011 · 被引用数: 14 — This paper removes the objection by proving the large structure theorems at the logical level of finite order arithmetic. Finite order ...
含まれない: Symbol. Logo
The Review of Symbolic Logic: Volume 13
Cambridge University Press & Assessment
外部ﾘﾝｸ:www.cambridge.org›journals
省17
270: 11/05(水)14:14:07.67 ID:FFxAuNzB(2/11) AAS
>>252
>>261への回答が無いんだけど、君、
外部ﾘﾝｸ:ja.wikipedia.org
ゲーデルの不完全性定理の系の1つとして、以下の3つの属性を同時に満足するような二階述語論理の推論体系は存在しないとされた[4]。
（健全性）証明可能な二階述語論理の文は常に真である。すなわち standard semantics に従ったあらゆるドメインで真である。
（完全性）standard semantics において常に妥当な二階述語論理の論理式は、全て証明可能である。
（実効性）与えられた論理式の並びが妥当な証明かどうかを正しく決定できる証明検証アルゴリズムが存在する。
この系を言い換えると、二階述語論理は完全な証明理論に従わない、とも言える。この観点で、standard semantics を伴った二階述語論理は一階述語論理とは異なり、そのせいもあって論理学者は長年、二階述語論理に関わることを避けてきた。ウィラード・ヴァン・オーマン・クワインは二階述語論理は「論理」ではないと考える理由としてこれを挙げている[5]。
くらいは読んで理解したうえで言ってるんだよね？
319: 11/06(木)00:03:25.67 ID:24EBkQLZ(1/2) AAS
そして一階述語論理をいまだに誤解して直せない。何が間違っているのかすらわからない無能。
539(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)23:36:37.67 ID:P9qVEF++(23/25) AAS
>>533
はずれですよ
>望月新一は、
>「通常の方法ではABC予想は証明できないから、IUTを考えた」
その話は、下記の
”§1.Hodge-Arakelov 理論的動機付け”
”§3.対数・テータ格子”
を、音読してね
ZFCは、出てこないよ
さて
省19
587(1): 11/09(日)11:10:23.67 ID:CA6TFgJW(14/64) AAS
>>568
（天皇）
＞しかし「いるだけの存在」は続き決して無くなることはなかった。
日本人は骨董マニア（笑）
＞それどころか歴史の要所要所で存在感を発揮した。
＞勝てば官軍負ければ賊軍、王政復古の大号令、皇軍、等。
明治以降の政府が天皇を利用しただけ
天皇自身は基本何もしてない
明治天皇は何した？ 言えないだろ？ だって何もしてないもん（笑）
＞先の大戦の敗戦により敗軍の将となり
省27
995: 11/15(土)20:56:52.67 ID:l8wHo4pb(10/13) AAS
>>994
数学が分からん奴でも分かる学問があって良かったな 世田君
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s