Tradução de "proofs" para a língua portuguesa:
Dicionário Inglês-Português
Exemplos (Fontes externas, não revisadas)
| Organise your proofs! | Organize as suas provas! |
| Proofs and Refutations . | Proofs and Refutations . |
| Three of them were having incomplete proofs. | Três deles tiveram provas incompletas. |
| None of the proofs mentioned so far is constructive. | Nenhuma das demonstrações até agora mencionadas é construtiva. |
| (1011b13 14)Aristotle attempts several proofs of this law. | (1011b13 14)Aristóteles tentou diversas vezes provar esse princípio. |
| Using automated theorem proving the machines can find and check proofs, as well as work with proofs too lengthy to write out by hand. | Usando prova automática de teoremas os computadores podem achar e verificar demonstrações, assim como trabalhar com demonstrações muito extensas. |
| The second incompleteness theorem does not rule out consistency proofs altogether, only consistency proofs that could be formalized in the theory that is proved consistent. | O segundo teorema não desconsidera as provas de consistência completamente, apenas prova que podem ser formalizadas na teoria que é provada consistente. |
| Proof by contradiction is used in mathematics to construct proofs. | Prova por contradição é usada na matemática para construir provas. |
| For proofs, see Thomas Jech, The Axiom of Choice , American Elsevier Pub. | Para provas, veja Thomas Jech, The Axiom of Choice , American Elsevier Pub. |
| More powerful subsets of second order arithmetic have been given consistency proofs by Gaisi Takeuti and others, and one can again debate about exactly how finitary or constructive these proofs are. | Subconjuntos mais poderosos de segunda ordem aritmética têm dado provas consistentes por Gaisi Takeuti e outros, e pode se de novo debater sobre o quão finitas ou construtivas essas provas são. |
| Formal proofs are useful because their theorems can be interpreted as true propositions. | Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras. |
| Mathematicians are creative artists, their artworks being sophisticated constructs of ideas and aesthetic proofs. | Matemáticos são artistas criativos suas obras de arte são sofisticadas articulações de ideias e elegantes demonstrações. |
| From the capital, from the provinces, from everywhere, arrived proofs of affection and veneration. | Da capital, das províncias, de todos os lugares, chegaram provas de afeição e veneração. |
| He gave two proofs, the second being essentially the same as John Herschel's (1850). | Ele deu duas provas, sendo a segunda essencialmente a mesma de John Herschel (1850). |
| For example, in symbolic logic and mathematical logic, proofs by humans can be computer assisted. | Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. |
| Gauss produced two other proofs in 1816 and another version of his original proof in 1849. | Gauss publicou mais duas demonstrações em 1816 e uma nova versão da primeira demonstração em 1849. |
| On the other hand, explicit proofs that certain systems compute this or that function are also admissible. | Por outro lado, provas explícitas que certos sistemas processam essa ou aquela função também são admissíveis. |
| Having a metric simplifies many proofs, and many of the most common topological spaces are metric spaces. | Paralelamente, em 1916, Robert Lee Moore também introduzia axiomas para o estudo de espaços abstratos. |
| Lucy informs Elinor of her secret four year engagement to Edward Ferrars, displaying proofs of her veracity. | Lucy conta em segredo para Elinor sobre um compromisso que tem há tempos com Edward. |
| And this is a word that appears throughout early mathematics, such as this 10th century derivation of proofs. | E esta é uma palavra que aparece através da matemática mais antiga, como nesta demonstração de provas do século 10. |
| Some thinkers see mathematicians as scientists, regarding physical experiments as inessential or mathematical proofs as equivalent to experiments. | Alguns pensadores veem os matemáticos como cientistas, considerando os experimentos físicos como não essenciais ou as provas matemáticas como equivalentes a experimentos. |
| A weaker relationship was demonstrated by Kurt Gödel in the proofs of his completeness theorem and incompleteness theorems. | Um relacionamento mais fraco foi demonstrado por Kurt Gödel nas provas do seu teorema da completude e teoremas de incompletude. |
| Our apostles brought clear proofs to them but even after that most of them committed excesses in the land. | Apesar dos Nossos mensageiros lhesapresentarem as evidências, a maioria deles comete transgressões na terra. |
| Their apostles had come to them with clear proofs and God did not surely wrong them, they wronged themselves. | Deus não oscondenou outrossim, foram eles menos que se condenaram. |
| Some proofs of the theorem only prove that any non constant polynomial with real coefficients has some complex root. | Algumas demonstrações provam somente que qualquer polinómio de uma variável com coeficientes reais tem alguma raiz complexa. |
| The book Proofs and Refutations The Logic of Mathematical Discovery , published after his death, is based on this work. | O livro Provas e Refutações , publicado depois de sua morte, é baseado nesse trabalho. |
| Algebraic proofs These proofs use two facts about real numbers that require only a small amount of analysis (more precisely, the intermediate value theorem) every polynomial with odd degree and real coefficients has some real root every non negative real number has a square root. | Demonstração algébrica Esta demonstração usa somente dois factos cuja demonstração requer Análise ou, mais precisamente, o teorema dos valores intermédios, nomeadamente qualquer polinómio de grau ímpar com coeficientes reais tem pelo menos um zero real qualquer número real não negativo tem alguma raiz quadrada. |
| And yet in spite of having seen these clear proofs they found it proper to incarcerate him for a time. | Mas apesar das provas, houveram por bem encarcerá lo temporariamente. |
| Further many proofs go via constructing models with elements that contain elements with certain types and then using these elements. | Também existem modelos não padrões dos axiomas de Peano, que contém elementos não correlacionados com nenhum dos números naturais. |
| At the end of the 18th century, two new proofs were published which did not assume the existence of roots. | No fim do século XVIII foram publicadas duas novas demonstrações que não supunham a existência de raízes. |
| The various invalid mathematical proofs (e.g., that 1 2) are classic examples, generally relying on a hidden division by zero. | As várias provas inválidas (e.g., que 1 2) são exemplos clássicos, geralmente dependendo de uma divisão por zero despercebida. |
| The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language. | A filosofia da matemática, por sua vez, preocupa se com o papel da linguagem e da lógica em provas, e da matemática como linguagem. |
| Formal theories, systems and proofs In mathematical logic, a formal theory is a set of sentences expressed in a formal language. | Teorias formais, sistemas e provas Na lógica matemática, uma teoria formal é um conjunto de sentenças expressas em uma linguagem formal. |
| When he was sent galley proofs of a new edition, Tolkien was surprised to find the sample text had been incorporated. | Quando ele enviou provas finais de uma nova edição, Tolkien ficou surpreso ao encontrar o texto da amostra incorporado ali. |
| Dijkstra objected, noting that the resulting proofs are long and cumbersome and give no insight on how the program was developed. | Dijkstra percebeu que as provas resultantes eram longas e complexas, e não indicavam como os programas deveriam ser desenvolvidos. |
| Leibniz's rule for the derivatives of products is an important, if often overlooked, step in many proofs in diverse fields of physics. | As regras de Leibniz são importantes, se muitas vezes esquecidas, provas em diversos campos da física. |
| ) depend quite essentially on the system to which they are defined Informal usage in proofs Proofs in computability theory often invoke the Church Turing thesis in an informal way to establish the computability of functions while avoiding the (often very long) details which would be involved in a rigorous, formal proof. | Utilização informal em provas Provas na teoria da computabilidade comumente usam a tese de Church Turing de um jeito informal afim de estabelecer a computabilidade de funções, evitando os detalhes (muitas vezes muito longos) que normalmente seriam mostrados em uma prova mais formal. |
| This process is not merely hypothetical systems such as Isabelle and Coq are used today to formalize proofs and then check their validity. | Esse processo não é meramente hipotético sistemas tais como Isabelle ou Coq são usados para formalizar provas e então checar sua validade. |
| John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol. | John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol. |
| proofs of consistency which are based on models, and which argue from the truth of axioms to their consistency, merely shift the problem. | provas de consistência, que são baseados em modelos, e que argumentam a partir da verdade de axiomas a sua consistência, apenas mudam o problema. |
| So be not like those who became disunited and differed among themselves after clear proofs had come to them. For them is great suffering. | Não sejais como aqueles que se dividiram e discordaram, depois de lhes terem chegado as evidências, porque essessofrerão um severo castigo. |
| Afterwards We sent many messengers who brought clear proofs to their peoples. But they were not prepared to believe what they had once denied. | Logo, depois dele, enviamos mensageiros aos seus povos, os quais lhes apresentaram as evidências mesmo assim nãocreram no que antes haviam desmentido. |
| How many generations did We lay low before you when they became wilfully unjust. Their apostles had brought clear proofs to them, yet they never believed. | Aniquilamos gerações anteriores a vós por sua iniqüidade, porque, apesar de lhes haverem apresentado aos seusmensageiros as evidências, jamais creram. |
| They said O Hud, you have come to us with no proofs. We shall not abandon our gods because you say so, nor believe in you. | Responderam lhe Ó Hud, não tens apresentado nenhuma evidência, e jamais abandonaremos os nossos deuses pela tuapalavra, nem em ti creremos |
| Once proofs have been accepted and printing supplies ( ink , paper , security threads and foils ) received , the printing presses and other ancillary equipment must be prepared . After | entre o IME e os Directores das Casas da Moeda na preparacáo para a introdqáo das rnoedas Logo após a aceitacáo das provas e a recepcáo dos materiais de irnpressáo ( tinta , papel , filetes de seguranca e foils ) , as impressoras e outro equipamento auxiliar deveráo ser preparados . |
