INDEPENDENCIA

HILBERT

DAVID HILBERT
(1862-1943)

TICO S
OM
E
I
X

ilbert es uno de los ms profundos

matemticos de todos los tiempos y
un promotor de las reformas de comienzos del siglo XX. Formal y audaz,
concibi un ambicioso programa de formalizacin de la matemtica en el que
el rigor y la precisin fueran sus principios capitales. Revolucion el I Congreso Mundial de Matemticos celebrado en
Pars en 1900 con su propuesta de 23 problemas pendientes de la matemtica
como ejercicio para los matemticos del
siglo XX. Sus problemas eran tan ambiciosos como este: Existir un proceso mecnico que permita resolver cualquier problema propuesto por las matemticas? Sus ejercicios conmovieron a la
comunidad matemtica proporcionndoles inspiracin para ms de un siglo.

por Lolita Brain

EL SISTEM

CRISIS?
QU CRISIS?

A comienzos del siglo XX, el mundo de las matemticas, tan seguro de s mismo durante tantos siglos, comenz a tambalearse. Un nivel de abstraccin nunca antes concebido, nuevos descubrimientos en el seno de las matemticas que doblegaban el
sentido comn y la intuicin, los significativos avances de la lgica de finales del siglo XIX
y otras influencias, llevaron a la comunidad matemtica a preguntarse: Qu fiabilidad
tiene nuestro bagaje matemtico? Hasta dnde podremos llegar? Vamos por el
buen camino en la exploracin del universo matemtico?

COMPLETITUD

o peor que te puede pasar al hacer

un puzzle es que falte una pieza. Cuando en un sistema formal todas las verdades se pueden demostrar y por tanto
saber que son verdades, se dice que es
COMPLETO. Sera bonito saber que todo
lo que podamos conocer de los nmeros ser alcanzable, que es slo una cuestin de tiempo encontrar las verdades.

AULA
DE EL

MUNDO

LA BOMBA INESPERADA
Kurt Gdel (1906-1978)
Uno de los problemas que interesaban en es pecial a Hilbert era si es posible resolver todo
problema propuesto en el seno de las matemticas. Adems su programa propona que se intentara probar que existe un procedimiento por
el cual pudiera saberse si una afirmacin ma t e m t i c a p u e d e o n o s e r d e m o s t r a d a , es decir,
si un problema dado tiene o no solucin. Que
equivocado estaba Hilbert! Un joven ingeniero
austriaco, KURT GDEL , estaba convencido de
que Hilbert se equivocaba y en su tesis docto ral conmocion al mundo de los lgicos y los matemticos con su famossimo Teorema de In completitud. Dio con argumentos muy simples
y de un modo relativamente sencillo, respuesta
a la gran cuestin de Hilbert. Y era tajante: NO,
no es posible averiguar si todo lo que se diga
en matemticas es o no verdadero. Es decir,
las matemticas NO eran completas. Haba resultados que nunca sabremos si son o no ver daderos. Nunca. A menos que se admitan las
contradicciones. Lo que es an peor.
Kurt Gdel
con Einstein
en Princeton
(1950)

Como respuesta a los problemas lgicos que se cuestionaron los matemticos de esta poca, surgieron tres corrientes dentro de las matemticas que entendan el origen, la fundamentacin y los mecanismos vlidos de las
matemticas de tres modos muy distintos. Son los INTUICIONISTAS , que no creen que se pueda afirmar nada de
c o s a s i n f i n i t a s ; l o s FORMALISTAS , q u e c o n f i a n e n l a l i b e r tad de los sistemas axiomticos, y los LOGICISTAS que imaginan las matemticas como una parte de la lgica.

isponer de piezas
repetidas en un
puzzle es una circunstancia intil. No
sirve para nada. En los
sistemas axiomticos
se exige que los axiomas sean independientes entre s y que
por tanto si quitamos
uno de ellos la teora
no ser la misma. Adems, eso garantiza que
un axioma no se pueda
obtener de los restantes.

