Mi profesor usa una axiomatización lógicamente incorrecta e inconsistente. Después de que se lo señalé, respondió que no le importaba y procedió a pedir ‘pruebas formales’ usando los axiomas en el examen. ¿Cuál es una buena reacción, además de jugar para obtener una buena calificación y seguir adelante?

Answer 1

Honestamente, eso hace que tu examen sea increíblemente fácil, ¿no? Si hay una contradicción en los axiomas dados, entonces cualquier cosa se puede probar fácilmente con el Principio de Explosión . Básicamente, solo necesita probar que P es verdadero una vez y P no es verdadero una vez y luego, para cualquier Q que necesite probar, diga “P o Q es verdadero porque P es verdadero, y dado que P no es verdadero y P o Q es , entonces Q debe ser cierto “para cada pregunta de la prueba.

Ya sabes, si hay una contradicción en los axiomas. Te creo, pero debes verificar tu trabajo para estar seguro.

Si no hay una contradicción en los axiomas, entonces no hay nada de malo en ellos, los axiomas son verdaderos por definición. Si su axiomatización no es equivalente a alguna axiomatización de algún sistema al que esperaba que fuera equivalente, entonces simplemente está en un sistema diferente. No mencionaste de qué curso se trata, ¿tal vez es un curso de Geometría no euclidiana y esta axiomatización incorrecta y lo que puedes probar es el punto completo del curso?

Answer 2

Primero, juegue y obtenga una buena calificación en el examen. Esto es importante ya que las calificaciones son importantes al final. Entonces, en sus exámenes, hágalo como lo desee el profesor.

Después del final del examen, haga un seminario sobre el tema. Invita a ese profesor y a otros profesores también. Exponerlo frente a otros profesores.

PD: Esto funciona mejor cuando el profesor no enseña ningún curso que quieras tomar en semestres posteriores.