Tradução de "Alonzo" para a língua portuguesa:
Dicionário Inglês-Português
Exemplos (Fontes externas, não revisadas)
| Or as the ballet dancer Alonzo King said, | Ou como disse o bailarino Alonzo King, |
| 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. | 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. |
| Church, Alonzo, An unsolvable problem of elementary number theory , American Journal of Mathematics, 58 (1936), pp. | Outras linguagens puras Haskell Ver também Cálculo lambda simplesmente tipificado Referências |
| Assistant cashier Alonzo Enos Bunker was wounded in the shoulder as he fled out the back door of the bank. | O assistente Alonzo Enos Bunker foi ferido quando ele correu para a porta. |
| The negative answer to the was then given by Alonzo Church in 1935 36 and independently shortly thereafter by Alan Turing in 1936. | 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. |
| ) This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable. | 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. |
| 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. | 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. |
| 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. | 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. |
| 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. | Alonzo Church (Washington, DC, 14 de junho de 1903 Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense. |
| 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. | 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. |
| 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. | 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. |
| 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. | 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. |