u pensaras si en
las matemticas
pudiera ser cierto a
la vez que 2+2 =4 y
que 2+2=5? Confiaras en los restantes resultados que se obtuvieran de sus teoras?
Seguro que no. Por ello
en un sistema axiomtico CONSISTENTE no
puede ser verdadera
una proposicin y la
contraria, como decir
que el 4 es par y tambin es impar .

I N T U I C I O N I S T A S

cionismo no crea que

El intuicionismo se
Si A no es verdad,
atribuye al holan entonces NO A ha
ds Brouwer, que
de ser verdadero.
p i e n s a q u e las
No aceptan que
ideas matemti pueda probarse
cas aparecen ininada para infinitas
cialmente por incosas. Por ejemplo
tuicin humana
ellos no dicen que
de tal modo que no
Todo nmero par es
es posible definirlos
por una serie de Luitzen E. Jan Brouwer suma de dos impares.
axiomas. El intui(1881-1966)

F O R M A L I S T A S

mo de que cual Los formalistas son

quier cosa que
la corriente lide cumpla los axio rada por Hilbert.
mas se debe conDefienden un
siderar un mo modelo de ma delo de la teora.
temticas en el
John von Neu que el sistema
mann fue uno de
aximtico rigulos seguidores del
roso es la base de
rigor formalista de
todas las teoras.
Se llega al extre- John von Neumann Hilbert.
(1903-1957)
L O G I C I S T A S

dedicaron diez aos

G O T T L O B F R E G E fue
a escribir los Prinel creador de esta
corriente de pencipia Matemathisamiento que
cae, la culmina pretende redu cin del logiciscir el conoci mo. La TEORA
miento matemDE C L A S E S de
tico a la lgica
Russell surge
formal, ausente de
para reparar los
contenidos. B. Ruserrores de la teora
sell y Whitehead
de Frege.
Bertrand Russell

CONSISTENCIA

D E

E L T E O R E M A
C O M P L E T I T U D

Este teorema fue propuesto y demostrado por Kurt Gdel en el

ao 1931. El teorema, bsicamente, esta compuesto de dos
partes:
En la primera, Gdel establece
que cualquier teora consistente
que se base en las matemticas
es incompleta, es decir, contiene
proposiciones tales que ni la proposicin en s ni su negacin se
pueden demostrar.
En la segunda, Gdel afirma que
tal teora no puede averiguar su
propia consistencia (ausencia de
contradicciones).
El programa de Hilbert haba hecho aguas.

(1903-1957)

lolitabrain@hotmail.com

UN PUZZLE
AXIOMTICO

Despus de ms de 2.500 aos de crecimiento continuo en su saber, los matemticos de finales del siglo XIX y comienzos del XX entraron en una fase muy particular de reflexin
sobre lo que las matemticas eran realmente. Comenzaron una introspeccin crtica de su
saber para determinar qu estructura tena la matemtica, cules eran sus fundamentos
o cul era el alcance de este campo del saber. Conozcamos primero la estructura axiomtica de la matemtica, para conocer posteriormente la crisis de sus fundamentos.

por Lolita Brain

OTTLOB FREGE fue el

primer matemtico
que se tom en serio
la necesidad de conocer
el alcance lgico de las
matemticas, es decir,
quiso conocer la respuesta a la pregunta
pueden las matemticas
reducirse a pura lgica?
Su empeo lo desarroll
en la formalizacin de la
aritmtica, creando una
TEORA INTUITIVA de conjuntos que, ironas de la

GOTTLOB FREGE
(1848-1925)

E S

U N A

T E O R A

AXIOMTICA?

La A X I O M A T I Z A C I N d e u n a
teora fue estudiada por
ARISTTELES y perfectamente plasmada en la concep cin de la Geometra de EUCLIDES que nos leg en su libro Los Elementos. Segn
esta forma clsica, una teora axiomtica sobre una realidad es aquella que se organiza alrededor de un conjunto
de
CONCEPTOS
PRIMITIVOS de verdades de

las que se obtienen los restantes conceptos. Adems

