Professional Documents
Culture Documents
TOTAL Y EL PROBLEMA DE LA
SIMULACIN
B ERNUI.f K.ANITSCHE!DER
l.
M UCHOS Ml!NDOS
28
BERNUI.F KAN!TSCHEIDER
t<:rico . utilizando el mtodo de la idealizacin para cap turar lo incon cebibk. La constrnccin de modelos mat<:mticos que simplific:rn la comp lejidad insoncbbh: p:irece d nico camino hacia una reproduccin aproximadamente detallada de todo el ser.
Eso vale tanto para el conocimiento de nuestra tierra como para el
universo. La tierra tiene la ventaja de la finitud, aunque su superficie muestra una aspereza y ru deza casi inescrutables'. El universo. tanto de una
complejidad prodigiosa como de una extensin inimaginable.: para e l sentido comn, adems resulta infinito. Solo mediante una teora fuerte y bien
esrabledda podemos elevarnos a la investigacin de un sistema ta n variado
y sin lmites. La matemtica de la relat ividad geneml es ca paz de vencer el
problema cosmolgico. a unque el universo c.:s tan inmenso que contiene
una infinit ud de galaxas. estrellas y p lanetas. El a lca nce de la teora de Ja
gravitacin einsteiniana garantiza un moddo fiable y seguro de todo lo que
existe. La cosmovisin de hoy en da sugiere una imagen del universo en
la cual la materia est d istribuida de manera perfectamente istropa y homognea. Se concibe el u niverso como el desp liegue dinmico de un gran
estall ido inicial hace unos l 1 millones de ai'los. La existencia de un p unto
inicial donde empieza el espacio-tiempo est bien corroborada a b ase de
los te oremas de singularidad ele Hawk ing y Penrose, a unqu e la mtrica est
mal definida all.
El modelo estCmciar est bien establecido, aunque quedan cu estiones
abiertas en cuanto a la materia y la energa oscura. No se con oce el tip o de
materia que hara el universo plano, urgentemente requerido por e l proceso ele la inflacin csmica. Todo eso se sabe muy bien y adems ha sido
pub licado por d ivulgaciones frecuen tes. Pero el modelo estndar contiene
sus trucos y malicias que han salido a la supe rficie en los ltimos aos y
que nos conducen a un espinoso terreno filosfico.
Todo empieza con el infinito. Este concepto ha sido esclarecido por
Georg Cantor hace ciento cincuenta aos. Se trata del infinito matemtico
o. !lamrnoslo as, el infinito puro. >lo cabe duda que a base ele la teora
de conjuntos infinitos d e Cantor p odemos maneja r los varios escalones del
infinito de manera consistente y fructfera. La definicin bien imaginable
del infinito remonta a Dedekind, segn lo cual un conjunto es infinito. si es
hiyectable con algn su bconjunto propio suyo, p. e . el subconju nto de los
nmeros pares mediante la biyeccin f : -7 a 2n. 2
Por eso Borges acu el dicho que solo la tierra nusma "'' un map;1 perfecto e.le la
tierra
R Dedekind: \Vas .r nul wul uas sol/en die Lublen> Braunschweig. Yicweg 1969'''.
29
30
BEIUfLF KANITSCHEIDER
31
e2
a= - - hc
no llevan dimensin, son nmeros puros y p or eso no dependen de los
unidades de medida . Aquellas constantes caracterizan las formas y figuras
de los sistemas tan estrechamente que un cambio de pocos porcientos
vara totalmente el contenido de un mundo. Estrellas como nuestro sol
dependen sensiblemente de la constante mencionada arriba. Sin embargo,
en el plano segundo del pluriverso rigen las mismas leyes fu ndamentales
como la ecuacin de Sc:hrodinger o las ecuaciones de campo de Einstein a
pesar de que h, la constante de Planck, o G, la constante de la gravitacin,
tuvieran valores d iferentes.
A. Gu1h: '" lnflationary Universe: "'A possible solution
prnblems'", Pbys. Reu D 29. p. 547-356.
10
32
'" J. i\ to~terin: Ciencia l ll'u Rt!j/exlfm<>:< suhrt! la At'E!ntura bllelect11al ele Nuestro
"/lempo Espasa Calpt:: Madrid, p .'\O.
33
el principio metdico segn el cual no hay que multiplicar los entes sin necesidacfl'. Sin embargo, hay necesidad? La parsimo nia ontolgica no debe
llegar a una tacae ra espanana, de tal modo que no se pudieran explicar
rasgos fundamentales del universo. As que el extre mo realismo platnico
que postula la existencia d e formas puras e ideas abstractas que forman un
mundo inteligib le establece el reino ms amplio posible de mundos. No sabemos y tal vez nunca sabre mos cuantas estructuras formales exislt'n, pero
parece plausible q ue haya una infinitud de sistemas matemticos. Por eso
la pla nta cua1ta comprende toda la complejidad de lo inteligible. Aunque
la doctrina del realismo platnico defendida p or varios matemticos y unos
fllsofos analticos como Quine tropieza con muchos dificultades, n o h a
perdido su atraccin cie ntfica .
I!. LA
S!MllLAC!~
34
BERNULF KANITSCHE!DER
35
"
D. Chalmers: "i\fatrix as Metaphysics". http://jamaica.u .arizona.edu/-d1almers/
papers/matrix.html
"
M. Dummett: 7i-utb and Other Eniwzas. Cambridge J\'LI\. 1978.
1
J.
36
37
Los tres postulados o tesis tienen un e nlace lgico de tal modo que
cada uno ele estos tres enunciados pod ra ser falso, pero no los tres al
mismo tie mpo. Hevisemos ahora la falsedad posible de cada tesis. Si ( 1) es
falso. entonces una fraccin significativa ele todas las especies con un nivel
tcnico de desarrollo en los mundos paralelos sobrevivirn sus tension es
h ticas sin extinguirse. Hasta hace poco n o creamos que en la tierra eso
sera posihle 19
Si (2) es falso -que me parece p lausible dado que e n nuestro un iverso
tanta gente est ocupada con simulaciones ele mil y una cosas- habr mundos simulados. Obviamente el d escubrimiento de la computadora trae consigo el afn de hacer simulaciones. Entonces resulta prohable que una parte
considerable de todas las civilizaciones vaya a usar u na porcin de sus recu rsos computacionales pa ra simular mentes tambin como las nuestras. A
base de nuestras contemplaciones cosmolgicas queda claro que el nmero
d1.: mentes simuladas sera astronmicamente enorme. Numricamente h abr muchisimas ms m1.:ntes simuladas que mentes en cerebros orgnicos
de matt'rial terrestre. Casi todas las mentes como las nuestras s1.:1fan de tipo
simu lado. ms qut' de tipo biolgico carbn ico. Eso significara que, s i no
somos una excepcin enorm1.:mente im probable, es casi seguro que somos
entes simulados. Es cosa de la lgica que, si (1) y (2) son falsos, deberamos aceptar (3). No es lgicamente coherente rechazar los tres e nunciados.
Es ob\'io que no tenemos mucha informa cin acerca de las dos primeras
p roposiciones. Ambas afirman a lgo sobre el desan'Ollo de las civilizaciones
tcnicas a la rgo pl:.izo. Como slo conocemos una nica civili7.acin y sin
respa ldo de u na teora fuerte resulta d ificultoso presagiar el futuro de tal
sistema. As que el argumento de Nick Bostrom de momento est e n e l a ire,
puesto que resulta imposible evaluar las premisas de la conclusin. Aplicando el pensa mie nto de Popper sobre e l historicismo a la sicuacin pertinente podramos argir qu1.: en principio no es posible acercar las ideas de
los tecnlogos del fu tu ro. Quin puede adivinar, si ellos descubrirn una
tt'cnologa altamente peligrosa que luego nos descruya? Esperemos que ste
no sea e l caso, pero como hoy en da no podemos juzgarlo. cal vez nunca
conoceremos la vida media de civilizacion es inteligentes, como sabemos el
tiempo al cabo del c ual se habr desincegrad o la mitad de los Momos que
haba inicialmente. Acaso, e n cuanto a la reali7.acin de una idea, se trata
de u n proceso aleatorio como la mutacin o la radioactividad. as que cada
civilizacin siempre que da e n un estado metaestable.
38
B ERNULF KANITSCHEIDER
"' .J. D. Barrow: Lll'ing in a Sinm/ated Universe. Pi i11 tbe sky: cowiling, tbinking a /1(/
being, Oxford 1992. Cap. 6.
1
'
Cf. R. l'enro.~e: 7be Road to Reali~v. London 2004, p. 777.
39
simulados sea ilimitado arguyendo que, una vez puesta en marcha, la simulacin se autoamplifica sin parar, y por eso sea altamente probable que
tambin nosotros vivamos en una simulacin.
Puede que unos se sientan un poco desasosegados con la idea de
vivir a merced de un programador en un universo inalcanzable sin saber
el juego y en espera de una falla grave en la programacin que podra
extinguir todo e l universo de golpe. Sin embargo, el mtodo de controlar
la hiptesis n o sera diferente del procedimiento normal en probar una
conjetura cientfica a travs de una extrapolacin de tendencias pasadas,
modelacin, y elaborar predicciones. Segn Popper y la escuela del racionalismo crtico se planteara la pregunta de cmo se falsifica la conjetura de
la simulacin. Cual dato emprico sera incompatible con la hiptesis? Conocemos bien la asimetra entre refutacin y confirmacin de una hiptesis
cientfica; un contraejemplo basta para refutar una hiptesis general, pero
un montn de ejemplos que la cumplen n o alcanzan para confirmarla. En
cuanto a la conjetura simubtoria apenas se puede imaginar un rasgo de
nuestro universo que no se pueda ach acar a los programadores lejanos.
La situacin se parece a la decisin desconocida de Dios en la metafsica
cristiana. Como nadie conoce las resoluciones de El, todo lo que ocurre en
el mundo es compatible con su existencia. Por eso, D. Chalmers llam a la
hiptesis de la MatrLx el mito creador de la poca informacional.
En cuanto a la vida cotidiana sera aconsejable continuar nuestra v ida
de la misma manera que si estuviramos convencidos de que estamos viviendo como seres de hardware. Nick Bostrom ha indicado que tal vez
hay unos efectos sutiles en el comportamiento cotidiano a raiz de tomar
en serio la simulacin. Primero, uno se puede devanar los sesos sobre los
motivos de los simuladores, por qu nos han creado as y no de otra manera. Esto es el problema d e la contingencia del universo, disfrazado como
intencin de los p rogramadores de nuestro universo paralelo .
En segundo lugar, se puede conjetu rar que los vecinos csmicos son
defr:nsores de u na moral fundamentalista reivindican do u n comportamiento estricto de tal modo que los seres simulados sern recompensados o
castigados de acuerdo con dichas reglas ticas. Pero, qu significara la
infraccin d e u na ley moral, si somos marionetas de los programadores?
Seran ellos quienes nos han configurado. Aqu aparece el p roblema de la
predestinacin que ha plagado la teologa por mucho tiempo. No es de
u
2004.
J. C:m,
40
.J. Mosrcrin:
,.
41
lssu1:s". Archiv:
a stm-ph/(M07.~29v l
42
BERNULF K.ANITSCHEIDER
,.