Van professionele vertalers, bedrijven, webpagina's en gratis beschikbare vertaalbronnen.
este resultado fue alcanzado de manera independiente por alonzo church en 1936 y por alan turing en 1937, dando así una respuesta negativa al entscheidungsproblem planteado por david hilbert en 1928.
this result was established independently by alonzo church and alan turing in 1936 and 1937, respectively, giving a negative answer to the entscheidungsproblem posed by david hilbert in 1928.
* alan turing, "on computable numbers, with an application to the entscheidungsproblem", proceedings of the london mathematical society, series 2, 42 (1936), pp 230 - 265.
* alan turing, "on computable numbers, with an application to the entscheidungsproblem", proceedings of the london mathematical society, series 2, 42 (1936-7), pp 230–265.