CONTROL DE LECTURA N 01

Qu es la ciencia?1

1. Introduccin
Mientras los animales inferiores slo estn en el mundo, el hombre trata de
entenderlo; y sobre la base de su inteligencia imperfecta pero perfectible, del
mundo, el hombre intenta enseorearse de l para hacerlo ms confortable. En
este proceso, construye un mundo artificial: ese creciente cuerpo de ideas
llamado "ciencia", que puede caracterizarse como conocimiento racional,
sistemtico, exacto, verificable y por consiguiente falible. Por medio de la
investigacin cientfica, el hombre ha alcanzado una reconstruccin conceptual
del mundo que es cada vez ms amplia, profunda y exacta.
Un mundo le es dado al hombre; su gloria no es soportar o despreciar este
mundo, sino enriquecerlo construyendo otros universos. Amasa y remoldea la
naturaleza sometindola a sus propias necesidades animales y espirituales,
as como a sus sueos: crea as el mundo de los artefactos y el mundo de la
cultura. La ciencia como actividad como investigacin pertenece a la vida
social; en cuanto se la aplica al mejoramiento de nuestro medio natural y
artificial, a la invencin y manufactura de bienes materiales y culturales, la
ciencia se convierte en tecnologa. Sin embargo, la ciencia se nos aparece
como la ms deslumbrante y asombrosa de las estrellas de la cultura cuando la
consideramos como un bien en s mismo, esto es como una actividad
productora de nuevas ideas (investigacin cientfica). Tratemos de caracterizar
el conocimiento y la investigacin cientficos tal como se los conoce en la
actualidad.

2. Ciencia formal y ciencia fctica

No toda la investigacin cientfica procura el conocimiento objetivo. As, la
lgica y la matemtica esto es, los diversos sistemas de lgica formal y los
diferentes captulos de la matemtica pura son racionales, sistemticos y
verificables, pero no son objetivos; no nos dan informaciones acerca de la
realidad: simplemente, no se ocupan de los hechos. La lgica y la matemtica
tratan de entes ideales; estos entes, tanto los abstractos como los
interpretados, slo existen en la mente humana. A los lgicos y matemticos no
se les da objetos de estudio: ellos construyen sus propios objetos. Es verdad
que a menudo lo hacen por abstraccin de objetos reales (naturales y
sociales); ms an, el trabajo del lgico o del matemtico satisface a menudo
las necesidades del naturalista, del socilogo o del tecnlogo, y es por esto que
la sociedad los tolera y, ahora, hasta los estimula. Pero la materia prima que
emplean los lgicos y los matemticos no es fctica sino ideal.
Por ejemplo, el concepto de nmero abstracto naci, sin d u d a , de la
coordinacin (correspondencia biunvoca) de conjuntos de objetos materiales,
tales como dedos, por una parte, y guijarros, por la otra; pero no por esto aquel
concepto se reduce a esta operacin manual, ni a los signos que se emplean
para representarlo. Los nmeros no existen fuera de nuestros cerebros, y aun
all dentro existen al nivel conceptual, y no al nivel fisiolgico. Los objetos

