Febrero 2013, InvestigacionyCiencia.

es 93


I
gual que aconteci con las fronteras de
la fsica, en particular con la cuntica,
las fronteras de la biologa buscan plan-
teamientos unifcadores y tender puen-
tes entre orillas que se crean irreconci-
liables. As ocurre con el campo orgnico
y el dominio de la cognicin. El marco
de esa aproximacin lo pergea la biolo-
ga de sistemas. A travs de la cognicin,
el organismo se muestra capacitado para
habrselas con su entorno. Una actividad
que, se supone, depende de la teora de
la informacin basada en probabilidades
bayesianas.
El organismo se considera un sistema
ciberntico, un regulador de su propia
homeostasis (el sistema metablico) y
un sistema selectivo que separa el yo del
no-yo (la membrana en los organismos
unicelulares). Todo organismo es un sis-
tema complejo que puede sobrevivir solo
si es capaz de mantener su orden interno
frente a la tendencia espontnea hacia la
disgregacin. Por tanto, se ve obligado
a seguir y controlar su entorno y, de ese
modo, establecer circuitos de realimen-
tacin que resultan en una coadaptacin.
Los procesos cognitivos y los biolgicos
son inseparables. En la nueva disciplina,
la neurociencia cognitiva se sita en su
sustrato biolgico. Mas, para buscar las
bases biolgicas de la cognicin, hay que
remitirse a la fsica y a la teora de la in-
formacin, ambos puntales profundamen-
te conectados en la mecnica cuntica.
Detallada la naturaleza, adquisicin
y meditacin de la informacin, se ex-
plicita esta en los principios generales
de autoorganizacin y dinmica de los
sistemas biolgicos. Compete al lenguaje
y la consciencia interpretar la informa-
cin. Al cerebro se le considera soporte
orgnico de la creacin de inferencias a
partir de la informacin de los sentidos,
generador de predicciones y comproba-
dor de hiptesis a travs de su interac-
cin con el mundo.
Se han realizado avances signifcativos
en bioqumica y biologa molecular. Pese
a ello, parece cada vez ms cierto que las
metodologas reduccionistas tradiciona-
les resultan insufcientes para abordar la
complejidad de sistemas y problemas que
van ocupando el centro de investigacin.
La exposicin biolgica y su lenguaje se
han espejado en las explicaciones de la
qumica y, en ltima instancia, de la f-
sica. Lo observamos en la bsqueda de
una causalidad de los procesos. A los con-
ceptos de masa, energa y fuerza, que a
escala molecular y qumica implican fuer-
zas moleculares, concentracin de deter-
minadas sustancias qumicas, velocidad
de reaccin, etctera, hemos de aadir,
cuando abordamos niveles superiores de
organizacin biolgica, los de fenmenos
disipativos, temporizacin diferencial,
procesos degenerativos y otros.
Por su lado, la ciencia cognitiva, joven
disciplina creada con aportaciones de la
psicologa, neurologa, teora de redes
neurales e inteligencia artifcial, ha dado
tambin pasos importantes en la concep-
tualizacin y el diseo de experimentos. El
problema principal que atae a la biologa
cognitiva es el de encontrar una media-
cin oportuna entre la teora de la com-
plejidad, importante para la biologa, y el
tratamiento mecnico-cuntico de la in-
formacin, importante para la cognicin.
Ese nexo puede descubrirse en la nocin
de control de la informacin que tiende
puentes entre procesos metablicos y as-
pectos relativos a la informacin.
Cuando se abordan las relaciones en-
tre fsica y biologa, caben tres caminos
posibles: apoyarse en la fsica clsica y
la metodologa reduccionista tradicional
(buscar los fundamentos de la biologa
en conceptos y leyes de la fsica); recha-
zar cualquier nexo con la fsica para ga-
rantizar un fundamento autnomo para
la biologa; mostrar que la teora fsica
ms revolucionaria, la mecnica cuntica,
permite a la biologa una conexin con
la fsica que le faculta un fundamento
autnomo sin violar las leyes de la fsica.
Auletta sigue la tercera va. Al afrmar
que las ciencias biolgicas, neurolgicas
o psicolgicas deben reducirse a la fsica,
se piensa en un reduccionismo ontolgico
a la fsica clsica (o la qumica clsica),
como si estas constituyeran el paradigma
defnitivo de la ciencia. Pero el alcance
de la fsica clsica (y la qumica clsica)
ha quedado limitado a la resolucin de
determinados problemas. Ha ocupado su
lugar, como explicacin fsica del mundo,
la mecnica cuntica.
En la bsqueda de nexos entre biolo-
ga y mecnica cuntica se adelantaron
Niels Bohr, Ernst Pascual Jordan, Max
Delbrck y, sobre todo, Erwin Schrdin-
ger. Andando el tiempo, Roger Penrose
negara que el cerebro funcionase como
un ordenador clsico. En su opinin, el
cerebro poda realizar clculos aunque
el problema no se hallara bien defnido.
La mecnica cuntica podra ser la solu-
cin de ese tratamiento anmalo de la
informacin, una idea revolucionaria,
aun cuando no se requiera que el cerebro
se rija por las leyes de la fsica cuntica
(en razn de la inmensa complejidad de
su organizacin). Sabido es que las leyes
cunticas no regulan propiedades con-
cretas de sistemas fsicos, sino amplitu-
des de probabilidad. Del hecho de que
la mecnica cuntica no regule sucesos
concretos se inferen importantes conse-
cuencias: queda margen para la aparicin
de nuevos tipos de sistemas fsicos (impo-
sible si el mundo estuviera regulado por
las leyes de la mecnica clsica) y aporta
condiciones necesarias para la aparicin
de la vida.
La fsica clsica se basaba en dos su-
puestos: todos los procesos y parmetros
fsicos relevantes son continuos (princi-
pio de continuidad) y todas las propie-
dades de un sistema fsico estn deter-
minadas (principio de la determinacin
perfecta). Ambos supuestos fundamen-
tales se violan en la mecnica cuntica:
el principio de continuidad por el prin-
cipio de cuantizacin y el supuesto de la
determinacin perfecta por el principio
COGNITIVE BIOLOGY. DEALING WITH
INFORMATION FROM BACTERIA TO MINDS,
por Gennaro Auletta. Oxford University Press;
Oxford, 2011.
Biologa cognitiva
Fundamentacin en la mecnica cuntica
y en la teora de la informacin
94 INVESTIGACIN Y CIENCIA, febrero 2013
Libros

