| ▲ | gowld 2 hours ago |
| Mathematicians care about interesting ideas, not whether their theorems are true :-) |
|
| ▲ | groundzeros2015 2 hours ago | parent [-] |
| They care about if it’s true. But the role of the formal proof is a kind of spell checker or static analysis after they have the idea. |
| |
| ▲ | j16sdiz 2 hours ago | parent [-] | | > They care about if it’s true. Not always. If it is NOT true, they sometimes simply play "what if" and construct a new system where it could be true. | | |
| ▲ | BigTTYGothGF 3 minutes ago | parent [-] | | > If it is NOT true, they sometimes simply play "what if" and construct a new system where it could be true. I trust you have some examples of this? |
|
|
