← Back to context

Comment by gowld

1 day ago

Mathematicians care about interesting ideas, not whether their theorems are true :-)

5 comments

gowld

Reply
groundzeros2015  21 hours ago

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  21 hours ago

    > 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.