Interpretabilidad
En la llògica matemàtica, la interpretabilidad és una relació entre teories formals que expressa la possibilitat d'interpretar o traduir una en l'atra.
La interpretabilidad entre teories formals és una relació que indica que una teoria T pot expressar-se en térmens d'una atra teoria S, usant una funció que transforma el llenguage de T en el llenguage de S. Esta funció deu respectar l'estructura llògica de les fòrmules, és dir, que si una fòrmula de T és verdadera, llavors la seua image per la funció també deu ser verdadera en S. La interpretabilidad és una forma de comparar i relacionar teories formals, i té aplicacions en diversos camps de la llògica, la matemàtica i la filosofia. Per eixemple, l'aritmètica de Peano és interpretable en la teoria de conjunts de Zermelo-Fraenkel, lo que significa que els conceptes i propietats dels número natural poden definir-se i demostrar-se usant els conceptes i propietats dels conjunts.[1][2]
Este concepte, junt en la dèbil interpretabilidad, va ser introduït per Alfred Tarski en 1953. Atres tres conceptes relacionats són cointerpretabilidad, tolerància llògica i cotolerancia, introduïts per Giorgi Japaridze en 1992-1993.
Vore també
[editar | editar còdic]Referències
[editar | editar còdic]- ↑ «Teories. Interpretabilidad Empírica - Ciència i Método Científic» (en és). www.aulafacil.com. Consultat el 2024-02-20.
- ↑ «Text, interpretabilidad i interpretació: llímits i alcances».Chasqui. Revista Llatinoamericana de Comunicació.(135)
- 217–232.Consultat el 2024-02-20.
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Interpretabilidad» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.