純粋・応用数学・数学隣接分野（含むガロア理論）15

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

95(1): 2023/08/11(金)09:44 ID:wUP+QyaL(3/6) AAS
>>92
専門家ぶっているのでお尋ねするが
上江洲忠弘
無限に長い命題を持つ論理について
という論文を知っていますか？

98(1): 2023/08/11(金)09:56 ID:rxtETGWs(22/47) AAS
>>95
聞いたことはある
無限論理、というものでしょう

しかし、通常の数学で用いる論理は、そのようなものではない
（了）