Translation of "Alonzo" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Ou como disse o bailarino Alonzo King, | Or as the ballet dancer Alonzo King said, |
| O assistente Alonzo Enos Bunker foi ferido quando ele correu para a porta. | Assistant cashier Alonzo Enos Bunker was wounded in the shoulder as he fled out the back door of the bank. |
| Rice foi negociado para o Charlotte Hornets e Alonzo Mourning veio para o Heat. | For the players drafted by the Miami Heat, see Miami Heat draft history. |
| Referências Alonzo Church, An unsolvable problem of elementary number theory , American Journal of Mathematics, 58 (1936), pp 345 363 Alonzo Church, A note on the Entscheidungsproblem , Journal of Symbolic Logic, 1 (1936), pp 40 41. | Alonzo Church, An unsolvable problem of elementary number theory , American Journal of Mathematics, 58 (1936), pp 345 363 Alonzo Church, A note on the Entscheidungsproblem , Journal of Symbolic Logic, 1 (1936), pp 40 41. |
| Alonzo Church (Washington, DC, 14 de junho de 1903 Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense. | Life Alonzo Church was born on June 14, 1903 in Washington, D.C. where his father, Samuel Robbins Church, was the judge of the Municipal Court for the District of Columbia. |
| História Cálculo lambda foi apresentada por Alonzo Church na década de 1930 como parte da investigação dos fundamentos da matemática. | Lambda calculus in history of mathematics The lambda calculus was introduced by mathematician Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. |
| A resposta negativa ao Entscheidungsproblem foi dada por Alonzo Church em 1936 e, logo em seguida, de forma independente, por Alan Turing, também em 1936. | The negative answer to the was then given by Alonzo Church in 1935 36 and independently shortly thereafter by Alan Turing in 1936. |
| Na universidade de Göttingen, Hilbert era cercado por um círculo social de alguns dos mais importantes matemáticos do século XX, como Emmy Noether e Alonzo Church. | At the University of Göttingen, Hilbert was surrounded by a social circle of some of the most important mathematicians of the 20th century, such as Emmy Noether and Alonzo Church. |
| Conjuntos computáveis e não computáveis A teoria da recursão foi originada com o trabalho de Kurt Godel, Alonzo Church, Alan Turing, Stephen Kleene e Emil Post nos anos 30. | Computable and uncomputable sets Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Alan Turing, Stephen Kleene and Emil Post. |
| Este resultado é muito curioso porque Alonzo Church provou em 1936 que a aritmética de Peano (teoria que Tarski provou efetivamente, mas com números naturais ao invés de reais) não é decidível. | ) This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable. |
| Isso foi feito por Alonzo Church em 1936 com o conceito de calculabilidade efetiva , baseada no seu cálculo λ , e por Alan Turing, no mesmo ano, com o seu conceito de Máquinas de Turing. | This was done by Alonzo Church in 1936 with the concept of effective calculability based on his λ calculus and by Alan Turing in the same year with his concept of Turing machines. |
| O problema era que uma resposta primeiro exigia uma definição precisa de prescrição definitiva geral aplicável , que o professor de Princeton Alonzo Church viria a chamar de método efetivo , e em 1928 não existia tal definição. | The problem was that an answer first required a precise definition of definite general applicable prescription , which Princeton professor Alonzo Church would come to call effective calculability , and in 1928 no such definition existed. |
| Atrasos no estabelecimento da fábrica em Red Gate Woods , liderada por Compton e autorizou o Laboratório Metalúrgico para a construção do primeiro reator nuclear sob as arquibancadas do Amos Alonzo Stagg Field da Universidade de Chicago. | Delays in establishing the plant in Red Gate Woods led Compton to authorize the Metallurgical Laboratory to construct the first nuclear reactor beneath the bleachers of Stagg Field at the University of Chicago. |
