>>684
＞計算機による定理の証明の話には、
＞それを専門に研究している工学者しか
＞話をしちゃいけないのか？

なぜ形式的証明の意義という数学の哲学の話に
いきなり工学者がでてくるんだ？唐突だろ？