1
Mario Bunge: La ciencia. Su mtodo y su filosofa
materiales son numerables siempre que sean discontinuos; pero no son
nmeros; tampoco son nmeros puros (abstractos) sus cualidades o
relaciones. En el mundo real encontramos 3 libros, en el mundo de la ficcin
construimos 3 platos voladores. Pero quin vio jams un 3, un simple 3?
La lgica y la matemtica, por ocuparse de inventar entes formales y de
establecer relaciones entre ellos, se llaman a menudo ciencias formales,
precisamente porque sus objetos no son cosas ni procesos, sino, para emplear
el lenguaje pictrico, formas en las que se puede verter un surtido ilimitado de
contenidos, tanto fcticos como empricos. Esto es, podemos establecer
correspondencias entre esas formas (u objetos formales), por una parte, y
cosas y procesos pertenecientes a cualquier nivel de la realidad por la otra. As
es como la fsica, la qumica, la fisiologa, la psicologa, la economa, y las
dems ciencias recurren a la matemtica, emplendola como herramienta para
realizar la ms precisa reconstruccin de las complejas relaciones que se
encuentran entre los hechos y entre los diversos aspectos de los hechos;
dichas ciencias no identifican las formas ideales con los objetos concretos, sino
que interpretan las primeras en trminos de hechos y de experiencias (o, lo
que es equivalente, formalizan enunciados fcticos).
Lo mismo vale para la lgica formal: algunas de sus partes en
particular, pero no exclusivamente, la lgica proposicional bivalente pueden
hacerse corresponder a aquellas entidades psquicas que llamamos
pensamientos. Semejante aplicacin de las ciencias de la forma pura a la
inteligencia del mundo de los hechos, se efecta asignando diferentes
interpretaciones a los objetos formales. Estas interpretaciones son, dentro de
ciertos lmites, arbitrarias; vale decir, se justifican por el xito, la conveniencia o
la ignorancia. En otras palabras el significado fctico o emprico que se les
asigna a los objetos formales no es una propiedad intrnseca de los mismos. De
esta manera, las ciencias formales jams entran en conflicto con la realidad.
Esto explica la paradoja de que, siendo formales, se "aplican" a la realidad: en
rigor no se aplican, sino que se emplean en la vida cotidiana y en las ciencias
fctic as a condicin de que se les superpongan reglas de correspondencia
adecuada. En suma, la lgica y la matemtica establecen contacto con la
realidad a travs del puente del lenguaje, tanto el ordinario como el cientfico.
Tenemos as una primera gran divisin de las ciencias, en formales (o ideales)
y fcticas (o materiales). Esta ramificacin preliminar tiene en cuenta el objeto o
tema de las respectivas disciplinas; tambin da cuenta de la diferencia de
especie entre los enunciados que se proponen establecer las ciencias
formales y las fcticas: mientras los enunciados formales consisten en
relaciones entre signos, los enunciados de las ciencias fcticas se refieren, en
su mayora, a entes extracientficos: a sucesos y procesos. Nuestra divisin
tambin tiene en cuenta el mtodo por el cual se ponen a prueba los
enunciados verificables: mientras las ciencias formales se contentan con la
lgica para demostrar rigurosamente sus teoremas (los que, sin embargo,
pudieron haber sido adivinados por induccin comn o de otras maneras), las
ciencias fcticas necesitan ms que la lgica formal: para confirmar sus
conjeturas necesitan de la observacin y/o experimento. En otras palabras, las
ciencias fcticas tienen que mirar las cosas, y, siempre que les sea posible,
deben procurar cambiarlas deliberadamente para intentar descubrir en qu
medida sus hiptesis se adecuan a los hechos.
Cuando se demuestra un teorema lgico o matemtico no se recurre a la
experiencia: el conjunto de postulados, definiciones, reglas de formacin de
las expresiones dotadas de significado, y reglas de inferencia deductiva en
suma, la base de la teora dada, es necesaria y suficiente para ese
propsito. La demostracin de los teoremas no es sino una deduccin: es una
operacin confinada a la esfera terica, aun cuando a veces los teoremas
mismos (no sus demostraciones) sean sugeridos en alguna esfera
extramatemtica y aun cuando su prueba (pero no su primer
descubrimiento) pueda realizarse con ayuda de calculadoras electrnicas.
Por ejemplo, cualquier demostracin rigurosa del teorema de Pitgoras
prescinde de las mediciones, y emplea figuras slo como ayuda psicolgica al
proceso deductivo: que el teorema de Pitgoras haya sido el resultado de un
largo proceso de i n d u c c i n conectado a operaciones prcticas de
mediciones de tierras, es objeto de la historia, la sociologa y la psicologa del
conocimiento.
La matemtica y la lgica son, en suma, ciencias deductivas. El proceso
constructivo, en que la experiencia desempea un gran papel de sugerencias,
se limita a la formacin de los puntos de partida (axiomas). En matemtica la
verdad consiste, por esto, en la coherencia del enunciado dado con un
sistema de ideas admitido previamente: por esto, la verdad matemtica no es
absoluta sino relativa a ese sistema, en el sentido de que una proposicin que
es vlida en una teora puede dejar de ser lgicamente verdadera en otra
teora. (Por ejemplo, en el sistema de aritmtica que empleamos para contar
las horas del da, vale la proposicin de 24 + 1 = 1.) Ms an las teoras
matemticas abstractas, esto es, que contienen trminos no interpretados
(signos a los que no se atribuye un significado fijo, y que por lo tanto pueden
adquirir distintos significados) pueden desarrollarse sin poner atencin al
problema de la verdad.
Considrese el siguiente axioma de cierta teora abstracta (no interpretada):
"Existe por lo menos un x tal que es F". Se puede dar un nmero ilimitado de
interpretaciones (modelos) de este axioma, dndose a x y F otros tantos
s i g n i f i c a d o s . Si decimos que S designa punto, obtenemos un modelo
geomtrico dado: si adoptamos la convencin de que L designa nmero,
obtenemos un cierto modelo aritmtico, y as sucesivamente. En cuanto
"llenamos" la forma vaca con un contenido especfico (pero todava matemtico),
obtenemos un sistema de entes lgicos que tienen el privilegio de ser
verdaderos o falsos dentro del sistema dado de proposiciones: a partir de ah
tenemos que habrnoslas con el problema de la verdad matemtica. An as
tan slo las conclusiones (teoremas) tendrn que ser verdaderas: los axiomas
mismos pueden elegirse a voluntad. La batalla se habr ganado si se respeta la
coherencia lgica esto es, si no se violan las leyes del sistema de lgica que se
ha convenido en usar.
En las ciencias fcticas, la situacin es enteramente diferente. En primer
lugar, ellas no emplean smbolos vacos (variables lgicas) sino tan slo
smbolos interpretados; por ejemplo no involucran expresiones tales como 'x es
F', que no son verdaderas ni falsas. En segundo lugar, la racionalidad esto
es, la coherencia con un sistema de ideas aceptado previamente es necesaria
pero no suficiente para los enunciados fcticos; en particular la sumisin a algn
sistema de lgica es necesaria pero no es una garanta de que se obtenga la
verdad. Adems de la racionalidad, exigimos de los enunciados de las ciencias
fcticas que sean verificables en la experiencia, sea indirectamente (en el caso
de las hiptesis generales), sea directamente (en el caso de las consecuencias
singulares de las hiptesis). nicamente despus que haya pasado las pruebas
de la verificacin emprica podr considerarse que un enunciado es adecuado a
su objeto, o sea que es verdadero, y an as hasta nueva orden. Por eso es que
el conocimiento fctico verificable se llama a menudo ciencia emprica.
En resumidas cuentas, la coherencia es necesaria pero no suficiente en el
campo de las ciencias de hechos: para anunciar que un enunciado es
(probablemente) verdadero se requieren datos empricos (proposiciones acerca
de observaciones o experimentos). En ltima instancia, slo la experiencia
puede decirnos si una hiptesis relativa a cierto grupo de hechos materiales es
adecuada o no. El mejor fundamento de esta regla metodolgica que acabamos
de enunciar es que la experiencia le ha enseado a la humanidad que el
conocimiento de hecho no es convencional, que si se busca la comprensin y
el control de los hechos debe partirse de la experiencia. Pero la experiencia no
garantizar que la hiptesis en cuestin sea la nica verdadera: slo nos dir
que es probablemente adecuada, sin excluir por ello la posibilidad de que un
estudio ulterior pueda dar mejores aproximaciones en la reconstruccin
conceptual del trozo de realidad escogido. El conocimiento fctico, aunque
racional, es esencialmente probable: dicho de otro modo: la inferencia cientfica
es una red de inferencias deductivas (demostrativas) y probables
(inconcluyentes).
Las ciencias formales demuestran o prueban: las ciencias fcticas verifican
(confirman o disconfirman) hiptesis que en su mayora son provisionales. La
demostracin es completa y final; la verificacin es incompleta y por eso
temporaria. La naturaleza misma del mtodo cientfico impide la confirmacin
final de las hiptesis fcticas. En efecto los cientficos no slo procuran acumular
elementos de prueba de sus suposiciones multiplicando el nmero de casos en
que ellas se cumplen; tambin tratan de obtener casos desfavorables a sus
hiptesis, fundndose en el principio lgico de que una sola conclusin que no
concuerde con los hechos tiene ms peso que mil confirmaciones. Por ello,
mientras las teoras formales pueden ser llevadas a un estado de perfeccin (o
estancamiento), los sistemas relativos a los hechos son esencialmente
defectuosos: cumplen, pues, la condicin necesaria para ser perfectibles. En
consecuencia si el estudio de las ciencias formales vigoriza el hbito del rigor, el
estudio de las ciencias fctiles puede inducirnos a considerar el mundo como
inagotable, y al hombre como una empresa inconclusa e interminable.
Las diferencias de mtodo, tipo de enunciados y referentes que separan las
ciencias fcticas de las formales, impiden que se las examine conjuntamente
ms all de cierto punto. Por ser una ficcin seria, rigurosa y a menudo til, pero
ficcin al cabo, la ciencia formal requiere un tratamiento especial. En lo que sigue
nos concentraremos en la ciencia fctica. Daremos un vistazo a las
caractersticas peculiares de las ciencias de la naturaleza y de la cultura en su
estado actual, con la esperanza de que la ciencia futura enriquezca sus
cualidades o, al menos, de que las civilizaciones por venir hagan mejor uso del
conocimiento cientfico.
Los rasgos esenciales del tipo de conocimiento que alcanzan las ciencias de la
naturaleza y de la sociedad son la racionalidad y la objetividad. Por conocimiento
racional se entiende:
a) que est constituido por conceptos, juicios y raciocinios y no por
sensaciones, imgenes, pautas de conducta, etc. Sin duda, el cientfico
 percibe, forma imgenes (por ejemplo, modelos visualizables) y hace