existen los AXIOMAS , unas
pocas verdades generales
que se aceptan como ver daderas y que no requieren
ser demostradas. Todas
las afirmaciones de la teora deben estar basadas en
los conceptos y los axiomas
y deben deducirse de ellos.
ste era el modelo de teora axiomtica de Frege.

EUCLIDES (FRAGMENTO DE LA ESCUELA DE ATENAS, DE

AULA

DE EL

historia, result no ser correcta una vez que Frege la hubo acabado. DAVID HILBERT, de ideas muy
contrarias a las de Frege, con el que mantuvo
una correpondencia cientfica muy disputada, fue
defensor tambin de la
axiomatizacin de las
matemticas, aunque su
espritu era ms abierto y
ambicioso, si bien algo altivo, que el del solitario
y hurao Frege.

RAFAEL DE SANZIO)

os Elementos de Euclides desarrollan todo el conocimiento geomtrico de su poca bajo una estructura
axiomtica, la primera de la historia. Su teora permaneci casi sin variacin hasta finales del siglo XIX.
Las reglas de la Geometra fueron durante todo ese tiempo las que se recogieron en su libro.
Si imaginamos la geometra -como cualquier otra parte de las matemticas- como un gran puzzle podemos
comprender el papel que juega cada elemento -axiomas, teoremas- en su desarrollo.

DAVID HILBERT
(1862-1943)

pesar de la aparente rigidez de un sistema

axiomtico, la libertad de cambiar, eliminar
o agregar axiomas es total para el matemtico. Otra cosa es que esos cambios permitan
generar la teora sin errores y que tenga un alcance similar al de la teora original. Una pieza
puede cambiar por completo el puzzle final. Esa
pieza puede ser el Axioma V de Euclides. De
los axiomas de Euclides,
el quinto fue siempre
controvertido. A pesar
de la aparente evidencia
que refleja durante siglos, se pens que poda
ser un teorema y no un
1 PARALELA = EUCLIDES
axioma, es decir, que se
PLANO
poda deducir
de los restantes y
que por
tanto era
innecesario.

MUNDO

DEFINICIN 1.
Un punto es lo
que no tiene
partes.

DEFINICIN 12.
Un ngulo agudo es el ngulo
menor de un
recto.

AXIOMA 1. Dados
dos puntos cualesquiera se puede trazar una recta que los una.

AXIOMA 1. Todos
los ngulos rectos son iguales
entre s.

AXIOMA 5. Por un
punto exterior a
una recta puede
trazarse una y slo
una recta paralela
a la dada.

Las piezas del

puzzle son
los axiomas y
los conceptos
principales
las DEFINICIO NES, como las
llamaba Eu clides. Observa qu sim ples son.

Los axiomas y de finiciones se mezclan para producir

otras verdades de
la
teora:
los
TEOREmas.

TEOREMA. Los ngulos de lados paralelos son iguales.

TEOREMA .

En un tringulo a lados
iguales se oponen ngulos iguales.

Los teoremas
obtenidos se
combinan
entre s para
producir nuevos teoremas
sobre la geometra.

A R A

Q U E

AXIOMA: las verdades de una teora

aceptadas sin demostracin.
TEOREMA: las verdades deducidas a
partir de los axiomas y de otros
teoremas previos.
POSTULADO : sinnimo de axioma.
Usado por Euclides.

N O

T E

Algunos teoremas son

muy importantes y pasan
a engrosar los fundamen tos de la teora.

L E S

CONCEPTO PRIMARIO: los conceptos

mnimos para construir la teora.
COROLARIO: una verdad que se
deduce trivialmente de un teorema.
PROPOSICIN : verdad de rango
menor que teorema.
LEMA: teorema utilizado para
demostrar la verdad de otro teorema.

La Geometra pasa a ser el

conjunto de verdades -teoremas- que son ciertas a
partir de estas reglas de
construccin. Toda verdad
que se deduzca de estas
reglas del juego debe aceptarse como verdadera.

INFINITAS PARALELAS =
LOBACHESKY
SEUDOESFERA

NINGUNA PARALELA =
RIEMANN
ESFERA

