Diferencies ente revisiones de «Inducción matemática»

Contenido eliminado Contenido añadido
m us os
m Bot: Troquéu automáticu de testu (-\bCharres\b +Charles)
Llinia 18:
La primer formulación esplícita sobre'l principiu d'inducción foi establecida pol filósofu y matemáticu [[Blaise Pascal]] na so obra ''Traité du triangle arithmétique'' (1665).<ref>Lokenath Debnath (2009), The Legacy of Leonhard Euler: A Tricentennial Tribute, World Scientifi</ref> Otru francés, [[Fermat]], fai ampliu usu d'un principiu rellacionáu pa una demostración indirecta del [[descensu infinitu]]. La hipótesis inductiva foi tamién emplegada pol suizu [[Jakob Bernoulli]] y a partir d'entós foi más conocida.
 
El tratamientu de calter rigorosu y sistemáticu llega solo nel SIEGLU|XIX|d|s|0}} con [[George Boole]], [[Augustus De Morgan]], [[CharresCharles Sanders Peirce]], [[Giuseppe Peano]] y [[Richard Dedekind]].
 
== Demostración per inducción ==