数学は決定論だから非決定論的世界を記述できない

数学は決定論だから非決定論的世界を記述できない (27ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

2(2): 2024/09/17(火)22:02 ID:dDOwUrlR(1) AAS
数学を拡張した場合、カリーハワード対応における、型理論側の対応物はどうなる？

12: 2024/09/28(土)09:39 ID:bKBH8raC(1) AAS
>>1,2
くだらん

14: 2024/10/16(水)15:45 ID:QRlDARl1(1) AAS
>>2
様相論理かもしれないべきやもしれない