おいら数学屋なんですが、
よくプログラミングが定理の証明とみなせるといわれるのはいかなる意味においてなのでしょうか？
知ってる人がいたら是非教えてください。