Gödel tradutor Português

The man responsible for destroying Hilbert's belief was an Austrian mathematician, Kurt Godel.

O homem responsável por destruir a crença de Hilbert, foi o matemático austríaco, Kurt Gödel.

Even his admirers, and there are a great many, admit that Kurt Godel was a little odd.

Até os seus admiradores, e são muitos, admitem que Kurt Gödel era um bocado estranho.

Godel lived in Vienna in the 1920s and 1930s, between the fall of the Austro-Hungarian Empire and its annexation by the Nazis.

Gödel viveu em Viena, nas décadas de 1920 e 30, entre a queda do Império Austro-húngaro e a sua anexação pelos nazis.

Godel studied mathematics at Vienna University but he spent most of his time in the cafes, the internet chat rooms of their time, where amongst games of backgammon and billiards, the real intellectual excitement was taking place.

Gödel estudou Matemática na Universidade de Viena, mas passava a maior parte do seu tempo nos cafés, as salas de chat virtuais do seu tempo, onde entre jogos de gamão e bilhar, ocorria a verdadeira agitação intelectual.

In their discussions, Kurt Godel would come up with an idea that would revolutionise mathematics.

Nos seus debates, Kurt Gödel surgiu com uma ideia que iria revolucionar a Matemática.

But what he came up with surprised even him.

mas o resultado a que chegou, surpreendeu o próprio Gödel.

Godel proved that within any logical system for mathematics there will be statements about numbers which are true but which you cannot prove.

Gödel provou que em qualquer sistema lógico em Matemática, existirão sempre afirmações sobre números que irão ser verdadeiras mas que não podemos provar.

Godel could change this statement into a pure statement of arithmetic.

Gödel podia transformar esta afirmação numa outra de pura aritmética.

Blast. Godel's proof led to a crisis in mathematics.

A demonstração de Gödel originou uma crise na Matemática.

It led to a crisis for Godel too.

Esta questão também levou Gödel a uma crise.

She kept Godel alive.

Foi ela que manteve Gödel vivo.

One day, she and Godel were walking down these very steps.

Um dia, ela e Gödel iam a descer esta escadaria.

Godel himself wasn't Jewish, but many of his friends in the Vienna Circle were.

Gödel não era judeu, ao contrário de muitos dos seus amigos do "Círculo de Viena".

But it was only a temporary reprieve for Godel and for maths.

Mas isto foi só um adiamento para Gödel e para a Matemática.

Every morning Kurt Godel, dressed in a white linen suit and wearing a fedora, would walk from his home along Mercer Street to the Institute.

Todas as manhãs, Kurt Gödel, vestido com um fato branco de linho e um chapéu, percorria a rua Mercer de sua casa até ao Instituto.

But not even relaxed, affluent Princeton could help Godel finally escape his demons.

Mas nem mesmo a sossegada e próspera Princeton podia ajudar Gödel a fugir aos seus demónios.

But the much younger Godel became increasingly solemn and pessimistic.

Mas Gödel, muito mais novo, tornou-se cada vez mais sério e pessimista.

But as Godel was withdrawing into his own interior world, his influence on American mathematics paradoxically was growing stronger and stronger.

Mas à medida que Gödel se refugiava no seu mundo interior, a sua influência na matemática americana, tornava-se, paradoxalmente, cada vez mais forte.

And a young mathematician from just along the New Jersey coast eagerly took on some of the challenges he posed.

E um jovem matemático, da costa de Nova Jérsia, tomou avidamente alguns dos desafios que Gödel lançou.

There was a lot of scepticism and he had to come and make a trip here, to the Institute right here, to visit Godel.

Havia um grande cepticismo e ele teve de se preparar e vir aqui ao Instituto para visitar Gödel.

Nevertheless, the legacy of his achievements means that Grothendieck stands alongside Cantor, Godel and Hilbert as someone who has transformed the mathematical landscape.

Apesar disso, o legado dos seus feitos significam que Grothendieck está ao lado de Cantor, Gödel e Hilbert, como alguém que transformou a paisagem matemática.

What is the link between Georg Cantor, Yutaka Taniyama and Kurt Gödel?

O que têm em comum Georg Cantor, Yutaka Taniyama e Kurt Gödel?

Kurt Gödel formulated the Theorem of Incompleteness.

- E enlouqueceram. O Kurt Gödel apresentou o Teorema da Incompletude.

The godel metric has been disproved, but there's still the possibility with tachyons.

A Métrica de Gödel foi refutada, mas ainda há a possibilidade com taquiões.

But then a young man came here to the university of Vienna, to this library. His name was Kurt Gödel.

Então um jovem chegou aqui na universidade de Viena, nesta biblioteca, seu nome era Kurt Gödel.

Gödel was born the year Boltzmann died : 1906.

Gödel nasceu no ano que Boltzman morreu, 1906.

Gödel for his part, became one of a brilliant group of young philosophers, political thinkers, poets and scientists, known as'The Vienna Circle'.

