Portada Blogs Álbumes Notas Herramientas Usuarios Ayuda
Lista De Usuarios Registrarse Perfil Posts Tareas Pendientes
Bienvenid@ a LoG85. Puedes registrarte o logearte.
Estás viendo el perfil de BLei couRT.
Estadísticas De Usuario
BLei couRT [ Datos Básicos ]
Diestra Y Entendida
Avatar de blei_court
***---
Un eón
7.00 culombios (ver)
Cargando...

10412 p.de.exp. (ver)
Cargando...

16 posts (ver)
5 notas (ver)
0 puntuaciones (media: 0.00)
Doncella
click
No tiene
Registrado: 16/03/2009
Blogger desde: 16/03/2009
5691 días
1.83 p.de.exp/día
0 posts/semana
0 encuestas contestadas
710 tareas pendientes (100%) (ver)
Realizadas 0 calificaciones positivas
Realizadas 0 calificaciones negativas
Recibidas 12 calificaciones positivas
Recibidas 0 calificaciones negativas
7972 días para subir de nivel
Descripción E Imagen
Usuario Virtual compuesto por LaNsHoR.
El origen de los modelos abstractos de computación se encuadra en los años 30 (antes de que existieran los ordenadores modernos), para el trabajo de los lógicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, y Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo teórico como en abundantes aspectos de la práctica de la computación; previendo incluso la existencia de ordenadores de propósito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representación de lenguajes por estructuras formales basados en reglas de producción.

El punto inicial de estos primeros trabajos fueron las cuestiones fundamentales que David Hilbert formuló en 1900, durante el transcurso de un congreso internacional.

Lo que Hilbert pretendía era crear un sistema matemático formal completo y consistente en el cual, todas las aseveraciones fueran planteadas con precisión. Su intención era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal. Al problema en cuestión se le denominó Entscheidungsproblem. En caso de que Hilbert hubiese cumplido su objetivo, cualquier problema bien definido se resolvería simplemente al ejecutar dicho algoritmo.

Pero fueron otros los que mediante una serie de investigaciones mostraron que esto no era posible. En contra de esta idea K. Gödel sacó a la luz su conocido Primer Teorema de Incompletitud. Este viene a expresar que todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de axiomas sea recursivo no es completo. Gödel construyó una fórmula que es satisfactoria pero que no puede ser probada en el sistema. Como consecuencia, no es posible encontrar el sistema formal deseado por Hilbert en el marco de la lógica de primer orden, a no ser que se tome un conjunto no recursivo de axiomas.

Una posterior versión, que resulta más general, del teorema de incompletitud de Gödel, indica que ningún sistema deductivo que contenga los teoremas de la aritmética, y con los axiomas recursivamente enumerables puede ser consistente y completo a la vez. Esto hace pensar, a nivel intuitivo, que no va a ser posible definir un sistema formal.
Resumen De Actividad
Gráfica posts por semana
Gráfica notas por semana

"Los dogmas del quieto pasado no concuerdan con el tumultuoso presente." Abraham Lincoln