Departamento de
Lenguajes y Sistemas Informáticos
Historia de la Informática y Metodología de la Ciencia
Tema 3.- Historia de la Informática.
3.1.- Raíces de la informática
3.1.2 Los orígenes de la noción de información
La noción matemática de información
1927 Hartley
1948 La teoría matemática de la información de Claude Shannon
Tres tradiciones
Diferencia entre forma y sentido
Transportes de mensajes
Concepto lógico de verdad.
Diferencia entre forma y sentido
Información proviene etimológicamente de forma
Informatio: acción de formar (dar forma)
Existe en latín y equivale a educar, no existe en griego.
Conceptos gramaticales
sintaxis y semántica.
Diferencia entre símbolo y señal.
Análisis de Fourier.
Transportes de mensajes
Antiguedad
señales de humos, palomas mensajeras, maratón,
Claude Chape. Telégrafo aéreo 1794.
114 torres con brazos móviles París-Tolón
Codificación de mensajes
Notación binaria Leibniz.
Morse Telégrafo eléctrico. 1832
Edisón, dos mensajes simultáneos. 1874
Baudot, código binario. 1848
Bell teléfono. 1875
Teoría de la señal.
Teoría de la Comunicación
Claude Shannon. Tesis 1938 teoría matemática de las comunicaciones.
Aplicación del álgebra de Boole en los circuitos de computación eléctrica.
Introduce el concepto de BIT (Binary digIT): cantidad de información mínima.
Relación entre información y entropía
Antecedentes:
concepto matemático de información Hartley 1927
Francis Bacon S. XVI-XVII , código binario
Algoritmo. Concepto lógico de verdad.
Bertrand Rusell, Alfred N. Whitehead Principia matemática. 1910-1913
El logicismo: Deducción de las matemática a partir de la lógica.
Teoría axiomática de los números:
Axioma del infinito.
Introducción de paradojas.
Kurt Gödel (Teorema 1931)
toda formulación axiomática de teoría de números incluye proposiciones indecidibles.
No es asumible en el sistema de los Principia la paradoja de Epemínides
Alan Turing. Máquina de Turing
Mohammed Ibn Musa Abu Djefar Al-Khwarizmi en latín Algoritmi dixit.
Matemático árabe del s. VIII:Escribe un tratado de Álgebra Al-Jabr = restitución
Turing: edefine el concepto de algoritmo:
Conjunto completo de reglas que resuelve un problema.
Máquina de Turing
define los límites de la lógica.
[Volver a tema 3]
Página mantenida por Manuel Marco Such
Última actualización: 3-Mayo-1999