finales del siglo XIX y de modo independiente, Lobachevsky, Bolyai, y

Riemann se cuestionaron qu sucedera si de los axiomas
de Euclides cambiamos el quinto postulado y mantenemos
los restantes. Sera
posible que este nuevo sistema de axiomas tambin explicara la geometra? sera una teora absurda o, por lo contrario, slo otra forma
de entender la geometra? Sus respuestas fueron asombrosas.

ara Bolyai y Lobachesky,

el
quinto postulado
deba formularse diciendo que se pueden trazar infinitas
rectas paralelas por
ese punto exterior.
Para Riemann, el
axioma deca que
por un punto exterior a una recta no es posible trazar ninguna recta paralela a la
dada. Y a patir de estos cambios contrarios
a la intuicin, desarrollaron teoremas anlogos a los deducidos por Euclides... y no
se encontr ninguna contradiccin. Eran
MODELOS correctos de geometra. Es ms,
encontraron modelos de mundos en los
que sus axiomas se cumplan. Para la
Geometra Hiperblica de Lobachesky,
el mundo es de forma seudoesfrica. Para
la Geometra Riemanniana, es una esfera.
lolitabrain@hotmail.com

EL SIDA EN
NMEROS
A

Tan slo hace unos das que el mundo entero ha celebrado el Da Internacional del SIDA.
Una fecha en la que la Organizacin Mundial de la Salud pretende concienciar, una vez ms,
a la poblacin mundial de la necesidad de la proteccin contra el SIDA. Los datos siguen
siendo muy preocupantes hoy en da y lo que es peor, en un futuro prximo, la tendencia
del nmero de vctimas de esta enfermedad es al alza. Y no slo en los paises del Tercer
Mundo: nuestro pas sigue estando a la cabeza de la UE en lo que se refiere a nuevos casos
detectados. Aprendamos hoy a leer las grficas de esta mortfera enfermedad.

l estudiar y recopilar una gran cantidad de datos, como sucede con la epidemia del SIDA, stos han de organizarse adecudamente para que
sean comprensibles al pblico.
Para ello se utilizan distintos modos de representacin de los datos.
No son caprichosos
los modelos escogidos: cada tipo de
grfico muestra los
datos de modo diferente resaltando
ms unos datos que
otros. Echmosle un
vistazo.

por Lolita Brain

PORCENTAJES

AULA

DE EL

DATOS

En todo anlisis de datos es muy importante

que distingamos los valores absolutos (fre cuencias absolutas) de los valores porcentuales (Frecuencia relativa). Vemos un ejemplo.
Compararemos el nmero de enefermos de
SIDA entre el Pas X (10.000 casos) y el Pas

T E N D E N C I A S >> > G R F I C O S

VS

La evolucin en el
tiempo de una epidemia es fundamental
para conocer cmo
se desarrollan tanto
los sistemas de prevencin y cura, como
la difusin de los contagios. Responden a
preguntas Cundo
creci ms la epidemia? Por qu? Ha
sido util la administracin de medica m ent os ef i caces ?
Cuntos casos se espera registrar dentro
de x aos?

MUNDO

ABSOLUTOS

Y (20.000 casos).
Es ms la influencia epidmiolgica en X o en
Y? A la vista parece que el pas Y tiene la en fermedad ms desarrollada. Pero este dato puede ser engaoso, porque si sabemos que :
Pas X tiene 100.000 habitantes
Pas Y tiene 2.000.000 habitantes
En qu pas crees que la enfermedad es ms
preocupante? Ciertamente en el Pas X por que hay 10.000 enfermos entre 100.000 habi tantes, tan slo un 10%. En cambio en el pas
Y slo el 1% est enfermo. Ahora s podemos
comparar los dos datos.

DE LNEAS

Observaremos siempre
los valores mximos y
mnimos de las series del
grfico.

La pendiente (inclinacin) de un trazo, mide la velocidad del

