Dear educators, You are producing self-described programmers who deny the mathematical foundations of programming. Please help.
@evolvable no you can't. Please stop the denial of a fact that was established decades ago. It is fucking tragic.
-
-
@dibblego@evolvable what maths is involved in a logon screen? ( learning question, be gentle ) -
@jonoabroad@evolvable Types are propositions, programs are proofs. Including that program. Yes even that one.
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.