operaciones; por tanto el punto de partida como el punto final de su trabajo
son ideas;
b) que esas ideas pueden combinarse de acuerdo con algn conjunto de
reglas lgicas con el fin de producir nuevas ideas (inferencia deductiva).
Estas no son enteramente nuevas desde un punto de vista estrictamente
lgico, puesto que estn implicadas por las premisas de la deduccin; pero
no gnoseolgicamente nuevas en la medida en que expresan conocimientos
de los que no se tena conciencia antes de efectuarse la deduccin;
c) que esas ideas no se amontonan caticamente o, simplemente, en forma
cronolgica, sino que se organizan en sistemas de ideas, esto es en
conjuntos ordenados de proposiciones (teoras).
Que el conocimiento cientfico de la realidad es objetivo, significa:
a) que concuerda aproximadamente con su objeto; vale decir que busca
alcanzar la verdad fctica;
b) que verifica la adaptacin de las ideas a los hechos recurriendo a un
comercio peculiar con los hechos (observacin y experimento), intercambio
que es controlable y hasta cierto punto reproducible.
Ambos rasgos de la ciencia fctica, la racionalidad y la objetividad, estn
ntimamente soldados. As, por ejemplo, lo que usualmente se verifica por medio
del experimento es alguna consecuencia extrada por va deductiva de
alguna hiptesis; otro ejemplo: el clculo no slo sigue a la observacin sino que
siempre es indispensable para planearla y registrarla.
 CONTROL DE LECTURA N 02
CONSTRUCTIVISMO Y FORMALISMO: DOS FORMAS DIFERENTES DE VER LA
MATEMTICA

Desde la poca de Aristteles y Platn se ha credo que las matemticas existen

