You more than likely don't understand relativity but you accept that is right. Why is correctness in code different?
@rioter because of the process by which others come to know it is right. Applies exactly the same to programming.
-
-
@dibblego do you think other fields have such strong opposition to proofs though?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego seems unique to programming? -
@rioter Programmers have a remarked aversion to proofs, precisely because programming is exactly the act of proof-writing.#pragmatism
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.