La prueba por agotamiento es el método de prueba menos atractivo desde una perspectiva estética. Una prueba exhaustiva consiste en verificar literal (y exhaustivamente) cada elemento del universo para...La prueba por agotamiento es el método de prueba menos atractivo desde una perspectiva estética. Una prueba exhaustiva consiste en verificar literal (y exhaustivamente) cada elemento del universo para ver si la afirmación dada es cierta para ello. Por lo general, por supuesto, esto es imposible porque el universo del discurso es infinito; pero cuando el universo del discurso es finito, ciertamente no se puede argumentar la validez de una prueba exhaustiva.
Se ha dicho que “Dios inventó los enteros, todo lo demás es obra del Hombre”. Esto es una traducción errada. El término “enteros” debería ser en realidad “números enteros”. Los conceptos de valores ce...Se ha dicho que “Dios inventó los enteros, todo lo demás es obra del Hombre”. Esto es una traducción errada. El término “enteros” debería ser en realidad “números enteros”. Los conceptos de valores cero y negativos parecen (para muchas personas) ser construcciones antinaturales. En efecto, por lo demás todavía se sabe que las personas inteligentes se oponen al concepto de una cantidad negativa — “¿Cómo puedes tener tres manzanas negativas?” El concepto de cero también es algo profundo.