con independencia del conocimiento humano y que son una verdad absoluta, y as, el
trabajo de los matemticos era el descubrir esa verdad. Veamos como se desarroll
esta idea a lo largo de la historia.
El embrollo viene cuando algunos matemticos niegan esta idea de
matemticas independientes del conocimiento humano. As, un matemtico alemn
llamado Leopold Kronecker escribi: "Dios cre los nmeros enteros y todo lo dems
es obra del hombre". Segn el, el trabajo de los matemticos ya no es descubrir, sino
inventar. Esta es la principal idea de la llamada matemtica constructivista, que afirma
que para probar la existencia de un objeto matemtico existe es necesario mostrar
como puede construirse. El filsofo Immanuel Kant afirm en el s.XVII que la razn
ultima de veracidad en la matemtica resida en el hecho de que sus nociones
puedan ser construidas por la mente humana.
Sobre todo, la idea matemtica que a producido mayor controversia en la
historia de las matemticas ha sido la nocin de infinito.
Ya los griegos procedieron con extrema cautela en lo concerniente al infinito.
Euclides, al referirse a rectas se refera a segmentos cuya longitud la podemos hacer
todo lo larga que queramos, y esta es la nocin de infinito potencial. Podemos pensar
tambin que existen en verdad rectas infinitamente largas que es la nocin de infinito
actual y es metafsicamente muy distinta a la anterior.
Esta nocin de infinito actual no es utilizada por los matemticos hasta bien
entrada la era moderna de la matemtica que comienza en el s.XVII cuando Ren
Descartes y Pierre de Fermat introducen las coordenadas cartesianas produciendo un
cambio fundamental en el desarrollo de las matemticas: los objetos empiezan a ser
nmeros y no longitudes.
Isaac Newton y Gottfried Wilhelm Leibniz desarrollan a partir de ese cambio el
clculo diferencial, que maneja nmeros infinitamente pequeos pero distintos de
cero.
Pero este descubrimiento produjo serias discusiones con los matemticos de la
poca y pas algn tiempo hasta que estos vieron su innegable utilidad y
comenzaron a aceptarlo, aunque dudando de su base filosfica.
Aun as, toda esta controversia produjo a finales del s.XIX una de las teoras
ms importantes (y porqu no decirlo, ms discutidas) de la historia de las
matemticas: la teora de conjuntos, que fue desarrollada sobre todo por el
matemtico Georg Cantor.
Cantor defini los conjuntos como colecciones de objetos reales o abstractos.
Idea que tuvo grandes consecuencias sobre la nocin de infinito, ya que hay
conjuntos que por su naturaleza son infinitos actuales, como por ejemplo R.
El estudio de estos objetos condujo a Cantor a la conclusin de que igual que
vara la cardinalidad de los conjuntos finitos, tambin vara la de los conjuntos

Artculo de Gonzalo Lzaro Fernandez. http://www.alipso.com

infinitos, por ejemplo, R y N no tienen la misma cardinalidad ya que R es "ms infinito"
que N. Cantor demostr tambin que para cada conjunto infinito, existe otro de mayor
cardinalidad. Y aunque ahora nos parezca extrao, muchos matemticos de la poca
encontraron absurda la nocin de conjunto infinito como ente individual.
No obstante, todava produjo ms escndalo las aplicaciones que Cantor dio a
los conjuntos infinitos. Una de ellas fue el procedimiento que ide para demostrar que
existen infinitos nmeros transcendentes, esto es, nmeros que no verifican ninguna
ecuacin de la forma :
anxn+an-1xn-1+...+a1x+a0=0 con aiZ i
Demostr primero que el conjunto de los nmeros algebraicos (los que si
verifican alguna de las ecuaciones anteriores) es infinito numerable y luego supuso
que el conjunto de los nmeros trascendentales tambin es infinito numerable, pero
como R es infinito no numerable, lleg a una contradiccin.
Esta forma de demostracin por reduccin al absurdo fue criticada por
Kronecker y sus seguidores ya que demostraba existencia sin construccin, y segn
ellos, para establecer la existencia de un objeto era necesaria la construccin de este,
es decir, era necesario un procedimiento por el cual el objeto fuese construido al
menos en principio, aunque no era necesario que tal procedimiento fuese llevado a la
prctica, lo nico que peda era que la construccin fuese llevada a cabo en un
nmero finito de pasos y que en cada paso no hubiese ninguna duda de como se
procedera en el paso siguiente. No hace falta decir que Cantor no cumpla ninguno
de estos requisitos en su demostracin ya que no generaba en ella ningn nmero
trascendental.
La demostracin que dio Cantor fue la primera de las llamadas demostraciones
de pura existencia. El estableca la existencia de los nmeros trascendentales
demostrando que la no existencia nos llevaba a una contradiccin. Estas
demostraciones por reduccin al absurdo eran aceptadas por todos los matemticos
si se trataban de conjuntos finitos ya que se poda mostrar cualquier objeto
inspeccionando todos los miembros del conjunto, pero esto no es posible para un
conjunto infinito como el de los nmeros trascendentales y este es el motivo por el
cual muchos matemticos no aceptaban la demostracin de Cantor.
Pero entonces apareci el bueno de David Hilbert y lo hizo todava ms difcil,
ya que en 1889 public una demostracin de pura existencia en la que demostraba la
existencia de ciertos objetos que nadie ha visto jams y de los que no se tiene la
menor idea de construirlos.
Tras la muerte del Kronecker en 1891, la teora de conjuntos fue produciendo
valiosos resultados, y la lucha que mantenan los matemticos constructivistas contra
los mtodos de Cantor y luego Hilbert se fue haciendo cada vez ms dbil hasta que
apareci en escena el matemtico L.E.J. Brouwer. Este opinaba que haba que hacer
distincin entre la existencia real, constructiva y la existencia pura o de lo contrario las
matemticas llegaran a carecer de significado.
Brouwer no negaba la posibilidad de demostrar la existencia de objetos que no
pueden se construidos, el afirmaba que si les damos la misma validez que a los
objetos reales, es decir, finitamente construidos, entonces las matemticas serian
inciertas. Segn el, no podemos aplicar la ley aristotlica del tercero excluido a los
conjuntos infinitos.
A partir de 1900, segn se reorganizaba las matemticas sobre los fundamentos
de la teora de conjuntos aparecieron algunas paradojas que indicaban que los
fundamentos teorico-conjuntistas de las matemticas deban de tener defectos y,
segn Brouwer, estos defectos eran debidos a la introduccin por parte de Cantor de
objetos ideales. Brouwer propuso que todas las matemticas hasta entonces fuesen
reconstruidas segn procedimientos constructivistas. A esta corriente se la denomin
intuicionismo.
Muchos matemticos, incluidos algunos seguidores de Brouwer eran
susceptibles a esta nueva corriente ya que daba el traste con todo lo descubierto
hasta entonces.
Hilbert ide otro plan llamado formalismo. Segn el, aunque los objetos ideales
carecieran de significado, de estos se podran deducir objetos y teoremas que si
tuviesen significado. El sistema ideado por Hilbert requera presentar la matemtica
como un sistema formal axiomtico utilizando las reglas de la lgica, as, todo
razonamiento que pudiera provocar paradojas quedara al descubierto. Con todo
esto, Hilbert introdujo la llamada teora de la demostracin (o tambin
metamatemtica).
An as, Brouwer no qued satisfecho y prosigui con sus intentos de demostrar
que las matemticas se podan realizar de forma constructivista.

