検索ワード: shepherdson (英語 - ポルトガル語)

almost exactly the same thing happened to shepherdson and sturgis.
quase exatamente a mesma coisa aconteceu com shepherdson e sturgis.

the final paper of shepherdson and sturgis did not appear in a peer-reviewed journal until 1963.
o ultimo artigo de shepherdson e sturgis não apareceram em um periódico até 1963.

)it appears that lambek, melzak, minsky and shepherdson and sturgis independently anticipated the same idea at the same time.
)aparentemente lambek, melzak, minsky e shepherdson e sturgis anticiparam indenpendentemente a mesma idéia ao mesmo tempo.

"minsky (1961) and shepherdson-sturgis (1963) prove that only a few tapes—as few as one—still allow the machine to be turing equivalent "if" the data on the tape is represented as a gödel number (or some other uniquely encodable-decodable number); this number will evolve as the computation proceeds.
"minsky (1961) e shepherdson-sturgis (1963) provaram que apenas algumas fitas-quase nenhumas-ainda permitiam que a máquina fosse turing equivalente se o dado na fita fosse representado como um número de gödel(ou outro número unicamente decodificavel); este número vai evoluir conforme a computação procede.