ANHANGUERA EDUCACIONAL

FACULDADE DE SÃO JOSÉ DOS CAMPOS

ATIVIDADES PRÁTICAS SUPERVISIONADAS

6º SEMESTRE DE CIÊNCIAS DA COMPUTAÇÃO

ETAPA 3 (MÁQUINAS UNIVERSAIS, TESE DE CHURCH,

COMPUTABILIDADE)

Alan Mathison Turing

Alan Mathison Turing nascido em 23 de junho foi um matemático britânico que articulou a fundação matemática e os limites da computação, engenheiro de lógica e cientista da computação. Ganhou fama durante a Segunda Guerra Mundial, por ajudar a quebrar e decodificar códigos alemães através de máquinas inventadas por ele, Turing quebrou o código Enigma com uma máquina chamada ‘Bombe’. Ainda durante a Segunda Guerra, Turing foi responsável por liderar o projeto que resultou no computador inglês Colossus. Utilizando símbolos perfurados em fitas de papel, o equipamento processava a uma velocidade de 25 mil caracteres por segundo e sua missão era quebrar códigos alemães ultrassecretos.Sua influência proveu a formalização de conceitos e termos como algoritmo e computação, tendo assim representado um papel significativo na criação do computador moderno.Aos 24 anos demonstrou de que maneira um sistema automático poderia manipular símbolos de um sistema de regras, a “máquina de Turing” indicou que sistemas complexos poderiam ser construídos. Este e outros projetos fizeram com que Turing ficasse conhecido como o pai da ciência da computação.

Após a guerra, apesar de toda sua contribuição tecnológica e de seus impressionantes avanços em áreas como matemática biológica e eletromecânica, passou a ser perseguido como criminoso por sua orientação sexual, em 1954, quando ser gay ainda era ilegal no Reino Unido. Em alternativa a prisão, Turing foi submetido ao tratamento com hormônios conhecido como castração química.Pouco depois, com apenas 42 anos, Alan Turing cometeu suicídio por envenenamento. Quando seu corpo foi descoberto, havia uma maçã mordida ao

- 2 -

DOCUMENT.DOCX

lado de sua cama, o que acredita-se ter sido a maneira como ele consumiu a dose fatal de cianido.

Turing e a inteligência artificial

IA é “a arte de criar máquinas que executam funções que exigem inteligência quando executadas por pessoas” (Kurzweil, 1990).Em 1950, na revista filosófica 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 máquina pode ou não 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 comunicação é entre o interrogador e a entidade é feita de modo indireto, pelo teclado, por exemplo. O interrogador tentará, através do “diálogo” 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 condição. Se no final do teste o interrogador não conseguir distinguir quem é o humano, então conclui-se que o computador pode pensar, segundo o teste de Turing.Em um de seus ensaios, Turing disse: “acredito que no fim do século o uso da palavra e opinião geralmente educada terão se alterado tanto que alguém será capaz de falar de máquinas pensantes sem ser contraditado.” Porém, já chegamos ao fim do século e nenhuma máquina conseguiu passar, consistentemente, pelo teste de Turing. Alguns computadores, devidamente programados, conseguiram passar por versões 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 máquinas, e bom senso é essencial para passar no teste de Turing.”

- 3 -

DOCUMENT.DOCX

- 4 -

DOCUMENT.DOCX

Google Doodle para o aniversário de 100 anos de Alan Turing

O Google costuma comemorar datas importantes para a humanidade, como aniversários de invenções e personalidades ligadas à cultura e à política, por exemplo, com customizações do logo na página inicial do site de buscas.Em homenagem ao aniversário de Alan Turing, que teria sido 100 em 23 de junho de 2012, o Google criou um Doodle baseado na Máquina de Turing. Uma máquina de Turing é um dispositivo que manipula símbolos sobre uma tira de fita de acordo com uma tabela de regras. Apesar da simplicidade, uma máquina de Turing pode ser adaptada para simular a lógica de qualquer algoritmo de computador, e é particularmente útil para explicar as funções de um processador no interior de um computador.

- 5 -

DOCUMENT.DOCX

Curiosidade: Logotipo Apple

Mas afinal o logotipo da Apple têm relação com Alan Turing? Antes que se afirme que Steve Jobs era um aficionado pelo movimento GLS e por Alan Turing existem explicações:

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 Física Clássica.

O logotipo da Apple Computer é um reconhecimento a 2 grandes descobertas de Newton: a descoberta da gravidade (maça) e a separação da luz por prismas (cores).

Embora esses fatos acabem com qualquer dúvida, existe muita crítica a respeito se essa hipótese é real ou não. Se não é verdade, pelo menos é bem interessante essa tremenda coincidência.

- 6 -

DOCUMENT.DOCX

REFERÊNCIA BIBLIOGRÁFICA

WIKIPÉDIA, A ENCICLOPÉDIA LIVRE, Abril/2011. Grupóide (estrutura algébrica). Disponível em: <

http://pt.wikipedia.org/wiki/Grupoide_(estrutura_algébrica)> Acesso em: 01 out. 2011.

MICHAEL FORGE, Agosto/2010. Grupóides e Algebróides de Lie. Disponível em:

<http://www.ime.usp.br/~forger/pdffiles/grupoid.pdf> Acesso em: 01 out. 2011.

DANIEL AMARAL, Setembro/2006. Introdução a Teoria dos Grafos. Disponível em:

<http://danielamaral.wikidot.com/introducao-a-teoria-dos-grafos> Acesso em: 01 out. 2011.

TIAGO MADEIRA, Janeiro/2006. Representando Grafos na Programação. Disponível em:

<http://algoritmos.tiagomadeira.net/representando-grafos-na-programacao> Acesso em: 01 out. 2011.

ADÉRITO ARAÚJO, Agosto/2011. As pontes de Königsberg. Disponível em:

<http://www.mat.uc.pt/~alma/escolas/pontes> Acesso em: 01 out. 2011.

ABSINT, Maio/2008. Exemplos de grafos. Disponível 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-voce-

deve-algo-a-ele/

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

- 7 -

DOCUMENT.DOCX

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

- 8 -

DOCUMENT.DOCX