En el año 1931 se produjo una revolución en las ciencias matemáticas, con el descubrimiento realizado por Kurt Gödel (1906-1978) y publicado en su famoso artículo [1], que quizá deba considerarse el avance matemático más importante del siglo XX. En síntesis, el teorema de Gödel dice lo siguiente: Toda formulación axiomática consistente de la teoría de números contiene proposiciones indecidibles. Es decir, cualquier teoría matemática ha de ser incompleta. Siempre habrá en ella afirmaciones que no se podrán demostrar ni negar. El teorema de Gödel puso punto final a las esperanzas de los matemáticos de construir un sistema completo y consistente, en el que fuese posible demostrar cualquier teorema. Estas esperanzas habían sido expresadas en 1900 por David Hilbert (1862-1943), quien generalizó sus puntos de vista proponiendo el problema de la decisión (Entscheidungsproblem), cuyo objetivo era descubrir un método general para decidir si una fórmula lógica es verdadera o falsa. En 1937, el matemático inglés Alan Mathison Turing (1912-1953) publicó otro artículo famoso sobre los números calculables, que desarrolló el teorema de Gödel y puede considerarse el origen oficial de la informática teórica. En este artículo introdujo la máquina de Turing, una entidad matemática abstracta que formalizó por primera vez el concepto de algoritmo1 y resultó ser precursora de las máquinas de calcular automáticas, que comenzaron a extenderse a partir de la década siguiente. Además, el teorema de Turing demostraba que existen problemas irresolubles, es decir, que ninguna máquina de Turing (y, por ende, ninguna computadora) será
Tutorial para descargar con Jdownloder o MiPony
Dispositivos móviles utiliza PonyDroid
[CNL2 btn=»Descargar vía UPLOADED!» links=»off»]http://uploaded.net/file/04h3r5xl[/CNL2]
[CNL2 btn=»Descargar vía MEDIAFIRE!» links=»off»]https://www.mediafire.com/file/xib5mfa24bc0rw9/Ceityp-MAM.rar/file[/CNL2]
[CNL2 btn=»Descargar vía ZIPPYSHARE!» links=»off»]https://www7.zippyshare.com/v/93Wkqspg/file.html[/CNL2]
[CNL2 btn=»Descargar vía 1FICHIER!» links=»off»]https://1fichier.com/?a49ylmdtvqtojfk67s8y[/CNL2]
Contraseña: www.warmazon.com
