Alonzo Church oor Nederlands

Alonzo Church

Vertalings in die woordeboek Portugees - Nederlands

Alonzo Church

voorbeelde

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.
Het negatieve antwoord op het Entscheidungsproblem werd vervolgens door Church gegeven in 1935-1936 en onafhankelijk van hem kort daarna door Alan Turing in 1936.

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.
Dit is een zeer merkwaardig resultaat, omdat Alonzo Church in 1936 bewees dat de Peano-rekenkunde (de theorie van de natuurlijk getallen) niet beslisbaar is.

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.
Dit werd gedaan door Alonzo Church in 1936 met het begrip "effectieve berekenbaarheid" op basis van zijn λ-calculus en door Alan Turing in hetzelfde jaar met zijn concept turingmachine.