how do i prove programs correct

does it really help to make bug-free programs? or was dijkstra full of crap?

>>24
Turing was a fucking faggot. His opinions are invalid. Do not mention him.

Church was a genius and deserves the credit.