Y aunque en 1931, Kurt Gdel demostrase que el esquema formalista de Hilbert

estaba condenado al fracaso, era tal la aceptacin que tena el formalismo que era
imposible su rechazo. Hoy en da, la mayora de los matemticos prefieren la
elegancia del formalismo de Hilbert al intuicionismo de Brouwer.

No obstante, el debate sobre algunos aspectos de la teora de conjuntos (y en

especial sobre el axioma de eleccin) est produciendo un renacido inters sobre las
ideas constructivistas. Este inters ha sido impulsado sobre todo por Errett Bishop,
que en 1967 public su libro The Foundations of Constructive Mathematics. El trabajo
de Bishop pone en relieve que los mtodos constructivistas pueden ser tan
beneficiosos como los mtodos formalistas para el desarrollo de las matemticas.
La principal diferencia entre Bishop y Brouwer es que el primero no rechaza la
teora de conjuntos de Cantor, sino que intenta modificarla para dotarla de validez
constructivista. Segn esto, el axioma de eleccin, que fue el ms criticado de la
teora de conjuntos de Cantor por Brouwer y sus seguidores, es ahora totalmente
aceptada.
Segn Bishop, tan pronto se viesen claramente las ventajas de su programa, las
matemticas modernas dejaran de existir y pasaran a ser parte de las matemticas
constructivistas, y la razn es que, a fin de cuentas, en matemtica aplicada lo
importante es encontrar la solucin a cierto problema y no solo saber su existencia.
A mi entender, las matemticas son como "el lenguaje de la Naturaleza" y esta
ha existido siempre, as que por ejemplo, los grupos existan antes de que Galois los
descubriera. Pero tambin pienso que sera un error dejar de lado la matemtica
constructivista ya que esta intenta darnos una visin ms clara de la realidad al
intentar mostrarnos los objetos tal y como son. Se tendra que intentar que una vez
demostrada la existencia de cierto objeto mediante una demostracin de pura
existencia (ms corta y elegante) se efectuase una construccin del objeto que ya
sabemos que existe. Y todo ello sin rechazar, como ya he dicho antes, la existencia
de las matemticas con independencia del conocimiento humano. Puesto que las
leyes de la Naturaleza han existido y existirn siempre, con ellas existir su lenguaje.
 CONTROL DE LECTURA N 03

LAS PERLAS DEL RAJA

De lo que sucedi durante una honrosa visita que recibimos. Palabras del
Prncipe Cluzir Sch. Una invitacin principesca. Beremiz resuelve un nuevo
problema. Las perlas del raj. Un nmero cabalstico. Queda determinada
nuestra partida para la India.
El barrio humilde en que vivamos conoci hoy su primer da glorioso en la
Historia.
Beremiz, por la maana, recibi inesperadamente la visita del prncipe Cluzir Sch.
Cuando la aparatosa comitiva irrumpi por la calle, azoteas y miradores se llenaron
de curiosos. Mujeres, viejos y nios admiraban, mudos y sorprendidos, el maravilloso
espectculo.
Venan delante cerca de treinta jinetes montados en soberbios corceles rabes
con arreos adornados de oro y gualdrapas de terciopelo bordado en plata.
Llevaban turbantes blancos con yelmos metlicos reluciendo al sol, mantos y tnicas
de seda y largas cimitarras pendientes de cinturones de cuero labrado. Les
precedan los estandartes con el escudo del Prncipe: un elefante blanco sobre fondo
azul. Seguan varios arqueros y batidores, todos a caballo.
Cerrando el cortejo iba el poderoso maharaj acompaado por dos secretarios, tres
mdicos y diez pajes. El Prncipe llevaba una tnica escarlata adornada con hilos de
perlas. En el turbante, de una riqueza inaudita, centelleaban zafiros y rubes.
Cuando el viejo Salim vio en su hostera aquella majestuosa comitiva, se puso como
loco. Se tir al suelo y empez a gritar:
-Men ein?
Mand que un aguador que all se hallaba arrastrara al alucinado amigo al fondo del
patio hasta que volviera la calma a su conturbado espritu.
La sala de la hostera era pequea para contener a los ilustres visitantes. Beremiz,
maravillado con la honrosa visita, baj al patio a fin de recibirlos.
El prncipe Cluzir, al llegar con su porte seorial, salud al Calculador con
un amistoso salam, y le dijo:
-El peor sabio es aquel que frecuenta a los ricos; el mayor de los ricos es aquel
que frecuenta a los sabios.
-Bien s, seor, respondi Beremiz, que vuestras palabras estn inspiradas en
el ms arraigado sentimiento de bondad. La pequea e insignificante parte de
ciencia que consegu adquirir, desaparece ante la infinita generosidad de vuestro
corazn.
-Mi visita, oh Calculador!, empez el Prncipe, viene dictada ms por el egosmo
que por el amor a la ciencia. Desde que tuve el honor de orte en casa del poeta
Iezid, pens en ofrecerte algn cargo de prestigio en mi corte. Deseo nombrarte mi
secretario o bien director del Observatorio de Delhi. Aceptas? Partiremos dentro
de pocas semanas para La Meca y desde all, sin mayor dilacin regresaremos
directamente a la India.
-Desgraciadamente, oh Prncipe generoso!, respondi Beremiz, no puedo salir
ahora de Bagdad. Me liga a esta ciudad un serio
compromiso. Solo podr ausentarme de aqu cuando la hija del ilustre Iezid haya
aprendido las bellezas de la Geometra.
 Sonri el maharaj y replic:
