perguntas_artigo_Debora

Prévia do material em texto

Nome: Debora Chaia Stadler
1. Faça um cronograma em ordem crescente com as datas e acontecimentos listados no artigo.
2. O texto fala sobre os 25 Problemas de Hilbert (na verdade, são 23) que os matemáticos deveriam 
prová-los. Pesquise sobre os Problemas de Hilbert e responda: todos foram resolvidos?
3. O que são a-máquinas, e-máquinas e u-máquinas?
4. O que é Labmda-Cálculo e qual sua relação com Máquinas de Turing?
5. Por que o texto fala em “morte prematura” de Alan Turing?
6. Robin Milner é citado algumas vezes no artigo. Quem é ele? Qual a sua importância no contexto 
da computabilidade?
7. O artigo tem o foco em computação interativa. O que significa este termo?
Respostas: 
1- Nascido em 1912, Turing foi aceito pela Universidade de Cambridge em 1930.
Tornou-se um membro do Kings College em 1934 aos 22 anos de idade ao completar uma 
dissertação ao que extendia os modelos de teoria dos grupos de Von Neumann.
Seu artigo de 1936, On Computable Numbers with an Application to the Entscheidungsproblem ,
No início da década de 1940 ele desenvolveu um modelo de computador do código cifrado alemão 
que ajudou os Aliados a vencer a Segunda Guerra Mundial.
2- 
3- As a-máquinas são as máquinas de Turing.
Ele definiu e-máquinas (máquinas de escolha) como um modelo alternativo de computação, que 
adicionava a escolha interativa como uma forma de computação.
As u-máquinas (máquinas desorganizadas) como outra alternativa que modelava o cérebro.
4- 
O cálculo lambda é uma coleção de diversos sistemas formais baseados em uma notação para 
funções inventada por Alonzo Church em 1936 com o intuito de capturar os aspectos mais básicos 
da maneira pela qual operadores ou funções podem ser combinados para formar outros operadores.
O cálculo lambda serve como uma ponte entre linguagens funcionais de alto nível e suas 
implementavéis de baixo nível. Raízes para a apresentação do cálculo lambda como uma linguagem 
intermediária: uma linguagem extremamente simples, consistindo de somente algumas poucas 
construções sintáticas e de uma semântica simples.
 
