Bewijs door oneindige afdaling oor Engels

Bewijs door oneindige afdaling

Vertalings in die woordeboek Nederlands - Engels

proof by infinite descent

form of mathematical proof

voorbeelde

De stelling van Mordell kende reeds een ad-hoc-bewijs; Weil begon met de splitsing van het oneindige afdalings argument in twee verschillende typen structurele aanpakken, door middel van hoogtefuncties voor de dimensionering van rationele punten en door middel van de Galois-cohomologie, die overigens pas twee decennia later deze naam kreeg.
Mordell's theorem had an ad hoc proof; Weil began the separation of the infinite descent argument into two types of structural approach, by means of height functions for sizing rational points, and by means of Galois cohomology, which would not be categorized as such for another two decades.