2 ms·
> But any proof or any other kind of verification not carried out or verified by a computer is not formal. Very suprised to hear this from someone who wrote th
by tome 10y ago
> But any proof or any other kind of verification not carried out or verified by a computer is not formal.
Very suprised to hear this from someone who wrote this very article on the nature of computation!
- pron 10y agoIt was an informal statement :) In any event I said deduction rules or a computer, by which I meant some tool that can reduce the rote effort, and that we can be sure is itself correct.