Eu li que, inicialmente, Church propôs o cálcio como parte de seu artigo Postulados da Lógica (que é uma leitura densa). Mas Kleene provou seu "sistema" inconsistente, após o qual Church extraiu coisas relevantes por seu trabalho sobre "computabilidade efetiva" e abandonou seu trabalho anterior...
O algoritmo de Karatsuba para multiplicação rápida foi publicado pela primeira vez em A. Karatsuba e Yu. Ofman (1962), "Multiplicação de muitos números digitais por computadores automáticos", Anais da Academia de Ciências da URSS 145: 293-294. De acordo com Karatsuba (1995, "A complexidade das...
Eu tenho duas perguntas históricas: Quem primeiro descreveu a computação não determinística? Sei que Cook descreveu problemas de NP-completos e que Edmonds propôs que os algoritmos P são algoritmos "eficientes" ou "bons". Pesquisei este artigo da Wikipedia e vasculhei "Sobre a complexidade...
De acordo com o relato histórico (não verificado), Kolmogorov pensou que todo idioma em tem complexidade de circuito linear. (Veja a conjectura da pergunta anterior de Kolmogorov de que possui circuitos de tamanho linear .) Observe que isso implica .PP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq...
Recentemente, eu estava tendo uma discussão sobre as Máquinas de Turing quando me perguntaram: "A Máquina de Turing é derivada de autômatos, ou é o contrário"? Eu não sabia a resposta, é claro, mas estou curioso para descobrir. A máquina de Turing é basicamente uma versão um pouco mais sofisticada...
Hoje ensinei limites inferiores a e um dos alunos perguntou sobre o motivo do nome . A explicação oficial é que o "A" significa "Alternação".AC0AC0AC^0ACACAC Lembro-me vagamente de ter sido informado há muitos anos que Nick Pippenger Steve Cook nomeou homenagem a Nick Pippenger (classe de Nick), e...
Ao tentar convencer economistas da relevância da teoria da complexidade impressa, existe uma referência padrão a ser citada? Estou familiarizado com o post de Noam Nisan , a pesquisa de Tim Roughgarden e o capítulo 11 do ensaio de Scott Aaronson . Essas postagens são acessíveis aos cientistas da...
Existem exemplos interessantes de algoritmos que foram publicados com limites comprovados e onde limites estritamente melhores foram publicados posteriormente? Algoritmos não melhores com limites melhores - obviamente, isso aconteceu! Mas uma melhor análise leva a uma melhor ligação a um algoritmo...
Estou interessado no histórico inicial de resultados publicados sobre compensações de espaço-tempo de uso geral. Em particular, quero saber quem primeiro descreveu o seguinte tipo de algoritmo para avaliar uma computação com um gráfico de fluxo de dados arbitrário com grau O (1) usando espaço...
Quem introduziu a ideia de recursão ? Alguém pode explicar de onde veio e como afetou a ciência da
Robin Milner definiu bigraphs como um tipo de estrutura gráfica com estrutura semelhante a gráfico, mas onde os nós podem ser aninhados. Eles generalizam os cálculos de processos como o CCS e o cálculo, mas Milner parece ter pretendido que eles fossem usados de maneira muito mais geral: as notas...
Enquanto ensinava como implementar FSMs usando circuitos lógicos síncronos, notei uma coincidência intrigante: tanto no mundo teórico do CS quanto no mundo da engenharia elétrica, "estado" é tipicamente denotado (e o espaço de estado Q ). Perguntei pela primeira vez no EE.sx , mas, ao pesquisar um...
Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por
Eu gostaria de saber sobre a história desses dois termos: " eficiente ", " viável ". Quem os usou sobre computação / algoritmos pela primeira vez? (no sentido moderno desses termos, ou seja, século 20). Como eles se tornaram mainstream? Como esses dois termos começaram a ser usados como...
Estou à procura de: Michael O. Rabin, "Grau de dificuldade em calcular uma função e uma ordem parcial de conjuntos recursivos", Universidade Hebraica, Jerusalém, 1960 Resumo: “Tentamos medir a quantidade de trabalho inerente à tarefa de calcular uma determinada função computável (recursiva)....
Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos diferentes. Por exemplo, (S→...
Eu tenho tentado entender o que, por que e como do -calculus, mas não consigo entender o porquê "funciona"?λλ\lambda "Intuitivamente", obtenho o modelo de computabilidade da Turing Machines (TM). Mas essa distração me deixa confusa.λλ\lambda Vamos supor que as TMs não existem - então como alguém...
Todos os museus e exposições relacionados a computadores que conheço parecem cobrir apenas a história das máquinas de computação, mas nada sobre tópicos de ciência da computação. Você está envolvido na criação de um novo Museu da Computação, criado para educar, divertir e inspirar o público em...
É sabido que a máquina analítica de Charles Babbage tinha uma arquitetura muito semelhante à moderna arquitetura Von Neumann. Além disso, é notável que as tabelas para representar um programa da máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) e o trabalho de von...
(Desculpas se isso for extraviado ou muito amplo. Estou aberto a sugestões sobre como reformulá-lo.) Estou interessado em rastrear a história "antiga" dos algoritmos de fluxo máximo e algoritmos de otimização discretos em geral. Ford-Fulkerson é meu homem de palha de um ponto de partida. Quais...