@gregmcintyre *All* programs are "mathematically proved." I will reiterate how ludicrous this denialism appears. #creationism
-
-
@dibblego Assuming they halt? -
@gregmcintyre under constructivist intuitionistic logic. Honestly, nobody denies that programming is maths unless they understand neither. - 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.