[過去ログ] 純粋・応用数学・数学隣接分野(含むガロア理論)15 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
97(1): 2023/08/11(金)09:53 ID:wUP+QyaL(4/6) AAS
95には誰も即答できなかったが
だからと言ってこれが
出鱈目な論文だということにはならない
99(2): 2023/08/11(金)09:59 ID:rxtETGWs(23/47) AAS
>>97 お返しに質問
J.-Y. Girardの linear logic はご存知?
で、linear logicでは、ラッセルのパラドックスや嘘つきパラドックスはパラドックスでない
なぜだか、ご存知?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.096s*