1) DEFINICION DE SISTEMA AXIOMTAICO FORMAL (SAF)
2) ESTRUCTURA DEL UN SAF
a. Componentes
b.Operaciones
c. Reglas de formación
d. Parte
e. Criterios de deduccion
3) REQUISITOS DEL SAF
a.Inde
b. Consistencia
c. Completad
4) PROCESO HISTORICO
a. Euclides
b. Aristóteles
c. Dedekind
d.Peano
e. Frege
f. Hilbert
g. Paradoja Russell
h. Teorema incompletad de Gödel
5) PASOS EN LACONSTRUCCION DE UN SISTEMA AXIOMATICO FORMAL
a. Fases
b. Variables
c. Conectivas
d. Tablas deVerdad
e. Reglas de transformación
i. Rs
ii. Rs
f. axiomas del

6) CONCLUSION: LAS LIMITACIONESINTERNAS DE LOS SISTEMAS AXIOMÁTICOS FORMALES





1) DEFINICION DE SISTEMA AXIOMATICO FORMAL(SAF)
DEFINICION de S.A.F.
Sistema formado por un conjunto de enunciados no demostrados,denominados axiomas, y unas reglas deductivas que, aplicadas a ellos, nos permiten obtener otros enunciadosllamados teoremas. Un ejemplo de sistema axiomático deductivo es la geometría expuesta en los [continua]

Leer Ensayo Completo

Cite este ensayo

APA

(2012, 06). Sistema Formal Axiomático. BuenasTareas.com. Recuperado 06, 2012, de http://www.buenastareas.com/ensayos/Sistema-Formal-Axiom%C3%A1tico/4621824.html

MLA

"Sistema Formal Axiomático" BuenasTareas.com. 06 2012. 2012. 06 2012 <http://www.buenastareas.com/ensayos/Sistema-Formal-Axiom%C3%A1tico/4621824.html>.

MLA 7

"Sistema Formal Axiomático." BuenasTareas.com. BuenasTareas.com, 06 2012. Web. 06 2012. <http://www.buenastareas.com/ensayos/Sistema-Formal-Axiom%C3%A1tico/4621824.html>.

CHICAGO

"Sistema Formal Axiomático." BuenasTareas.com. 06, 2012. consultado el 06, 2012. http://www.buenastareas.com/ensayos/Sistema-Formal-Axiom%C3%A1tico/4621824.html.