¿Se deben usar computadores en demostraciones matemáticas?

Aquí os dejo un artículo sobre Kenneth Appel y su contribución a las matemáticas.