Turing foi convidado para trabalhar em Princeton em 1937 com Church no que foi chamado 
posteriormente de Tese de Church- Turing . Esta tese iguala lógica, λ-cálculo, máquinas de Turing e 
computação de funções efetivas como mecanismos equivalentes de solução de problemas. Esta esse 
foi reinterpretada mais tarde como um mecanismo uniforme completo para resolver todos os 
problemas computacionais.
5- Turing não formalizou suas máquinas e, uma década após sua morte prematura, elas foram 
descartadas na década de 1960 como desnecessárias porque foi assumido que modelos de máquina 
de Turing poderiam descrever completamente todas as formas de computação.
6- 
Robin Milner, que morreu aos 76 anos, foi um dos teóricos mais importantes do mundo da 
informática. Durante um período de 40 anos, ele fez importantes contribuições para os fundamentos 
teóricos da computação . Em seus últimos anos, como professor emérito da Universidade de 
Cambridge, ele desempenhou um papel fundamental no estabelecimento dos Grandes Desafios 
agenda global de pesquisa em ciência da computação.
Milner e Tony Hoare, outro teórico observou, com o objetivo de estabelecer um conjunto de metas 
de visão comparável investigação a longo prazo para o Projeto Genoma Humano . Milner estava 
pessoalmente envolvido na criação do Grande Desafio para uma "ciência da computação ubíqua 
global". Dentro de 20 anos, segundo ele, os computadores poderiam ser considerados como um 
único computador universal global. Não precisava ser uma teoria subjacente de como poderíamos 
programar e confiar em um sistema desse tipo. Esse desafio permanece indefinida, mas de vital 
importância. Como Milner observou uma vez, a nossa falta de compreensão científica sobre como 
obras de infra-estrutura de computação de hoje "tem todo o charme de inventar a ciência da 
navegação, enquanto já a bordo do navio".
Em Cambridge, estudou matemática e filosofia, embora por sua própria conta, ele passou a maior 
parte de seu tempo jogando música de câmara como um oboísta. Em 1956, frequentou a Escola de 
Verão em programação de computadores, organizado pelo laboratório de matemática da 
Universidade de Cambridge, mas não persegui-lo.
Depois de se formar, em 1957, ele se mudou para Londres. Sua carreira não tinha inicialmente 
direção e ele tomou uma variedade de trabalhos, incluindo um período como professor de 
matemática. Decidir que ele precisava para conseguir um emprego estável, em 1960 ele se juntou a 
divisão de computadores da Ferranti para se tornar um programador. Em 1963 ele se casou com 
Lucy Moor, um professor de violino que ele conheceu em um acampamento de música. Eles 
tiveram três filhos, durante os próximos cinco anos. De 1963 até 1968, Milner foi um professor de 
matemática e computação na Universidade City, em Londres. Lá, além de ensinar os engenheiros, 
ele desenvolveu um interesse em inteligência artificial (AI).
Em 1968, ele assumiu um estágio sênior de pesquisa do University College, Swansea, trabalhando 
com David Cooper, um proeminente pesquisador AI. Isto foi seguido por uma pesquisa de pós com 
o projecto de inteligência artificial na Universidade de Stanford, Califórnia. Lá ele desenvolveu 
LCF, um sistema influente para o raciocínio assistida por computador. Este foi um trabalho 
importante, embora Milner senti que ela "não estava recebendo o coração da teoria da computação", 
onde foi determinado o seu futuro trabalho seria mentir.
Em 1973 Milner voltou para o Reino Unido como um professor de ciência da computação na 
Universidade de Edimburgo. Lá, seu primeiro e mais tangível criação foi ML, uma linguagem 
simples, rigorosamente definida a programação. Software não confiável é uma questão importante. 
ML foi uma maneira de permitir que programadores para verificar, com rigor matemático, que seus 
programas estavam corretas. ML logo ganhou vida própria. Foi utilizado para aplicações de ensino, 
pesquisa e engenharia de graduação e que gerou vários dialetos. Muitos anos mais tarde, ele foi 
redefinido como ML Padrão, para Milner, que ganhou o prêmio técnico de 1987, do British 
Computer Society.
Durante os anos 1970, a computação evoluiu de máquinas sequenciais (que obedeceu a um 
programa ao mesmo tempo) para sistemas concorrentes, permitindo que vários programas sejam 
executados simultaneamente. Em 1980 Milner publicou uma base matemática para compreendê-los, 
chamado de Cálculo de Sistemas Comunicantes (CCS).
Crescente reputação internacional da CCS consolidada Milner. Ele subiu rapidamente na hierarquia 
acadêmica, tornando-se um professor de ciência da computação na Universidade de Edimburgo em 
1984. Em 1986, ele garantiu financiamento para estabelecer o Laboratório de Fundamentos da 
Ciência da Computação. Lá, ele liderou o desenvolvimento do pi-calculus, que estendeu seu 
trabalho mais cedo para modelar o mundo emergente de rede, sistemas de computação móvel. 
Milner foi um bom administrador e um professor inspirador. Suas notáveis realizações acadêmicas e 
comportamento gentil lhe rendeu muito carinho e respeito.
Milner foi eleito membro da Royal Society em 1988. Ele recebeu o prêmio ACM Turing em 1991, a 
mais alta honraria acadêmica de ciência da computação, e ele foi conferido com doutorados 
honorários quase em uma base anual. Em 1995 ele se tornou professor de ciência da computação na 
Universidade de Cambridge, servindo como chefe do departamento de 1996-1999.
• Arthur John Robin Gorell Milner, cientista da computação e matemático, nascido 13 de janeiro de 
1934, morreu 20 de março de 2010 
7- 
Computação interativa envolveuma comunicação com o mundo externo durante a computação. Isto 
está no contraste à compreensão tradicional de que supõe uma relação simples entre um agente 
computando e seu ambiente, consistindo em fazer uma pergunta (entrada) e em gerar uma resposta 
(saída).
O famoso Thesis da Igreja-Turing tentativas de definir a computação e o computability nos termos 
de Máquinas de Turing. Entretanto o modelo da máquina de Turing dá somente uma resposta à 
pergunta que computability funções meios e, com as tarefas interativas não sempre que são 
reducible a funções, não captura nosso intuition mais largo da computação e do computability. 
Quando este fato for admitido perto ele mesmo, não era até recentemente aquele que a comunidade 
teórica da informática de realizou a necessidade para definir modelos matemáticos adequados da 
computação interativa. Entre os modelos matemáticos atualmente estudados da computação que 
tentam capturar a interação seja Japaridze as máquinas dos trabalhos forçados e do fácil-jogo 
elaboraram dentro da estrutura de , Goldin máquinas persistentes de Turing, Gurevich máquinas 
abstratas do estado. 
Bibliografia
WIKIPÉDIA. Problemas de Hilbert. Disponível em: 
<http://pt.wikipedia.org/wiki/Problemas_de_Hilbert>. Acesso em: 07 nov. 2013. 
CAMPBELL-KELLY, Martin. Robin Milner obituary. Disponível em: 
<http://www.theguardian.com/technology/2010/apr/01/robin-milner-obituary>. Acesso em: 07 nov. 
2013. 
QWIKA. Computação interativa. Disponível em: 
<http://wikipedia.qwika.com/en2pt/Interactive_computation>. Acesso em: 07 nov. 2013.