@inkytonik Without knowingly thinking in mathematical terms, but doing so anyway. This is ultimately why denial is so insidious in practice.
@inkytonik programming is the act of constructing a logical proof. Denial of this fact does not alter its truth value.
-
-
@dibblego ok but that's not the same thing as saying that every programmer has to think in terms of props and proofs -
@inkytonik I never said they had to. I said they are in fact doing mathematics. Just like I might also pick my bum without knowing it. - Show replies
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.