形式的には、数学 = 数理論理 + 組合せ論じゃん？

形式的には、数学 = 数理論理 + 組合せ論じゃん？ (4ﾚｽ)
上下前次 1-新

1: 01/13(月)02:38 ID:0bXSF/kj(1) AAS
将棋AIみたいに解析できないの？

2: 01/13(月)07:32 ID:S0etnbV6(1) AAS
働けウンコ製造機

3: 01/13(月)13:00 ID:VAFmCUzy(1) AAS
アイデアがあるならやってみたらいいじゃん
お前が先駆者だ

4: 01/13(月)22:05 ID:VRUxpmcw(1) AAS
チャイティンのオメガを収束させる試み