Professional Documents
Culture Documents
ABSTRACT
La búsqueda de demostraciones más cortas y simples para los teoremas de las teorías
matemáticas suele ser una necesidad. Dadas sus características, la lógica relevante
podría servir para este fin. En este trabajo se intentará mostrar cómo la teoría R # de
Bob Meyer (Friedman y Meyer 1992), que es una versión relevante de la aritmética de
Peano, podría ser utilizada para acortar y simplificar algunas demostraciones de la
€
teoría de números y, al mismo tiempo, argumentar a favor de una posición pluralista
respecto de la lógica.