crecimiento. Cuanto mayor sea la pendiente, mayor ser el
nmero de casos registrados en ese periodo.
Conjuntando esas informaciones, los datos se resumen en sentendencias del tipo:
- Hasta 1994 tanto los nuevos casos de SIDA, como los fa llecidos por la enfermedad, fueron incrementandiose cada ao.
- En los aos 1987-88 y 1993-94 se produjo un aumento considerable de vctimas.
- Desde 1998 hasta 1995 la tasa interanual de fallecidos permanecicasi constante.
- A partir de 1994 la tendencia se modifica, esperimentndose por primera vez un decrecimiento de nuevos casos de SIDA.
- La tendencia a la baja en los fallecimientos por SIDA no
se registra hasta un ao despus, en 1995-96.

La tendencia de una
serie de datos puede
ser creciente -aumentan los casos- o decreciente -disminuyen.
Se distinguen facilmente en el grfico segn la pendiente sea
positiva o negativa.

P O R C E N T A J E S >> > S E C T O R E S
C O M P A R A T I V A S >> > B A R R A S

Si queremos representar da tos porcentuales (porcentajes)

el procedimiento estndar es el
de lo s g r fico s de s ecto r es : la
poblacin total se representa
por un crculo (enfermos de
SIDA en Espaa en 2001), y
cada una de las categoras que
observamos (heterosexuales,
homosexuales masculinos, homosexuales femeninos) se representa con un sector tan amplio como sea su frecuencia.
El diagrama de sectores y el pictograma reflejan los mismos datos No te parece que con
los sectores se aprecia el dramtico problema de los paises del frica Subsahariana?

PICTOGRAMAS
Una informacin valiossima es la COMPARATIVA del estado
de la epidemia entre los distintos pases de un entorno
(UE, frica etc.), entre distintos sexos (hombres, mujeres)
o entre diversos grupos sociales caracterizados por diversas propiedades (edad, drogodependencia, sexualidad).
Para resaltar las diferencias entre los perfiles de cada poblacin los diagramas de barras son ideales.

Mximo Europa:
Suiza, Espaa
y Portugal: 0,5%

Amrica del Norte

950.000
Caribe
420.000

Europa oriental y Asia central

1.000.000

Europa occidental
550.000

Asia del Sur y suroriental

5.600.000

Africa del Norte

y Oriente Medio
500.000

Asia oriental
y Pacfico
1.000.000

Mximo Amrica:
Hait: 6,1%

Prevalencia
15-39%
5-15%

Mximo Asia:
Camboya: 2,7%

Amrica Latina
1.500.000

Africa Subsahariana
28.500.000

1-5%

TOTAL MUNDIAL:

05-1%

40.000.000

01-05%
00-01%
Sin datos

Mximo Africa:
Botsuana: 38,8%

Australia y
Nueva Zelanda
15.000

Los pictogramas ayudan a entender la

distribucin de los casos de SIDA utilizando elementos grficos que facilitan su comprensin. Por ejemplo se
utiliza un mapa coloreado que dis tribuye las frecuencias o en lugar de
barras se usan imgenes referidas a
los datos.
lolitabrain@hotmail.com

E L R E PA R T O
DEMOCRTICO

Repartir es una operacin tan habitual en nuestra vida que se nos olvida la importancia
que tiene. Y en algunas situaciones no es tan sencillo como parece. En los sistemas democrticos, repartir el poder de forma alcuota con relacin a los deseos de los
votantes es fundamental. Slo si el modo en el que el nmero de representantes
polticos de una poblacin es fiel al nmero de votos emitidos, los ciudadanos confiarn en el sistema. Se aproximan unas elecciones municipales y autonmicas: es un
buen momento para adrentarnos en lo que las Matemticas aportan a los sistemas representativos

por Lolita Brain

ompetir en unas elecciones

pasa por tener fijado un mecanismo que determine cmo se
pasa del nmero de votos emitidos
al nmero de escaos que estn en
juego. Ahora bien, hay muchas formas de realizar repartos. Echemos
un vistazo a la tabla de la derecha:
figura las intenciones de voto de
unos representantes polticos de un
Congreso ficticio para votar el presidente de una detrminada comisin. Se han reflejado las seis combinaciones preferidas y el nmero
de compromisarios que las han votado. Qu partido debe ser el ganador? Pues todo depende del sistema de reparto que usemos.

