Porém, ele pode ser provado em alguns sistemas lógicos.	However, it can be proved from the well ordering principle.
A visão daquilo que já foi provado e pode ser certificado.	The vision of that which has already been proven or can be ascertained.
A United Technologies também tem provado ser um conglomerado de sucesso.	United Technologies has also proven to be a successful conglomerate.
Cantero foi punida por um processo que não foi para julgamento, portanto o caso não pode ser considerado provado.	Cantero has been punished based on case that didn't make it to trial, thus cannot be considered proven.
É um fato provado.	It's a proven fact.
Nada foi provado ainda.	Nothing has been proven yet.
Está provado autocuidado é rentável.	It's been proved self care is cost effective.
Assumindo o axioma da escolha, pode ser provado que as noções de Dedekind correspondem aos padrões.	Assuming the axiom of choice, it can be proved that the Dedekind notions correspond to the standard ones.
O intuicionismo faz a validade de um enunciado matemático ser equivalente a ele ter sido provado.	The lead sentence tells it all The constructive tendency in mathematics... .
O apoio dos Estados Unidos para o golpe ainda não foi provado.	U.S. support for the coup remains unproven.
Nenhum resultado como esse foi provado para um arbitrário, mas razoável , modelo computacional.	No such result has been proved in general for an arbitrary but reasonable model of computation.
Foi provado que ele era um ladrão.	It was proved that he was a thief.
O conhecimento é provado pela lição em geral.	Knowledge is proved by the lesson in general.
Pode ser provado que a cardinalidade dos números reais é maior do que a dos números naturais que acabamos de descrever.	It can be proved that the cardinality of the real numbers is greater than that of the natural numbers just described.
O argumento para voltar a pôr a responsabilidade fiscal nas autoridades nacionais também é forte e não é só por a autoridade fiscal centralizada ter provado ser tão ineficiente.	The case for returning fiscal responsibility to national authorities is also strong and not only because centralized fiscal authority has proved to be so inefficient.
Les Troyens provado ser uma obra muito pessoal para Berlioz, como homenagem ao seu primeiro literário amor, quem ainda acalentado mesmo depois de suas descobertas de Shakespeare e Goethe .	Les Troyens proved to be a very personal work for Berlioz, as it paid homage to his first literary love, whom he still cherished even after his discoveries of Shakespeare and Goethe.
E este terceiro tipo de visão, de algo que pode ser, que talvez seja, baseada em conhecimento, mas ainda não foi provado.	And this third kind of vision, of something which can be, which may be, based on knowledge, but is as yet unproven.
Os submarinos, que tinham provado ser uma arma eficaz durante a Primeira Guerra Mundial foram fortemente usados pelos dois lados nesse conflito.	Submarines, which had proved to be an effective weapon during the First World War, were anticipated by all sides to be important in the second.
Isso pode explicar o fato de que conjuntos de instruções altamente codificados tem provado ser tão útil como projetos RISC em computadores modernos.	This may partly explain why highly encoded instruction sets have proven to be as useful as RISC designs in modern computers.
Acabamos de publicar uma avaliação desse programa e o que ficou provado para todos verem, é muito impresssionante.	We have just published an evaluation of this program, and the evidence that is there for all to see is quite remarkable.
O Entscheidungsproblem (termo alemão para problema de decisão ) é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica de primeira ordem pode ser provado.	By the completeness theorem of first order logic, a statement is universally valid if and only if it can be deduced from the axioms, so the can also be viewed as asking for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic.
Eu nunca tinha provado um doce em toda a minha vida.	I had never in my life ever tasted candy.
No entanto, este equívoco foi provado mais tarde, quando Madonna convenceu os executivos Sire para lhe permitir gravar um videoclipe para a canção.	However this misconception was cleared later when Madonna convinced Sire executives to allow her to shoot a music video for the song.
Depois foi provado que o que o cantor dissera não era verdade.	Later on, it was proven that what the singer said was not true.
Para obter entrada no local da obra da EXPO 98 tem de ser apresentado um cartão, o qual apenas é emitido para trabalhadores que tenham provado serem legalmente residentes no país e estarem registados na segurança social.	In order to enter the Expo 98 site a card has to be presented which is issued only to workers who have proved that they are legally resident in the country and are registered with the social security.
Os custos do processo ser o suportados pelo inquirido em causa , caso fique provado que o mesmo desrespeitou exig ncias de informaç o estat stica . 4 .	3 . For the verification and the compulsory collection of statistical information , national procedures shall be followed .
(Isto pode ser provado, usando o axioma da escolha, que há jogos mesmo com informação perfeita, e onde as únicas saídas são vencedor ou perdedor para o qual nenhum jogador tem uma estratégia vencedora.	(It can be proven, using the axiom of choice, that there are gameseven with perfect information and where the only outcomes are win or lose for which neither player has a winning strategy.
Estes líderes tem provado que a não violência funciona em lugares como Budrus.	These leaders have proven that nonviolence works in places like Budrus.
Ficou provado que a foto abaixo é de uma croata residente de Londres.	The photo below proved to be of a Croatian woman who lives in London.
Mas um antepassado comum com os fagócitos de mamíferos ainda não foi provado.	However, a common ancestry with mammalian phagocytes has not been proven.
Semelhantemente, embora um subconjunto dos reais que não é Lebesgue mensurável pode ser provado existir usando o Axioma da Escolha, é consistente que tal conjunto não é definível.	Similarly, although a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable.
Para Juan José Larrea e Pierre Bonnassie, um expansionismo vascão na Aquitânianão está provado e não é necessário para a compreensão da evolução histórica da região .	For Juan José Larrea, and Pierre Bonnassie, a Vascon expansionism in Aquitany is not proved and is not necessary to understand the historical evolution of this region .
Apesar de muitas de suas afirmações autobiográficas terem provado se ser fictícias, a Igreja rejeita qualquer sugestão de que seus relatos da vida de Hubbard não são fatos históricos.	Though many of his autobiographical statements have been proven to be fictitious, the Church rejects any suggestion that its account of Hubbard's life is not historical fact.
foi provado que promove o desenvolvimento do córtex pré frontal onde ocorre muito da cognição.	It's been shown to promote pre frontal cortex development where a lot of cognition is happening.
3) Está provado que civis morreram em Tskhinvali Saakashvili não terá a chance de entrar .	3) If it is proved that civilians died in Tskhinvali because of Saakashvili will not have a chance to join .
Assim, quando máquinas de Turing são utilizadas como base para tempo de execuções restritos, um falso limite inferior pode ser provado em determinados tempos de execução de algoritmos (graças à premissa falsa de simplificação da máquina de Turing).	The upshot of this distinction is that there are computational optimizations that can be performed based on the memory indices, which are not possible in a general Turing machine thus when Turing machines are used as the basis for bounding running times, a 'false lower bound' can be proven on certain algorithms' running times (due to the false simplifying assumption of a Turing machine).
Em 1930 provou que a sua teoria era decidível porque pôde fazer uma correspondência com outra teoria que já tinha provado ser decidível (teoria de primeira ordem dos números reais).	In 1930, he proved this theory decidable because it can be mapped into another theory he had already proved decidable, namely his first order theory of the real numbers.
Isso já está provado não ser verdade, pois indivíduos com outras dores crônicas severas em áreas específicas do corpo também se tornam bem mais sensíveis por praticamente todo o corpo.	Although fibromyalgia is classified based on the presence of chronic widespread pain, pain may also be localized in areas such as the shoulders, neck, low back, hips, or other areas.
O teorema da incompletude de Chaitin afirma que para qualquer teoria que pode representar a aritmética suficientemente, existe um limite superior c tal que nenhum número específico pode ser provado, nessa teoria, ter a complexidade Kolmogorov maior que c .	Chaitin's incompleteness theorem states that for any theory that can represent enough arithmetic, there is an upper bound c such that no specific number can be proven in that theory to have Kolmogorov complexity greater than c .
É provado que as casinhas estavam habitadas desde o século XVI até a segunda guerra mundial.	A proven fact is that the miniature houses were lived in from no later than the 16th century until the end of World War II.
Aqueles que pensavam que o euro não poderia sobreviver estavam errados, como ficou provado repetidas vezes.	Those who thought that the euro could not survive have been repeatedly proven wrong.
Donne foi solto quando o casamento foi provado válido, assegurando a soltura dos outros dois também.	Donne was released when the marriage was proven valid, and he soon secured the release of the other two.
Se as duas líderes são realmente culpadas de corrupçao, elas devem encarar um julgamento justo e, se for provado sua culpa, devem ser punidas de acordo com as leis do país.	If the two leaders are truly guilty of corruption, they should face a fair trial and if found guilty, should be punished according to the laws of the land.
Conservação uma prova de que qualquer resultado sobre objetos reais obtidos usando o raciocínio sobre objetos ideais (tais como um conjunto incontável) pode ser provado sem o uso de objetos ideais.	Conservation a proof that any result about real objects obtained using reasoning about ideal objects (such as uncountable sets) can be proved without using ideal objects.
É um exemplo do jogo do dilema do prisioneiro provado em pessoas reais, mas num ambiente artificial.	It is an example of the prisoner's dilemma game tested on real people, but in an artificial setting.

Pesquisas relacionadas : Ser Provado - Deve Ser Provado - Não Ser Provado - Provado - Como Provado - Provado Ter - Ter Provado - Provado Existir - Será Provado - Foi Provado - Tinha Provado - Provado Culpado

Exibir esta página em português