Pruebas y Refutaciones es un libro escrito por Imre Lakatos filósofo de las matemáticas y de la ciencia exponiendo su visión del desarrollo y progreso del conocimiento matemático. El libro está escrito como una serie de diálogos socráticos en los cuales participa un profesor y un grupo de estudiantes (quienes llevan el nombre de las letras del alfabeto griego) que debaten sobre la demostración de la Característica de Euler; tal como es definida para un poliedro.