AULA

DE EL

MUNDO

tos, el nmero de escaos que le correspondera sera:

l principal problema que se

plantea al asignar escaos
a travs de votos es que los
concejales, diputados o senadores no pueden partirse en trozos. sa s que
es una limitacin.
En principio, parece justo y proporcional, que si
V es el nmero de
votos emitidos en
una circunscripcin con E escaos, y el partido P
ha obtenido N vo-

Escaos =

V x
N E

Como puedes imaginar difcilmente

de esas divisones surgen nmeros enteros. Qu hacer pues con los resi duos que quedan? Cmo repartir los
escaos que sobran entre los distintos
partidos? Es lo que se denomina PROBLEMA DEL REPARTO, que es estudiado
por lo que se denomina PROGRAMA CIN ENTERA.

stos son los resultados

de las elecciones
municipales de 1999 al
Ayuntamiento de
Sevilla. Supongamos
que dicho Ayuntamiento se compone de 17
concejales. Cmo se
distribuyen segn el
Mtodo DHondt?
El primer paso es realizar la divisin
entera (sin decimales) del nmero de
votos obtenidos por cada partido por 1, 2,
3... sucesivamente hasta 17, que es el
nmero de concejales. Cada uno de estos
cocientes es la prioridad de cada partido
para el 1er, 2do, 3er, etc. escao.

D H

Se proponen cinco modos de

realizar la eleccin.
1.- Mayora simple. Gana el
que ms votos obtenga. El
vencedor sera el BLOC.
2.- La segunda vuelta. En la
primera vuelta se eliminan
todos los candidatos menos
los dos ms votados. El que
consiga la mayora absoluta
vence. En este caso ganara
Uni.
3.- Eliminacin del perdedor.
Se hacen votaciones sucesi vas y en cada una de ellas se
elimina al que menos votos
haya recibido. As ganara IU.
4.- Recuento Borda. A cada
candidato se le proporciona
una puntuacin segn el
orden de prefencia (5, 4,3, 2 o
1). El vencedor sera el PP.
5.- Mtodo de Condorcet.
Todos los candidatos se
enfrentan dos a dos y el que
gane a todos es el vencedor.
Ahora el presidente sera del
PSOE.

El mtodo que se utiliza en el sistema electoral espaol

para resolver el problema del reparto es el denominado
mtodo DHondt que ya fue introducido por el presidente estadounidense Jefferson para el reparto de los escaos del
Congreso. Funciona asignando una prioridad a cada partido
para la obtencin de cada escao. Dicha prioridad la determina el cociente de dividir el nmero de votos del partido por
el escao cuyo valor se calcula. Los escaos se reparten en
orden de estas prioridades.
Repartir los escaos es ahora muy fcil. Buscamos en la ta bla la prioridad ms alta para el 1er escao. Correponde al
PSOE ya q u e t i ene el mayor coci ent e, de 356.569. El s egu n do escao va a a parar al PP, ya que tiene la segunda prioridad
ms alta (216.895). Para el tercer escao, vuelve a salir elegido el PSOE
pues la prior i d a d
176.298 es la
siguiente en
tamao.
Observa que
IU no obtie ne escao
hasta
el
quinto que
se reparte y
PA hasta el
sexto. Se
contina el
proceso hasta que se reparten todos
los escaos.

os matemticos Balinski y
Young demostraron en 1982 que
no es posible encontrar un sistema de asignacin perfecto. Esto
quiere decir que escojamos el mtodo que sea, siempre podr decirse
que beneficia de algn modo a algn
grupo o sector. Por ejemplo, el mtodo DHondt favorece en general
a los grandes partidos y a las coaliciones. Por ejemplo, en el mismo
caso de las elecciones al Ayuntamiento de Sevilla de 1999, si IU y PA
hubieran concurrido en coalicin,
con los mismos votos entre ambos,
habran obtenido un escao ms.
Las tablas te muestran los clculos.

lolitabrain@hotmail.com