El despojo de la intuición mediante los modelos isomorfos en la teoría axiomática
Este trabajo se enfoca en el problema epistemológico que supone el desdoblamiento de una teoría axiomática entre formalismo e intuicionismo. La propuesta aquí planteada pretende despojar el intuicionismo originario de los axiomas mediante la evocación a una correspondencia entre los modelos isomorfo...
Autor principal: | |
---|---|
Formato: | Online |
Idioma: | spa |
Publicado: |
Universidad de Costa Rica
2020
|
Acceso en línea: | https://revistas.ucr.ac.cr/index.php/filosofia/article/view/43015 |
Sumario: | Este trabajo se enfoca en el problema epistemológico que supone el desdoblamiento de una teoría axiomática entre formalismo e intuicionismo. La propuesta aquí planteada pretende despojar el intuicionismo originario de los axiomas mediante la evocación a una correspondencia entre los modelos isomorfos, esto es, los modelos cuya estructura lógica es semejante. |
---|