teorias
Páginas: 8 (1829 palabras)
Publicado: 28 de agosto de 2015
GOTTLOB FREGE
Friedrich Ludwig Gottlob Frege (1848-1925) fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica.
Nacido en Alemania, comenzó sus estudios en la Universidad de Jena en 1869 trasladándose a Gotinga para completar sus estudios de física, química, filosofía y matemáticas licenciándose en esta última en el año 1873.
En 1879, Fregepublicó su revolucionaria obra titulada Conceptografía (Begriffsschrift), en la que sentó las bases de la lógica simbólica lógica, iniciando una transición en esta disciplina que había permanecido prácticamente inactiva desde Aristóteles. Mediante la creación de una nueva sintaxis, con la inclusión de los llamados cuantificadores, permitió formalizar una gran cantidad de nuevos argumentos. Además, fue elprimero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.
En este Frege trabajo que se presenta por primera vez lo que nosotros reconocemos hoy como un sistema de lógica con la negación, implicación, la cuantificación universal, esencialmente la idea de la verdad, etc tablas, pero lo que no sería reconocible hoy en día es la notación que Frege utiliza.
Susescritos sobre la filosofía de la lógica, la filosofía de las matemáticas y la filosofía del lenguaje son de gran importancia. - Una vez dijo: -
Todo buen matemático es al menos la mitad de un filósofo, y cada filósofo es buena por lo menos la mitad de un matemático.
Para la implicación A → B, Frege utiliza una notación que se colocó a través de dos líneas con un ser escrito en la línea pordebajo de B. No es difícil ver por qué su notación no ha sobrevivido,un problema en las revolucionarias obras de Frege era la cantidad de espacio impreso que requiere su notación; no fue realmente hasta la publicación de los Principia Mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lógica formal, en una notación menos extensa (pero que requiere muchos signos deagrupación) fue apreciable.
MAQUINA DE TURING
El 23 de junio de 1912 nacía en Londres Alan Mathison Turing, un matemático que ha dejado una profunda huella en la historia de la computación y la inteligencia artificial. Como reconocimiento de sus importantes contribuciones científicas, y quizás también para reparar el daño que se le infligió en vida.Quizá la aportación más importante de Turing fueestablecer un nexo entre la algorítmica (procedimientos de cálculo) y los autómatas (dispositivos automáticos). En 1936, en un artículo titulado “Sobre los números computables con aplicación al problema de la decidibilidad”, proponía el dispositivo que se conoce como la máquina de Turing. Inspirada en el modo de proceder de los calculistas humanos, consistía en una cinta infinita con casillas que podíanregistrar ceros y unos, y una máquina de estados finitos (o cabezal) que podía avanzar o retroceder sobre la cinta y leer dígitos o escribirlos según el estado en que se encontrara. Inicialmente cada máquina computaba una única función, pero Turing se dio cuenta de que el programa para calcular una función u otra se podía codificar en la misma cinta que los datos de entrada, lo que dio lugar a laMáquina Universal de Turing, modelo teórico del computador digital. Dicha Máquina Universal podía emular cualquier máquina de Turing al recibir como entrada la codificación de una máquina particular al mismo tiempo que los datos. Al almacenar el programa en el mismo formato que los datos, quedaban delimitados los papeles que iban a desempeñar elhardware (de propósito general) y el software (tantode sistema como de aplicaciones) en la informática actual.
No terminan aquí las implicaciones del artículo de Turing, ya que, como su título indica, las ideas expuestas tienen incidencia sobre el problema de la decidibilidad. Dicho problema, planteado por Hilbert en 1928, es el de la existencia de un método general y completo de razonamiento que, dado un enunciado en lógica de primer orden,...
Friedrich Ludwig Gottlob Frege (1848-1925) fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica.
Nacido en Alemania, comenzó sus estudios en la Universidad de Jena en 1869 trasladándose a Gotinga para completar sus estudios de física, química, filosofía y matemáticas licenciándose en esta última en el año 1873.
En 1879, Fregepublicó su revolucionaria obra titulada Conceptografía (Begriffsschrift), en la que sentó las bases de la lógica simbólica lógica, iniciando una transición en esta disciplina que había permanecido prácticamente inactiva desde Aristóteles. Mediante la creación de una nueva sintaxis, con la inclusión de los llamados cuantificadores, permitió formalizar una gran cantidad de nuevos argumentos. Además, fue elprimero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.
En este Frege trabajo que se presenta por primera vez lo que nosotros reconocemos hoy como un sistema de lógica con la negación, implicación, la cuantificación universal, esencialmente la idea de la verdad, etc tablas, pero lo que no sería reconocible hoy en día es la notación que Frege utiliza.
Susescritos sobre la filosofía de la lógica, la filosofía de las matemáticas y la filosofía del lenguaje son de gran importancia. - Una vez dijo: -
Todo buen matemático es al menos la mitad de un filósofo, y cada filósofo es buena por lo menos la mitad de un matemático.
Para la implicación A → B, Frege utiliza una notación que se colocó a través de dos líneas con un ser escrito en la línea pordebajo de B. No es difícil ver por qué su notación no ha sobrevivido,un problema en las revolucionarias obras de Frege era la cantidad de espacio impreso que requiere su notación; no fue realmente hasta la publicación de los Principia Mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lógica formal, en una notación menos extensa (pero que requiere muchos signos deagrupación) fue apreciable.
MAQUINA DE TURING
El 23 de junio de 1912 nacía en Londres Alan Mathison Turing, un matemático que ha dejado una profunda huella en la historia de la computación y la inteligencia artificial. Como reconocimiento de sus importantes contribuciones científicas, y quizás también para reparar el daño que se le infligió en vida.Quizá la aportación más importante de Turing fueestablecer un nexo entre la algorítmica (procedimientos de cálculo) y los autómatas (dispositivos automáticos). En 1936, en un artículo titulado “Sobre los números computables con aplicación al problema de la decidibilidad”, proponía el dispositivo que se conoce como la máquina de Turing. Inspirada en el modo de proceder de los calculistas humanos, consistía en una cinta infinita con casillas que podíanregistrar ceros y unos, y una máquina de estados finitos (o cabezal) que podía avanzar o retroceder sobre la cinta y leer dígitos o escribirlos según el estado en que se encontrara. Inicialmente cada máquina computaba una única función, pero Turing se dio cuenta de que el programa para calcular una función u otra se podía codificar en la misma cinta que los datos de entrada, lo que dio lugar a laMáquina Universal de Turing, modelo teórico del computador digital. Dicha Máquina Universal podía emular cualquier máquina de Turing al recibir como entrada la codificación de una máquina particular al mismo tiempo que los datos. Al almacenar el programa en el mismo formato que los datos, quedaban delimitados los papeles que iban a desempeñar elhardware (de propósito general) y el software (tantode sistema como de aplicaciones) en la informática actual.
No terminan aquí las implicaciones del artículo de Turing, ya que, como su título indica, las ideas expuestas tienen incidencia sobre el problema de la decidibilidad. Dicho problema, planteado por Hilbert en 1928, es el de la existencia de un método general y completo de razonamiento que, dado un enunciado en lógica de primer orden,...
Leer documento completo
Regístrate para leer el documento completo.