de superposicin. Los sistemas mecnico-
cunticos, por elementales que sean, pue-
den considerarse fuente de informacin
en nuestro mundo y procesadores de la
misma.
La mecnica cuntica nos ensea que
cada transmisin o adquisicin de infor-
macin ser una combinacin de un com-
portamiento discreto, local (seleccin de
informacin) y de una conducta global,
continua y ondulatoria. El cerebro es uno
de esos sistemas clsicos que despliega
ambos aspectos. Se caracteriza por dos
fenmenos: la informacin se adquiere a
modo de espigas, en trminos discretos,
mientras que la actividad global de pro-
cesamiento, en la que intervienen mu-
chas neuronas o diversas reas, presenta
una forma ondulatoria. Durante siglos
se pens que el cerebro representaba el
mundo externo de una forma pasiva, a
la manera de imagen especular de los
objetos y sus caractersticas; se reserva-
ba para la mente el procesamiento lgi-
co de la informacin as adquirida. En
los ltimos aos ha ido ganando fuerza
la tesis de que el cerebro interviene en
el propio sesgo de la percepcin, en su
anticipacin. De ese modo, vamos cono-
ciendo mejor las races biolgicas de la
cognicin. La biologa no es irrelevante
para la cognicin, ni esta, irrelevante
para aquella.
Aunque arquetpico para hablar de
informacin, el cerebro no es el nico
sistema biolgico que se ocupa de la in-
formacin. En los animales superiores
encontramos tres sistemas que la tratan:
el sistema sensorial perifrico, los siste-
mas reguladores, en particular, el sistema
hormonal, y el sistema nervioso central.
Entre los vertebrados, compete al sistema
sensorial adquirir informacin, procesarla
y transmitirla al sistema nervioso central;
el sistema hormonal regula la transmisin
e intercambio de informacin; por fn, la
funcin especfca del sistema nervioso
central consiste en adquirir informacin
(procedente del sistema sensorial) y, en las
reas sensoriales y motoras, procesarla y
controlar el intercambio de informacin.
El sistema hormonal transmite informa-
cin a travs de las hormonas liberadas
por las glndulas. En particular, regula
los sistemas circulatorio, digestivo y re-
productor, aparte de su infuencia sobre
el cerebro y el sistema nervioso central.
La informacin del cerebro se transfere
tambin a travs de la difusin local de
molculas neuroqumicas en una forma
paracrina.
No existe isomorfsmo entre el cerebro
y los objetos externos, aun cuando, en un
sentido ms restringido, podemos hablar
de cartografa topogrfca y central. De
acuerdo con la regla de Hebb, cuando un
axn de una neurona participa reiterada-
mente en la excitacin de otra neurona,
se produce un proceso de desarrollo o
cambio metablico en una o ambas c-
lulas, de suerte que pueden excitarse al
alimn con alta probabilidad. Esta es la
base terica de la teora conexionista de
las redes neurales.
Luis Alonso
N
umerosas han sido las contribucio-
nes realizadas en homenaje a Alan
Turing, coincidiendo con el centenario de
su nacimiento, en 1912. Al legado de este
fundador de la ciencia de la computacin
y la inteligencia artifcial ha dedicado la
coleccin Temas de Investigacin y Cien-
cia un nmero monogrfco. De entre sus
propios escritos el libro de cabecera es,
sin lugar a dudas, la obra ms interesante.
All se avanzaron las ideas que resultaron
decisivas para determinar el rumbo de la
computacin y la matemtica.
Entr en el Kings College de Cambrid-
ge en 1931. De 1931 a 1934 se sinti atrado
por diversas partes de la matemtica, in-
cluida la lgica matemtica. En 1935 fue
elegido fellow del Kings College, tras su
disertacin sobre teora de la probabili-
dad, On the Gaussian error function, don-
de redescubra de forma independiente el
teorema central del lmite. A comienzos
de ese ao empez a interesarse en pro-
blemas de lgica, con un curso impartido
por M. H. A. Newman.
Uno de tales problemas era el de la de-
cisin (Entscheidungsproblem), la cues-
tin de si existe un mtodo efcaz para
decidir, dada cualquier frmula bien for-
mada del clculo de predicados de pri-
mer orden, si es o no vlida en todas las
interpretaciones posibles. Eso se haba
resuelto en afrmativo para determina-
das clases especiales de frmulas, pero el
problema general segua abierto en esa
poca. Se hallaba convencido de que la
respuesta deba ser negativa, si bien para
demostrar la imposibilidad de un proce-
dimiento de decisin tendra que ofrecer
una explicacin matemtica exacta de lo
que signifca ser computable mediante un
proceso estrictamente mecnico.
A ese anlisis lleg a mediados de abril
de 1936, a travs de lo que dara en lla-
marse mquina de Turing: un mecanismo
ideal de computacin subsiguiente a un
elenco fnito de instrucciones (un progra-
ma) en etapas discretas efectivas sin limi-
tacin de tiempo ni espacio. Plasm su
investigacin en el artculo titulado On
computable numbers, with an application
to the Entscheidungsproblem. Introdujo
la idea de que la computacin poda ac-
tuar sobre estructuras simblicas gene-
rales, no necesariamente aritmticas. En
particular, sac partido del hecho de que
un programa sea una de esas estructuras.
Newman se mostr en un principio escp-
tico ante el anlisis de Turing, pero luego
se convenci y le anim a publicarlo. A los
veinticuatro aos haba, pues, ideado un
modelo universal de computacin, o m-
ALAN TURINGS SYSTEMS OF LOGIC.
THE PRINCETON THESIS.
Dirigido por Andrew W. Appel. Princeton University
Press; Princeton, 2012.
Turing
Su tesis doctoral
Febrero 2013, InvestigacionyCiencia.es 95


