En Matemáticas, un teorema no se da por válido hasta que no se demuestra. Para ello no es suficiente una comprobación, ni siquiera un número conssiderable de comprobaciones. También se pueden dar supuestas demostraciones con errores más o menos ocultos. Por tanto, las demostraciones requiren de un rigor sin el cual podemos encontrar que la raíz cuadrada de 2 vale 2 o que 1=2

Mediante ordenador presentaremos varias supuestas demostraciones de afirmaciones evidentemente falsas. Se trata de encontrar dónde está el error en esos razonamientos. Dos alumnos responderán a las dudas que le surjan al visitante.