[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
986: 2020/06/19(金)23:53:56.59 ID:qXfDhvSl(19/19) AAS
個体変項と個体定項しかないタブローで数学をどれくらい表現できるのか
が問題だな
等号や不等号はおｋ
集合に属するか属さないかはおｋ
集合の性質に関するものも一応おｋ
これは性質をどれくらい反映できるかによると思う
数理論理学は何をやってんだろ
自然演繹なんて∧の導入や除去はわかりやすいけど
∨の導入・除去はわかりにくい
そんなものが普及するはずもない
省2
987: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/06/19(金)23:59:08.59 ID:imq2ACd0(1) AAS
新スレ立てました
ガロアスレ復活しましたｗ
（皆さんが、ガンバってくれたお陰です。ありがとう！（＾＾）
純粋・応用数学（含むガロア理論）2
2chｽﾚ:math
999: 2020/06/20(土)05:33:41.59 ID:Knd5V/HY(7/8) AAS
生め
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s