Alonzo Church oor Engels

Alonzo Church

Vertalings in die woordeboek Nederlands - Engels

Alonzo Church

voorbeelde

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.
This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable.

Anonieme functies kwamen voor het eerst voor in het werk van Alonzo Church bij de ontwikkeling van de lambdacalculus in 1936 (lang voor het gebruik van elektronische computers).
Anonymous functions originate in the work of Alonzo Church in his invention of the lambda calculus, in which all functions are anonymous, in 1936, before electronic computers.

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.
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.

Turing, die aanzienlijke vooruitgang had gemaakt bij het schrijven van zijn eigen resultaten, was teleurgesteld om te horen van het bewijs van Church bij de publicatie daarvan (zie de correspondentie tussen Max Newman en Church in Alonzo Church papers).
Turing, who had made substantial progress in writing up his own results, was disappointed to learn of Church's proof upon its publication (see correspondence between Max Newman and Church in Alonzo Church papers Archived 2010-06-07 at the Wayback Machine).

Ook toonde Alonzo Church later aan dat het algemene geval van het Entscheidungsprobleem, dat Ramsey trachtte aan te pakken, onoplosbaar is (zie stelling van Church), terwijl, ironisch genoeg, een grote hoeveelheid later werk in de wiskunde voortvloeide uit dit ogenschijnlijk relatief kleine lemma, dat later een belangrijk vroeg resultaat in de combinatoriek bleek te zijn, dat het idee ondersteunde, dat binnen enige voldoende grote systemen, hoe ongeordend ook, er altijd enige orde moet zijn, Zo vruchtbaar was de stelling van Ramsey dat er vandaag de dag een heel deelgebied van de wiskunde, de Ramsey-theorie, uit ontstaan is, dat gewijd is aan het bestuderen van vergelijkbare resultaten.
Alonzo Church would go on to show that the general case of the decision problem for first-order logic is unsolvable (see Church's theorem). A great amount of later work in mathematics was fruitfully developed out of the ostensibly minor lemma, which turned out to be an important early result in combinatorics, supporting the idea that within some sufficiently large systems, however disordered, there must be some order.