Tony Morris

My opinion on whether maths is programming was formed when studying B at uni. That opinion is: hahahahaha. @tobyhede @dibblego @mwotton

@gregmcintyre @tobyhede @mwotton It's not an opinion. It's an established fact.

@dibblego Then I can only assume one of your earlier proofs was faulty.

@gregmcintyre i might say, denialism of a well-established fundamental fact of programming looks ludicrous to me.

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