Tony Morris

@dibblego Same here. I guess we won't agree on this one.

@gregmcintyre On what do you disagree exactly? Are you seriously denying C-H?

@dibblego No, I think it's definitions and assumptions. By programming I mean something like: satisfying requirements with programs.

@dibblego Mathematically proved programs have their place but often exist in an internally consistent bubble and break when exposed to wind.

@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.

@dibblego You say that a lot. Do you have a longer form article or writing on it? I'd happily read it.