Origen Y Formacion En Las Placas Tectonicas
El sistema axiomático es, desde los tiempos de la geometría griega, la forma típica de presentar el cálculo o el lenguaje formalizado
Lo característico del sistema axiomático comorealización de la idea de cálculo consiste en disponer de un conjunto de enunciados o fórmulas que se admiten sin demostración y a partir de los cuales se obtiene todas las demás afirmaciones de lateoría, los cuales se llaman teoremas.
TEOREMA:
Un teorema requiere de un marco lógico; este marco consistirá en un conjunto de axiomas (sistema axiomático) y un proceso de inferencia, el cualpermite derivar teoremas a partir de los axiomas y teoremas que han sido derivados previamente.
Las formulas aceptadas sin demostración se llaman axiomas o postulados
El conjunto de axiomas, más ladefinición de enunciado o formula del sistema (definición que precede al enunciado de axiomas) y el conjunto de reglas para la obtención de teoremas a partir de los axiomas (reglas de transformaciónconstituyen la base primitiva del sistema)
Suele distinguirse entre sistema axiomático:
* Formalizados
* No formalizados
La diferencia principal entre unos y otros consiste en que losformalizados, que son los que realiza claramente la idea de cálculo, presentan explícitamente las REGLAS de Transformación, mientras que los otros no lo hacen.
LENGUAJE Y METALENGUAJE
LENGUAJE._ Ellenguaje consta de signos convencionales símbolos que son sustitutos de los objetos.
En el lenguaje podemos distinguir diversos planos o niveles.
En el primer plano –plano de signos-nos encontramos enel nivel del lenguaje.
En el segundo plano, en el tercero, etc. Nos encontramos en el nivel del metalenguaje
Es un lenguaje que se usa para hablar acerca de otro lenguaje.
Ejemplo:
Si decimos“el ser humano es un mamífero”, nos encontramos en el plano del lenguaje, pues utilizamos la palabra “ser humano” como signo de la realidad que a ella corresponde. Pero si decimos “ser humano” es el...
Regístrate para leer el documento completo.