-Si el motivo de tu negativa se apoya en ese compromiso, creo que pronto
llegaremos a un acuerdo. El jeque Iezid me dijo que la joven Telassim, dados los
progresos realizados, estar dentro de pocos meses en condiciones de ensear a
los ulemas el famoso problema de las perlas del raj.
Tuve la impresin de que las palabras de nuestro noble visitante sorprendan a
Beremiz. El calculador pareca muy confuso.
-Mucho me holgara, sigui diciendo el Prncipe, conocer este complicado
problema que desafa la sagacidad de los algebristas y que se remonta sin duda
a uno de mis gloriosos antepasados.
Beremiz, para cumplir el deseo del maharaj, tom la palabra y habl sobre el
problema que interesaba al Prncipe. Y con su hablar lento y seguro, dijo lo
siguiente:
-Se trata menos de un problema que de una mera curiosidad matemtica. Su
enunciado es el siguiente:
Un raj dej a sus hijas cierto nmero de perlas y determin que la divisin se
hiciera del siguiente modo: la hija mayor se quedara con una perla y un
sptimo de lo que quedara. La segunda hija recibira dos perlas y un sptimo
de la restante, la tercera joven recibira 3 perlas y un sptimo
de lo que quedara. Y as sucesivamente.
Las hijas ms jvenes presentaron demanda ante el juez alegando que por ese
complicado sistema de divisin resultaban fatalmente perjudicadas.
El juez, que segn reza la tradicin, era hbil en la resolucin de problemas,
respondi prestamente que las reclamantes estaban
engaadas y que la divisin propuesta por el viejo raj era justa y perfecta.
Y tena razn. Hecha la divisin, cada una de las hermanas recibi el mismo
nmero de perlas.
Se pregunta:
Cuntas perlas haba? Cuntas eran las hijas del raj?
La solucin de ese problema no ofrece la menor dificultad.
Veamos:
Las perlas eran 36 y tenan que ser divididas entre 6 personas.
La primera recibi una perla y un sptimo de 36; cinco. Es decir recibi realmente
6 perlas y quedaban 30.
La segunda, de las 30 que encontr recibi 2 y un sptimo de 28, que es 4.
Luego, recibi 6 y dej 24.
La tercera, de las 24 que encontr recibi 3 y un sptimo de 21; es decir 3. Se
qued pues con 6 y dej un resto de 18.
La cuarta, de las 18 que encontr, se qued 4 ms un sptimo de
14. Y un sptimo de 14 es 2. Recibi tambin 6 perlas.
La quinta encontr 12 perlas. De ellas recibi 5 y un sptimo de 7, es decir 1.
Luego recibi 6.
La hija menor recibi 6 perlas que quedaban. Y Beremiz
concluy:
-Como veis, el problema, realmente ingenioso, nada tiene de difcil. Se llega a la
solucin sin artificios ni sutilezas de raciocinio.
 Demostracin grfica de la resolucin del Problema de las Perlas del Raj.
Los crculos negros de cada grupo representan el nmero de perlas que cada
una de las hijas del raj recibe. Los crculos en blanco indican las perlas
que cada una de ellas deja, para que sucesivamente las otras hijas puedan ir
tomando la parte que les corresponde, segn las rdenes impartidas por el raj.

En aquel momento la atencin del prncipe Cluzir Sch fue atrada por un
nmero que se hallaba escrito cinco veces en las paredes del cuarto:
142.857
-Qu significado tiene ese nmero? Pregunt.
-Se trata, respondi el calculador, de uno de los ms curiosos nmeros de las
Matemticas. Este nmero presenta, en relacin con sus mltiplos, coincidencias
verdaderamente interesantes:
Multipliqumoslo por 2. El producto ser:

142.857 x 2 = 285.714

Vemos que las cifras que constituyen el producto son los mismos del
nmero dado, pero en distinto orden. El 14 que se hallaba a la izquierda se ha
trasladado a la derecha.
Multipliquemos el nmero 142.857 por 3:

142.857 x 3 = 428.571
Otra vez observamos la misma singularidad: las cifras del producto son
precisamente las mismas del nmero pero con el orden alterado.
El 1, que se halla a la izquierda pas a la derecha, las otras cifras quedan
donde estaban.
Lo mismo ocurre cuando el nmero se multiplica por 4:
142.857 x 4 = 571.428

Veamos ahora lo que ocurre en caso de que la multiplicacin sea 5:

142.857 x 5 = 714.285

La cifra 7 pas de la derecha a la izquierda. Las restantes permanecieron en su

