Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
38(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:24 ID:KYsCHIBD(5/17) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
自然数
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
具体的な自然数は
省18
42: 08/23(土)13:34 ID:18cyucpd(9/17) AAS
>>38
自然数もペアノの公理もぜんぜん分かってないオチコボレが長々とコピペしても無駄
43(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)13:44 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
62: 08/23(土)17:23 ID:XQOxXTSd(2/6) AAS
>>36
>21世紀では
>”素朴集合論”というか自然言語を援用する論理が
>復権している気がする
⋀も⋁も∀も∃も読めない高卒 ◆yH25M02vWFhPの妄想
>勿論、自然言語→形式論理に翻訳できることを確認しながらね
自然言語を論理式に翻訳できない高卒 ◆yH25M02vWFhP（笑）
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s