Turing перевод на английский

Lembras-te do que Alan Touring disse?

Remember what Alan Turing said?

Foram durante esses anos pré-guerra que outro jovem brilhandte, Alan Turing, entra em nossa história.

It was during these pre-war years, that another brilliant young man, Alan Turing, enters our story.

Turing ficou mais famoso pelo seu serviço militar no parque Bletchley, quebrando o código alemão Enigma.

Turing is most famous, for his wartime work at Bletchley Park, breaking the German Enigma code.

Turing era um homem muito mais prático que Gödel.

Turing was a much more practical man than Gödel.

Turing, cinco anos depois, o seu tratamento da incompletude, isso eu acho que era mais consistente.

But Turing, five years later... his approach to Incompleteness... that, I felt... was getting more in the right direction.

Turing interpretou a incompletude em termos de computadores e mostrou que, já que são máquinas lógicas, a incompletude significa que sempre haverá alguns problemas que eles jamais poderão resolver.

Turing recast Incompleteness, in terms of computers. and showed, that since they are logic machines, Incompleteness meant, there would always some problems they would never solve.

Turing provou que não há como dizer de antemão quais eram estes problemas.

Turing proved, there was no way of telling beforehand, which these problems were.

Então Turing vem e deixa tudo muito pior, ao menos com Gödel havia esperança de que pudéssemos distinguir entre o demonstrável e o não demonstrável, e apenas deixar o não demonstrável de lado.

Then Turing comes along, and makes matters much worse. At least with Gödel, there was the hope, that you could distinguish between the provable and the unprovable, and simply leave the unprovable to one side.

O que Turing faz é provar que não há como dizer quais seriam os problemas não demonstráveis.

What Turing does, is prove that in fact there is no way of telling which will be the unprovable problems.

Este é o problema da parada de Turing.

And that... is Turing's'halting problem'.

Turing expõe isso bem fácil porque ele fala sobre máquinas, se a máquina vai parar ou não.

But Turing makes it very down to earth, because he talks about machines, and he talks about whether a machine will halt or not.

Essa é a versão da incompletude de Turing.

And this is Turing's version of Incompleteness. Turing get's Incompleteness ;

Turing pega a profunda descoberta da incompletude de Gödel e faz dela um corolário de algo mais básico, que é incomputabilidade, coisas que não são computáveis, que nenhum computador pode calcular.

Gödel's profound discovery, he get's it as a corollary of something more basic which is uncomputability. Things which, can not be calculated. Things which no computer can calculate.

Sim, faço meu melhor. Algumas partes já estão no trabalho de Turing embora ela não as enfatize.

Some of it is already contained there in... in Gödel's... in Turing's paper although he doesn't emphasize it.

Travesso como o problema da parada é, a parte mais profunda da incompletude de Turing, não era o que ele disse sobre computadores lógicos, mas o que ele disse sobre nós e nossas mentes.

Startling as the halting problem was, the really profound part of Incompleteness for Turing, was not what it said about logic or computers, but what it said about us, and our minds.

Era a questão que traduzia quem era o Turing.

It was the question that went to the heart of who Turing was.

Turing era um homem com duas grandes paixões.

Turing was a man of two great loves.

Turing nunca recuperou aquele primeiro amor puro, mas nunca se esqueceu do que ele significara.

Turing never recaptured that first pure love, but never let go of the memory, of what it had been.

Quando Turing desenvolveu a idéia do computador, ele começou a se apaixonar de uma forma muito diferente, com o poder ilimitado que ele imaginara.

But when Turing developed the idea of the computer, he began to fall in love in a very different way, with the sheer power, of what he had imagined.

Agora com Turing, ela aparece como uma questão sobre nós e a natureza de nossas mentes.

And now with Turing, it comes into focus as a queston about us, and the nature of our minds.

É uma visão estabelecida que Turing era um computacionalista.

There is this sort of standard view that Turing was a computationalist.

Turing entendeu que Gödel e seu próprio trabalho dizem que se nossas mentes fossem computadores, então a incompletude se aplicaria a nós. As limitações da lógica serão nossas limitações.

Turing understood, that Gödel's and his own work, said that if our minds were computers, then Incompleteness would apply to us, and the limitations of logic, would be our limitations.

A personalidade de Turing é uma coisa, sua matemática não tem que ser igual à sua personalidade.

Turing's personality is one thing. His mathematics doesn't have to be consistent with his personality.

