[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
99(2): 2023/08/11(金)09:59 ID:rxtETGWs(23/47) AAS
>>97 お返しに質問
J.-Y. Girardの linear logic はご存知？
で、linear logicでは、ラッセルのパラドックスや嘘つきパラドックスはパラドックスでない
なぜだか、ご存知？
101: 2023/08/11(金)10:12 ID:wUP+QyaL(5/6) AAS
>>99
質問の趣旨は「無限に長いというだけで出鱈目と決めつけるのはよくない」
ということ
>>J.-Y. Girardの linear logic はご存知？
知らない。しかしだからと言って興味がわかないわけではない。
ラッセルのパラドックスをパラドックスでなくするように
集合概念が整備されたというのが常識だと思っていたが
それとは違う考え方があるというのなら面白い。
108: 2023/08/11(金)14:37 ID:rxtETGWs(25/47) AAS
>>99
>「無限に長いというだけで出鱈目と決めつけるのはよくない」
で、まさか、上江洲氏の論理で
「任意の２つの無限列が尻尾同値である」
と証明したのかね？君は
そうでないなら、いうだけ無駄
利口ぶった馬鹿って迷惑なだけだから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s