Gödel, por sua vez, se tornou um dos brilhantes filósofos, pensadores políticos, poetas e cientistas conhecidos como o círculo de Viena.

Though Gödel was surrounded by radicals and revolutionary thinkers, he was not one himself.

Embora Gödel estivesse envolto por idéias e pensadores revolucionários, ele não era assim.

In fact, i think it came to Gödel... ultimately as a surprise when he showed that the next step, to show the completeness of arythmetic, was unachievable.

De fato, eu acho que para Gödel foi uma grande surpresa, quando ele demonstrou que o próximo passo da completude da aritmética era inalcançável.

And this was Gödel's Incompleteness Theorem.

E isso era o teorema da incompletude de Gödel.

Gödel came to the café with two eminent colleagues.

Gödel veio ao café com dois eminentes colegas.

What Gödel showed in his Incompleteness Theorem, is that, no matter how large you make your basis of reasoning, your axioms, your set of axioms, in arythmetic, there would always be statements that are true but can not be proven.

O que Gödel provou no seu teorema da incompletude é que não importa o quão grande é sua base de conjecturas, seu conjunto de axiomas, em aritmética sempre haverá afirmações que são verdadeiras mas não podem ser provadas.

Gödel had proved, that there were some things, we would never know.

Gödel provou que haviam coisas que jamais saberíamos.

Are there any holes in Gödels argument?

Existem falhas na demonstração de Gödel?

Gödel had joined Hilbert, in trying to solve the paradoxes, uncovered by Cantor.

Gödel se uniu a Hilbert na tentativa de resolver os paradoxos descobertos por Cantor.

So here we are again in the Great Courtyard of Vienna University with the busts of all of the great thinkers... except for Kurt Gödel.

Estamos de novo no pátio central da universidade de Vienna, com os bustos de todos os grandes pensadores, exceto por Kurt Gödel.

There's no bust to Gödel here.

Não há busto de Gödel aqui.

Well you see, nobody wants to face him. In my opinion nobody wants to face the consequences of Gödel.

Veja, ninguém quer aceitar, na minha opinião, ninguém quer aceitar as consequências do trabalho de Gödel.

You see? And in my opinion, Gödel explodes that formalist view of mathematics. that you can just mechanically grind away on a fixed set of concepts.

Na minha opinião, Gödel explode a visão formalista da matemática, na qual você pode ir abrindo seu caminho mecanicamente com um conjunto fixo de conceitos.

So even though i believe Gödel pulled out the rug out from under it intellectually, nobody wants to face that fact.

Embora eu acredite que Gödel puxou o tapete intelectualmente, ninguém quer aceitar o fato.

So there's a very ambivalent attitude to Gödel. Even now, a century after his birth. A very ambivalent attitude.

Há ainda uma atitude muito ambivalente com o Gödel, um século após seu nascimento, muito ambivalente.

On the one hand, he's the greatest logician of all time so logicians will claim him, but on the other hand, they don't want, people who are not logicians to talk about the consequences of Gödels work, because the obvious conclusion from Gödels work is that logic is a failure.

Por um lado, ele é o maior lógico de todos os tempos e os lógicos vão gostar dele mas por outro lado, os que não são lógicos falarão das consequências do trabalho de Gödel porque a conclusão obvia é que a lógica é um fracasso.

Gödel too, felt the effects of his conclusion.

Gödel também sentiu o resultado da sua conclusão.

Almost as soon as Gödel has finished the Incompleteness Theorem, he decides to work on the great unsolved problem of modern mathematics : Cantor's'Continuum Hypothesis'.

Assim que Gödel terminou a teoria da incompletude, ele decidiu trabalhar no maior problema não resolvido da matemática moderna, a hipótese do contínuo de Cantor.

These are some pages from one of Gödel's workbooks and they all, look like this.

Estas são algumas das páginas de alguns dos cadernos de Gödel, e todos se parecem assim.

Gödel, like Cantor before him, could neither solve the problem, nor put it down. Even as it made him unwell.

Gödel, como Cantor antes dele, não podia nem resolver o problema, nem desistir dele, mesmo quando o deixou enfermo.

Kurt Godel, Nathan Liebitzrecht - three of the greatest minds of the 20th century and amongst them, they can't change a lightbulb.

Kurt Godel, Nathan Liebitzrecht Três das maiores mentes do século XX e os três juntos não conseguem mudar uma lâmpada.

We threw Godel's cane up there to get the racket.

Atirámos a bengala do Godel para recuperar a raquete.

We're going to throw Godel up there next.

A seguir, íamos atirar com o Godel.

And it was only after Godel gave his stamp of approval in quite an unusual way, He said, "Give me your paper", and then on Monday he put it back in the box and said, "Yes, it's correct."

e só então é que Godel lhe deu o seu aval de forma pouco comum, pedindo-lhe o artigo e colocando-o no correio na segunda-feira seguinte, dizendo que sim, que estava correcto.

Kurt Gödel committed suicide.

E suicidou-se.