Documentos de Académico
Documentos de Profesional
Documentos de Cultura
002 Funda01 PDF
002 Funda01 PDF
CHINEA
SOBRE FUNDAMENTACIN
1. La axiomatizacin
1.1. Axiomatizar
1.2. Estructura de un sistema axiomtico
1.3. Qu es la metamatemtica?
2. La concepcin de la matemtica
7. Consistencia y Completitud
10. Bibliografa
[Regresar]
1. LA AXIOMATIZACION:
1.1. Axiomatizar:
[Regresar]
El objetivo bsico del diseo de S es que sea completo, esto es, que
cualquier enunciado bien formado en S sea un axioma o un teorema.
regresar
1.3. Qu es la Metamatemtica?:
Por otro lado, un enunciado como este "el enunciado '8 + 2 = 10' pertenece
a S" no es un teorema de S, sino de la metamatemtica S' de S.
[Regresar]
2. LA CONCEPCION DE LA MATEMATICA:
[Regresar]
"I. Trazar una lnea desde un punto cualquiera a otro punto cualquiera.
(Por cada punto, y para cada longitud existe un crculo de centro el punto y
de radio tal longitud)
"V. Si una recta, al incidir sobre otras dos, forma del mismo lado ngulos
internos menores que dos rectos, las dos rectas prolongadas al infinito se
encontrarn en el lado en que estn los ngulos menores que dos rectos."
(Si una recta corta a otras dos y no forma ngulo recto con ambas, las dos
rectas se cortarn)
[Regresar]
Fueron varias las razones por las que ya los griegos no consideraron
autoevidente este axioma. En l se hablaba de rectas que se tocaban "en el
infinito", pero qu es el infinito?. Se hablaba de algo que ocurrira en
regiones remotas del espacio, no abcesibles. Euclides define las lneas rectas
como lneas situadas en un plano que, "prolongndose indefinidamente en
ambas direcciones, no se encuentran". Por consiguiente, decir que dos lneas
son paralelas es sentar la afirmacin de que no se encontrarn ni siquiera
"en el infinito". Pero los antiguos griegos conocan ya lneas que, aunque no
se cortan en ninguna regin finita del plano, se encuentran "en el infinito":
las lneas asintticas.
Sospechaban que pudiera ser una proposicin decidible desde las otras
cuatro del sistema axiomtico de Euclides.
[Regresar]
[Regresar]
[Regresar]
Pero, aunque pueda parecer concluyente el mtodo del modelo, resulta que
con su utilizacin el problema no se resuelve, sino que se desplaza, al apelar
a la consistencia previa de un modelo que, realmente, no ha sido probada.
Se intenta, en el caso de la Geometra Riemmaniana, probar su consistencia
apelando a la consistencia, no absolutamente probada, de la geometra
euclidiana.
[Regresar]
[Regresar]
a.1) Variables:
a.2) Signos constantes, o conectores (v, -->, <-->, ...), que sirven para
conectar las variables proposicionales.
b) Reglas de Formacin:
c) Reglas de Transformacin:
F1
F 1 ---> F 2
d) Los Axiomas:
p v p ---> p
p ---> p v q
p v q ---> q v p
Hay una propiedad general que verifican las frmulas del sistema axiomtica
definido para la lgica de proposiciones:
En efecto: Sea el teorema p ---> (no-p ---> q), fcilmente derivable de los
axiomas. Sustituyendo la variable p por F ser: F ---> (no-F ---> q). A
partir de aqu, y juntamente con F, que se ha supuesto demostrable, se
obtiene por aplicacin de la regla de separacin:
no-F ---> q
Tratemos de encontrar una propiedad de los axiomas del sistema que sea
hereditaria a todos los teoremas. Bastar ver si una frmula dada tiene esa
propiedad para saber si es teorema o no lo es.
Ya solo falta encontrar una frmula que no sea tautologa. Bastara, por
ejemplo, la frmula p v q. Esta frmula no es tautologa. No es cierta
siempre, independientemente de los valores de las variables que intervienen
en su expresin, p y q.
Luego, p v q no es un teorema.
[Regresar]
7. CONSISTENCIA Y COMPLETITUD:
[Regresar]
Como quiera que una de las dos frmulas sirve para codificar una verdad
aritmtica, y ninguna de las dos es derivable de los axiomas, el sistema es
incompleto.
[Regresar]
---------------------1-------------------- "no"
v --------------------2--------------------- "o"
--------------------3----------------- "implica"
= ----------------------5---------------------- "igual"
0 ------------------------6------------------------ "cero"
s -----------------------7-------------------- "siguiente"
x -------11------------------- p -------112
P---------- 113
Q ----------133
R---------- 173
...... ......
(
x)(x = sy)
Para asignarle, a partir de esto, un nmero Gdel a cualquier otro signo que
no aparezca en el vocabulario fundamental expuesto ms arriba, ser
preciso definirlo con la ayuda de los signos ya enumerados. En este sentido,
Gdel prob previamente la suficiencia de los diez signos constantes ms
arriba enumerados, para definir cualquier otro signo constante que pudiera
aparecer en el vocabulario lgico. As, por ejemplo, la conjuncin "p q"
queda definida por la expresin "~(~p v ~q)".
n_ = 2n1x3n2x ... pk
No todo nmero entero es un nmero Gdel. Solo aquellos que admiten una
descomposicin en potencias de primos sucesivos desde el 2. No son
nmeros Gdel los siguientes:
10 = 2 x 5, 100 = 22 x 52 ; 27 = 33 ; 15 = 3 x 5; ...
[Regresar]
Una vez construido el vocabulario dado por los nmeros Gdel, aparece el
segundo paso del proceso: la aritmetizacin de la metamatemtica.
La idea bsica es que, puesto que toda expresin del clculo est asociada a
un nmero (su nmero Gdel), podr construirse una proposicin
metamatemtica acerca de las expresiones y de sus recprocas relaciones
como una proposicin acerca de los correspondientes nmeros Gdel y de
sus recprocas relaciones aritmticas.
[Regresar]
Se parte de la frmula:
(
x)(~Dem(x,z))
(
x)(~Dem(x, sust(y,k,y)))
(
x)(~Dem(x, sust(y,k,y)))
(
x)(~Dem(x, sust(n,k,n)))
"la frmula (
x)(~Dem(x, sust(n,k,n))) no es demostrable"
[Regresar]
(
x)(~Dem(x, sust(n,k,n))
x)(~Dem(x, sust(n,k,n))
~(
~( x)(~Dem(x, Sust(n,k,n)))
(
x)(~Dem(x, Sust(n,k,n))) no es demostrable
En segundo lugar, hay que notar que tal proposicin se halla expresada en la
aritmtica por la misma frmula que se menciona en la proposicin.
Tal verdad aritmtica no ha sido derivada de los axioma s del sistema, sino
que ha sido construida metamatematicamente.
(
y)(
x)(~Dem(x,y))
o sea, A dice: "existe un nmero Gdel y tal que para todo nmero
Gdel x, x no se mantiene en la relacin Dem(x,y)", o bien: "existe al
menos una frmula aritmtica para la cual ninguna sucesin de
frmulas aritmticas constituye una prueba"
(
y)(
x)(~Dem(x,y)) ---> (
x)(~Dem(x,Sust(n,k,n)))
(
y)(
x)(~Dem(x,y))
En definitiva:
[Regresar]
[Regresar]
10. BIBLIOGRAFIA: