Preguntas etiquetadas con ho.history-overview

¿Quién introdujo la idea de recursión ? ¿Alguien puede explicar de dónde vino y cómo impactó la informática?

14 reference-request  ho.history-overview  recursion 

Robin Milner definió bigraphs como un tipo de estructura gráfica con una estructura similar a un gráfico, pero donde los nodos se pueden anidar. Generalizan cálculos de procesos como CCS y el cálculo , pero Milner parece haber tenido la intención de que se usen de manera mucho más general: …

14 process-algebra  ho.history-overview 

Busco: Michael O. Rabin, "Grado de dificultad para calcular una función y un ordenamiento parcial de conjuntos recursivos", Universidad Hebrea, Jerusalén, 1960 Resumen: “Intentamos medir la cantidad de trabajo inherente a la tarea de calcular una determinada función computable (recursiva). Se introduce y estudia una noción de grado de dificultad …

13 cc.complexity-theory  reference-request  ho.history-overview 

He estado leyendo sobre la teoría del tipo intuitivo (ITT) y tiene sentido. Pero lo que me cuesta entender es "¿por qué" se creó en primer lugar? ¡La lógica intuitiva (IL) y el cálculo tipo simple (STLC) y la teoría de tipos en general son anteriores a la existencia misma …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Para celebrar el cumpleaños número 100 de Alan Turing, quiero ver un documental sobre su vida. Sin embargo, hay varios documentales para elegir. ¿Qué documental sobre Alan Turing es tu favorito? Incluya solo un documental por respuesta.

13 reference-request  soft-question  big-list  ho.history-overview 

Me gustaría saber sobre la historia de estos dos términos: " eficiente ", " factible ". ¿Quién los usó sobre computación / algoritmos la primera vez? (en el sentido moderno de estos términos, es decir, siglo XX). ¿Cómo se convirtieron en la corriente principal? ¿Cómo comenzaron a usarse estos dos …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Mientras enseñaba cómo implementar FSMs utilizando circuitos lógicos sincrónicos, noté una coincidencia intrigante: tanto en el mundo teórico de CS como en el mundo de la ingeniería eléctrica, el "estado" se denota típicamente (y el espacio de estado ). Primero pregunté sobre EESX , pero luego, mientras investigaba un poco …

13 automata-theory  ho.history-overview 

He estado tratando de entender qué, por qué y cómo del cálculo pero no puedo entender "¿por qué funciona?"λλ\lambda "Intuitivamente" obtengo el modelo de computabilidad de Turing Machines (TM). Pero esta abstracción me deja confundido.λλ\lambda Supongamos que las TM no existen; entonces, ¿cómo puede uno estar "intuitivamente" convencido de la …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Los idiomas Dyck se definen mediante la siguiente gramática S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sobre el conjunto de símbolos { ( 1 , ... , ( k , ) 1 , ... , ) k } . Intuitivamente, los idiomas Dyck son los idiomas de paréntesis equilibrados de k tipos diferentes. …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Hilbert utiliza el primer término en su trabajo de 1928, pero en el trabajo posterior de Gödel, lo mismo se conoce como Unvollständigkeitssatz ("teorema de incompletitud"). Para los investigadores de CS alemanes de hoy, parece que Unvollständigkeitssatz se usa más comúnmente, y Entscheidungsproblem ("problema de decisión") todavía se entiende, pero …

11 lo.logic  computability  ho.history-overview 

Todos los museos y exposiciones relacionados con la informática que conozco parecen abarcar solo la historia de la maquinaria informática, pero nada sobre temas de informática. Usted está involucrado en la creación de un nuevo Museo de Computación, creado para educar, entretener e inspirar al público en general en una …

11 soft-question  big-list  ho.history-overview 

Es bien sabido que la máquina analítica de Charles Babbage tenía una arquitectura que se parecía mucho a la arquitectura moderna de Von Neumann. Además, es notable que las tablas para representar un programa para la máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) y el trabajo de von Neumann (como …

10 ho.history-overview 

¿Alguien sabe de dónde vienen los nombres Sistema "F" y Sistema "T"? No estoy preguntando quién introdujo esos nombres (Girard System F y Gödel System T), sino qué significan la "F" y la "T".

9 ho.history-overview  type-systems  formal-systems 

Si entiendo correctamente, para demostrar que el problema es NP difícil, debe elegir todos los problemas posibles B i que están en NP y luego demostrar que se reducen a A mediante una función computable de tiempo polinomial, que mapea instancias de cada B i a los casos de a …

9 soft-question  ho.history-overview  cook-levin 

(Disculpas si esto está fuera de lugar o es demasiado amplio. Estoy abierto a sugerencias sobre cómo reformularlo). Estoy interesado en rastrear la historia "antigua" de los algoritmos de flujo máximo y los algoritmos de optimización discretos en general. Ford-Fulkerson es mi hombre de paja como punto de partida. ¿Cuáles …

9 ds.algorithms  graph-algorithms  ho.history-overview