[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
196(1): 2020/04/05(日)09:07 ID:cTzpxuVq(7/15) AAS
>>193
＞君こそ野矢茂樹の論理学を読むべきだ
野矢茂樹の論理学は、哲学系の論理学で（下記）、数学の論理とはちょっと違うところがあると思う
（野矢茂樹を読んでないので、外しているかもしれないが）
哲学系の論理学：自然言語に近い論理学で、厳密に定義されていない対象も扱う
数学の論理学 ： どちらかと言えば、コンピュータ言語に近い。厳密に定義されていない対象は扱えない
なので、数学の議論に、「野矢茂樹の論理学」はナンセンスだと思うよ
省6
上下前次1-新書関写板覧索設栞歴
あと 806 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s