Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Qu es verdadero?
MI
Esta cadena se denomina axioma: es aceptable por decreto. Las dems cadenas aceptables se obtienen mediante reglas de generacin.
Qu es verdadero?
3
Qu es verdadero?
Qu es verdadero?
Procedimientos de decisin
Dado un sistema formal, nos gustara disponer de un mecanismo de verificacin que dado una cadena nos diga si es o no un teorema. A este mecanismo se le denomina procedimiento de decisin Pero qu entendemos por un mecanismo de verificacin?
Qu es verdadero?
Qu es verdadero?
Qu es verdadero?
10
Procedimiento de decisin mg
Una cadena mg es un teorema si y solo si el nmero de guiones inicial ms el intermedio es igual al nmero de guiones final. Todo sistema formal que slo tenga reglas incrementadoras tiene siempre un procedimiento de decisin: comenzar con el hipottico teorema, y buscar con qu reglas puede haber sido producido. Lo habr sido a partir de teoremas de menor longitud. Este proceso se puede seguir recursivamente. Como la longitud de los teoremas que se van obteniendo siempre disminuye, est asegurado que se termina encontrando un axioma, o llegando a cadenas que ya no pueden ser obtenidas de una regla de produccin.
Qu es verdadero?
11
Qu es verdadero?
12
Forma y fondo
Qu es verdadero?
15
Qu es verdadero?
16
Qu es verdadero?
17
Qu es verdadero?
18
Qu es verdadero?
19
Qu es verdadero?
21
El teorema de Gdel
Presentacin en clase
Qu es verdadero?
22