18/11/27 04:54:27.87 3I2v7vYr.net
数論の勉強をしながら、妄想が膨らみますが、証明の最大長が存在する公理系や、
証明の最大長が存在しない公理系を作れるのではないかって。昔からやってる
人はいるかもですが、この辺りが未来の数学の肝だと思っています。
18/11/27 04:54:27.87 3I2v7vYr.net
数論の勉強をしながら、妄想が膨らみますが、証明の最大長が存在する公理系や、
証明の最大長が存在しない公理系を作れるのではないかって。昔からやってる
人はいるかもですが、この辺りが未来の数学の肝だと思っています。