indecidibilidad

indecidibilidad

 
f. lóg. Imposibilidad de demostrar, en un sistema de una cierta complejidad y dentro del mismo sistema, todas las proposiciones verdaderas.
Ejemplos ?
Gödel también se refirió más tarde a ella, señalando que su teorema de la indecidibilidad era un análogo a la paradoja de Richard.
Die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung, Incompletitud e indecidibilidad.
Historias de cómputo se utilizan frecuentemente en pruebas sobre las capacidades de ciertas máquinas, y en particular acerca de la indecidibilidad de diversos lenguajes formales.
Kimura después sus indagaciones y sus estudios ha publicado su The Neutral Theory of Molecular Evolution donde se centra en su afirmación que "A nivel molecular la mayoría de los cambios evolutivos se debe a la deriva genética por obra del azar, ya que los genes mutantes son todos equivalentes en la selección". Azar Aleatoriedad Indecidibilidad Indiferencia Incertidumbre
Aunque extender una lógica con dominios concretos la dota de una expresividad muy valorada para representar ontologías, fácilmente puede llevar a la indecidibilidad.
Los modelos teóricos sobre los que se fundamenta HTN les hacen más expresivos que STRIPS, pero no puede ser directamente empleado debido a su indecidibilidad.
Acerca de los conjuntos decidibles, Alonzo Church obtuvo resultados importantes, logrando demostrar la indecidibilidad de la lógica de predicados en todos los órdenes.
Los casos especiales incluyen la indecidibilidad de si una máquina de Turing acepta una cadena particular, si una máquina de Turing reconoce un lenguaje reconocible particular, y si el lenguaje reconocido por una máquina de Turing podría ser reconocido por una máquina no trivial más simple, tal como un autómata finito.
n teoría de la complejidad computacional, la clase de complejidad ELEMENTARY de las funciones recursivas elementales es la unión de las clases: begin align mathrm ELEMENTARY & = mathrm EXP cup mathrm 2EXP cup mathrm 3EXP cup cdots & = mathrm DTIME (2n) cup mathrm DTIME (2 2n) cup mathrm DTIME (2 2 2n) cup cdots end align El nombre fue acuñado por László Kalmár, en el contexto de funciones recursivas e indecidibilidad; a pesar de su nombre, la mayoría de problemas en esta clase distan mucho de ser elementales.
La enunciación del principio de incertidumbre (Heisenberg, 1927), junto con otras formulaciones de indeterminación, indecidibilidad o indiferencia en campos científicos (teoremas de la incompletitud de Gödel, 1930, paradoja de Schrödinger, 1935), que implicaban la renuncia a entender la realidad de forma determinista, trascendieron de lo meramente científico, y se convirtieron en una característica extensible a la producción intelectual, la visión del mundo y la experiencia vital en el convulso siglo XX: la revolución relativista, que se había iniciado con los cinco artículos que el joven físico Albert Einstein publicó en 1905.
No se refiere al indeterminismo filosófico opuesto al determinismo, sino a la indeterminación: la superación de la concepción mecanicista o determinista de la ciencia, sobre todo a partir de las tres famosas construcciones teóricas de los años veinte y treinta del siglo XX debidas a Heisenberg, Schrödinger y Gödel, sobre la indecidibilidad, el principio de incertidumbre, la indiferencia y la imposibilidad de eludir la interferencia del experimentador u observador y sobre el hecho experimentado u observado.
Su artículo A note on the entscheidungsproblem presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden.