Baixe Alan turing- Matematica e outras Esquemas em PDF para Matemática, somente na Docsity!
Use as ferramentas de partilha que encontra na página de artigo. Todos os conteúdos do PÚBLICO são protegidos por Direitos de Autor ao abrigo da legislação portuguesa, conforme os Termos e Condições.Os assinantes do jornal PÚBLICO têm direito a oferecer até 6 artigos exclusivos por mês a amigos ou familiares, usando a opção “Oferecer artigo” no topo da página. Apoie o jornalismo de qualidade do PÚBLICO.
https://www.publico.pt/2022/10/03/opiniao/opiniao/matematico-mudou-mundo- 2022581
O matemático que mudou o mundo
A máquina de Turing não foi concebida como um modelo para um computador real. É, pelo contrário, uma abstracção matemática que permite analisar o tipo de cálculos que pode, em princípio, ser automatizado, e definir formalmente o que pode e o que não pode ser calculado por um procedimento computacional.
Arlindo Oliveira 3 de Outubro de 2022, 6:
Alan Turing é conhecido pelo público em geral principalmente através do filme de 2014, O Jogo da Imitação , que se foca nas suas contribuições para o esforço de guerra, onde desempenhou um importante papel na equipa que atacava as cifras usadas pelos alemães. Embora a história da épica batalha entre a equipa de criptoanalistas britânicos em Bletchley Park e as cifras alemãs, produzidas pelas máquinas Enigma, seja fascinante, as principais contribuições de Turing foram independentes desse esforço, e são muito menos conhecidas.
Turing é por muitos considerado como o pai da teoria da computação, o ramo da matemática que se debruça sobre as características abstractas dos programas de computador. Ao contrário do que possa pensar-se, muitos dos trabalhos nesta área não envolvem o uso de computadores e debruçam-se sobre perguntas cuja resposta é independente do hardware usado ou da linguagem de programação. De facto, o primeiro programa de computador foi descrito em 1842 por Ada Lovelace, filha de Lord Byron, para um computador (o Engenho Analítico) que nunca foi construído, embora tenha sido projectado e analisado em detalhe por Charles Babbage.
Embora Turing tenha escrito dezenas de artigos científicos, duas contribuições foram decisivas para o estado actual da ciência e da tecnologia. A primeira dessas contribuições foi uma definição precisa, e sem ambiguidades, do conjunto de tarefas que podem ser executadas por um computador. No artigo publicado em 1936, com o intimidatório título “ On computable numbers, with an application to the Entscheidungsproblem ”, Turing propôs um modelo simples para um computador genérico, que veio a ficar conhecido como a máquina de Turing, e demonstrou que um computador construído de acordo com este modelo pode calcular qualquer função cujo cálculo possa ser automatizado.
A máquina de Turing não foi concebida como um modelo para um computador real. É, pelo contrário, uma abstracção matemática que permite analisar o tipo de cálculos que pode, em princípio, ser automatizado, e definir formalmente o que pode e o que não pode ser calculado por um procedimento computacional. Embora nunca nenhuma máquina de Turing tenha sido construída para efectuar cálculos reais, muitas foram construídas para fins de demonstração, incluindo algumas feitas de Lego, cuja operação pode ser vista no YouTube, por exemplo.
Embora Turing tenha também proposto uma arquitectura para computadores reais, o “ Automated Computing Engine (ACE)”, a proposta de John von Neumann (que veio a ficar conhecida como a arquitectura de von Neumann) veio a revelar-se mais influente e está na raiz de todos os computadores de hoje. A contribuição essencial de Turing, neste aspecto, foi a definição do conjunto de funções que podem ser calculadas mecanicamente, um conjunto de funções que é comum a todos os computadores, desde a hipotética máquina de Turing a qualquer computador moderno, incluindo os tão falados computadores quânticos.
Esta contribuição, em conjunto com outras feitas por Alonzo Church, Kurt Gödel e Jacques Herbrand, conduziu ao que agora é conhecido como a tese de Church-Turing, que, de forma muito simplificada, defende que qualquer função que possa ser calculada fisicamente pode ser obtida por uma máquina de Turing. Na versão mais abrangente desta tese, mesmo o cérebro humano, com todo o seu poder e flexibilidade, não pode desempenhar nenhuma função que não possa ser desempenhada por um computador.
Foi este raciocínio que terá levado Turing a escrever, em 1950, outro influente artigo, “ Computing Machinery and Intelligence ”, onde argumenta que o pensamento humano pode, de facto, ser mecanizado, e responde afirmativamente à questão “Podem as máquinas pensar?”. Embora a ideia de criar máquinas que exibissem inteligência já viesse a ser proposta por vários cientistas, o artigo que Turing escreveu em 1950 teve um grande impacto, e influenciou de forma decisiva o desenvolvimento da inteligência artificial, um termo que apareceu em 1956.
Neste artigo, Turing não só propõe que a inteligência das máquinas seja testada através do jogo da imitação (uma designação que veio a ser o título do filme de 2014 sobre a sua vida) como endereça diversas questões complexas sobre o potencial e as limitações da inteligência artificial, tais como a possibilidade das máquinas serem conscientes, de sentirem emoções ou de terem capacidade criativa. A análise que Turing faz destas complexas questões é fascinante, e as suas respostas (de que as máquinas podem de facto exibir comportamentos conscientes, criativos ou emotivos) são tão actuais hoje como em 1950.
Em reconhecimento pelas suas muitas contribuições, foi criado em 1966 o Prémio Turing, geralmente reconhecido como o equivalente ao Prémio Nobel na área da computação (na Matemática, existe o Prémio Fields, com um prestígio semelhante). Um dos laureados com este prémio, Manuel Blum, esteve em Portugal na última semana, com a sua esposa, Lenore Blum.
Famosos pelas suas contribuições na área da criptografia e da complexidade computacional, Manuel e Lenore Blum têm-se interessado, no final das suas carreiras,
