En este blog se colocarán las entradas correspondientes a los trabajos de temática horizontal de la asignatura.
Lista de trabajos propuestos.
1. El problema de la decidibilidad. Alan Turing, Alonzo Church, Kurt Gödel
2. ¿Pueden pensar las máquinas? Alan Turing
3. El origen de la programación funcional. Lambda cálculo, LISP, Prolog, John McCarthy, funciones recursivas
4. Origen de los lenguajes de programación. Fortran, COBOL, PL1.
5. Claude Shannon y la máquina secuencial
6. El concepto de algoritmo. Al Wharitzmi
7. ¿Cómo podemos pensar?. Vannevar Bush
8. El nacimiento del HTML. Tim Berners Lee
9. Vida y obra de Noam Chomsky. Las gramáticas transformacionales
10. ¿P = NP?
11. El problema del castor laborioso
12. Marvin Minsky y la computación neuronal
13. Escher, Bach y Gödel. Un eterno y grácil bucle. Las autoreferencias
de Douglas Hofstadter (no confundir con Leonard, el de la Teoría del Big
Bang)
14. Autómatas celulares. El juego de la vida y la regla 110