sitio.
Veamos la multiplicacin por 6:
142.857 x 6 = 857.142
Realizada la multiplicacin resulta que el grupo 142 cambi de lugar con
relacin al 857.
En efecto, el grupo 142 que antes se hallaba a la derecha del grupo 857, ha
pasado a la izquierda de ste y viceversa.
Una vez llegados al factor 7 nos impresiona otra particularidad. El nmero
142.857 multiplicado por 7 da como producto:
999.999
Nmero formado con seis nueves.
Multipliquemos ahora el nmero 142.857 por 8. El producto ser:
142.857 x 8 = 1.142.856
Todas las cifras del nmero aparecen an en el producto con excepcin
del 7. El 7 del nmero primitivo fue descompuesto en dos partes: 6 y 1. La cifra 6
qued a la derecha y el 1 fue a la izquierda completando el producto.
Veamos ahora qu acontece cuando multiplicamos el nmero
142.857 por 9:
142.857 x 9 = 1.286.713
vemos con atencin este resultado. La nica cifra del
multiplicando que no figura en el producto es el 4. Qu ha pasado con ella?
Aparece descompuesta en dos partes: 3 y 1, colocadas en los extremos del
producto.
Del mismo modo podramos comprobar las singularidades que presenta el
nmero 142.857 cuando se multiplica por 11, 12, 13, 14,
15, 17, 18, etc.
Por eso el nmero 142.857 se incluye entre los nmeros
cabalsticos de la Matemtica. Me lo ense el derviche N-Elin
-N-Elin?, repiti asombrado y jubiloso el prncipe Cluzir Sch. Es posible que
hayas conocido a ese sabio?
-Lo conoc muy bien, oh Prncipe!, respondi Beremiz. Con l aprend todos los
principios que hoy aplico a mis investigaciones matemticas.
-Pues el grande N-Elin, explic el hind, era amigo de mi padre. Cierta vez
despus de haber perdido a un hijo en una guerra injusta y cruel, se apart de la
vida ciudadana y nunca ms volvi a verlo. Hice muchas pesquisas para
encontrarlo, pero no consegu obtener la menor indicacin sobre su paradero.
Llegu incluso a admitir que quiz haba muerto en el desierto, devorado
por las panteras.
Puedes acaso decirme dnde se halla N-Elin?
Respondi Beremiz:
-Cuando sal para Bagdad lo dej en Khoi, en Persia, junto con tres amigos.
-Pues en cuanto regrese de la Meca iremos a la ciudad de Khoi a buscar a ese
gran ulema, respondi el Prncipe. Quiero llevarlo a mi palacio. Podrs, oh
Calculador!, ayudarnos en esa grandiosa empresa?
-Seor, respondi Beremiz. Si es para prestar auxilio y hacer justicia a
quien fue mi gua y maestro, estoy dispuesto a
acompaaros si preciso fuera hasta la India.
Y as, a causa del nmero 142.857, qued resuelto nuestro viaje a la India, a la
tierra de los rajs.
Y tal nmero es realmente cabalstico

Captulo XXVIII
 Prosigue el memorable torneo. El tercer sabio interroga a Beremiz. La falsa
induccin. Beremiz demuestra que un principio falso puede ser sugerido por
ejemplos verdaderos.

....El tercer sabio que deba interrogar a Beremiz era el clebre astrnomo Abul
Asan Ali de Alcal, llegado a Bagdad por especial invitacin de Al-Motacn. Era alto,
huesudo, y tena el rostro surcado de arrugas. Su pelo era rubio y ondulado. Exhiba
en la mueca derecha un ancho brazalete de oro. Dicen que en ese brazalete
llevaba sealadas las doce constelaciones del Zodaco.
El astrnomo Abul Asan, despus de saludar al rey y a los nobles, se dirigi a
Beremiz. Su voz, profunda y hueca, pareca rodar pesadamente.
- Las dos respuestas que acabas de formular demuestran oh Beremiz Samir! Que
tienes una slida cultura. Hablas de ciencia griega, con la misma facilidad con que
cuentas las Letras del Libro Sagrado. Sin embargo, en el desarrollo de la ciencia
matemtica, la parte ms interesante es la que indica la forma de raciocinio que
lleva a la verdad. Una coleccin de hechos est tan lejos de ser una ciencia, como
un montn de piedras de ser una casa. Puedo afirmar igualmente que las sabias
combinaciones de hechos inexactos o de hechos que no fueron comprobados al
menos en sus consecuencias, se encuentran tan lejos de formar una ciencia, como
se encuentra el espejismo de sustituir en el desierto a la presencia real del oasis. La
ciencia debe observar los hechos y deducir de ellos leyes. Con auxilio de esas
leyes, se pueden prever otros hechos o mejorar las condiciones materiales de la
vida. S, todo eso es cierto. Pero cmo deducir la verdad?.Se presenta pues, la
siguiente duda:
Es posible extraer en matemtica, una regla falsa de una propiedad verdadera?
Quiero or tu respuesta, oh Calculador!, ilustrada con un ejemplo sencillo y perfecto.
Beremiz call, durante un rato, reflexivamente. Luego sali del recogimiento
y dijo:
-Admitamos que un algebrista curioso, deseara determinar la raz cuadrada
de un nmero de cuatro cifras. Sabemos que la raz cuadrada de un nmero, es otro
nmero que, multiplicado por s mismo, da un producto igual al nmero dado. Es un
axioma en matemticas.
Vamos a suponer an que el algebrista, tomando libremente tres nmeros a
su gusto, destacase los siguientes nmeros: 2.025, 3.025 y 9.081.
Iniciemos la resolucin del problema por el nmero 2.025. Hechos los
clculos para dicho nmero, el investigador hallara que la raz cuadrada es igual a
45. En efecto: 45 veces 45 es igual a 2.025. Pero se puede comprobar que 45 se
obtiene de la suma de 20 + 25, que son partes del nmero 2.025 descompuesto
mediante un punto, de esta manera: 20.25.
Lo mismo podra comprobar el matemtico, con relacin al nmero 3.025,
cuya raz cuadrada es 55 y conviene notar que 55 es la suma de 30 +25, parte
ambas del nmero3.025.
Idntica propiedad se destaca con relacin al nmero 9.801, cuya raz
cuadrada es 99, es decir 98+01.
Ante estos tres casos, el inadvertido algebrista podra sentirse inclinado a
enunciar la siguiente regla:
Para calcular la raz cuadrada de un nmero de cuatro cifras, se divide el
nmero por medio de un punto en dos partes de dos cifras cada una, y se suman las
partes as formadas. La suma obtenida ser la raz cuadrada del nmero dado.
 Esa regla, visiblemente errnea, fue deducida de tres ejemplos verdaderos.
