O título diz tudo, mas estou curioso porque não é óbvio como um provador de teoremas foi chamado de 'Isabelle'. Foi nomeado para uma pessoa? Não consegui descobrir em algumas pesquisas no
Estou lendo o artigo "Máquinas e inteligência computacional" de Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) e encontrei um fragmento no qual ele diz: Instalei no computador Manchester um pequeno programa usando apenas 1.000 unidades de armazenamento, em que a máquina...
Ouvi várias explicações possíveis, então gostaria de alguma referência confiável. Atualização 05.19: Estou interessado na pergunta, porque um dos meus alunos escreveu em sua tese que o nome vem da explicação abaixo (1). Até agora, pensei / ouvi dizer que se trata de uma explicação (2). Eu me...
Sobre o estado da arte que estou executando à frente da teoria dos tipos, tenho todas essas perguntas relacionadas à história dos tipos. De onde surgiu a idéia de Type ? (Parece que tudo começa quando Russell e Whitehead propõem uma maneira de evitar a contradição que conhecemos hoje como...
Fiz essa pergunta em math.stackexchange , mas fui redirecionado aqui. Minha pergunta é: se existe alguma relação histórica entre os campos dos sistemas dinâmicos (e campos relacionados, como controle ótimo) e a ciência da computação (teórica). A razão pela qual faço essa pergunta é que vários...
Atualmente, estou pesquisando para minha tese de diploma em ciência da computação com um tópico na área de tabelas de hash distribuídas. Naturalmente, vim à questão de onde veio o termo tabela de hash distribuído . (Eu sei que não é ciência do foguete apenas derivá-lo da distribuição de uma tabela...
Estive pesquisando referências no google scholar e reduzi a primeira menção para algo em torno de 1963 com um tremor muito estranho em 1949. Então, eu estou tentando rastrear o artigo original, introduzindo gráficos de intervalo para citação, mas tem sido bastante elusivo até...