groundzeros2015 3 hours ago

The link is exactly what I’m saying. I only hear cs people talk about it.

For mathematicians a proof is a means to an end, or a medium of expression - they care about what they say and why.

The correspondence isn’t about C programs corresponding to proofs in math papers. It’s a very a specific claim about kinds of formal systems which don’t resemble how math or programming is done.

▲

gowld 2 hours ago | parent [-]

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?