29.09.2014 Views

Popper Karl - La Logica de la Investigacion Cientifica

Popper Karl - La Logica de la Investigacion Cientifica

Popper Karl - La Logica de la Investigacion Cientifica

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

154 <strong>La</strong> lógica <strong>de</strong> <strong>la</strong> investigación científica<br />

mentó A:-ésimo <strong>de</strong> a, y sus segmentos contendrán los elementos <strong>de</strong> a numerados<br />

<strong>de</strong> k a n -\- k — 1, <strong>de</strong> n -{- k a 2n -{-k — 1, <strong>de</strong> 2n -{- k a<br />

in -{- k — 1, etc.<br />

En lo sucesivo, <strong>de</strong>notaremos con «a(„)» <strong>la</strong> sucesiones <strong>de</strong> segmentos-re<br />

imbricados, y con ««„» <strong>la</strong>s sucesiones <strong>de</strong> segmentos-n, adyacentes.<br />

Prestemos ahora algo más <strong>de</strong> atención a <strong>la</strong>s sucesiones <strong>de</strong> segmentos<br />

imbricados, a(n). Cada elemento <strong>de</strong> esta sucesión es un segmento-n<br />

<strong>de</strong> a. Po<strong>de</strong>mos consi<strong>de</strong>rar como propiedad primaria <strong>de</strong> un elemento<br />

<strong>de</strong> ia(n), por ejemplo, el acervo-re or<strong>de</strong>nado <strong>de</strong> ceros y unos en que<br />

consiste dicho elemento; o, más sencil<strong>la</strong>mente, tomar como propiedad<br />

primaria <strong>de</strong>l mismo el número <strong>de</strong> sus unos (<strong>de</strong>jando <strong>de</strong> <strong>la</strong>do, pues, el<br />

or<strong>de</strong>n <strong>de</strong> los unos y los ceros) : es c<strong>la</strong>ro que si <strong>de</strong>notamos el número <strong>de</strong><br />

unos con m, tenemos m ^ n.<br />

Ahora bien; a partir <strong>de</strong> toda sucesión a („) obtenemos otra alternativa<br />

al seleccionar un m concreto (m^n) y adscribir <strong>la</strong> propiedad<br />

«m» a todo elemento <strong>de</strong> <strong>la</strong> sucesión a(„) que tenga exactamente m<br />

unos (y, por tanto, n — m ceros) y <strong>la</strong> propiedad m (no m) a todos los<br />

<strong>de</strong>más elementos <strong>de</strong> «(«i; por tanto, todo elemento <strong>de</strong> «(„) ha <strong>de</strong> poseer<br />

una <strong>de</strong> estas dos propieda<strong>de</strong>s.<br />

Imaginemos ahora <strong>de</strong> nuevo que se nos da una alternativa finita a<br />

con <strong>la</strong>s propieda<strong>de</strong>s primarias «1» y «O», y supongamos que <strong>la</strong> frecuencia<br />

<strong>de</strong> los unos, c(F"(l), es igual a p, y que <strong>la</strong> <strong>de</strong> los ceros, aF''(0),<br />

es igual a q (no asumimos que ge trate <strong>de</strong> una equidistribución, en<br />

<strong>la</strong> que sería p = q).<br />

Partiendo <strong>de</strong> que <strong>la</strong> alternativa a sea al menos libre-n—1 (siendo n<br />

un número natural arbitrario), po<strong>de</strong>mos preguntar lo siguiente: ¿con<br />

qué frecuencia aparece <strong>la</strong> propiedad m en <strong>la</strong> sucesión a(n)?; o, dicho<br />

<strong>de</strong> otro modo, ¿cuál será el valor <strong>de</strong> a:i„)P"{m)?<br />

Con los recursos <strong>de</strong> <strong>la</strong> aritmética elemental po<strong>de</strong>mos resolver esta<br />

cuestión ^, sin apoyarnos en otro supuesto que el <strong>de</strong> que « sea al menos<br />

libre-n—1. Y <strong>la</strong> respuesta se hal<strong>la</strong> contenida en <strong>la</strong> fórmu<strong>la</strong> siguiente,<br />

cuya <strong>de</strong>mostración se encontrará en el apéndice III:<br />

F" (m) = «C^p^g"-"- (1)<br />

"(«)<br />

El segundo miembro <strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> «binomial» (1) fue obtenido<br />

—en un contexto diferente—• por Newton (y por ello se le l<strong>la</strong>ma,<br />

a veces, fórmu<strong>la</strong> <strong>de</strong> Newton); <strong>de</strong>signaré aquél<strong>la</strong> como «primera forma<br />

<strong>de</strong> <strong>la</strong> fórmu<strong>la</strong> binomial» *^.<br />

' L<strong>la</strong>mo «problema beruoulliano» (siguiendo a VoN MISES, Wahrscheinlichkeitsrechnung,<br />

1931, pág. 128) al problema correspondiente para sucesiones infinitas <strong>de</strong><br />

segmentos adyacentes; y con referencia a <strong>la</strong>s sucesiones infinitas <strong>de</strong> segmentos imbri<br />

cados, le <strong>de</strong>nomino «el problema casi bernouUiano» (cf. <strong>la</strong> nota 1 <strong>de</strong>l apartado ÍO).<br />

Por lo que el problema que aquí estudio sería el problema can bernouUiano para sucesiones<br />

finitas.<br />

" En el texto original empleaba el término «fórmu<strong>la</strong> <strong>de</strong> Newton»; pero como<br />

parece ser poco usado en inglés, me he <strong>de</strong>cidido a traducirlo por «fórmu<strong>la</strong> binomial»<br />

[ambas expresiones son corrientes en castel<strong>la</strong>no (T.)].<br />

http://psikolibro.blogspot.com

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!