4 ms·
The question of whether machines can write proofs that can be "human checked" is the far more interesting question to a mathematician. Maybe Devlin should firs
by bumbledraven 12y ago
The question of whether machines can write proofs that can be "human checked" is the far more interesting question to a mathematician.
Maybe Devlin should first stop denying that humans can write proofs that can be both human- and machine- checked. Then we can talk about whether machines can write those proofs.
- dvanduzer 12y agoHumans can definitely write proofs that can be checked by humans or machines. It's arguing in bad faith to suggest that mathematicians are un-qualified to determine the validity of a machine-checked proof. There are certainly some stodgy holdouts that will never be convinced, but I don't think Devlin is one of them.