ANHANGUERA EDUCACIONAL FACULDADE DE SO JOS DOS CAMPOS

ATIVIDADES PRTICAS SUPERVISIONADAS

6 SEMESTRE DE CINCIAS DA COMPUTAO

ETAPA 3 (MQUINAS UNIVERSAIS, TESE DE CHURCH,

COMPUTABILIDADE)
Alan Mathison Turing
Alan Mathison Turing nascido em 23 de junho foi um matemtico britnico que articulou a fundao matemtica e os limites da computao, engenheiro de lgica e cientista da computao. Ganhou fama durante a Segunda Guerra Mundial, por ajudar a quebrar e decodificar cdigos alemes atravs de mquinas inventadas por ele, Turing quebrou o cdigo Enigma com uma mquina chamada Bombe. Ainda durante a Segunda Guerra, Turing foi responsvel por liderar o projeto que resultou no computador ingls Colossus. Utilizando smbolos perfurados em fitas de papel, o equipamento processava a uma velocidade de 25 mil caracteres por segundo e sua misso era quebrar cdigos alemes ultrassecretos. Sua influncia proveu a formalizao de conceitos e termos como algoritmo e computao, tendo assim representado um papel significativo na criao do computador moderno. Aos 24 anos demonstrou de que maneira um sistema automtico poderia manipular smbolos de um sistema de regras, a mquina de Turing indicou que sistemas complexos poderiam ser construdos. Este e outros projetos fizeram com que Turing ficasse conhecido como o pai da cincia da computao.

Aps a guerra, apesar de toda sua contribuio tecnolgica e de seus impressionantes avanos em reas como matemtica biolgica e eletromecnica, passou a ser perseguido como criminoso por sua orientao sexual, em 1954, quando ser gay ainda era ilegal no Reino Unido. Em alternativa a priso, Turing foi submetido ao tratamento com hormnios conhecido como castrao qumica. Pouco depois, com apenas 42 anos, Alan Turing cometeu suicdio por envenenamento. Quando seu corpo foi descoberto, havia uma ma mordida ao lado de sua cama, o que acredita-se ter sido a maneira como ele consumiu a dose fatal de cianido.
-2DOCUMENT1

 Turing e a inteligncia artificial

IA a arte de criar mquinas que executam funes que exigem inteligncia quando executadas por pessoas (Kurzweil, 1990). Em 1950, na revista filosfica Mind, Alan Turing publicou um artigo chamado Computing Machine and Intelligence.Neste artigo,Turing apresentou, pela primeira vez, o que hoje conhecido por Teste de Turing. Com este pretendia-se descobrir se uma mquina pode ou no pensar. O teste de Turing funciona da seguinte forma: um interrogador (humano) far perguntas a duas entidades ocultas; uma delas um humano e outra um computador A comunicao entre o interrogador e a entidade feita de modo indireto, pelo teclado, por exemplo. O interrogador tentar, atravs do dilogo realizado entre ele e as entidades, decidir qual dos dois o humano. O computador ser programado para se passar por humano, e o humano responder de forma a confirmar a sua condio. Se no final do teste o interrogador no conseguir distinguir quem o humano, ento conclui-se que o computador pode pensar, segundo o teste de Turing. Em um de seus ensaios, Turing disse: acredito que no fim do sculo o uso da palavra e opinio geralmente educada tero se alterado tanto que algum ser capaz de falar de mquinas pensantes sem ser contraditado. Porm, j chegamos ao fim do sculo e nenhuma mquina conseguiu passar, consistentemente, pelo teste de Turing. Alguns computadores, devidamente programados, conseguiram passar por verses simplificadas do teste, contudo, sempre esteve ausente o atributo mental do entendimento, como Marvin Minsky, do MIT, diz o maior desafio dar bom senso s mquinas, e bom senso essencial para passar no teste de Turing.

-3DOCUMENT1

 Google Doodle para o aniversrio de 100 anos de Alan Turing

O Google costuma comemorar datas importantes para a humanidade, como aniversrios de invenes e personalidades ligadas cultura e poltica, por exemplo, com customizaes do logo na pgina inicial do site de buscas. Em homenagem ao aniversrio de Alan Turing, que teria sido 100 em 23 de junho de 2012, o Google criou um Doodle baseado na Mquina de Turing. Uma mquina de Turing um dispositivo que manipula smbolos sobre uma tira de fita de acordo com uma tabela de regras. Apesar da simplicidade, uma mquina de Turing pode ser adaptada para simular a lgica de qualquer algoritmo de computador, e particularmente til para explicar as funes de um processador no interior de um computador.

-4DOCUMENT1

 Curiosidade: Logotipo Apple

Mas afinal o logotipo da Apple tm relao com Alan Turing? Antes que se afirme que Steve Jobs era um aficionado pelo movimento GLS e por Alan Turing existem explicaes:

A bandeira GLS s surgiu em 1978 quando este logotipo da Apple foi criado em 1976. O nome Apple da empresa sim uma homenagem a Isac Newton, pai da Fsica Clssica. O logotipo da Apple Computer um reconhecimento a 2 grandes descobertas de Newton: a descoberta da gravidade (maa) e a separao da luz por prismas (cores).

Embora esses fatos acabem com qualquer dvida, existe muita crtica a respeito se essa hiptese real ou no. Se no verdade, pelo menos bem interessante essa tremenda coincidncia.

-5DOCUMENT1

REFERNCIA BIBLIOGRFICA
WIKIPDIA, A ENCICLOPDIA LIVRE, Abril/2011. Grupide (estrutura algbrica). Disponvel em: < http://pt.wikipedia.org/wiki/Grupoide_(estrutura_algbrica)> Acesso em: 01 out. 2011. MICHAEL FORGE, Agosto/2010. Grupides e Algebrides de Lie. Disponvel em: <http://www.ime.usp.br/~forger/pdffiles/grupoid.pdf> Acesso em: 01 out. 2011. DANIEL AMARAL, Setembro/2006. Introduo a Teoria dos Grafos. Disponvel em: <http://danielamaral.wikidot.com/introducao-a-teoria-dos-grafos> Acesso em: 01 out. 2011. TIAGO MADEIRA, Janeiro/2006. Representando Grafos na Programao. Disponvel em: <http://algoritmos.tiagomadeira.net/representando-grafos-na-programacao> Acesso em: 01 out. 2011. ADRITO ARAJO, Agosto/2011. As pontes de Knigsberg. Disponvel em: <http://www.mat.uc.pt/~alma/escolas/pontes> Acesso em: 01 out. 2011. ABSINT, Maio/2008. Exemplos de grafos. Disponvel em: <http://www.absint.com/aisee/exemplos.htm> Acesso em: 01 out. 2011.

http://agenciadeinternet.com/2012/06/23/100-anos-de-alan-turing-se-voce-usa-um-computador-vocedeve-algo-a-ele/

http://www.wired.com/geekmom/2012/06/a-google-doodle-for-alan-turings-100th-birthday/

-6DOCUMENT1

http://img.cryptlife.com/2012/06/answers_for_alan_turing_google_doodle_cryptlife.jpg

http://investiga-ia.blogspot.com.br/2007/06/alan-turing-e-o-logotipo-da-apple.html

http://www.din.uem.br/~ia/maquinas/turing.htm

-7DOCUMENT1