Turing conhecia bem estes problemas e queria desesperadamente provar que poderia achar as fórmulas da mente humana a partir de simples cálculos.

Turing was well aware of these problems, but desperately wanted to prove, he could get the fullness of the human mind from mere computation.

A filosofia pessoal de Turing, que seguiu toda sua vida, era não ter hipocrisia, falsidades ou enganações.

Turing's personal philosophy, which he stuck to all his life, was to be free from hypocrisy, compromise and deceit.

Turing era um homosexual quando isso era ilegal e até mesmo perigoso.

Turing was a homosexual, when it was both illegal and even dangerous.

Se nós fossemos computadores então seríamos o tipo de criatura que Turing queria que fossemos.

If we were computers, then we were the kind of creature, Turing wanted us to be.

Eu suspeito que Turing oscilou um pouco mas eu acho que em muitas análises e críticas das outras pessoas que o criticaram,

So i suspect Turing, vacillated rather. But, i think... in a lot of his analysis on criticisms of other people who criticize his view, he would show the flaws in their arguments and say :

Mas ele o fez estudando máquinas oráculo, que são como super máquinas de Turing, não são máquinas que podemos achar ou construí-las a partir de peças comuns, mas mesmo assim são entidades teóricas.

But yet, he did do these things like looking at oracle machines which were sort of super Turing machines ; went beyond them. They're not machines that you could see any way of constructing out of ordinary stuff.

Essa tensão entre o humano e o computacional era central na vida de Turing e fez parte dele até os eventos que levaram à sua morte.

This tension, between the human and the computational, was central to Turing's life. And he lived with it, until the events which led to his death.

Após a guerra, Turing chamava cada vez mais a atenção dos serviços secretos.

After the war, Turing increasingly found himself drawing the attention of the security services.

Turing fora tratado como uma máquina, quimicamente reprogramado, para eliminar a incerteza da sua sexualidade e o risco que eles achavam que isso causava à segurança.

Turing was being treated as no more than a machine, chemically reprogrammed, to eliminate the uncertainty of his sexuality, and the risk they felt it posed, to security and order.

No dia 7 de junho de 1954, Turing foi encontrado morto.

On the 7th of June 1954, Turing was found dead.

Turing envenenou a maçã com cianeto.

Turing had poisoned the apple, with cyanide.

Turing morreu, mas sua questão não.

Turing was dead, but his question was not.

Diferente de Turing, Gödel não acreditava que éramos computadores.

Unlike Turing, Gödel could not believe we were like computers.

Turing fez coisas como se ele fosse uma máquina, acho que o fez,

I mean, Turing did think that he was a machine. I think he did.

Ao invés disso, ele descobriu incertezas que Turing e Gödel provariam serem definitivas, uma parte inseparável da própria fundação da matemática e da lógica.

But instead, he had uncovered uncertainties. Which Turing and Gödel then proved, would never go away. They were an inescapable part, of the very foundations of maths and logic.

É Turing, Alan Turing. Decifrou o código Enigma.

That's Turing, Alan Turing, the man who deciphered the Enigma code.

Desligue o telefone outra vez e eu mato-o.

Turing the phone off again, I'll kill you.

"Dá à coisa uma sensação muito'Turing', " pois as avaliações das fotos são mais implícitas " do que, por exemplo, escolher um número para a sensualidade de cada pessoa

It gives the whole thing a very "Turing" feel since people's ratings of the pictures will be more implicit than, say, choosing a number to represent each person's hotness, like they do on hotornot.

Continue, pergunte-me algo que apenas um robô saberia.

Go ahead, ask me something only a robot would know. A reverse Turing test, eh?

Sabes, Penny, Alan Turing definiu o algoritmo...

You see, Penny, Alan Turing defined an algorithm...

Temos um novo número, Caroline Turing.

We got a new number, Caroline Turing. She put the hit on herself.

- Quem o raptou?

- Turing.

- Turing.

She wasn't a shrink.

A carta de condução com o nome de Caroline Turing era legítima.

The driver's license Root had in Caroline Turing's name was real. You sure?

Caroline Turing.

Caroline Turing.

CAROLINE TURING A duplicar o telemóvel. LIGADO.

_

Parece-me que os pacientes da Sra. Turing são um pouco pegajosos.

It seems some of Ms. Turing's patients are a little... Clingy.

Um teste de Turing inverso, eh?

Very good.