Inter-universal geometry と ABC予想 (応援スレ) 74 (881ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
43(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:44:09.09 ID:KYsCHIBD(7/17) AAS
>>38 補足
>外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
>Boolean valued higher order logics
>池上大祐 東京電機大学 平成27年11月28日
外部ﾘﾝｸ[html]:www.mathsoc.jp
数学基礎論若手の会
2015年 筑波大学館山研修所 竹内耕太
省14
78(1): 08/23(土)21:18:36.09 ID:KfxzMKVc(3/4) AAS
ハリネズミに踏まれたセロテープみてえに
ねっとりねっとりｽﾙﾙｴに粘着しやがってよぉ…
87(1): 08/23(土)23:15:00.09 ID:18cyucpd(15/17) AAS
>>85
>それ、君だろ？（下記）ｗｗ ；ｐ）
サル発狂
とうとう自分と他人の区別もつかなくなったかｗ
152(2): 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)08:29:26.09 ID:1MD2qx+9(13/28) AAS
数学者に哲学がわかるものか。
192(1): 08/25(月)17:50:26.09 ID:O3poJvHG(5/8) AAS
>>191
誰が構成主義と？ 実無限を認めないと？
まーた幻聴かい？ 言ってないことが聞こえるのは病気だよ
193: 08/25(月)17:52:27.09 ID:iXlQT2JW(2/7) AAS
>>191
誤 「無限回繰り返し可能な有限回操作」
正 「任意有限回繰り返し可能な、有限文字数で表記可能な操作」
ここいい間違ったら馬鹿として爆死
＞実無限は「その無限回繰り返しが完了した」ことまでも意味する。
そう定義するなら実無限は実現できない（笑）
数学の無限はどれ一つとして上記の意味の実無限ではない
省10
299: 死狂幻調教大師S.A.D.@月と六ベンツ 08/26(火)17:45:19.09 ID:5aeR4Epj(49/50) AAS
迷惑なことをやると迷惑でないものが迷惑になる。
313(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)23:37:37.09 ID:dSyweoWi(3/4) AAS
>>308-312
村田 全先生
「ベールの有限主義は論理的には強固であっても，実際にはかえってやっかい厄介になり，しかも自然数の自然列は誰もが同じ心像をもつ（らしい）のでこれを認めるが・・・」
と記す
まあ、他人が”有限主義”であっても、どうしようもない
個人の自由ですからね
？ 数学科生だって？ そりゃ 君 ”有限主義”やってれば 数学科ではオチコボレは必定だよｗ ；ｐ）
省23
537: 08/30(土)17:45:38.09 ID:fr4NlS//(12/12) AAS
実は実数やら集合やら述語論理やらというのは、
いままでナイーブに考えてきたことがうまくいかない
という壁を乗り越えるために考えられてきたのであって
そういう意味ではメチャクチャ現実的なのである
いやしくも大学に入って
「俺様は知識人だ」というツラをして
非大卒を睥睨したいのであれば、
省6
695: 09/02(火)21:28:17.09 ID:fZOAs2Xe(1/3) AAS
ゴミがまたなんかいってるよ。
圏論が述語論理で記述されてないとかまったくなんにもわかってない。
どこまで頭わるいんやろ
759(1): 09/05(金)08:11:35.09 ID:yXqL6vjN(3/10) AAS
MSがやろうとしてることは、どうもPaul Cohenのforcingの代数版らしいが
それにしては、あまりにもlogicについて何も知らなくて
すっげぇ、naiveなことやってるから、そりゃ、Peter Scholzeじゃなくても、
ツッコミどころ満載だろう
同じくlogicに無知なフェセンコやカトブンごときが何をいっても無駄
817: 09/07(日)07:59:32.09 ID:CTxYlvA3(7/14) AAS
「死狂幻調教大師S.A.D.@月と六ベンツ」の場合
書き込み自体が無意味なので、真とか偽とかいう以前
最強といえば最強（笑）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.270s*