introduccin: El conocido teorema de
Gdel revela que todo sistema de lgica
es, en cierto sentido, incompleto, mas al
propio tiempo aporta los medios por los
que a partir de un sistema L de lgica
puede obtenerse un sistema L ms com-
pleto. Mediante la repeticin del proceso,
obtenemos la secuencia L, L
1
= L, L
2
=
L
1
... cada vez ms completa que la an-
terior. Podra entonces construirse una
lgica L
w
en la que los teoremas demos-
trables fueran la totalidad de teoremas
demostrables con la ayuda de las lgicas
L, L
1
, L
2
... Procediendo de esta forma po-
demos asociar un sistema de lgica con
cualquier ordinal constructivo. Podra-
mos preguntarnos si una tal secuencia
de lgicas de este tipo es completa en el
sentido de que a cualquier problema A
le corresponde all un ordinal a tal que A
por medio de la lgica L
a
. Valindose de
un ingenioso argumento, Turing obtuvo
un resultado de completitud parcial que
reclamaba ulterior investigacin. Reco-
nocera problemas importantes en su
lgica ordinal.
Tras la publicacin de la tesis no vol-
vi al tema de la misma. Al poco de su
regreso a Inglaterra particip en la Es-
cuela de Cdigos y Cifras del Gobierno,
que habra de llevarle hasta su trabajo
secretsimo en Bletchley Park durante la
guerra: abrir el cdigo cifrado de la Ma-
rina alemana, empleando mecanismos de
computacin, aunque no mquinas de Tu-
ring. Tras la guerra puso en prctica sus
ideas sobre computacin al supervisar la
construccin del ACE (Automatic Compu-
ting Engine) del Laboratorio Nacional de
Fsica; redact el plan detallado de fun-
cionamiento. Mas su idea de un compu-
tador digital electrnico automtico con
almacenamiento interno de programas
no pudo concretarse hasta despus de su
muerte, cuando el avance de la electrni-
ca lo permiti.
En 1948 invent el mtodo de descom-
posicin LU en la computacin numrica.
Dos aos ms tarde rotur el terreno de
lo que sera la futura inteligencia artif-
cial y realiz predicciones notablemente
precisas sobre los derroteros que habran
de seguir computacin y computadores.
En 1952 se dej atraer por la aparicin
de formas en las estructuras biolgicas
(pautas de las fores, simetra de los hue-
sos o manchas de los tigres). Muri a los
42 aos. Se cree que se suicid angustiado
por las normas inglesas dictadas contra
la homosexualidad.
Luis Alonso
quina de Turing, y demostrado su teorema
de incompletitud, que hizo pblicos en el
artculo antes mencionado, con la correc-
cin incorporada en 1937.
Kurt Gdel haba formulado en 1931
la tesis de la incompletitud. Sus mtodos
(la codifcacin numrica de la sintaxis y
el procesamiento numrico de la lgica)
sentaron las bases para numerosas tc-
nicas de ciencia de la computacin. Es-
tableci la teora de las funciones recur-
sivas. Se vali de los enteros para idear
un lenguaje universal capaz de codifcar
computaciones arbitrarias y algoritmos
generales que podran demostrar teore-
mas. Por su parte, Alonzo Church haba
presentado el clculo lambda como mo-
delo de computacin; de acuerdo con su
tesis, las funciones recursivas caracteri-
zan exactamente las funciones efectiva-
mente calculables.
Muestra del genio de Gdel fue sus-
tituir la idea informal de verdad por un
concepto que poda formalizarse: la idea
de prueba. Aplicando la nocin formal de
prueba, Gdel mostr que deba existir
algn enunciado sobre los nmeros que
no poda ser ni demostrado ni contradicho
utilizando las reglas de la deduccin lgi-
ca, aunque poda verse que ese enunciado
era cierto traspasando el sistema lgico
y contemplando el enunciado desde una
perspectiva metalingstica. Con otras
palabras, el teorema de incompletitud de
Gdel expresaba que exista en matem-
tica un componente semntico irreducti-
ble. Turing continuaba la revolucin de
la lgica iniciada por Gdel. Describi su
argumento matemtico de manera simi-
lar a la empleada por el austraco. Pero
Turing abord con xito la cuestin plan-
teada por Hilbert sobre la decidibilidad y
lo hizo fundndose en un anlisis flosf-
co enteramente original del concepto de
computacin.
Por recomendacin de Newman, Tu-
ring decidi pasar un ao estudiando
con Church. Solicit una beca Procter. Se
la negaron. Hubo de contentarse con la
exigua subvencin de su Kings College.
Lleg a Princeton a fnales de septiembre
de 1936. All, el departamento de mate-
mticas se haba convertido ya en meca
de referencia. En el Instituto de Estudios
Avanzados estaban Albert Einstein, John
von Neumann y Hermann Weyl, en el
departamento Lefschetz. Profesores visi-
tantes ese ao fueron Courant y Hardy.
En lgica esperaba encontrar, adems de
Church, a Gdel, Bernays, Kleene y Ros-
ser. Gdel visit el instituto en los aos
1933, 1934 y 1935; acort su ltima es-
tancia, por enfermedad, y no volvi hasta
1939. Bernays haba visitado Princeton en
1935-36; no volvi a Estados Unidos has-
ta despus de la guerra. Kleene y Rosser
haban recibido el doctorado por la poca
en que Turing lleg y haban buscado tra-
bajo en otros sitios. Se vio pues limitado a
asistir a las clases de Church que encon-
traba excesivamente precisas. No parece
que intimaran.
Church reconoca en 1937 que en la
exposicin de Turing haba tres nocio-
nes diferentes: computabilidad por una
mquina de Turing, recursividad general
en el sentido de Herbrand-Gdel-Kleene
y defnibilidad lambda en el sentido de
Kleene y Church; de ellas, la primera
tiene la ventaja de hacer evidente de in-
mediato la identifcacin con la efcacia
en el sentido ordinario; la segunda y la
tercera presentan la ventaja de la idonei-
dad para su incorporacin en un siste-
ma de lgica simblica. As naci lo que
dio en llamarse tesis de Church-Turing;
de acuerdo con la misma, las funciones
efectivamente computables son exacta-
mente las computables por la mquina
de Turing.
Y la tesis de Princeton? En la prima-
vera de 1937 Turning desarroll una prue-
ba ms detallada sobre la equivalencia de
la computabilidad de la mquina con la
defnibilidad lambda. Public tambin
dos artculos sobre teora de grupos; de
ellos, el dedicado a aproximaciones fnitas
de grupos continuos llam la atencin de
Von Neumann. El jefe del departamento
de matemticas, Luther P. Eisenhart, ani-
m a Turing a pasar otro ao en Princeton
y solicitar de nuevo la beca Procter. En
esta ocasin, avalado por Von Neumann,
que ponderaba su trabajo sobre funciones
casi peridicas y grupos continuos, logr
la subvencin, que le permita dedicarse
a su tesis doctoral sobre lgicas ordinales,
dirigida por Church.
Aprobada en mayo de 1938 y publica-
da en 1939 con el ttulo Systems of logic
based on ordinals, la tesis constitua el
primer intento sistemtico de abordar la
idea natural de superar la incompletitud
godeliana de sistemas formales mediante
la iteracin de la agregacin de enuncia-
dos, tales como la consistencia del siste-
ma. De hecho, esas clases de iteraciones
pueden extenderse hasta lo transfnito.
Su principal resultado fue que podamos
obviar la incompletitud para una clase
importante de enunciados aritmticos,
aunque no para todos. Lo adelanta en la