[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
80: 07/30(水)10:43:33.11 ID:Qr8P8/dc(1/6) AAS
>IUTの当初から、望月氏は 数学基礎論に疎いという話があった(下記)
>私もそうは思うが
初歩の初歩から分かってない無教養が何か言っとるね
217: 08/02(土)00:33:27.11 ID:E5xLBw1U(1/23) AAS
今日も雑談くん大惨敗だね
244: 08/02(土)15:08:07.11 ID:E5xLBw1U(20/23) AAS
てかオチコボレは論理式から勉強しろ
論理式が読めなきゃ論外 数学板から消えろ シッシ
245(1): 08/02(土)17:32:48.11 ID:rqMubN8o(1/3) AAS
自然数0,1,2,…と自然数の全体集合Nの存在性を仮定して
集合Nの元の自然数0,1,2,…を定義したら
循環論法になるだけでなく、ペアノの公理の意味がない
308: 死狂幻調教大師S.A.D.@月と六ベンツ 08/04(月)01:38:45.11 ID:XMEB0CFm(14/18) AAS
経営数学。んーそういう新分野のほうがいいんじゃないの。
493: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)11:34:19.11 ID:f34iaqr/(1/7) AAS
>>492
死狂幻調教大師S.A.D.@月と六ベンツ さん ありがとう
今後ともよろしくお願いいたします
614(1): 08/13(水)18:24:55.11 ID:osN5EEQ4(1/2) AAS
>>610
ja.wikipedia 選択公理 歴史
「クルト・ゲーデルとポール・コーエンによって、
ZF（ツェルメロ＝フレンケルの公理系）から独立であること
（ZFに選択公理を付け加えても矛盾しないが、ZFから選択公理を証明することはできない）
が示された。」
まず、ゲーデルが構成可能宇宙で選択公理が成立することを示した
省4
732(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/17(日)14:46:27.11 ID:TyT53DUJ(4/11) AAS
>>728
>>無限回の繰返し演算について現代数学の理論で十分正当化できる
・君には、C^∞ 級 無限回微分可能と C^ω 級 解析函数と
この差 理解できないだろう
・下記の佐々木浩宣 千葉大「至るところ実解析的ではない無限回微分可能な関数」を百回音読してね
・なお、超関数で シュワルツのは C^∞ 級、佐藤hyperfunctionは C^ω 級 だと言われる （＾＾
(参考)
省37
870: 08/20(水)16:47:28.11 ID:FFMsJxNV(14/16) AAS
こいつは初歩の初歩から分かってないことをごまかすため大量にコピペする悪癖がある
ごまかすくらいならそもそも数学板に来なければいいだけなのにまったく奇特な野郎だ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s