Translation of "aritmético" to English language:
Examples (External sources, not reviewed)
| E, finalmente, o problema aritmético não vai desaparecer. | And, ultimately, the arithmetic problem isn't going to go away. |
| Em lógica o termo aritmético se refere à teoria dos números naturais. | In logic, the term arithmetic refers to the theory of the natural numbers. |
| História As origens da álgebra se encontram na antiga Babilônia, cujos matemáticos desenvolveram um sistema aritmético avançado, com o qual puderam fazer cálculos algébricos. | Early history of algebra The roots of algebra can be traced to the ancient Babylonians, who developed an advanced arithmetical system with which they were able to do calculations in an algorithmic fashion. |
| Seu Traité du triangle arithmétique ( Tratado sobre o Triângulo aritmético ) de 1653 descreveu uma apresentação tabular conveniente para os coeficientes binomiais, agora chamado triângulo de Pascal. | His Traité du triangle arithmétique ( Treatise on the Arithmetical Triangle ) of 1653 described a convenient tabular presentation for binomial coefficients, now called Pascal's triangle. |
| Uma pessoa que juntou tudo isso muito bem foi David Mackay, um físico na Inglaterra, e em seu maravilhoso livro, Energia Sustentável , entre outras coisas, ele diz, Eu não estou tentando ser pro nuclear. Eu sou apenas pro aritmético . | A guy who's added it up all this very well is David Mackay, a physicist in England, and in his wonderful book, Sustainable Energy, among other things, he says, I'm not trying to be pro nuclear. I'm just pro arithmetic. |
| Note que completude tem um diferente significado aqui, então no contexto do primeiro teorema da incompletude de Godel, o qual estados não recursivos, conjuntos consistentes de axiomas não lógicos formula_57 da teoria da aritmética é completa, No sentido que sempre existe um estado aritmético formula_21 tal que nenhum formula_21 nem formula_67 pode ser provado de um dado conjunto de axiomas. | Note that completeness has a different meaning here than it does in the context of Gödel's first incompleteness theorem, which states that no recursive , consistent set of non logical axioms formula_57 of the Theory of Arithmetic is complete , in the sense that there will always exist an arithmetic statement formula_21 such that neither formula_21 nor formula_66 can be proved from the given set of axioms. |
