Tradução de "provadas" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| Foi acusada de usar prisioneiros nos sets de filmagens, mas tais acusações nunca foram provadas em tribunal. | Lavish sets made these shots some of the most costly in the film but they were finished within days. |
| Assim, a não regularidade de algumas linguagens formula_21 podem ser provadas pela enumeração das palavras em formula_21. | Thus, non regularity of certain languages formula_29 can be proved by counting the words of a given length informula_29. |
| (As teorias que têm sido provadas consistentes por esses métodos são bem fortes e incluem as matemáticas mais ordinárias ). | (The theories that have been proved consistent by these methods are quite strong, and include most ordinary mathematics. |
| Hilbert propôs que a consistência de sistemas mais complicados, tais como análise real, poderiam ser provadas em termos de sistemas mais simples. | Hilbert proposed that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems. |
| Em particular, diferentes formalizações da alegação de que T é consistente pode não ser equivalente a T , e algumas podem até ser provadas. | In particular, different formalizations of the claim that T is consistent may be inequivalent in T , and some may even be provable. |
| Limitações dos teoremas de Gödel As conclusões dos teoremas de Gödel só são provadas para as teorias formais que satisfazem as hipóteses necessárias. | Limitations of Gödel's theorems The conclusions of Gödel's theorems are only proven for the formal theories that satisfy the necessary hypotheses. |
| Para qualquer um desses sistemas, sempre haverá afirmações sobre os números naturais que são verdadeiras, mas que não podem ser provadas dentro do sistema. | For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. |
| Principais setores O país é o 12º maior produtor e o oitavo maior exportador de petróleo do mundo, além de ter as 10 maiores reservas provadas deste recurso. | Oil Nigeria is the 12th largest producer of petroleum in the world and the 8th largest exporter, and has the 10th largest proven reserves. |
| Desde o final da década de 1960, a exploração e a produção de petróleo aumentaram, enquanto as reservas provadas eram estimadas em 6,51 bilhões de barris em 2011. | Since the late 1960s, the exploitation of oil increased production, and proven reserves are estimated at 6.51 billion barrels as of 2011. |
| Agora, fé nas coisas que não podem ser vistas, que não podem ser provadas, não é o tipo de fé que eu já tenha me relacionado muito, até hoje. | Now, faith in things which cannot be seen, which cannot be proved, is not the sort of faith that I've ever really related to all that much. |
| Elas podem ser provadas em sistemas maiores que são, geralmente, aceitos como formas válidas de raciocínio, mas são indecidíveis em um sistema mais limitado como a aritmética de Peano. | They can be proved in a larger system which is generally accepted as a valid form of reasoning, but are undecidable in a more limited system such as Peano Arithmetic. |
| Enviai um dentre vós, que traga vosso irmão, mas vós ficareis presos, a fim de serem provadas as vossas palavras, se há verdade convosco e se não, pela vida de Faraó, vós sois espias. | Send one of you, and let him get your brother, and you shall be bound, that your words may be tested, whether there is truth in you, or else by the life of Pharaoh surely you are spies. |
| Provavelmente, muitos de vocês na platéia sentiram um grande nojo, mas para quem não olhou, Posso falar um pouco de outras coisas que foram provadas como causa universal de nojo nas pessoas coisas como fezes, urina, sangue, carne podre. | Those probably made a lot of you in the audience feel very, very disgusted, but if you didn't look, I can tell you about some of the other things that have been shown sort of across the world to make people disgusted, things like feces, urine, blood, rotten flesh. |
| A Coca Cola Company opera uma atração turística no centro de Atlanta, Geórgia, chamado World of Coca Cola que é um museu temático de dois andares onde muito dos sabores vendidos pela empresa podem ser provadas, bem como contar a história da empresa. | World of Coca Cola Coca Cola operates a soft drink themed tourist attraction in downtown Atlanta, Ga the World of Coca Cola is a multi storied exhibition of the many flavors sold by the company as well as a museum to the history of the company. |
| O número total de ex empregados da empresa que reportaram leucemia e outras doenças sérias atinge mais de 200 (80 já morreram), e mesmo após as suas doenças terem sido provadas como relacionadas ao trabalho, eles têm que enfrentar longos processos burocráticos e outros problemas legais pela frente. | The total number of former Samsung employees who reported leukemia and serious diseases reaches over 200 (80 have passed away), and even after their illnesses were proven to be work related, they have to endure long bureaucratic process and minor legal issues ahead. |
| A teoria de que toda a matéria é feita por átomos, que são os menores constituintes da matéria que não podem ser subdivididos sem perder suas propriedades químicas e físicas da matéria, foram provadas por John Dalton em 1803, apesar da questão ter demorado cem anos para ser provada. | The theory that all matter is made of atoms, which are the smallest constituents of matter that cannot be broken down without losing the basic chemical and physical properties of that matter, was provided by John Dalton in 1803, although the question took a hundred years to settle as proven. |