Es posible en Matemtica, llegar a la verdad por simple observacin; no obstante
hay que poner cuidado especial en evitar la falsa induccin matemtica.
El astrnomo Abul Hassan, sinceramente satisfecho con la respuesta de
Beremiz declar que jams haba odo una explicacin tan sencilla e interesante de
la cuestin de la " Falsa Induccin Matemtica".
A continuacin se par el cuarto sabio y se prepar para formular su
pregunta.
Nunca olvidar su erguida y venerable figura, ni dejar de recordar su mirada
serena y bondadosa. Camin hasta el extremo del estrado y as habl al sultn:
Para que mi pregunta pueda ser bien interpretada, necesito aclararla
contando una antigua leyenda persa.
Cuntala, Oh sabio elocuente! respondi el califa Estamos ansiosos de
orte.
Cruz el sabio las manos sobre el pecho y con voz firme y cadenciosa, como
el andar de una caravana, cont lo siguiente:

Captulo XXIX
En el cual omos una antigua leyenda persa.- Lo material y lo espiritual. Los
problemas humanos y trascendentales. La famosa multiplicacin. El sultn
reprime con energa la intolerancia religiosa de los sheik.
Era una vez un rey que dominaba en Persia y en las planicies de Irn. Ese
poderoso monarca oy decir a un derviche que un verdadero sabio deba conocer
con absoluta perfeccin la parte espiritual y la parte material de la vida.
Qu hizo el rey Astor? Vale la pena recordar la forma como procedi el
poderosos monarca.
Mand llamar a los tres ms grandes sabios de Persia, le entreg a cada uno
dos denarios de plata y les dijo:
hay en este palacio tres salas igualmente vacas. Cada uno de vosotros
deber llenar una sala, no pudiendo emplear en esa tarea ms dinero del que acabo
de confiar a cada uno.
El problema era, realmente, difcil. Cada sabio deba llenar una sala vaca
gastando apenas la insignificante suma de dos denarios.
Los sabios partieron a cumplir la misin que les haba encomendado el
caprichoso rey Astor.
Horas despus, regresaron a la sala del trono.
El rey, interesado en la solucin del enigma, los interrog.
El primero dijo:
- Seor, gast los dos denarios, y la sala que me corresponde qued
completamente llena. Mi solucin fue muy prctica. Compr varias bolsas de heno y
con l llen la habitacin desde el suelo hasta el techo.
- Muy bien! exclam el rey , Vuestra solucin, simple y rpida, ha sido
muy bien concebida. Conoces, a mi modo de ver, la parte material de la vida, y
bajo ese aspecto puedes encarar todos los problemas que un hombre debe
enfrentar sobre la tierra.
A continuacin, el segundo sabio habl as, despus de saludar al rey:
 - En el desempeo de la tarea que me fuera encomendada, gast apenas
medio denario. Explicar como proced. Compr una vela y la encend en medio de
la sala vaca. Ahora, oh rey!, puedes observarla. Est llena, enteramente llena de
luz.
- Bravo! accedi el monarca . Descubriste una solucin brillante para el
problema. La luz simboliza la parte espiritual de la vida. Vuestro espritu, saco en
conclusin, es capaz de encarar todos los problemas de la existencia desde el punto
de vista espiritual.
Lleg finalmente al tercer sabio el turno de hablar. He aqu como resolvi la
singular situacin:
Pens al principio, oh rey del Tiempo!, en dejar la sala entregada a mi
cuidado exactamente como se hallaba. Era fcil deducir que la sala referida, ahora
cerrada, no se encontraba vaca, pues es evidente que estaba llena de aire y de
polvo. No quise, sin embargo, permanecer ocioso, mientras mis dos colegas
discurran con tanta inteligencia y habilidad. Resolv actuar yo tambin. Tom, pues
un puado de heno de la primera sala, quem el heno en la vela que se hallaba en
la otra, y, con el humo que se desprenda, llen enteramente la tercera sala. Es intil
aadir que no gast la menor cantidad del dinero que me fue entregado.
Admirable! exclam el rey Astor. Sois el ms grande sabio de Persia, y
tal vez del mundo. Sabis reunir con habilidad mesurada lo material y lo espiritual
para lograr la perfeccin.
Terminada la narracin, el sabio se volvi hacia Berems, a quien dijo:
Es mi deseo, calculista, verificar si, a semejanza del tercer sabio de la
leyenda, eres capaz de reunir lo material y lo espiritual, y llegar a resolver no slo
los problemas humanos, sino tambin las cuestiones trascendentales. Mi pregunta
es, por lo tanto, la siguiente:Cul fue la famosa multiplicacin recordada en la
Historia, multiplicacin que todos los hombres cultos conocen, y en la cual figura un
solo factor?.
Esa inopinada pregunta sorprendi, y con razn, a los ilustres musulmanes.
Algunos no disimularon pequeos gestos de desagrado e impaciencia. Un cadi
obeso, ricamente vestido, que se hallaba a mi lado, murmur, irritado:
eso no tiene sentido! Es un disparate!
Berems permaneci largo rato meditabundo. Despus que coordin sus
ideas dijo:
La nica multiplicacin famosa, con un solo factor, citada por los
historiadores y que todos los hombres cultos conocen, es la multiplicacin de los
panes hecha por Jess, hijo de Mara. En esa multiplicacin slo figura un factor:el
poder milagroso de la voluntad de Dios!.
Algunos musulmanes, intolerantes, se miraron espantados. Hubo murmullos.
El califa exclam con energa:
Silencio! Veneremos a Jess, hijo de Mara, cuyo nombre es citado
diecinueve veces en el libro de Alah.