[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
301(2): わかるすうがく 近谷蒙 ◆nSGM2Czuyoqf 2023/01/02(月)10:51 ID:bB/h5A70(3/14) AAS
>>300
率直にいって、嘘つきのパラドックスを
「この文章はウソである」
という人は、嘘つきのパラドックスが分かってない
なぜなら
この文章＝「この文章はウソである」
という関係は、云ってる人が勝手に思ってることだからである
省9
305(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/02(月)11:52 ID:qZFMMNjk(2/8) AAS
>>301
>ハスケル・カリーすげぇ
> 外部ﾘﾝｸ:ja.wikipedia.org
そっちは、迷走でしょう
まずは、下記のラッセルのパラドックスから、スタートでしょう
そして、下記ラッセルでは触れていないが、一階述語論理についても触れないと
(参考)
省16
344(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2023/01/03(火)10:54 ID:aZhrx//w(5/31) AAS
>>333
(引用開始)
>>309
> そりゃ、そうだろ
> ゲーデルが、不完全定理の証明に、果たして何年の歳月をかけたのか？ は知らず
> 希代の天才 ゲーデルが、何年もの歳月をかけて、心血そそいだ証明が､
> 私に自分の実力で説明できるわけないし
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s