Translation of "Nagel" to Portuguese language:
Dictionary English-Portuguese
Examples (External sources, not reviewed)
| ISBN 978 0 86316 282 4 Nagel, Thomas. | NAGEL, Thomas. |
| Ernest Nagel, James Roy Newman, Douglas Hofstadter, 2002 (1958). | Ernest Nagel, James Roy Newman, Douglas Hofstadter, 2002 (1958). |
| One study by Coricelli and Nagel gives a really sharp, interesting answer. | Um estudo, de Coricelli e Nagel, fornece uma resposta realmente interessante e perspicaz. |
| Around 2004, in collaboration with Gerhard Nagel and Karl Deisseroth, this vision came to fruition. | Por volta de 2004, com a colaboração de Gerhard Nagel e Karl Deisseroth, essa visão se concretizou. |
| Some of the earliest ones were done in the '90s by me and Rosemarie Nagel and others. | Alguns dos primeiros foram feitos nos anos 90, por mim e Rosemarie Nagel e por outros. |
| ) Ernest Nagel and James R. Newman 1958 Gödel's Proof , New York University Press, Card Catalog Number 58 5610. | ) Ernest Nagel and James R. Newman 1958 Gödel's Proof , New York University Press, Card Catalog Number 58 5610. |
| A system will be said to be inconsistent if it yields the assertion of the unmodified variable p in the Newman and Nagel examples. | Um sistema será dito inconsistente se ele gera a afirmação da variável não modificada p nos exemplos Newman e Nagel . |
| Nagel is well known for his critique of reductionist accounts of the mind, particularly in his essay What Is it Like to Be a Bat? | É conhecido por sua crítica aos estudos reducionistas sobre a mente em seu What Is it Like to Be a Bat? |
| Joachim Nagel of the German Bundesbank lauded the Bank of China announcement as a milestone on the road toward creating a renminbi trading center in Frankfurt. | Joachim Nagel do Bundesbank alemão louvou a declaração do Banco da China, declarando que representa um marco no caminho para a criação de um centro de transacção comercial do renminbi em Frankfurt . |
| Thomas Nagel ( born July 4, 1937) is an American philosopher, currently University Professor of Philosophy and Law at New York University, where he has taught since 1980. | Thomas Nagel (Belgrado, 4 de Julho de 1937) é um filósofo dos Estados Unidos, actualmente professor de Filosofia e Direito na New York University. |
| Post's solution to the problem is described in the demonstration An Example of a Successful Absolute Proof of Consistency offered by Ernest Nagel and James R. Newman in their 1958 Gödel's Proof . | A solução para o problema é descrita na demonstração Um exemplo de uma prova absoluta de sucesso de Consistência oferecida por Ernest Nagel e James R. Newman na prova de Gödel de 1958. |
| Nagel and Newman can now define the notion of tautologous a formula is a tautology if, and only if, it falls in the class K1 no matter in which of the two classes its elements are placed . | Nagel and Newman agora podem definir a noção de tautológico uma fórmula é uma tautologia se, e somente se ela cai na classe K1 não importando em qual das duas classes de seus elementos são colocados . |
| ) Ball, R., Beck, J., DeMott R., Deneroff, H., Gerstein, D., Gladstone, F., Knott, T., Leal, A., Maestri, G., Mallory, M., Mayerson, M., McCracken, H., McGuire, D., Nagel, J., Pattern, F., Pointer, R., Webb, P., Robinson, C., Ryan, W., Scott, K., Snyder, A. | Contudo, a história das Imagens Animadas começa antes, com a produção de Brinquedos Ópticos tais como o Fenaquiscópio (ou também, fenaquistiscópio), inventado em 1832 pelo belga Joseph Plateau e pelo austríaco Simon von Stampfer, simultaneamente. |
| The mission's crew members included Daniel C. Brandenstein, commander John O. Creighton, pilot Shannon W. Lucid, Steven R. Nagel, and John M. Fabian, mission specialists and Patrick Baudry, of France, and Prince Sultan Salman Al Saud, of Saudi Arabia, both payload specialists. | Os membros do grupo eram Daniel C. Brandenstein, comandante John O. Creighton, piloto Shannon W. Lucid, Steven R. Nagel, e John M. Fabian, especialista da missão e Patrick Baudry, e Prince Sultan Salman Al Saud, especialista da carga. |
| In a thorough manner Post demonstrates in PM, and defines (as do Nagel and Newman, see below), that the property of tautologous as yet to be defined is inherited if one begins with a set of tautologous axioms (postulates) and a deduction system that contains substitution and modus ponens then a consistent system will yield only tautologous formulas. | De maneira minuciosa Post demonstra na PM, e define (como fazem Nagel e Newman, veja abaixo), que a propriedade de tautológico ainda a ser definida é herdada se a pessoa começa com um conjunto de axiomas tautológicos (postulados) e um sistema de dedução que contém substituição e modus ponens, em seguida, um sistema consistente vai render apenas fórmulas tautológicas. |
