Resultados de la búsqueda

La metamatemática es el estudio matemático de los fundamentos de las matemáticas que surge como disciplina en el siglo XIX. Pretende una visión de conjunto…

consistencia de las matemáticas creando un campo al que denominó "Metamatemáticas". Las esperanzas del éxito de sus pruebas fueron cortadas por los trabajos…

no con regla y compás)]. De hecho, se han construido demostraciones metamatemáticas de la consistencia de la aritmética, siendo notable la de 1936 de Gerhard…

{\displaystyle x.sy=x.y+x} Finalmente la base de esta nueva matemática sería una metamatematica que probaría consistentemente el conjunto de fórmulas sabiendo que al…

importantes contribuciones a la teoría algorítmica de la información y a la metamatemática, en particular un teorema de la incompletitud similar en espíritu al…

para denotar la importancia de distinguir entre las matemáticas y las metamatemáticas. Kurt Gödel citó específicamente la antinomia de Richard como un análogo…

metafilosofía tiene un análogo en la distinción familiar entre matemática y metamatemática. Las preguntas acerca de la autonomía, objetividad, relatividad y status…

tanto no debe ser confundida con una teoría de primer orden de las metamatemáticas, ya que los cuantificadores han sido eliminados, si bien es posible…

matemáticos. Al hacerlo, ayudó a fundar lo que ahora son conocidos como metamatematicas y modelo teórico. Huntington fue quizás el más prolífico de los postulado…

demostración, la lógica matemática y la distinción entre matemática y metamatemática. Adoptó y defendió vivamente la teoría de conjuntos y los números transfinitos…

lenguaje de programación Lisp libre albedrío y determinismo lógica metamatemática paradoja capas yuxtapuestas de significado, contrapunto, semiótica,…

incompletitud de Gödel, como también el teorema de Löb, y otros resultados metamatemáticos.[1]​ Razonador preciso: Un razonador c es preciso si no cree en ninguna…

conlleva una acepción peyorativa. En ese sentido, David Hilbert creó la metamatemática para estudiar los sistemas formales, entendiendo que el lenguaje utilizado…

Productos Naturales (CIPRONA) Centro de investigaciones Matemáticas y Metamatemáticas (CIMM) Centro de Investigación en Ciencias del Mar y Limnología (CIMAR)…

60 junto a sus discípulos de Berkeley— transformaron radicalmente la metamatemática, consolidándola como ciencia estricta. La idea principal es reemplazar…

conlleva una acepción peyorativa. En ese sentido, David Hilbert creó la metamatemática para estudiar los sistemas formales, entendiendo que el lenguaje utilizado…

Ciencias de la computación) Metafilosofía Meta-epistemología Metalógica Metamatemática Metafísica Meta-ética Meta-ontología Metateoría Metadato Métaconnaissance…

demostrar que los más célebres teoremas de Gödel sobre las propiedades metamatemáticas de la aritmética de primer orden. Smullyan (1991, 2001) ha argumentado…

Las matemáticas, o también la matemática [2]​[3]​[4]​ (del latín mathematĭca, y este del griego μαθηματικά, transliterado como mathēmatiká, derivado de…

1971 con modificaciones, 1991, décima impresión), Introducción a las metamatemáticas, North-Holland Publishing Company, Amsterdam NY. ISBN 0-444-10088-1…