Problema Entscheidungsproblem

Descripción.
1. El problema de decisión para una lógica de primer orden por eduardo Piza, desde una perspectiva moderna para "Entscheidungsproblem" determinar si una formula bien formada dada eso no es un teorema. EL problema de decisión es recursivamente resoluble si existe un procedimiento efectivo para resolver el proble de decisión dentro de las instacias de lógicas de primer orden, quizas la mas estudiada es la lógica canónica de primer orden.
  1. Fuente
    1. - VOLIO, Eduardo Piza. Una solución moderna para el" Entscheidungsproblem". Revista de Filosofía de la Universidad de Costa Rica, 2005. - USER, Super. Acerca del problema de la decisión: De la Lógica a la Computabilidad. Acceso, vol. 2016.
Origen
1. HISTORIA Gottfried Leibniz, en el siglo XVII
  1. Gottfried Leibniz, en el siglo XVII, El ultimo Genio o universal. Realizo profundidad e importantes contribuciones en las áreas de metafísica, epistemología, lógica, filosofía de la religión.
    1. Fuente.
      1. Benkenstein,M., & Henke, N.(1993).Der Grand vertikaler Integration als strategisches Entscheidungsproblem. Eine transaktionskostentheoretische Interpretation. Die Betriebswirtschaft, 53(1), 77-91.
Fundamento.
1. La génesis para la fórmulación de normas contables lo constituye los fundamentos cientificos y consecuentemente el proceso de obtención de normas.
  1. establecimientos de los fundamentos científicos.
  2. Generación de sistemas explicativos teóricos.
  3. Formulación de Algoritmo o técnicas, plasmadas en normas contables.
  4. Fuente
    1. TODO PROCESO CONTABLE ES COMPUTABLE Y RECURSIVO, ANGEL MARLEONE SOLÍS RODRÍUEZ, PERÚ, 2012
Problema
1. En el articulo citado del autor se señala que puede asociarse recursivamente con cada formula bien formada una enumeración recursiva de las fórmulas en las que es convertible.
  1. Una función recursivamente definida de dos enteros positovos
    1. positivos tales que, si y es la representación de Godel
      1. (X,Y) Seria la reprecentacón en x-enecimo.
    2. Fuente
      1. Turin, A.M.(1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London mathematical society,2(1),230-265.
Estructura.
1. Consideremos el sistema L de lógica simbólica que surge del engero Funktionenkal
  1. Un simbolo = para la funcion proposicional =(igual de individuos)
  2. Un simbolo 1 para el numero 1(considerado como un individuo)
  3. dos axiomas de igualdad, x=X, y x=y [F(x) F(y)]
  4. y como axiomas adicionales, las ecuaciones de recursión para las funciones a, b1, b2,..bk(expresadas con variables individuales libres, la clase de individuos tomada como idéntica a la clase de enteros positivos.
  5. los simolos b1, b2 ,...bk para las funciones aritméticas auxiliares que se emplean en la definición recursiva de a
  6. Un simbolo para la función aritmetica x+1, un simbolo para la función aritmética a descrita en el parrafo precedente.
  7. Fuente
    1. Church, A.(1936). Correction to a note on the Entscheidungsproblem. The journal ofsymbolic, 1(03), 101-102.
CONCLUSIÖN.
1. Dentro de la lógica matematicas tuvo problema, a partir de ello se obtuvo los primeros definiciones de que significa algo que sea computable, desde entonces se nació, la a ciencia de la computación. Dentro del articulo de 1936 publicado por Turing sobre el problema de deción (Entscheidungsproblem), en donde Alonzo Church y Alan Turing ellos demuestra que hay ciertos problemas una cmputadora no puede resolver "No hay procedimiento general para resolver cualquier problema en matematicas

Next up

Problema Entscheidungsproblem

Description

Resource summary

Similar

	Created by Anita sichique almost 8 years ago