.

ESCHER.esnips.com/web/Scientia .HOFSTADTER CONSEJO NACIONAL DE CIENCIA Y TECNOLOGIA MEXICO <I> www. BACH: UNA ETERNA TRENZA DORADA •• DOUGLAS R.GODEL.

Mario A rnaldo Usabnu.co Printed an d made ill M~xico . ESCHER. Nt'W York IO[]22. Circuito Cultural Centro Cultural Universira rio Ciudad Universitaria 04515-Mexico. Holstadt er Basic Books. BACH: An Fvernal Golden Braid Auror: Douglas R. 1979 10 East 53nl Street.« Bran dizzi 1982 :fe. Consejo Nacional de Ciencia y Tecl1ologia. DT ISBN 968-823-118·5 lrnpreso y heche en Mo"x. New York. u: till Tradurcion . Inc.Titulo original: (~6l)EL.

Para M. yD. .

323 334 366 Capitulo X: Niveles de descripci6n y sistemas de computadora • . completitud • Pequeno labermto armonico \.. y Fuga . 97 122 149 181 187 Capitulo V: Estructuras y procesos recursivos • Canon por aumentacion interodlica Capitulo VI: La localizaci6n de la significaci6n • Fantasia cronuitica y altercado 210 214 236 241 272 288 Capitulo VII: EI calculo proposicional • Canon Cangrejo Capitulo VIII: Teorfa tlpoqraflca de los nurneros • Of rend a MU Capitulo IX: Mumon y Godel Parte II: EGB • Preludio ...esnips....com/web/Scientia . Hormiguesca 366 Indice viii www.INDICE Vision panoramica Lista de ilustraciones x XVlll XXlll Palabras de agradecimiento Parte I: GEB Introducci6n: Of rend a rnusico-loqica 3 34 39 51 55 • Inuencuin a tres voces Capitulo I: EI acertijo MU • Invenci6n a dos voces Capitulo II: Significado y forma en maternatlca • Sonata para solo de A quiles 73 76 Capitulo Ill: Figura y campo • Contracrostipunto 89 y geometria - Capitulo IV: Coherencia..

grejo.. Tarski y otros • SHRDLU.esnips... Turing..com/web/Scientia 881 896 898 ix .Capitulo XI: Cerebro y pensamiento • Suite anglofrancogermanicoespaiiola 396 432 436 462 479 509 formal mente 518 545 550 568 585 648 660 692 701 749 758 Capitulo XII: Mente y pensamiento • A ria con variaciones diuersas Capitulo XIII: BlooP y FlooP Y GlooP • Aire sobre La cuerda de G Capitulo XIV: Sobre proposiciones indecidibles de TNT y sistemas afines • Cantatatata . juego de la inventividad del hombre Capitulo XVIII: Inteligencia Artificial: mirada retrospectiva • Contrafactus Capitulo XIX: Inteligencia Artificial: mirada prospectiva • Canon Perezoso 807 0 Capitulo XX: Bucles Extranos Enredadas • Ricercar a seis voces Jerarquias 811 854 Bibliografia Creditos Indice de nombres Indice www. por supuesto Capitulo XVII: Church. de cumpleaiios Capitulo XV: Brincos fuera del sistema • Pensamientos ediJicantes de un fumador Capitulo XVI: Autorref y autorrep • El MagniJican .

mediante la urilizacion de la retrogradacion infinita . regia de inferencia. En este dialogo a tres voces.Vision Panorarnica Parte I: GEB Introducci6n: Of rend a rnusico-loqlca. y se le solicito que improvisara con base en un tema presentado por el monarca. esto conduce a una mencion de nociones paralelas. Este hizo una visita inesperada al Rey Federico el Grande de Prusia. sino par Lewis Carroll. Esto traza un paralelo. presentes en los dibujos de Escher y en 10'1 Teorerna de Godel. con 10'1 objeto de que adquiera familiaridad con los sistemas form ales en general. La Of rend a Musical y su historia forman un tema sobre el cual yo "improvise" a (Tavesdellibro entero. destinadas a rnostrar . en 1895. Capitulo I: EI acertijo MU. Ellibro se abre con la historia de la Of rend a Musical de Bach. Se introduce cierta cantidad de nociones fundamentales: cadena. dando lugar asi a una suerte de "Of rend a Metamusical". que eI razonamiento es imposible. procedimiento de decision.com/web/Scientia Visi6n panoramlca . esto lIeva al razonamiento mecanico y a las computadoras y al debate sobre si es posible la Inteligencia Artificial. el razonamiento acerca del razonarniento. Este dialogo a dos voces no fue escrito por mi. tema MIU). En un comienzo. Se hace alusion a la autorreferencia ya Ja interaccion entre diferentes niveles. derivacion. del como y el porque de los dlilogos. en Bach. Invenci6n a tres voces. yyo a rni vez los tome de Carroll. Como antecedente de este ultimo. Se plantea aqui un sistema formal simple (el sis- Invenci6n a dos voces.esnips. EI t6pico es la relacion entre eI razonamiento. sistema formal. y asi siguiendo. con la finalidad de ilustrar la paradoja de Zenon acerca del movimiento). se incluye una breve introduccion ala historia de Ia Iogica y de las paradojas. Sus improvisaciones constituyeron 10'1 fundamento de aquella gran obra. x www. axioma. Bach tambien compuso quince invenciones ados voces. Cierro este tramo con una explicac:l!n de los origenes del Iibro: en particular. eI razonamiento acerca del razonamiento acerca del razonamiento. y se requiere del lector que resuelva un acertijo. Carroll tomo a la Tortuga y a Aquiles prestados de Zenon. Es presentado otro sistema formal (el sistema pq). la Tortuga y Aquiles -los principales protagon istas ficticios de los dialogos -. teorema. son "inventados" por Zenon (tal como ocurrio en realidad. en cierta forma. Es muy breve y se limita a dar el tono de los dialogos venideros. aun mas simple que el sistema MIU del Capitulo I. Bach cornpuso quince invenciones a tres voces. accion dentro/fuera del sistema. parece carecer de significacion. con las paradojas de Zenon sobre la imposibilidad del movimiento. Es una bella paradoja y se la vuelve a citar en diversas ocasiones en el transcurso del libro. pero subitamente sus Capitulo II: Significado y forma en rnaternatlca. A su vez.

donde se encuentra la Tortuga. A traves de esta discusion se esclarece el concepto de terminos indefinidos y se examina la vinculacion de estos can los procesos de percepci6n y de pensarnienro. y posiblemente "opuestas". ya que los parlamentos de Aquiles forman una "figura". autoincluidas. de modo que el oyeute no obtiene una resolucion. en particular de una composici6n para organo que finaliza en una tonalidad erronea. La charla vel" sa sabre los concepros de "figura" y "campo" en diversos contextos: por ejemplo. de modo que el lector no obtiene una resolucion. Esta reveJaci6n es la primera penetraci6n import ante en la significaci6n: se trata de su profunda vinculacion con el isomorfismo. Xl Pequeno laberinto arm6nico. en virtud de la forma de los teorernas en que aparecen. Diversos temas relacionados can la significacion son tocados aqui: verdad. para organo. pues contiene una serie de parafrasis de la construccion autorreferencial de Godel y de su Teorerna de la Incompletitud. Contiene relates en el interior de relatos. queda abierta .simbolos se revelan como poseedores de significado. geometrias. a su vez. Capitulo III: Figura y campo. Aqui es Aquiles el unico que habla. El dialogo precedente es explicado en la medida de 10 posible en esta etapa.com/web/Scientia . La distincion pictorica entre figura y campo es cornparada can la distincion entre teorernas y no teoremas en el terreno de los sistemas form ales. Es una introduccion juguetona ala nocion de estructuras recursivas. nos plantea la nocion de coherencia. esta ultima es una expresion latina. dernostracion. no del otro. pero s610 de 10 dicho en uno de sus extremos.forman un "campo". en tanto que los de la Tortuga -impIicitos en los de Aquiles. Este dialogo cumple un papel central en el Iibro.esnips. Esta basado en la pieza de Bach. EI dialogo misrno da lugar a una rnuesrra de tal distincion. Contracrostipunto. en las obras de Escher. para todo fonografo. La pregunta "~una figura contiene necesariarnente la misma informacion que su campo?" lleva a la distincion entre conjuntos recursivamente enumerables y conjuntos recursivos. completitud y geometrfa. Nos vue1vea rernitir al problema de como y cuando los simbolos de un sistema formal adquieren significacion. del mismo nombre. Visi6n panorarnlca www. can respecto a diferentes. esto es. puesto que se trata de la transcripcion de una conversacion telefonica. rnanipulacion simbolica y el elusive concepto de "forma". EI dhUogo mismo esconde algunas elaboraciones acrosticas. La narracionenmarcadora. Se hacen algunas alusiones expilcicas a esta obra. en lugar de finalizar de acuerdo a las expectativas." EI titulo del dialogo entrecruza las palabras "acrostico" y "contrapunta". Una de las parafrasis del Teorerna reza: "Hay. Uno de los relaros internes se ocupa de la rnodulacion musical. A fin de ilustrar la elusiva nocion de "terminos indefinidos" se Dana la historia de las geometrias euclidiana y no euclidiana . Ello. utilizada por Bach para hacer referencia a las fugas y canones que integran su Arte de fa fuga. Sonata para solo de Aquiles. un disco que este no puede hacer escuchar. Un dialogo que imita las Sonatas de Bach para solo de violin. Capitulo IV: Coherencia.

Capitulo V: Estructuras y procesos recurslvos,

La nocion de recursividad es presentada dentro de contextos muy diversos: patrones musicales, patrones lingiiisticos, estructuras geometric as, funciones matematicas, teortas fisicas, program as de computadora y otros,

Canon por aumentaci6n

interodlica. Aquiles y la Tortuga tratan de resolver la interrogacion: "lQUe contiene mas informacion, un disco 0 el fonografo que 10 ejecuta?" Este extrafio problema aparece cuando la Tortuga describe un determinado disco que, cuando es ejecutado por una serie de distintos fonografos, produce dos melodias enteramente diferentes: B-A-C·H y C-A-G-E. Ocurre, sin embargo. que ambas melodias son. en un sentido peculiar, la "misma".

Capitulo VI: La localizaci6n de la significaci6n.

Un amplioexamen ~la manera en que la significacion se distribuye entre el mensaje codificado, el decodificador y el receptor. Los ejemplos presentados incluyen cadenas de ADN. inscripciones atin sin descifrar de antiguas tabletas y discos fonograficos en viaje por el espacio, Se postula la existencia de relacion entre la inteligencia y la significacion "absoluta". Un breve dialogo con muy escasa similide Bach. Se ocupa del-modo adecuado de manipular oraciones con la finalidad de preservar la verdad y aborda espedficamente lacuestion de si existen reglas para la utilizacion de la palabra "s", Este dialogo tiene mucho en comun con el de Lewis Carroll.
tud, fuera del titulo. respecto a la Fantasia cromdtica y fuga.

Fantasia cromdtica y altercado.

Capitulo VII: EI calculo proposicional.

Se sugiere aqui que las palabras tales como "r" pueden estar gobernadas por reglas formales. Una vez mas son traidas a colacion las nociones de isomorfismo y de adquisicion automatica de significacion por los simbolos de un sistema de ese tipo. Al margen, todos los ejernplos de este capitulo son "zentencias": sentencias, es decir, oraciones, tomadas de koans zen. Esto es ex-profeso, y hecho con una punta de malignidad puesto que los koans zen son relatos deliberadarnente ilogicos,

Canon Cangrejo. Dialogo basado en una cornposicion del mismo nombre, incluida en la Ofrenda Musical. La denominaci6n proviene del hecho de que
los cangrejos (se supone) marchan hacia arras. En este dialogo hace su primera aparicion el Cangrejo. Desde el punto de vista del artificio formal y de la interaccion entre niveles, este quiza sea el dialogo mas denso dellibro. Profundamente entrelazados. aqui, encontramos a Godel, Escher y Bach.

Capitulo VIII: Taoria tlpoqraflca de los nurneros.

Es formulada aqui una extension del calculo proposicional, Hamada "TNT". Dentro de TNT, se puede vehicuhzar el razonamiento teorico-numerico a traves de una rigida manipulacion simbolica. Son consideradas las diferencias entre el razonamiento formal y el pensamiento humano. Este dialogo es anunciador de nuevos topicos. Su terna ostensible es el budismo zen y los koans, pero en realidad se trata de una discusian levemente velada acerca de la teoremidad y la no teoremidad, la verdad y la falsedad de las cadenas pertenecientes ala teorta de los mimeros.

Of rend a MU.

xu
www.esnips.com/web/Scientia

Visi6n panorarnlca

Hay fugaces referencias a la biologfa molecular. particularmente al C6digo Cenetico. La afinidad con la Ofrenda Musical no es estrecha, salvo en el titulo y en el ejercicio de juegos autorreferenciales.

Capitulo IX: Mumon y Godel.

Se' hace el ensayo de comentar Jas curiosas ideas del budismo zen. Ocupa un lugar central. aqui, el monje zen Mumon, autor de acotaciones farnosas acerca de muchos koans. En un semido, las ideas zen ofrecen una sernejanza meraforica con ciertas nociones contemporaneas de la filosofia de la matematica. Luego de ser presentado este "ezenario", es expuesta la idea godeliana fundamental, la de la numeracion Godel, y se da un primer paso hacia el Teorema de Godel.

Parte II: E G B
Preludio ...
Este dialogo esta articulado con el siguiente. Ambos estan basados en preludios y fugas de El clave bien temperado. de Bach. Aquiles y la Tortuga traen un regalo al Cangrejo, quien tiene un invitado: 10'1050 Hormiguero. EI presente consiste en una grabacion de El clave, que pasan de inmediato. Al escuchar un preludio, los reunidos comentan la esrructura de 'preludios y fugas, 10 cuallleva a Aquiles a preguntar como se oye una fuga. si como un conjunto, 0 como una suma de partes. Se trata del debate entre holismo y reduccionismo, pronto retomado en la Fuga Hormiguesca. Son examinados diversos niveles de la observacion de pinturas, de tableros de ajedrez y de sistemas de computadoras. Este ultimo terna es luego estudiado en detalle, 10 cual implica la descripcion de lenguajes de rnaquina, lenguajes ensambladores, Ienguajes compiladores, sistemas operativos, etc. La discusion gira despues hacia sistemas compuestos de otros tipos, tales como los equipos deportivos, los micleos, los atomos, el clima, etc. Surge el interrogante de cuantos niveles intermedios existen y, pOTcierto, de si tales niveles existen, en definitiva .

Capitulo X; Niveles de descripcion ysistemas de computadora.

.. ' y Fuga ... Hormiguesca.

Irnitacion de una fuga musical: cada voz entra diciendo 10 mismo. EI tema - holismo versus reduccionismo - es presentado a traves de una imagen recursiva compuesta por palabras compuestas por palabras mas pequeiias, etc. Las palabras que aparecen en los cuatro niveles de esta curiosa ilustracion son "HOLISMO", "REDUCCIONISMO" Y"MU". La conversacion se desplaza hacia una amiga del 050 Hormiguero, la tia Hilaria, una colonia de hormigas dotada de conciencia. El ropico de la discusion son los diversos niveles de los procesos de pensamiento de la Tia. EI dialogo oculta muchos artificios fugales. A modo de insinuaeiones al lector, se hace referencia a artificios paralelos que aparecen en la fuga que los cuatro amigos estan escuchando. AI final de la Fuga Hormiguesca retornan, considerablemente transformados, temas del Preludio .

Capitulo XI: Cerebra y pensamiento.

"~Como los pensamientos pueden teo ner su apoyo en el hardware del cerebro?" es el topico de este capitulo. Para comenzar , se lanza una mirada panorarnica sobre las estructuras de pexm www.esnips.com/web/Scientia

Vision panoramlca

queiia y gran esc ala del cerebro. Despues, se analiza especulativarnente, con cierto detalle, la relacion entre conceptos y actividad neural.

y

Suite anglofrancogermanicoespaiiola.

Un interludio, consistente en el poerna nonsense 'Jabberwocky", de Lewis Carroll. Lo acompaiian dos traducciones, una al frances y otra al aleman, ambas del siglo pasado [y una al espafiol, contemporanea, agregada por esta edicion].

Capitulo XII: Mente

y pensamiento. Los poemas precedentes plantean de manera vigorosa el interrogante de 51 pueden trazarse "correspondencias'' entre lenguas 0, inclusive, entre mentes distintas. ~Como es posible la cornunicacion entre dos cerebros fisicos separados? iQue tienen en comun los cerebros humanos? Se propone una analogia geografica a fin de sugerir una respuesta. Surge la pregunta: "cPuede ser comprendido un cerebro, en un sentido objetivo, desde fuera del mismo?"

Aria con oariaciones diversas.
ciones Goldberg,

Un dialogo cuya forma se basa en las Varia· de Bach, y cuyo contenido se vincula con problemas teorico-numericos tales como la conjerura Goldbach. Este hibrido per4l-gue el proposito principal de mostrar como la teoria de los rnimeros tiene su origen suti! en el hecho de que hay muy diversas variaciones sobre el terna de la busqueda dentro de' un espacio infinito. Algunas variaciones conducen a indagaciones infinitas, otras a indagaciones finitas, y otras mas vacilan entre ambos polos.

Capitulo XIII: BlooP y FlooP Y GlooP. Estos son los nombres de tres lenguajes de computadora. Los programas BlooP pueden unicamente cumplir busquedas predictiblemente finitas, rnienrras que los program as FlooP pueden hacerlo con busquedas impredictibles 0, inclusive, infinitas. EI objeto de este capitulo es aponar una vision intuitiva de las nociones de funcion recursiva primitiva y general, en teoria de los numeros, pues son esendales para la demosrracion de Godel.

Aire sobre fa cuerda

de G. Un dialogo que refleja en palabras la construcci6n autorreferencial de Code!. La idea corresponde a W. V. O. Quine. Esre dialogo actua como prototipo del capitulo que sigue.

Capitulo XIV: Sobre proposiciones formal mente indecidibles de TNT y sistemas afines. EI titulo de este capitulo es una adaptacion del titulo del articulo de Codel de 1931, el cual significo la primera publicacion del Teorema de la Incompletitud. Las dos partes principales de la demostracion de Godel han sido cuidadosamente exarninadas. Se muestra asf que la suposicion de coherencia de TNT obliga a concluir que TNT (0 cualquier sistema similar) es incomplete. Son analizadas las vinculaciones existentes con las geometrias euclidiana y no euclidiana , 10 mismo que las implicaciones que surgen can respecto a la filosofia de la maternatica.

Cantatatata ... de cumpleaiios.

Donde Aquiles no paede convencer ala marrullera y descreida Tortuga de que ese dia es su (de Aquiles) cumpleafios. Los repetidos pero infructuosos intentos de Aquiles por lograrlo prefiguran la repetibilidad de la argumentacion de Codel.

XlV

Vision

panorarnlca

www.esnips.com/web/Scientia

Es mostrada la repetibilidad de la argumenracion de Codel. EI titulo proviene de un poema de J.".Turing. El Magnifican . que vincula la actividad mental con la cornputacion. D". de Tarski. 0 en la programacion de una maquina que pueda sentir 0 crear la belleza. Tarski y otros. dentro de los limites de su mundo. Este dialogo ha sido tornado de un articulo de Terry Winograd sobre su program a SHRDLU. El asunto se centra en el Cangrejo. S. EI titulo del dialogo es una parafrasis dejesu. junto con la implicacion de que TNT no es solo incomplete. de Bach. Entre los ejemplos presentados. SHRDLU. programas de computadora 0 moleculas de ADN).. Este capitulo se refiere a la conexion entre la autorreferencia. Capitulo XVII: Church.esnips. Capitulo XVI: Autorref y autorrep. hay camaras de television que filman paruallas de television. Son estudiadas las relaciones entre una entidad autorreproductora y los mecanismos externos a ella q~e colaboran en su autorreproduccion (por ejernplo. y virus y otras entidades subcelulares que se autoensamblan. T'o» a/ Man:. joy of Man's Desiring. grejo.Capitulo XV: Brincos fuera del sistema. [T. de sus proyecciones en la simulaci6n mecanica del pensarniente humano. EI ficticio Cangrejo del dialogo precedence es sustituido por varias personas reales. de Turing."K"]"K.com/web/Scientia xv . titulo asignado a uno de los movirnientos de la Cantata 147. La Tesis Church. ) Vision panorarnlca www. a proposito del denominado "mundo de bloques". Bach. EI ~opico central del capitulo es el modo en que se traslada la informacion a craves de los diversos niveles de tales sistemas. en el sentido de que el Teorema de Godel demuestra que el pensarniento humano no puede en ningUn sentido ser "mecanico". utilizando el idiom a de un modo un tanto solemne. Se las analiza a todas en funcion. introducido de una manera peculiar. y las entidades autorreproductoras (por ejemplo. Este titulo es un juego verbal con base en el Magnificat en Re. un program a se comunica con una persona. En el . es presentada a traves de distintas versiones de validez discrepante. dotadas de pasmosas facultades maternaticas. en sus diversas manifestaciones. una computadora 0 proteinas): se analiza en particular la cornplejidad de la distincion. Pensamientos edificantes de un fumador. EI program a de computadora muestra cierta comprension real. La conexion entre actividad cerebral y computaci6n plantea algunos otros t6picos: el problema de la derencion.. * • EI titulo original del dhllogo es : S/JRDU. por supuesto. comunicados por la caracteristica de estar conectados con la autorreplicacion y la autorreferencia . mediante su lectura como composiciones musicales: el procedirniento consiste en ejecutarlas en su flauta y en la determinacion inmediata de si son "bellas'' 0 no. solamente han sido modificados algunos nombres. juego de la inoentnndad del hombre. sino "esencialmente incornpleto". quien parece contar con un poder magico que 10 habilita para distinguir entre afirmaciones verdaderas y falsas de teoria de los niimeros. Un dialogo que aborda muchos topicos. La indudablernente conspicua postulacion de Lucas. y hallada defectuosa. Turing.' especialmente. es aqui analizada. de Bach. y el Teorema de la Verdad.

Para ilustrar esto de modo concreto. en tanto Aquiles juega libre. Acerca. a Godel. el Perezoso dice 10 mismo que la Tortuga. Luego. destinada a detectar la presencia 0 ausencia de "pensarniento" en una rnaquina. Sigue luego una resumida historia de la Inteligencia Artificial. con la cual coinienza el libro. Capitulo XX: Bucles Extranos 0 Jerarqufas Enredadas. 501-0 que elreves y dos veces mas lento. una vez mas.esnips. por ejemplo). Este capttulo se inicia con una exposicion de la celebre "verificacion Turing": una propuesta de Alan Turing. en todo rnomento. Ricercar a sets voces. sirnultaneamente . se plantea una serie de problemas de reconocimiento de patrones visuales. Canon Perezoso. A proposito de como organizamos inconscientemente nuest ros pensamientos a fin de poder imaginar. ejercitar la matematica y utilizar "lenguajes naturales" (el ingles. Capitulo XIX: Inteligencia Artificial: mirada prospect iva. Contrafactus.com/web/Scientia . es examinada la profunda cuestion de la interaccion de los conceptos en general. El dialogo precedente desencadena la discusion acerca del modo en que el conoci miento es representado en distintas capas contextuales. finalrnente. Escher y Bach. en general. resolver problemas. XVl Vision panoramlca www. Aqui. es una "traduccion" a palabras de la compostcion mas compleja de la Of rend a Musical: el Ricercar a seis voces.Capitulo XVIII: Inteligencia Artificial: mirada retrospectiva. Se trata de una reactualizacion de la historia de la OJrenda Musical. la ciencia puesta a dernostrar la ciencia. Este dialogo es un divertimento exhuberante en el que intervienen muchas de las ideas que han recorrido el libro. ~El Teorema de Codel tiene algo que decir acerca de este "enredo" ultimo? eEl libre albedrto y la nocion de conciencia estan conectados con el Teorerna de Codel? EI capitulo termina enlazando entre 51. Federico el Grande es rem plaza do por el Cangrejo. donde una voz interpret a la misma melodia que otra . de muestras aberrantes de est a facultad. Esta dualidad infunde al dialogo mas niveles de sigriificacion que los presentes en ningun otro del libro. componer rmisica. cuyo manejo requiere eJ uso de la nocion de marco. solo que negandolo (en un sentido amplio del terrnino) yen forma doblemente pausada. rarnbien. un adelantado en el campo de [as computadoras. Esto se asocia con los enrnarafiamientos que se producen cuando los sistemas se vuelven sobre sf rnisrnos: por ejernplo. en tanto una tercera voz queda en libertad. demostrar teoremas. Un canon que imita a un similar bachiano. propia de lA. Gran desenlace de muchas de las ideas relativas a los sistemas jerarquicos y a la autorrefe· rencialidad. fanatico amante de las frituras francesas y feroz impugnador de la contrafactibiljdad. Esta ultima abarca program as que pueden ~ en alguna medida ~ practicar juegos. los pensamientos humanos dedicados a sus propios cerebros y mentes. de "marcos". el arte que viola las reglas del arte y. Esto conduce a la rnoderna idea. un nuevo personaje . los gobiernos cuando investigan sus propios entuertos. variantes hipoteticas del mundo real. El capitulo concluye con un grupo de "Preguntas y Especulaciones" personales. relativas a IA y a la mente. tal como la que caracteriza al Perezoso. 10 cual lleva a algunas especulaciones acerca de la creatividad.

Concluye con una referencia implicita al comienzo del libro. la pintura de Escher y el Teorema de Godel. etc. ala Inteligencia Artificial. allibre albedrio. . Visi6n panorarnlca www.. a la conciencia. ala verificaci6n Turing.com/web/Scientia xvii .esnips. El contenido del dialogo abarca problemas relatives a la mente.y asi siguiendo.los pianos por cornputadoras. todos los cuales han sido present ados con anterioridad. convirtiendo asi a este en un inmenso bucle aurorreferencial. Se producen muchas cosas sorprendentes. que simboliza a la vez la musica de Bach.

10. arrojando su sornbra sirnbolica sobre tres pianos que se encuentran entre sf en el rincon de un cuarto . El triplet se me ocurrio de modo subito una tarde en que estaba discurriendo a prop6sito de la mejor manera de simbolizar la unidad de COde). de M. "BUZON POSTAL".Lista de Ilustraciones Cubierta. Cobertura de un plano mediante pdjaros. de M. de sus nornbres. FIGURA-FIGURA Figura. actualiza la idea de Ires mediante su primer miembro.] xvm www. Escher. 14. 5. de M. C. 1L 12. constituyen tres letras diferentes. Autorretrato . 3. Los dos trip-lets que aparecen en la cubierta fueron diseiiados y construidos par mi. 0'1material empleado es madera de pino "redwood" y rniMn exactarnente 4 pulgadas pOTlado. EI Tema Regie. C. en antiguo hebreo Parte I: El trip-let "GEB" lanzando sus tres sombras ortogonales. de M. con ese guion interior. Diagrama' de las relaciones entre diversas c1ases de cadenas TNT. C. de M. Escher. por Elias Gottlieb Haussmann. "trip-let". Escher y Bach mediante alguna forma de fusion. de Scott E.esnips. Escher. Metamorfosis II. 1. pOTOtTO lado. de M. Cascada. en un disefio llarnativo. C. Subiendo y bajando. Kurt Codel. Johann Sebastian Bach. Escher.) Al pie de esta lista: Comienzo del Genesis. [T. C. 15. utilizando principal mente una sierra de cinta y una fresa radial para los orificios. de M. en tres direcciones ortogonales.com/web/Scientia Usta de ilustraciones . ("Trip·let" es el nombre que he asignado a los hloques modelados de tal manera que sus sombras. Escher. 8. "Arbor' de todos los teorernas del sistema MIU. • "Triplet" significa triplete. C. 6. de M. Liberaci6n. Acr6sticode Bach basado en 'RICERCAR'. C. 7. 9. 16. Escher. Mosaico II. Escher. Concierto de Flauta en Sanssouci. C. 13. 17. por Adolph von Menzel. C. de M. Castillo en el cielo.· Un trip-let * "GEB" y otro "EGB" suspendidos en 0'1espacio. 4. Kim. y la idea de tetra mediante 0'1segundo. 18. 2. Escher. Banda de Mobius. Escher.

Diagramas D y H. Escher. Bach. con mayor expansion. de Bach. Parte II: EI trip-let "EGB" lanzando sus tres sombras ortogonales. de M. 55. Escher. 29. 43. Superficie ondulada. Escher. C. 38. 52. S. 27. Diseiio G: una grafica recursiva.19. C. C. de M. Banda de Mobius II. de M. C. C. C. 21. 28. Pez y escamas. Escher. Un complejo diagrama Feynman. Arbol de una partida de "tres en raya". C. Escher. 24. 33. Corteza. Mariposas. Canon Cangrejo . Escher. 31. Crafica de la funcion INT(x). Un collage de escrituras. Otro mundo. Escher. 39.com/web/Scientia xix . C. C. de M. Escher. 50. Diagrama D. Reptiles. Lista de ilustraciones www. 30. Estructura del dialogo Pequeno Labermto Armonico. de M. Escher. Laberinto de Creta. 44. 25. Breve seccion de uno de los genes del Cangrejo. Charca. TTes esferas II. C. de M. Escher. Conuexo y concauo . C. Escher. Tres mundos. Secuencia Basica del cromosoma del bacteriOfago ~ X174. 56. 46. representados implicitamente. de M. 23. C. 22. 35. 51.esnips. de M. 34. de M. de M. 49. 32. de M. 42. de M. Pierre de Fermat. Escher. con un n6dulo expandido recursivamente. C. 26. C. Escher. Escher. Torre de Babel. Dia y noche. Una RTR de los numeros de Fibonacci. La RTR NOMBRE UL TRAMQDIFICADQ. La piedra Rosetta. 40. de la OJrenda Musical de J. Red de Transicion Recursiva de NOMBRE MODIFICADO Y NOMBRE UL TRAMODIFICADO. Escher. "Canon Cangrejo". 37. de M. de M. C. 54. 48. Escher. Presentacion visual del fundamento basico del Teorema de Codel. de M. 53. Esqueletos de INT y del disefio C. Cubo can bandas mdgicas. Relatividad. Escher. 36. C. Ultima pagina del Arte de laJuga. 41. Escher. C. La Mezquita. de M. C. de M. 47. Cota de rocio. de M. 45. 20.

xx La nocion de "bloque". El Codigo GOdel. Estructura de un programa BlooP con llamado menor. Estado de gracia. C. de Rene Magriue. La "ilustracion MU". 98. 71. Estructura secundaria y ternaria de la mioglobina. 58. Una diminuta porcion de la "red sernantica" del autor. de Rene Magritte. 76. El aire y La cancion. 101. 61. Una cancion autorreproductora. de M.com/web/Scientia . El COdigo Genetico. 84. La construccion de inteligencia estrato por estrato. 91. La estructura en forma de escalera del ADN. 75. 77. Las cuatro bases constitutivas del AD1'I. "Fuga Hormiguesca". "Multifurcacion" de TNT. Escher. 90. 88. 70. 66. EI cerebro humano. C. La paradoja de Epimenides vista como un ternpano. EI transite morfogenetico del virus T4. 68. de M. EI Dogma Central de la Tipogenetica. de M. Fotograffa de un puente de hormigas (de Fourmi. Modelo molecular de la doble helice del ADN.esnips.57. Escher. Canon molecular de dos pisos. Superposicion de recorridos neurales. 63. 86. Epimenides ejecutando su propia sentencia de muerte . 83. Orden y caos. La estructura ternaria de una tipoenzima. C. 60. 102. Arriba y abajo . 94. Una oracion de Quine vista como un pan de jabon. Lierre). Dibujo esquematico de una neurona. Tabla de preferencias de ligamiento por parte de las tipoenzimas. 100. 64. 95. 80. 59. 67. 73. 74. de Rene Magritte. visto desde un perfil. La muestra cautioa. 82. 97. 92. 78. 65. Un polirribosoma. EI Codigo Tipogenetico. Infeccion de una bacteria por la accion de un virus. 96. Ensambladores. Una seccion de ARNm penetrando en un ribosoma. Virus del mosaico del tabaco. Las sombras. compiladores y niveles de lenguajes de computadora. 62. El virus bacterial T4. 103. Construccion de un arco por termitas obreras. 87. 69.' 99. 89. C. Georg Cantor. El Correspondogma Central. 93. Escher. de Rene Magritte. Pantallas de television autoincluidas. 85. 81. Lista de ilustraciones www. Respuestas de determinadas neuronas simples a ciertos patrones. 72. Dragon. de M. "Entrelazamiento" de dos nombres consabidos. 79. Una "helice" HOLlSMO·REDUCCIONISMO. Escher.

Problema de Bongard 51. calculadoras y cerebros humanos. Una de las escenas finales del dialogo con SHRDLU. Isomorfismos entre numerus naturales. de M. 137. 113. 145. Otra forma de reducci6n de la figura 143. 127. de Rene Magritte. S. Diagrama abstracto de Manos dibujando. 135. 144. La condici6n humana I. C. Manos dibujando. 142. C. 109. Una escena posterior del dialogo con SHRDLU. 141. ]06. Representacion procedimenral de "un cubo raja que sustenta a una piramide". Los dos misterios. Seiial de humo. "Canon Perezoso". 124. 120. Escher. Escher. 131. 129. de Rene Magritte. 118. EI Cation en Perpetuo Ascenso. Problema de Bongard 61. Pequeiia porcion de una red conceptual referida a problemas de Bongard. 130. Diagrama abstracto de Galeria de grabados. Aritmitica mental.esnips. Nueva reduction de la figura 143. de M. La escena inicial de un dialogo con SHRDLU. 140. Un triangulo autoral. y una de sus curiosas melodias indias. Arbol sin fin del objetivo de Zenon. del autor. 121. Problemas de Bongard 85-87. Problema de Bongard 33. 146. 123. Una parabola en arabe. forma un Bude Extrafio cuando es ejecutado en los tonos de Shepard. 116. Problema de Bongard 91. 112. Escher. 119. 110. Ill. 139. de M. de J.lsta de tlustraclones www. Escher. 108. Problema de Bongard 58. Escher. 126. Una version reducida de la figura anterior. de la Of rend a Musical. 132. C. 114. Problema de Bongard 47. de Rene Magritte. 138. Castrovalva. 115. 122. C. C. Problemas de Bongard 70-71. Un diagram a esquematico del Dialogo Canon Cangrejo. Dos cromosomas homologos reunidos en el centro por un centromere.104. Actividad neural y simb61ica del cerebra. 125.com/web/Scientia . Conflicto entre los niveles bajo y alto del cerebro. de M. "Desprendibilidad" del nivel superior del cerebro. 128. Problema de Bongard 22. Galena de grabados. Sentido comun. 105. XXl t. Ilusion. 134. de M. Bach. Prue ba Pons Asinorum. 107. Problema de Bongard 55. del autor. de Rene Magritte. 143. Srinivasa Ramanuyan. 147. 117. Problema de Bongard 49. Alan Mathison Turing. 136. 133. de Bach.

Verbum. Dos ciclos completes de una escala de tonos Shepard. S. de M.148. 150. de J.com/web/Scientia Lista de ilustraciones . Charles Babbage El Tema del Cangrejo Ultima pagina de! Ricercar a seis voces. xxn www. 15L 152. Bach.esnips. C. 149. Escher. anotada para piano. correspondiente a la edicion original de la Of rend a Musical.

Desde que nos conocimos. etc. que tanto le debe a el. mi padre me inicio en los misterios de la ralz cuadrada y de i . Mi agradecimiento por ello es verdaderamente muy profundo. me alentaron y me respaldaron. Howard DeLong. Mas adelante. el grado de nuestra compenetraci6n mutua ha sido increible. pero un dia me atrevi a preguntar a mi madre a que numero se llegaria de esta forma. pues me ensefi6 a programar. sus influencias e ideas estan diseminadas a 10 largo y a 10 ancho de esta obra. puesto que a la edad de trece afios yo reflexionaba acerca de como pensaba en ingles y en frances. yella me respondi6 "Nueve".esnips. unos dos afios y medio arras. Tengo que expresar mi especial reconocimiento ados viejos amigos. Debo a mis padres mas que a nadie. Mucho es 10 que adeudo a Charles Brenner. me qued6 la duda de si ella habia comprendido 10 que yo queria significar. . Ellos me guiaron. no habia cosa mas fascinante para mi que la idea de tomar tres 3. me inspiraron. hacia los temas que desarrollo en este libro. persistente y con sentido del humor. volvio a despertar en mi un amor. y me impulse y acicate6 constantemente -un elogio implkito-. . Me es grato reconocer la inmensa influencia de Ernest Nagel. musica. Sin embargo. mas recientemente. Robert Boeninger y Peter Jones. Espero que lea este libro. cuando ambos eramos jovenes. ademas de formularme criticas ocasionales. yes considerable 10 que he aprendido durante nuestras incontables conversaciones de tiernpo arras en Vermont y. IY hacer tres operaciones con elias mis-mas! Estaba seguro de que se trataba de alga tan sutil que ningun otro podia concebirlo. durante largo tiempo dormido. analogi as. David Jonathan Justman me ensefi6 en que consiste una Tortuga: un ser ingenioso.incluyendo Palabras de agradecimiento www. a traves de su libro. pues me ayudaron a moldear un mill6n de form as de pensamiento.com/web/Scientia XXlU . Han sido pilares en los cuales he podido apoyarme en todo momento. Siempre. Soy un apasionado de "Nagel y Newman". Antes aun' hubo signos claros de cuales eran mis intereses primordiales: recuerdo que a edad mas temprana que la mencionada. creyeron en mi: es a ellos a quienes dedico este libra. Ademas de sus contribuciones concretas en materia de pintura. aficionado ala paradoja y a la contradiccion. y mas que ninguna otra perso' na.Palabras de Agradecimiento Este libra fue tomando forma en mi mente durante un periodo de casi dos decadas. . en Nueva York. y 10 disfrute. humor. durante mucho tiempo mi amigo y maestro. Scott Kim ha ejercido en mi una influencia gigantesca.

Beverly Hendricks. Si hay alguien que comprende este libra. par la ayuda brindada en mementos extremadamente criticos. mi hermana Laura Hofstadter ha contriXXIV Palabras de agradecimiento www. Y no puedo dejar de agradecerle a Don la maraviIIosa flexibilidad en la inflexibilidad de su programa SMUT. dandome acceso a un excelentessistema de computadora y. a medida que estos se fueron desarrollando. de adelante para arras y en todas direcciones. Esto me hace presente a Pentti Kanerva. en lugar de descansar. quienes tuvieron a su cargo la mayor parte del trabajo de imprimir la galeras. en momentos ~cruciales.Quiero dejar constancia de mi sincero agradecimiento a su directora. impresor de musica. hay otra notable cualidad de Pentti revestida. Dedico largas jornadas y arduas naches a persuadir a SMUT de. hospedandorne en Ventura Hall. se trata de Scott.com/web/Scientia .. A craves de los afios. Tambien debo agradecer a Pentti que me haya dado la posibilidad de hacer algo que a muy pocos autores les es posible: tipografiar mi propio Iibro. durante dos afios enteros. Cuenta can una apreciacion exacta en 10 referente a los objetivos glob ales y a la estructura de esta obra. y a sus colaboradores. Pentti ha sido uno de los impulsores principales del desarrollo de la composicion tipografica par computadora en el IMSSS. cuando ellibro ya estt~impreso. y algo mas. Soiolamento terier que privarme de incluir las ideas que se le ocurran a Don en elfUtUTO. Quiza yo no podria haber escrito este libro de no haber sido par las facilidades que me brindo para ello el Institute for Mathematical Studies in the Social Sciences. a rni juicio. Si este libro se ve bien. y una y otra vez me ha sugerido ideas que gustosamente he incorporado. Sin embargo.el muy valioso aporte de su trabajo desinteresado. el autor del pragrama editor de textos at cual este libro debe su existencia.Scott ha abierto nuevas perspectivas y esclarecimientos que han modificado mis puntos de vista acerca de mis prayectos. ese elegante programa de inspiracion tan simple que s610 Pentti podria haber disefiado.en procura de consejo sobre problemas de pequeiia y gran monta. Este libra nacio fisicamente en el ASSU Typesetting Shop . pero la influencia de Don esta presente en la obra integra. y por su inalterable buena disposicion cuando se sucedian las catastrofes. Su director. gran parte del merito corresponde a Pentti Kanerva. Tarnbien quiero agradecer a Cecille Taylor y a Barbara Laddaga. elaborar artificios descabellados. a un magnifico ambiente de trabajo. es un amigo de muchos afios que se mostro surnamente generoso conrnigo.esnips. de la misma importancia: su sentido del estilo.quien conoce este libra de arras para adelante. en general. 10 cual me complace enormemente. Algunos de sus logros han sido incluidos en las ilustraciones de este libra. Pat Suppes. de la Stanford University. Repetidas veces he recurrido a Don Byrd . Ya he repetido muchas veces que escribir este libra me hubiera Hevado el doble de tiernpo si no hubiese podido utilizar el "TV -Edit".

Avril Greenberg. Jim Mcfronald. Paul Oppenheimer. Pete Rimbey. Phil Wadler. Inga Karliner. Felix Bloch. Mike Mueller.buido mucho a la formacion de mi vision del mundo. Agradezco a E. Persi Diaconis. Quiero expresar mi reconocimiento hacia mis nuevos y viejos amigos Marie Anthony. Maureen Bischoff. Su influencia esta presente tanto en la forma como en el contenido de este libro. Jos Marlowe. Agradezco a rnis muchos compafieros de alojamiento. Ray Hyman. Wilfried Sieg. Agradezco a Bill Kaufmann sus consejos en materia de publicacion. Parks. y a Larry Breed por su valiosa lectura final de pruebas. y cuatro profesores se mostraron enorrnemente indulgentes can respecto a mis extraviadas perspectivas: Paul Csonka. Mi muy caluroso reconocimiento a Martin Kessler. Steve Omohundro. que me recogieron tantos mensajes telef6nicos durante varios afios. en consecuencia. Agradezco a Marvin Minsky la memorable conversacionque mantuvimos un dia de marzo en su casa. Mike Moravcsik y Gregory Wannier.esnips. Despues de haberlo escrito una primera vez. Rosemary Nelson. Louis Mendelowitz. han contribuido en varias y diversas formas a este libro. Leon Dorin y el resto de los miembros de Basic Books. fragmentos de la cual ellector encontrara reconstruidos aqui. Guy Steele. Agradezco a Dennis Davies. Robert Herman. Agradezco a Marsha Meredith el haberse constituido en metautora de un divertido koan. Bill Lewis. Francisco Claro. Gayle Landt. Bengt Olle Bengtsson. Terry Winograd y Bob Wolf: todos ellos han entrada en "resonancia" conmigo en ocasiones cruciales de mi vida y. Robin Freeman. de la Stanford Instructional Television Network. Pranab Ghosh. DaveJennings. quien desarrollo y mantuvo gran parte del hardware y del software del cual este libra ha dependido tan vitalmente . Lauri Kanerva. O. John McCarthy. y a Jeremy Bernstein y a Alex George por sus palabras de estimulo cuando fueron necesarias. Larry Tesler. John Ellis.com/web/Scientia xxv . Paul Csonka leyo toda una version primitiva y formulo comentarios provechosos. Peter E. David Policansky. Rudy Hwa. par asumir este riesgo editorial. Kathy Rosser. volvi a comenzar desde cero y 10 reescribi. Dianne Kanerva. Dan Friedman. por su aporte consistente en disponer las "camarasde telePalabras de agradecimiento www. Sydney Arkowitz. como tarnbien al personal del Pine Hall. El intento inicial se produjo cuando yo era un recien graduado en fisica que continuaba sus estudios en la University of Oregon. Vincent Torre. Francois Vannucci. Michael Goldhaber. Aprecio su actitud comprensiva: ademas. Jonathan y Ellen King. cosa bastante desacostumbrada. Escribi dos veces este libro. Eric Hamburg. Agradezco a Phoebe Hoss por realizar eficazmente la dificil tarea de imprimir la tirada. Nai-Hua Duan. Wilson su lectura y comentario de una primera versi6n de mi Preludio y Fuga Hormiguesca.

su regalo de Navidad que jamas imaginaron me encantaria tanto: una "Caja Negra" sin ninguna otra funcion que la de autodesconectarse. Jimmy y Betty Givan.R. Bloomington y Stanford Enero de 1979. quien fue el primero que me hizo interesar por el zen. y a Otto Frisch. pero es seguro que he ineurrido en alguna omision. Espero que esta se transmita a mis lectores y que mi entusiasmo y mi reverencia hacia ciertas ideas penetren en el corazon y la mente de algunas personas. Ted Bradshaw y Vinnie Aveni.vision autoincluidas" para que yo dedicara horas enteras a fotografiarlas. un melancolico noviembre de hace mucho tiempo. Es todo 10 que ansio. en cuya oficina de Cambridge presencie por vez primera la magia de Escher. quien me dio una grabacion de la Ofrenda Musical. En eierta forma. XXVl Palabras de agradecimiento www. Finalmente. por ayudarme generosamente a construir los trip-lets. este libro es una rnanifestacion de mi fe. Agradezco a Jerry Pryke. He tratado de recordar a todas las personas que han contribuido a la realizacion de este libro. Bob Parks. de Stanford.·H. Agradezco a rni tio y ami tia.esnips. hacia Kees Gugelot. Brent Harold.com/web/Scientia . del taller mecanico del High Energy Physics Laboratory. O. quiero expresar mi especial reconocimiento hacia mi profesor de Ingles de primer afio.

.

PARTE I

www.esnips.com/web/Scientia

Figura 1. Johann

Sebastian Bach en 1748. De una pintura de Elias Gottlieb Haussmann.

www.esnips.com/web/Scientia

admiraba tarnbien a un organista y compositor llamado Johann Sebastian Bach. Naturalmente. Bach Federico. que estando en Potsdam escribieron algunas de sus obras mas importantes. pero era tam bien hombre dado a la vida de la inteligencia y del espiritu. y algunas de sus obras se ejecutan todavia hoy de vez en cuando.com/web/Scientia 3 . rey de Prusia. donde Bartolommeo Cristofori construyo el primero. El "piano-forte". el apoyo mas vigoroso de sus esfuerzos Ie vino del rey. Desde Italia. el mejor constructor de organos de la Alernania de entonces. Habia quienes las calificaban de "hinchadas y confusas". El piano habia venido evolucionando. entre los protectores de las artes. Fue ademas. Se dice que Federico peseta nada men os que quince pianos de Silbermann. Federico fue un entusiasta flautista y compositor. durante la primera mit ad del siglo XVIII. subio al trona en 1740. Alli paso veinticinco afios el celebre matematico Leonhard Euler.Introducci6n: Of rend a rnuslco-loqlca Autor: Federico el Grande. Como su nombre 10 dice. Lo que nadie ponia en duda era la maestria con que Bach improvisaba en el organo. y tambien filosofos como Voltaire y La Mettrie. Ser organista suponia en esos tiempos la capacidad no s610 de tocar piezas. se habia propuesto hacer un piano-forte "perfecto". Su corte de Potsdam fue uno de los mas brill antes centros de actividad intelectual en la Europa del siglo XVIII. y entre los visitantes de esa corte se cuentan muchos otros rnaternaticos y hombres de ciencia. Gottfried Silbermann. Se Ie recuerda en las historias a causa sabre todo de su astucia militar. Pero el verdadero amor del rey era la musica. uno de los primeros en percibir las virtudes del red en creado "piano-forte" ("suave-fuerte"). mientras otros las ponderaban como incomparables obras maestras.esnips. Lo malo del clavecin era que el volumen de sonido de las piezas en el ejecutadas era' pracriearnenre uniforme: no habia manera de hacer que una tecla so· nara mas fuerte 0 mas' suave que las vecinas. lit idea del instrumento suavefuerte se difundio par todas partes. Las composiciones de este Bach gozaban de cierta notoriedad. y Bach era farnosisimo en todas partes por sus notables habilidaIntroducci6n: Of rend a rnusico-loqlca www. sino tambien de inventarlas de repente. vino a remediar esa deficiencia. como forma modificada del clavecin. admirador de los pianos.

Bach.(Aquf pone Forkel una nota de pie de pagina: "Tan aficionado era el rey a los pianofortes manufacturados por Silbermann. que se habra apeado en la posada de su hijo. a probar los forrepianos. hay anecdotas deliciosas acerca de eso. por fuerza. pero su deseo no habia Ilegado a realizarse. habla llegado a Potsdam. cayo alii un visitante inesperado. Carl Philipp Emanuel Bach era el Capellmeister (maestro de capilla) de la corte de Federico. Lleg6 asi a reunir quince. constituian todo un exquisito dialogo entre el rey y el viejo musico empefiado en disculparse. ofreciendose a ejecutarla de inrnediato. de Freyberg. pero sf dire que. un funcionario le trajo la lata de los extranjeros llegados ese dia. Ph. que no Ie habia dado tiernpo ni de cambiar su vestimenta de viaje por el atuendo negro que usan los musicos. de hecho. en los momentos en que (Federico) preparaba ya su flauta y sus musicos estaban listos para cornenzar. No me detendre aquf en ellas. (En el libra de Hans Theodore David y Arthur Mendel. quien cuente la historia: Una noche. Bach le pidio al rey un tema para una fuga. Federico estaba particularrnente interesada en que Bach probara el sonido de sus nuevas pianos Silbermann. pues preveia (atinadamente) que el piano iba a ser la gran nueva ola de la rnusica. En esos tiempos era costumbre hacer cumplimientos sumarnente prolijos. hechos por Silbermann. de toda clase de disculpas. y su fama. EI cuadro cuya fotografia se ve aqui (figura 2) representa una de esas veladas musicales. En cierta ocasion. en distintos rincones del palacio real. maestro de flauta del rey y unica persona a quien le estaba permitido sefialarle a Federico sus fallas como flautista. el viejo Bach esta aqui." Dejo entonces a un lado la flauta y sin mas dilacion despache a alguien para invitar al viejo Bach. el rey recorrio todos los salones. Hacia ya aiios que el rey. que habia resuelto comprarselos todos. ya inservlbles. ") Seguido de sus mrisicos. en el relato de Wilhelm Friedernann. y no puedo menos que decir que todavia recuerdo con gusto la rnanera como me la conto. EI rey qued6 admirado de la manera tan sabia como su tema pas6 de repente a ser una 4 lntroduccion: Of rend a muslco-Ioplca www. Con su flauta en la mana echo una ojeada a la lista. que tenia en varios salones del palacio ". invitando a Bach a probar cada uno de los pianos y a tocar en ellos alguna improvisacion. yel personaje de la extrema derecha es Joachim Quantz. tuvo que estar acompafiada. E. en mayo de 1747. Federico solla organizar en su corte veladas de musica de camara. dirigiendose a los miisicos alli reunidos. La prirnera aparicion de J. S. Lo que hace mas al caso es que el rey renuncio a su concierto de esa noche e invito a Bach.des de improvisador. y de pronto. que acompafiaba a su padre.com/web/Scientia . can delicadas insinuaciones. Tengo noticias de que rodos ellos continuan. unida a la de uno de sus hijos. Pero dejemos que sea Johann Nikolaus Forke. Sentado al clavedn esta C. The Bach Reader. A menudo el mismo actuaba como solista de algun concierto para flauta.) En 1747 tenia Bach sesenta y dos aiios. conocido ya de todos como "el viejo Bach". es obra del pintor aleman Adolph von Menzel. uno de los primeros biografos de Bach. les dijo con acento de cierta agitaci6n: "Senores. le habia dado a entender a Carl Philipp Emanuel 10 mucha que Ie gustaria que el viejo Bach viniha a visitarlo. Despues de pro bar as! varies pianos. a presentarse en palacio. Bach ante tan gran rey.esnips. Quien me conto la historia fue Wilhelm Friedemann. sin preparaci6n alguna. el cual hizo en el siglo XIX una serie de cuadros que muestran los distintos aspectos de la vida de Federico el Grande.

esnips.com/web/Scientia .www.

y. Me atrevere a afiadir una humildisima suplica: que Vuestra Majestad se digne enaltecer este modesto trabajo con su graciosa aceptaci6n y que H. Sin embargo. no pude rnenos que observar que. Pero seguramente nos eonserva algo del estilo en que Bach se diseulp6 aquella noche ante eI rey por el traje inadecuado que llevaba. Con sobrecogido placer recuerdo la especialisima gracia de que fui objeto cuando. par falta de la necesaria preparacion. afiadio varios pasajes artificiosos en forma estricta de canon. una ofrend a musical cuya parte mas noble procede de la propia augusta mana de Vuestra Majestad. y se la dedico al inventor. durante mi visita a Potsdam. De regreso ya en Leipzig.. Desde nuestra perspectiva de hoy ese tono produce un efecto c6rnieo. he resuelto ahara dar a eonoeer esta obra (IImundo. rni ejecucion no estaba a la altura de tan excelente lema. y especialmente en la musica. I 6 Introducci6n: Of rend a rnusico-loqica www. Mi humildisima obligaci6n no podia ser otra que obedeeer la orden de Vuestra Majestad. habiendo puesto empeiio en la tarea. Su Majestad dijo finalmente que Ie gustaria oirlo tocar el organo. la fama de un monarea cuya grandeza y dorninio en todas las ciencias de la guerra y de la paz. mando grabar la obra con el titulo de "Musikalisches Opfer" t Ofrenda Musical). otra finalid ad que la muy loable de enaltecer . Pero como no cualquier terna se presta para una armenia tan rica. Bach mismo eligio uno.esnips. Bach trabajo sobre el tema inventado por el rey y escribio piezas a tres y a seis voces. Mendel.ruga. con 1'1humildad mas profunda. En el ejernplar de la Of rend a Musical enviado al rey induy6 Bach una carta dedicatoria interesante. con gran asombro de todos los circunsranres. T. determine elaborar de manera mas eompleta el lema regio y. 3(1:)·3(16. aunque sea s610en medida tan modesta. 1 r r I ~r r 1[' Figura 3. tal como antes habia sido llevado a probar todos los pianos de Silbermann. Vuestra Majestad se dign6 toearme en el teclado un lema de fuga. P: 179. Nueva York. todo eI mundo se ve obligadci a admirar y respetar. 10 desarrollo segun el deseo del rey. pues. The Bach Header. si no por otra cosa. asl. por su tono tan surniso y zalamero. hace algun tiernpo. Asi. probablemente para ver hasta dondepodla Ilegar ese arte ." Rey Graciosisimo: Dedico a Vuestra Majesrad. Mi prop6sito no se ha realizado con la perfeccion que hubiera sido posible. expreso el deseo de oir una fuga a seis voces obligadas. y al punto. 1966. En consecuencia. y la obra notiene. al dia siguiente Bach fue lIevado a probar todos los organos de Potsdam. de la misma sabia y magnifica manera como habia desarrollado el tema regio. David y k ~ Ibid .com/web/Scientia . El Tema Real. pr. y al mismo tiempo me encarg6 de la manera mas graciosa que 10 desarrollara en la presencia augustisima de Vuestra Majestad .

y a quien Beethoven dedicaria su Prirnera Sinfonia -. :1f.~ No hay. ("Por orden del rey. La rarea de improvisar una fuga a seis voces podria compararse. pero es una buena indicacion de como habia crecido hacia 1774 la leyenda de Bach. cuando hacia ya veinticuatro que Bach habia muerto. El reyes de esta opinion: y. Unos vcintisiete afios despues. Sin embargo.siga concediendo la augustisima regia gracia de Vuestra Majestad a quien es el siervo mas humilde y obcdiente de Vuestra Majestad EI Autor. rnanera de averiguar si fue el rey Federico 0 el baron van Swieten quien agrando tan desmesuradamente la hazafia del compositor. sino rambien "de Ia mejor manera posible" _ Las iniciales de la inscripcion latina forman la pala bra italiana ~ lind . de repente.a quien. p. quienes conocieron a su padre afirman que el padre era rodavia mas grande. 7 www.tuvo con el rey Federico una conversacion referida por el mismo con est as palabras: Entre otras cosas. dedic6 Forkel su biografia de Bach. par decir algo.. otra a cinco. por supuesto. canto en voz alta un tema crornatico de fuga que en dena ocasi6n Ie dio al viejo Bach y que este utiliz6 para componer. EI ejemplar enviado por Bach al rey Federico lleva. para demosrrarrnela. y de un gran organista Hamado (Wilhelm Friedemann) Bach. a la de jugar con los ojos vendados sesenta partidas simultaneas de ajedrez y ganarlas todas. en la pagina que precede a la primera de musica. constituido por cuarenta y ocho preludios y cuarenta y ocho fugas.com/web/Scientia . la inscripcion siguiente: Figura 4. 7 de julio de 1747. Leipzig.) Bach juega aqui can los dos sentidos del ad jetivo canonico: no s610 "mediante la forma canon". y otra finalmente a oc.ho.O. una fuga a cuatro voces. un noble aleman de nombre Gottfried van Swieten -_. este artista esta dotado de un talento superior al de cualquier otro rmisico que yo haya oldo 0 pueda imaginarme. me habl6 (el rey) de rnusica . por cierto. que habla residido en Berlin durante un tiempo. solo dos de las fugas estan hechas a cinco voces. la canci6n y las demas cosas [estan] resueltas con arte can6nica". En cuanto a profundidad de conocimienros armcnicos y en cuanro a fuerza de ejecucion. Para dar idea de 10 extraordinario que es una fuga a seis voces. y no hay oi una sola a seis.esnips. Improvisar una fuga a ocho voces esta francamente por encima de las capacidades hurnanas. baste decir que en todo el Clave bien tempera do de Bach.

Un juego musical muy practicado en la epoca consistia en escribir un rerna. casi bailable. Pero hay varios procedimientos. la que Bach improvise ante el rey Federico.esnips. pero tiene ademas una connotacion de refinarniento esoterico. tal vez demasiado austeramente intelectual para el 0yente medio. aunque s610 fuera a dos voces. es muy compleja. Bach mismo no dej6 ninguno de ellos escrito de cabo a rabo. Su presentacion incornpleta es cosa deliberada. Consta de una fuga a tres voces. curiosameme. Para conseguir esto se distribuyen "capias" del tema entre las distintas voces ejecutantes. La sonata-trio constituye un delicioso alivio tras la austeridad de las fugas y los canones: es muy cantarina y dulce. una fuga a seis voces. pero seguia utilizandose ricercar para designar un tipo erudite de fuga. La fuga a seis voces es una de las creaciones mas complicadas de Bach. en efecco. con todo su cromatismo y austeridad.com/web/Scientia . Canones y fugas EI canon se caracteriza esencialmente por un terna que sirve a la vez de melodia y de acompafiamiento. Un caso parecido se da en el ingles de hoy: la palabra recherche (tomada del frances) significa literal mente "re. Pero. En tiernpos de Bach ya se habia impuesto la palabra (latina e italiana) Juga. Y Ia Ofrenda Musical contiene ciert amente muchas cosas que piden indagacion y busqueda. de cosa destinada solo a los muy entendidos. £1 mas simple y directo es e1 que se sigue en ciertas canciones de ronda. can muchas notas que no pertenecen a la tonalidad en que est a escrito). sino "Ricercar". Los diez canones de la Of rend a Musical se cuentan entre los mas elaborados que Bach compuso. por supuesto. diez canones y una sonata-trio. acompafiarlo de algunas indicaciones mas 0 menos enigmatic as y dejar que el canon basado en ese tema fuera "descubierto" por otro jugador. Es milagrosa en verdad la manera como Bach se sirvio de sernejante tema para componer un interludio tan arneno. el que dio Federico. Son como acertijos que se le prapanen al rey de Prusia. no hubiera sido tarea sencilla para un musico comun y corriente. como "Three Blind Mice" 0 "Frere Jacques" 0 "Estoy cojo de un 8 Introducci6n: Of rend a rnusico-loqica www. se basa preponderantemente en el Tema Regio. Componer con ese tema una fuga decente. y su tern a es.RICERCAR que significa "buscar". en 10 esencial. que puede verse en la figura 3. Este es otro de los sentidos de La palabra: ricercar. fue el nombre original de la forma que hoy se conoce como "fuga". Tambien ella. sin embargo. "indagar".buscado". El nombre que da Bach a las dos fugas no es "Fuga". Los especialistas han llegado a la conclusion de que la fuga a tres voces es seguramente. El Tema Regio. rirmicamenre irregular y sumamente cromatico (0 sea. Para saber como es posible esto hay que entender algunas de las reglas del canon.

pero haciendo que el salto mid a exactamente el mismo mimero de semitonos. el canon que resulta es bastante agradable. es deeir. tres voces canonicas. No cuaiquier rnelodia puede armonizar consigo misma -en esa forma. cada una de las notas del canon posee mas de un sentido musicalrel oido y el eerebro del oyente dan automaticamente con el sentido adecuado. yasi sucesivamente. despues de un lapso bien medido entra una de sus "copias" exactamente en la misma tonalidad. las prodiga en su obra-sin exceptuar. la primera voz puede comenzar el tema en do. Entra el terna en la primera voz.aficionadisimo a las inversiones. con su inversi6n hecha en la forma indicada: se comienza con la melodia original. sino tarnbien en el tono: por ejemplo. El canon que utiliza este truco se llama familiarmente canon cangrejo.?a se escalonan no s610en el tiempo. teniendo en euenta el contexte. La siguienre etapa de complejidad en la construcci6n de canones consiste en invertir el terna. esta deb era entroncar con las otras dos. a causa de las peculiaridades locomotivas de esos crusraceos. entra la tercera de las copias del tema. Un segundo grado en la escala de complejidad se da euando la velocidad varia de una voz a otra. la Ofrend a Musical. ya comienza a encontrarlos completamente naturales. al entroncar con Ia primera despues del lapso de rigor. Existen. la mas esoterica de las "capias" es la copia retr6grada. por ejemplo. 10 cua! significa elaborar una melodia que salte hacia abajo cada vez que el tema original salta hacia arriba. Un primer grado en la escala de eomplejidad se eonsigue cuando las "copias" del te. canta ese mismo terna pero comenzando cinco notas arriba. por supuesto.com/web/Scientia 9 . en la cual el tema se ejecuta al reves de como esta escrito. claro. y entonces la segunda. a su debido tiempo. la segunda voz canta el doble de rapido 0 el doble de lento que la VOl inicial. cuando. y asi sucesivamente. que comienza una octava abajo. pasado el mismo lapso en la segunda VOl. 10 segundo aumentaci6n (porque el tema parece encogerse a dilatarse respectivamente). si hay una tercera Val. cada nota del tema necesita funcionar de dos maneras armonicas distintas. comenzando cinco notas arriba de donde comenz6 la segunda. y despues de dos compases entra como segunda voz la inversion. que era . de atras para adelante. pero cuando uno se acostumbra a oir temas invertidos.esnips.) Finalmente. En otras palabras. especies mas complicadas de canones. 0 cuadruple. Bach. adem as de eonservar su funci6n rnelodica. 0 sea en sol. etcetera): en primer Jugar tiene que ser parte de una melodia yen segundo lugar tiene que ser parte de una arrnonizacion de esa misma rnelodia. Para que una sucesion de not as funciane como terna de canon se requiere que cada una de esas not as cumpla un papel doble (0 triple. EI efecto producido por esta transformaci6n mel6dica es un tanto raro. Lo primero se llama disminucion. Hay que observar que los distintos tipos Introducci6n: Of rend a rnusico-loqica www.pie". Ni falta hace decir que Bach metio un canon cangrejo en su Of rend a Musical. Cuando hay. (Puede servir de ejemplo la melodia de "Good King Wenceslas". a sea en re. Y eso no es todo. por ejemplo.

la primera prosigue su camino cantando eI "contratema" 0 "contrasujeto". y el presente libro habra de ocuparse de isomorfismos a cada rato. que no utilizan el tema y sirven solo para armonizar agradablemente con las voces que forman parte estrieta del canon.com/web/Scientia . Hay. acompafiada a rnenudo por el contrasujeto. Mientras tanto. EI principio de la fuga es. que se encomienda a alguna otra voz. por supueslO. Entra luego una segunda voz que comienza a cinco tonos por encima 0 cuatro tonos por debajo de donde ha eomenzado la primera. mucho menos rigido que el del canon y por consiguiente hay en ella mayor espacio para la expresion emotiva y artistica. a veces se combinan varios de estos recursos en un solo canon. Cuando todas las voces han entrado ya en el juego. mas aun . discipulo de Bach. esto es. Puede ser necesario tambien explicar que cosa es una fuga. Cada uno de los canones de la Of rend a Musical tiene como tema una variante del Tema Regio. arm6nicos 0 mel6dicos al tema. La fuga se parece al canon por el hecho de basarse casi siempre en un tema que se va tocando en distintas voces y en distintos tonos. pero no son casas establecidas como regia: no hay reglas fijas. 10 Introducci6n: Of rend a rnualco-loqica www. Las dos de la Ofrenda Musical son ejemplos sobresalientes de fugas que jamas hubieran podido ser "cornpuestas segun f6rmula". sin embargo. mientras las dernas ejecutan cuantos primores musicales se le han ocurrido al compositor. 10 cual quiere decir que el tema es totalmente recuperable a partir de eualquiera de sus copias. A veces result a deseable aflojar un poco 10 tieso de la forma canon. para que la armonia resulte mas fluida. contrario Motu". por ejemplo en el que se intitula "Canon per Augmentationem. y todos los recursos de complicaci6n arriba descritos se explotan en elIos hasta 10 ultimo. Las soluciones canonicas son obra de Johann Philipp Kirnberger. no hay una formula para hacer fugas. y las otras dos danzan canonicamente por encima y por debajo. un tema secundario. la voz central es libre (si bien 10 que canta es justamente e1 Tema Regio) . se acaban las reglas. Todos los enigmas de este y de los demas canones de la Ofrenda han sido resueltos. La marca caracterizadora de una fuga es la manera como empieza: con una voz sola que eanta su tema. Hay tambien canones con voces "libres".esnips. Es un canon a tres voces. destin ado a suministrarle contrastes ritrnicos. Una manera de lograrlo es permitir pequefias desviaciones de la copia perfecta.de "copia" conservan toda la informacion que hay en e1 tema original. y a veces a distintas velocidades 0 can intervalos tonales invertidos a de arras para adelante. empleando los recursos de la aumenracion y de la inversion. Uno de los canones lleva el criptico titulo "Quaerendo invenietis" ("Buscando encontrareis"). Cada una de las voces va entrando en su momento y canta e1 tema. Esta transformacion mantenedora de la informacion suele llamarse isomorfismo. Pero siernpre cabe la duda de si no quedara alguna solucion por descubrir. ciertas cosas que normalmente sf: hacen en una fuga. Hayen ellas algo mucho mas hondo que la simple fugalidad.

Se llama "Canon per Tonos" yes a tres voces. La de arriba canta una variante del Tema Regio. habiendo hecho hacia arriba (0 bacia abajo) un movimiento a traves de los niveles de un sistema jerarquico dado. La que hace de este canon alga distinto de cualquier otro esque cuando term ina . al llegar a la sexta de las modulaciones queda uno instalado de nuevo en la tonalidad de do menor. (Vease una preciosa descripcion de ella enellibro de H.no esta ya en la tonalidad de do menor. as] se levante la Gloria del Rey".] A veces me sirvo del terminoJerarquia Enredada par:a designar un sistema en que se dan Bucles Extrados. (Aqui.com/web/Scientia 11 . de modo que a la tercera 0 cuarta de ellas se siente uno desesperadarnenrelejos de la tonalidad inicial . y recomenzar entonces en mi para terrninar en fa sostenido.) Un Canon en Perpetuo Ascenso Hayen la OJrenda Musical un canon particularmente insolito. mejor dieho . Con ese canon nos brinda Bach nuestro primer ejernplo del concepto de Bucles Exiraiios. T. en su conjunto. el canon esta construido de tal modo que su terminacion se enlaza sin la menor violencia con su propio comienzo. Pero. y quiza sea ese el sentido de las palabras que escribio al margen de la pieza: "Que as! como se levanta la rnodulacion. mientras las otras dos ejecutan una arrnonizacion canonica basada en un segundo terna. terminar en la de mi. Bach's Musical OJJedng. yen este punto puede darse por concluida la pieza de una rnanera musicalmente agradable.esnips. Cabe imaginar que tal fue la intencion de Bach. La mas baja de estas dos voces canta su tema en do menor (que es la tonalidad del canon en su eonjunto). Y es una creacion bellisirna de Ia inteligencia humana. como por arte de magia.euando parece terminar. pero desplazado hacia arriba par un intervale de quinta. S. y Ia otra canta el mismo terna. A lo largo de nuestro Introducci6n: Of rend a rnustco-Ioqtca www. EI fenomeno del "Bucle Extrafio" ocurre cada vez que. Y ademas. etcetera. digna de ser admirada por siempre. el nombre que le day es "Canon en Perpetuo Ascenso". Estas sucesivas modulaciories van Ilevando el aida a provincias ton ales mas y mas remotas. David. uno de los logros supremos de Bach en el terreno del contrapunto. pero no hay duda de que a Bach Ie encantaba la idea de que este proceso siguiera y siguiera ad infinitum.La Of rend a Musical representa. el sistema es el de las tonalidades musicales. De alguna manera se las ha ingeniado Bach para modular (cambiar de tono) frente a las narices del oyente. nos encontramos inopinadamente de vuelta en el punto de partida. Para subrayar esa calidad suya de potencialmente infinito. de manera que puede uno repetir el proceso y. comenzando ahora en la tonalidad de re. Todas las voces se hallan ahara exactamente una octava mas arriba de como se hall a ban al principio.). Es toda ella una sola vasta fuga intelectual en Ia que se han trabado y entretejido muchas ideas y much as forrnas y en la que surgen a cada momento alusiones sutiles y dobles sentidos juguetones. sino en la de re menor.

por ejemplo. la litografia Cascada (figura 5) Y comparese su transite en interminable descenso a craves de seis eta pas 0 pasos can el transite en interminable ascenso. y tambien a traves de seis etapas 0 pasos. sin duda. Pero en un dibujo tlpico d~ Escher hay mucho mas que la simple simetria o el simple esquema. el mas apretado de todos los Bucles Extrafios es el que eneontramos en Galeria de grabados (vease figura 142): retrato de un retrato que se contiene a SI mismo.esnips. la ilusion 0 el doble sentido. Escher es eI creador de algunos de los dibujos intelectualmente mas estimulantes de todos los tiempos. Entre los primeros admiradores de los dibujos de Escher hubo varios marernaticos. Aqui el lector podra pensar que hay algo de ambigiiedad en la nocion de "paso". puesto que incIuye gran mimero de pasos antes de que se llegue de nuevo al punto de partida. en la obra del artista grafico holandes Maurits C. pues no incIuye sino seis pasos discretos. en particular. EI circuito de Cascada es mas apretado. otras bien patente: unas veces estara puesto al derecho. Ya afinaremos mas adelante nuescra cornprension de est a vaguedad. en Subiendo y bajando 10 mismo pueden verse cuatro niveles (escaleras) que cuarenta y cinco niveles (escalones). Hay. Apretando mas nuestro bud~.. 10 cual vale no solo para los dibujos de Escher. otras al reves. del "Canon per Tones". por ejemplo. Ilegamos al notable caso de Manos dibujando (vease figura 135). sino para todo sisterna jerarquico de muchos niveles.com/web/Scientia . Escher. Unas veces estara oculto. Por ahora no nos distraigamos demasiado. que vivi6 de 1902 a 1972. Muchos de ellos tienen como raiz la paradoja. en la que unos personajes caminan y caminan en bucle. segun yo. una buena dosis de vaguedad en la manera de eontar esos pasos. pues esos dibujos suelen basarse en principios matematicos de simetria 0 de esquema . Y. la ilusi6n en que se basan Subiendo y bajando y Cascada no fue inven12 Introducci6n: Of rend a musico-loqica www.. es la version mas suelta. Vease. cabeza abajo 0 de espaldas. hay a menu do una idea subyacente. ~O retrato de una galeria que se contiene a sf misma? ~O de una ciudad que se contiene a SI misma? ~O de un joven que se contiene a si mismo? (Dicho sea de paso. "Quaerendo invenietis" es el consejo que desde ahora Ie doy al lector. el Bude Extraiio es uno de los temas mas frecuentes en la obra de este artista. y que. Los BucIes Extrafios de Escher estan realizados de varias maneras y pueden clasificarse de acuerdo con 10 apretado del buc1e. Escher Las mas bellas y vigorosas realizaciones visuales de este concepto de Bucles Extrafios Raros se dan. realizada en forma artistica. L'a litografia Subiendo y bajando (vease figura 6). Y finalmente. en que cada mano dibuja a la otra: un Bucle Extrafio de dos pasos. Bach y Escher estan tocando un rnismo tern a en dos "claves" distintas: la musical y la pictorica.camino reaparecera una y otra vel esre terna de los Bucles Extrafios. 10 eual es cornprensible. La sernejanza de vision es realmente notable.

dos es 1956. Pero el terna del Buck Extrafio ya estaba presente en la obra de Escher desdc 1948.to de Escher.com/web/Scientia .) En el concepto de Bucles Extrarios va implrcito el de infinito.llla un vasto pape1 en muchos lntroduccion: Of rend a rnusico-loqica www. afio en que dibuj6 Manos dib ujando . pues (que otra cosa es un bucle sino una manera de representar de manera finita un proceso interminable? Y el infinite reprcs(. sino de Roger Penrose. en 1958. matemat ico ingles.esnips. La fecha de Galeria de grab«.

Subiendo y bajando.esnips.com/web/Scientia .Figura 6. Escher (hlograjfa. www. de M C. 1960).

1935 tntroducci6n: Of rend a rnusico-loqlca www. Es un poco . En ellos suelen verse copias de un tema deterrninado que se acoplan las unas en las otras constituyendo as! los analogos visuales de los canones de Bach.de los dibujos de Escher.\-1. En Figura 7. C. Metamorfosis II (vease figura 8).esnips.como el "Canon en Perpetuo Ascenso": progresa y progresa a partir de un punto inicial y de pronto se halla en el punto de partida . Escher. aut orret rata de .com/web/Scientia 15 . Mano con Globo Reflejado. Varios de esos csquemas aparecen en uno de los grabados mas famosos de Escher.

com/web/Scientia .esnips.www.

Algunos de sus dibujos muestran un tema dado en diversos niveles de realidad.esnips.asf tam bien el descubrimiento. crerense. Me refiero a la Hamada paradoja de Epimenides. Pero una vez que hemos decirido que es falsa. Es una aseveraciori que de manera brutal contradice la dicotomia tan generalmente aceptada entre aseveraciones verdaderas y aseveraciones falsas. puesto que si par un mornento la tomamos como verdadera inmediatamente se nos dispara por la culata y nos ponemos a pensar que es falsa. Una versi6n mas afilada de la paradoja es sencillamente "Estoy mintiendo" 0 "Esta aseveracion es falsa". un nivel "mas imaginario". de un Bude Extrafio en los sistemas maternaticos tiene su origen en intuiciones simples y antiguas.una escala musical. Pew la sola presencia de uno y otro nivel invita al contemplador a conternplarse a si rnisrno como parte de otro nivel mas. Pero en otras creaciones de Escher encontramos visiones mucho mas atrevidas 0 desaforadas de este infinito. Gbdel En los ejemplos de Budes Extrafios de Bach y de Escher que hemos vista hay un conflicto entre 10 finito y 10 infinite y par consiguiente una fuerte sensaci6n de paradoja. asi como los bucles de Bach y de Escher corresponden a intuiciones muy simples y antiguas . sino representar. Estos dos niveles pueden ser los unicos que se manifiestan de manera explicira. En uno de los niveles podemos reconoccr clararnente la representacion de la fantasia 0 imaginacion. de mayor "realidad". )1.los pIanos embaldosados de Metamorfosis II y de otros dibujos hay ya sugerencias de infinito. En su forma mas desnuda 0 descarnada. y asirnisrno otro mas abajo. yen el otro la representacion de 10 real. pOf Kurt Codel. Y. forma un bude? 2Que es entonces 10 real y que 10 fantastico? EI genio de Escher consiste en haber podido no s610 concebir.com/web/Scientia 17 . La ultima version es la que general mente tendre en mente al referirme a la paradoja de Epimenides. en vez de ser lineal. docenas de mundos mitad reales y mitad miticos. Pues bien: en este nuestro siglo se descubri6 en efecto una contrapartt:. La intuicion nos dice que alga matemarico esta aqui en juego. Pero 2Y5i la cadena de niveles. el descubrimiento de Codel supone la traducci6n de una vieja paradoja filos6fica a terrninos matematicos. una escalera . 0 paradoja del mentiroso . Esto por sf solo puede ya producirnos vertigo. una vez dado este paso. maternatica que ha tenido las mas tremendas repercursiones. mundos lien os de Bucles Extrafios que el pone ante los ojos del conternplador como invitandolo a penetrar en elias.Haga el lector la prueba y 10 Vera. negro sabre blanco. Introducci6n: Of rend a rnustco-loqtca www. hizo est a in mortal aseveraci6n: "Todos los cretenses son mentirosos". digamos. un analogo tiro por la culata nos hace volver a la idea de que es verdadera. Epimenides. el contemplador no puede menos que quedar atrapado pOf una cadena implicita de niveles en que para cada nivel existe siempre otro mas arriba..

com/web/Scientia .lfigura 9. Kurt csu«. www.esnips.

mientras que no es nada facil ver como una proposicion relativa a numeros puede hablar acerca de SI misma.esnips. Que propone este Teorema y como 10 demuestra son dos casas distintas. la ostra es un ser vivo y complejo de cuyas tripas brota esa gerna misteriosamente simple. Hizo falta un genio para esto tan simple: conectar la idea de las proposiciones autoreferenciales can la teoria de los nurneros. Podernos comparar el Teorerna con una perla y el metodo de demostracion con una ostra. En capitulos subsiguientes examinarernos con el mayor cuidado la construccion de Codel: pero para que el lector no se quede totalmente en ayunas. 2Y que tiene que ver con la maternatica? Aqui es donde entra el descubrirniento de Codel. En esta perla es dificil ver un Bude Extrafio. esbozare aqut en unos cuantos brochazos el micleo de la idea. Ello se debe a que el Bude Extrafio esta sepultado en la ostra . La hechura misma de la proposicion no fue sino la elaboracion de su esplendido chispazo intuitive. pues. El Teorema de Godel aparece como Proposicion VI de un articulo suyo "Sobre proposiciones forrnalmente indecidibles en los Principia Mathematica y sistemas analogos. dejo ya arras el principal de los obstaculos. A Godel se Ie ocurrio la idea de utilizar el razonamiento rnatematico para explorar el razonamiento maternatico. y la mas fecunda de sus implicaciones es una que el mismo encontro: el Teorerna de la Incompletitud. En realid ad el articulo se redact6 en aleman. I" (1931). y quiza ellector sienta que sigue estando en aleman. y dice asi: A cada clase k w-consistente y recursiva de formulae corresponden signos de clase r recursivos. La perla es estimada por su tersura y su sencillez.com/web/Scientia 19' .La paradoja de Epimenides es un Bucle Extrafio de un solo paso. He aquf. una parafrasis en espafiol mas normal: Toda forrnulacion axiomauca proposiciones indecidibles. De una y otra nos ocuparernos con bast ante .detalle en el presente libro. Pero servirse del lenguaje para hablar acerca del lenguaje es cosa simple. 0 sea en la dernostracion. Esa idea de hacer de la rnatematica una disciplina "introspectiva" resulto ser enorrnemente dinamica. de la misma manera que la paradoja de Epimenides es una proposicion lingiiistica auto-referencial. La demostraci6n del Teorerna de Incornplerirud de Codel esta trabada con la escritura de una proposicion matematica auto-referencial. de teo ria de los numeros incluye Tal es la perla. de tal modo que ni v Gen r ni Neg (v Gen r) perrenecen a FIg (k) (donde v es la variante libre de r). como la Galeria de grabados de Escher. con esperanza de que 10 que voy a decir haga estallar algunas ideas en su ca- Introducci6n: Of rend a musico-Ioqica www. En e! momenta en que Code! tuvo la intuicion de que esa proposici6n podia crearse.

En el C6digo de G6de1. publicada entre 1910 y 1913. De esa manera. tal como la aseveracion de Epimenides no es la observaci6n de que "La aseveracion de Epirnenides es una paradoja". a causa de que la gente no entiende en general el concepto de "dernossracion" sino en forma bastante vaga.beza. quiza.. se hace que los mimeros cum plan funciones de simbolos y de secuencia de sirnbolos. Por 10 tanto. siendo una secuencia de sirnbolos especializados. acerca de SI misma) a condicion. El hecho import ante que hay que tener en cuenta es que las dernostraciones son pruebas dentro de sistemas fijos de proposiciones. Los numeros enteros no son proposiciones.esnips. Ahora podemos precisar < 20 Introducci6n: Of rend a muslco-loqlca www. la aseveracion C de Godel deberia escribirse mas adecuadamente asi: Esta aseveracion de teo ria de los nurneros no tiene ninguna demostraci6n en el sistema de los Principia Mathematica. limiternoeos a las de teoria de los numeros . Este es el problema. esta aseveracion de Cadel no es el Teorema de Codel. e1 sistema de razonamiento teorico-nurnerjco a que se refiere la palabra "demosrracion" es el de los Principia Mathematica (P.se refieren a las propiedades de los numeros enteros. De hecho. Inventado ya este esquema de codificaci6n. En el casu de la obra de Codd. Dicho sea de paso. alga asi como un numero de telefono a de placa de autom6vil mediante el cual puede uno referirse a ella. Y este recurso de codificacion perrnite que las proposiciones de teoria de los numeros se entiendan en dos niveles distintos: como proposiciones de teoria de los numeros y como proposiciones acerca de proposiciones de ieoria de los numeros. Dicho de otro modo.). Codel tuvo que elaborar detalladamente una manera de transportar la paradoja de Epirnenides a un forrnalismo de teoria de los nurneros. Code! intuy6 que una proposicion de teoria de los numeros podia hablar acerca de una proposici6n de teoria de los numeros (inclusive. Es preciso. sino "Esta proposici6n de teoria de los numeros no tiene ninguna dernostracion". Una proposicion de teoria de los numeros no habla acerca de una proposicion de teoria de los numeros: es solo una proposicion de teoria de los numeros. M. cada proposicion de teoria de los numeros adquiere un "numero de Codel". Su trasplante final de la paradoja de Epirnenides no decia "Esta proposicion de teoria de los numeros es Ialsa". l1amado par 10 comun "numeracion de Codel". de hacer que 105 numeros cumplieran la funcion de las proposiciones. ni tampoco 10 son sus propiedades. Las proposiciones rnatematicas . en la medula de su construcci6n esta la idea de c6digo.com/web/Scientia . pero Code! se dio cuenta de que alga bullia por dentro. obra gigante de Bertrand Russell y Alfred North Whitehead. que quede absolutamente claro en donde esta la dificultad. en primer lugar. simplernenre. De aqui pueden originarse no pocas confusiones. la obra de Godel se inscribe como episodio del largo esfuerzo de los matematicos par explicarse a sf mismos que cosa son las dernostraciones.

1. siempre se ha dicho que nuestra capacidad de razonar es la que nos distingue de otras especies. resultarla entonces un tanto parad6jico. puesto que no es ni verdadera ni falsa. Pero esto no era posible: la demostraci6n de Codel se aplicaba a cua/quier sistema axiornatico cuyo prop6sito fuera lograr las metas que Whitehead y Russell se habian fijado. Mientras que la aseveraci6n de Epimenides ere a una paradoja. a primera vista. 0 el de Nagel y Newman. (_ cual es la conclusi6n de todo esto? La conclusion es: que e! sisY tema de los Principia Mathemaitca es "incompleto": que hay proposiciones verdaderas de teoria de los nurneros para cuya demostraci6n resulta demasiado debil el metodo de los P. independientemente del sistema axiomatico de que se trate . 3 . la aseveraci6n G de Gode] es indemostrable (dentro de los P.meros enteros: 0. Ahora bien. no habrian faltado otros maternaticos dispuestos a mejorar el sistema de los P. (Quien desee una buena exposici6n lea ellibro de DeLong. 0 el de Kneebone.). Las palabras "y sistemas afines" que"se leen en el titulo del trabajo de Code! son muy elocuentes: en efecto.tarea imposible. mecanizar eso que es 10 mas humano que tenemos. Los lectores modernos podran no experimentar ante esto la rnisma perplejidad que los de 1931. el Teorema de Code! tuvo un efecto e!ectrizante en los logicos. M. Como es natural. ya que en el interin nuestra cultura ha absorbido el Teorema de Codel. 2.esnips.. ya sobreponerse al Teorema de Codel. 10 que demostr6 Code! fue que la demostrabiiidad es un concepto mas endeble que la verdad. podia representar la complejidad de los nii. L6gica rnaternatica: breve sinopsis Para apreciar como es debido el Teorema de Code! hace falta tener presente cierto contexte. Los Principia Mathematica fueron la primera victimade este golpe pero ciertamente no la unica.. Un solo sistema basico bastaba para hacerse cargo de cada uno de esos sistemas. junto con las revoluciones conceptuales de la relatividad y de la mecanica cuantica. Sin embargo. Trarare. si GodeJ se hubiera limitado a seiialar un defecto en la obra de Russell y Whitehead.com/web/Scientia 21 . par complicado que fuer a. pues demostraba que ningiin sistema fijo.cual es el efecto del descubrimiento de C. aunque sea embotados por varias capas de traducci6n (y. de ofuscaci6n). y sus mensajes filosoficamente desorientadores han llegado hasta el gran publico. ya los griegos antiguos sabian que el razonamiento es un proceso sujelntroduccion: Of rend a muslco-Ioolca www. matematicos y fil6sofos interesados en los fundament os de la matematica. M.) Lo que encontramos en los inicios de esa historia es el intento de rnecanizar los procesos inte!ectivos del razonamiento. casi siernpre. En suma. pues. M. de resumir en poco espacio la historia de la 16gica maternatica hasta el afio 1931 . pero verdadera. La actitud general de los maternaticos de hoy consiste en no esperar sino resultados "limitativos": pero en 1931 la cosa cay6 como un fayo en seco.

pem alIi quedo el asunto. 10 cual es algo exagerado. en ~I calculo->. habian est ado ocurriendo cosas interesantes en el campo de la matematica clasica. de manera mas 0 menos simultanea. En el mismo siglo XIX. Uno de los descubrimientos trascendenrales de las maternaticas del siglo XIX fue la existencia de varias geometrias distintas y todas igualmente validas (al decir aqui "una geometria" se entiende una teoria de las propiedades de puntos y lineas abstractos). Durante largo tiempo se habia dado por sentado que geometria era aquello que Euclides habra codificado. David Hilbert elabor6 formalizaciones de geometria mas estrictas que las de Euclides. conocida con el nombre de teoria de conjuntos. esta gobernado par leyes perfectamente formulables. Gottlob Frege y Giuseppe Peano se dieron a la tarea de combinar el razonamiento formal con el estudio de conjuntos y de numeros. fascinado par esos metodos mecanizados de razonarniento. mas tarde. Aristoteles codific6 los silogismos y Euclides codifii co la geometria. pero significaba un reto fuerte para la intuicion. todo progreso real en el campo de la geometria significaba simplernente ampliar a Euclides. Por regIa gene22 Introducci6n: Of rend a musico-Ioqica www.esnips. en parte al menos. pero en estos alios el dilema cause gran conmoci6n en los circulos marernaticos. de aspecto pear aun. Al cabo de no mucho tiernpo ya habian salido a relucir no pocas paradojas basadas en la teoria de conjuntos. Boole se atrevio a intitular su libra The Laws of Thought ("Las leyes del pensamiento"). En Cottingen. invento gran niimero de acertijos que podian resolverse con ello. ~Como podian existir much as clases distintas de "puntas" y "Iineas" en una realidad iinica? En nuestros dias la solucion del dilema puede ser clara hasta para los profanos. se hizo aqui y alia el descubrimiento de las geometrias no euclidianas -. En Jena y en Turin respectivamente. es verdad que podian descubrirse pequefias fallas en la presentacion euclidiana. cuando se les venia encima todo un conjunto nuevo. pem eso careda de importancia. que es 10 que entendernos par "demostracion". La situacion era muy aflictiva: apenas paredan los matematicos estar recobrandose de un conjunto de paradojas -las relacionadas con la teoria de los limites.to a esquemas. y que. La mas celebre de las nuevas paradojas es la de Russell. y tuvieron que pasar muchos siglos para que volviera a registrarse un avance en el estudio del razonamiento axiomatico. Esta idea quedo sacudida cuando. Mientras tanto. Esta teoria era atractiva y vigorosa. Hacia 1885 Georg Cantor formulo una teoria de diferentes clases de infinitos. Lewis Carroll.descubrimiento que escandalizo a la comunidad maternatica.com/web/Scientia . porque atacaba en su nucleo la idea de que la maternatica estudia el mundo real. Todos estos esfuerzos iban enderezados a una meta: aclarar . los logicos ingleses George Boole y Augustus De Morgan sometieron los esquemas estrictamente deductivos de razonamiento a una codificacion que deja rouy arras la codificacion aristotelica. por mas que su contribucion haya sido importante.

Pero si R no es ni 10 uno ni 10 otro. como "potable". que es como deeir el Bucle Extraiio. esta ocurriendo una autorreferencia. Entonces. aqui . Extsten.al igual que en Ia teoria de los numeros y en la geometria . si a los de la primera categorfa los Ilamamos autologicos (= "autodescriptivos") y a los de la segunda heterol6gicos (= no autodescriptivos"}. etcetera. y la de los que no se describen a sl mismos. exactamente. sin embargo. en la cual se utilizan adjetivos en vez de conjuntos. 0 de los que se autodevoran y por 10 tanto ninguno puede ser las dos cosas ala vez. que se incluyen a sf mismos en cuanto miembros. de razonamiento. pero necesitamos revisar esa opinion en cuanto nos preguntamos: "~Que c1ase de conjunto es R: de los comunes y corrientes 0 de los que se autodevoran?" EI lector encontrara que la respuesta es: "EI conjunto R no es ni de los cornunes y corrientes ni de los que se autodevoran. consiste en hacer que la intuicion se empareje perfectamente con los sistemas forrnalizados. ~que cosa es? Es algo patologico. que hace pensar en Manos dibujando: Introducci6n: Of rend a rnusico-loqica www.com/web/Scientia 23 . Ahora bien. como en esta versi6n "ampliada" de la paradoja de Epimenides. Puede estar diseminada en todo un Bude Extraiio de varios pasos. ~por que no procurar eliminar la autorreferencia y todo cuanto pueda servirle de raiz? La empresa no es tan simple como se creeria. R podra parecer un invento bastante comun y corriente.esnips. el conjunto que comprende s6lo a Juana de Arco no esJuana de Area (los conjuntos no son personas). como "esdrujulo". conjuntos que "se devoran" a sf mismos." Haga la prueba Y vera. Una variante vistosa de la paradoja de Russell es la Hamada "paradoja de GreHing".ral. EI unico culpable de est as paradojas parece ser el fen6meno de la autorreferencia. el conjunto de todas las morsas no es una morsa. porque cualquiera de las dos soluciones desemboca en una paradoja. A primera vista. si 10 deseable es eliminar todas las paradojas. En este sentido. "incompleto" y "bisilabico". ~a que categorfa pertenece el adjetivo "heterologico"? ~Nos arriesgaremos a decir que eI adjetivo "heterologico" es hetero16gico? Piense un poco el lector. por ejemplo el conjunto de todos los conjuntos. los conjuntos no son miembros de si mismos. La pregunta crucial parecia ser: "~Que es 10 que funciona mal en nuestro concepto intuitive de 'conjunro'P ~Por que no hacer una teoria rigurosa de conjumos que. dan ganas de contestar: pero como nadie se contenta con tales respuestas evasivas.. Dividamas los adjetivos que se usan en espaiiol en dos categorlas: la de los que se describen a SI mismos. "hexasilabico" y "chic". porque puede ser diftcil saber d6nde. ademas de corresponder fielmente a nuestras intuiciones. Ahara bien. Asi. se diria. la mayor parte de los conjuntos son "conjuntos comunes y corrientes". no faltaron quienes cavaron mas hondo en los cimientos de la teoria de conjuntos. Claro esta que un conjunto dado es 0 de los comunes y corrientes. quede a salvo de toda paradoja?" El problema. 0 el conjunto de todas las cosas excepto Juana de Area. y as! otros. nada nos irnpide inventar R: el conjunto de todos los conjuntos comunesy corrientes. 0 axiornaticos.

de tal maneia que a nuestro ya conocido R . Asi tambien. 10 unico que crea una imposibilidad es la manera como se acomodan los distintos tramos entre si. 10 que hay que discurrir es como eliminar unas y otras de una vez par todas . est a teoria de los tipos. y hasta potencialmente utiles. En este sistema todos los conjuntos son "comunes y corrientes". porque entonces tendria que pertenecer a un tipo mas alto que su propio tipo. que antecede es verdadera. pues. Intuitivamente decimos que no es esa la manera como nosotras imaginamos los conjuntos. adem as de objetos. maneras indirectas y maneras directas de producir autorreferencias.se le niega absolutamente la calidad de conjunto. La idea de su sistema era basicamente esta: Un conjunto del "tipo" mas bajo no puede tener entre sus miernbros otros conjuntos. pero fa paradoja de Epimenides y la paradoja de Grelling continuaron intactas.siempre y cuando este uno persuadido de que la autorreferencia es la raiz del mal. y de prohibir la formac ion de ciertas clases de conjuntos . Eliminaci6n de Bucles Extranos Russell y Whitehead eran de esra ultima opinion. Si las tomamos juntas. cada uno de los tramos de Subiendo y bajando es absolutamente legitimo.n tipo finito.el conjunto de todos los conjuntos comunes y corrientes . un eonjunta de un tipo dado no puede abarcar sino conjuntas de tipo mas bajo. Un conjunto del tipo que sigue en la escala s610 puede abarcar conjuntos del tipo mas bajo. pero para gente interesada en eliminar de manera general las paradojas se hacia necesaria alguna "jerarquizacion" Mathematica 24 Introducci6n: Of rend a muslco-Ioctca www. La "culpa" de este Bucle Extrafio no se puede achacar a ninguna de las dos afirmaciones. pues. adernas de objetos. sus Principia son un descomunal esfuerzo par dejar limpias de Bucles Extrafios la logica. puesto que no pertenece a ning6. En general. pero si las tomamos por separado son afirmaciones inocuas. sino excJusivamente ala manera como "apuntan" la una a la otra. lagra bien su proposito de limpiar de paradojas la casa pero unicamente a costa de introducir una jerarquizacion a todas luces artificial. Es daro que ning6. Existiendo. Para gente cuyos intereses no rebasaban el campo de la teorfa de conjuntos.: Con la teoria de los tipos quedo despachada la paradoja de Russell. Asi. Cada conjunto pertenece a un tipo especifico.La afirrnacion La afirmaci6n que sigue es falsa. Y asi.com/web/Scientia .esnips.como el conjunto de todos los conjuntos comunes y corrientes. segiin todas las apariencias. estas dos afirrnaciones tienen el mismo efecto que la paradoja original de Epimenides. eso estaba perfecto. la teorfa de conjuntos y la teoria de los mimeros. sino unicamente "objetos". que tam bien podria llamarse "teorta de la abolicion de Bucles Extrafios".n conjunto puede contenerse a SI mismo.

esnips. Esto pone una barrera a todas las versiones de la paradoja de Epimenides y de la paradoja de GreHing. capaz de impedir que se produjeran bucles bacia arras dentro dellenguaje. Introducci6n: Of rend a musico-16gica www. persona a quien de ninguna manera me es licit a referirme. pues las casas que se dijeran no tendrian acomodo en ninguno de los niveles . Asi. Una frase tan inocente como esta: "En mi libra critico la teoria de los tipos" estaria doblemente prohibida en el sistema en cuestion.com/web/Scientia 25 . En primer lugar menciona el presente "libro". y en segundo lugar me menciona a mi. si bien un tanto rara. esta aseveracion se declararia carenre de senti do y se relegaria al olvido. la calificaci6n de "carente de sentido" tedria que aplicarse a todo cuanto se discutiera en torno a la teoria de los .tipos lingiiisticos (par ejemplo. Se exigiria que cada oracion perten~ciera a un nivel precise de la jerarquia. las dos oraciones son "carentes de sentido". pero cuando 10 que esta en juego es ellenguaje. En la base de esta jerarquia estaria un lenguafe objeto. ni en el metalenguaje. Par 10 tanto. parece muy aceptable. a todo 10 expuesto en este parrafo).es verdaderamente peor que La enfermedad. ni en el metametalenguaje. Este ejemplo nos muestra que boba resulta la teoria de los tipos cuando se la aplica a un context a coloquial.no a aspectos del propio lenguaje objeto (par ejemplo sus reglas gramaticales 0 determinadas oraciones).proscripci6n total de la autorreferencia en cualquier forma que sea . semejante estratificaci6n parece absurda.analoga. Par cierto. la cual se ocupa de abstracciones que no se estan usando todo el tiernpo . en la reorla de los conjuntos. Esta experiencia de dos niveles lingiiisticos es bien conocida de todos los que aprenden lenguas extranjeras. el hecho mismo de discurrir acerca de la teoria seri a la mas descarada de sus violaciones. parte tan omnipresence de la vida humana. EI rernedio que receta contra las paradojas . Como esto es imposible. etc. En seguida tendria que haber un melametalenguaje para hablar ace rca del metalenguaje. riene que pertenecer a un nivel mas alto que esa segunda. en vista de que habla de la segunda. La primera oraci6n. pues estigmatiza como carentes de sentido much as construcciones perfectamenre buenas. Podernos intentar en este punta un anal isis del bucle de dos pasos en que qued6 expresada poco antes la paradoja de Epimenides. Nadie se concibe a SI mismo saltando arriba y abajo par la jerarquia de los lenguajes cuando habla acerca de las casas que se van presentando. Toda referencia que aqui se hiciera tendria que dirigirse forzosamente a un terrene espedfica . tales araciones no pueden ni siquiera forrnularse en un sistema basado en una jerarquia estricta de lenguajes. Por identicas razones la segunda oraci6n tiene que penenecer a un nivel mas alto que la prirnera. Mas precisarnente. y asi sucesivamente. (2A que nivel de lenguaje podria pertenecer "heteroI6gico"?) Ahara bien. de no hallarse un nivel en eI cual colocar una aseveracion determinada. una estratificaci6n como la teoria de los tipos. cosa que no puede mencionarse sino en un "metalibro". Para esos menesteres ha bria un metalenguaje.ni en el lenguaje objeto.

par supuesto.Nadie podria defender esas teorias diciendo que estan hechas solo para estudiar lenguajes forrnales. Si can tal facilidad podian brotar paradojas en la teoria de conjuntos -teoria cuyo concepto basico. cosa especialmente inquietante para aquellos ~ y no eran pocos. sabemos que algo anda mal.esnips. obliga a conceder un papel desproporcionado a 10 coherente. Para esto hacia {alta una codificaci6n completa de los 26 Introducci6n: Of rend a rnustco-toclca www. viceversa. Ia preocupaci6n de que las paradojas de la logica. en la logica una simple ram a de la matematica).com/web/Scientia . El quehacer mas urgente de los metamatematicos fue determinar la verdadera naturaleza del razonamien to matematico. con menoseabo de 10 extrafio. procurar mantener la coherencia. y no ellenguaje informal ordinaria. el de conjunto. y sembraran por consiguiente la duda en todo el terreno maternatico. Por otra parte. establecer una notaci6n unica y uniforme en que pudiera Ilevarse a cabo la labor matematica y con cuyo auxilio cualquier par de matematicos pudiera resolver disputas sobre la validez 0 invalidez de cualquier demostraci6n que alguien sugiriera. ~c6mo esperar que no las hubiera en otras ramas de la maternatica? Habia. y cuales los ilegitimos? El razonarniento maternatico se habia hecho siempre en un "Ienguaje natural" (en frances. y por 10 tanto habia habido siernpre muchas zonas de posible ambigiiedad. a 10 bien encarrilado. es sin duda muy atractivo desde el punto de vista de la intuici6n-. ~Cuales son los metodos 0 procedirnientos legitimos. A esta clase de debates en torno a los fundamentos de la maternatica obedecio. resultaran ser inherentes a la rnaternatica. Es irnportante. por ejemplo el estudio de los nurneros enteros (teoria de los numeros). la de Epimenides par ejemplo. Los matematicos y los 16gicos habian comenzado a abrigar serias dudas en cuanto a la solidez de los fundamentos en que se basaban incluso las teorias mas concretas. pero cuando este esfuerzo nos empuja a una teoria insignemente {ea. salvo cuando estas afloran en ciertos sistemas hechos especialrnente y sobre rnedida. sino urgente. Gran fuente de controversia fue justamente la pregunta de si la maternatica y la logica son casas distintas. en fin. que haee que la vida y la matematica sean casas tan amenas. de eso. si existen aparte la una de la otra. en los primer os decenios del presente sigl0. evocaban en elias distintas imagenes. de 10 excentrico. en latin 0 en cualquier otro idioma destinado a la comunicaci6n normal). analogamente. el enorme interes por codificar los metodos del razonamiento humano. etcetera.· Pangamos que as! sea. el afan de eliminar las paradojas a toda costa. y mas aun cuando ello entraiia la creacion de forrnalismos surnamente artificiales. Peroentonces concluimos que tales teorias son extremadamente academicas y tienen muy poco que decir acerca de las paradojas. Las palabras tenian significados distintos para los distintos hablantes. Este estudio de 10 que es la maternatica vino a conocerse con el nornbre de metamatemdtica -y algunas veces metal6gica a causa de la mencionada trabaz6n de maternatica y 16gica. Parecia no ya razonable.que veian en la matematica una simple rama de la 16gica(0.

Code! hada ver que la esperanza de Introducci6n: Of rend a musico-lcqica www. que una simple porcion de Ii tQtalidad de los metodos maternaticos sirviera para dernostrar la solidez del todo. iYsin contradicciones. El reto era tremendo. aunque tambien criticable por ser un tanto circular. Y. Hilbert.com/web/Scientia 27 . sino tarnbien. no hay manera de zafarse de esos Bucles Extrafios . publico GOOel u articulo. Este objetivo que Hilbert perseguia podra parecer un tanto esoterico..modos universalmente aceptables de razonamiento humano. completitud y Programa de Hilbert Tal fue la meta de los Principia Mathematica. M. De esa manera imagina ba que los matematicos podrian auparse a sl mismos tirando del borde de sus propios zapatos: esperaba. por supuesto! La obra de Russell y Whitehead fue admirada en todas partes. distinguido matematico (y metamaternatico] aleman. en una palabra. en el afio 1931. mas en 10 general. que absolutamente ningiin sistema axiornatico podia producir todas las verdades relativas a Ia teoria de los mimeros.como va uno a justificar sus metodos de razonamiento can base en esos mismos metodos de razonamiento? Es como querer alzarnos en el aire tirando del borde de nuestros propios zapatos. (Por 10 visto. que formul6 ante la comunidad mundial de los matematicos (y metamatematicos) el reto siguiente:' demostrar rigurosamente -siguiendo quiza esos mismos rnetodos disefiados por Russell y Whitehead . desde luego.que el sistema definido en los Principia Mathematica es no solo coherente (a salvo de contradicciones). a pesar de que nadie estaba segura 1) de si toda la maternatica quedaba realmente englobada en los rnetodos disefiados por ellos. que toda proposicion valida de teoria de los nurneros puede desarrollarse en efecto dentro de la arrnazon trazada en los P. Se referia con esto a un conjunto pequefio de rnetodos de razonamiento de general aceptacion entre los matematicos. por ultimo. que de varias manes ras demolia por complero el programa de Hilbert.. y ni siquiera 2) de si esos rnetodos eran coherentes consigo mismos. sino tarnbien completo (0 sea. pues i.n maternatico del mundo podria llegar nunca a resultados contradictorios? Esta pregunta torture particularmente a David Hilbert. era perfectamente consciente del dilema y por eso expreso la esperanza de que pudiera encontrarse una dernostracion de coherencia 0 completitud basada unicamente en modos "finitistas" de razonamiento. Entonces. al menos en la medida en que el razonamiento se aplica a la maternatica.). salvo que se tratara de un sisterna no coherente (!). Coherencia. pero ocupo la cabeza de muchos de los mayores maternaticos del rnundo durante los creinta primeros afios del presente siglo. ) .esnips. ~Era absolutamente claro que siguiendo los metod os de Russell y Whitehead ning6. EI trabajo de COde! revelaba no s6lo que habia "agujeros" irreparables en el sistema axiomatico propuesto por Russell y Whitehead. cuyos autores se propusieron derivar toda la maternatica de la logica.

. y entonces el los expulsaba furiosamente. corriendo tras ellos por la calle. pero los hizo muchisimo menos interesantes para los matematicos. fue famoso en vida por la vigorosa carnpafia que emprendi6 para limpiar a Londres de "plagas callejeras". the 1. A. Babbage. Pascal y Leibniz disefiaron maquinas capaces de realizar ciertas operaciones fijas (suma y multiplicaci6n). Su invento inicial.". La ironia ultima de todo ello es que la demostraci6n del Teorema de Incompletitud de G6del suponia implantar la paradoja de Epimenides en el coraz6n mismo de los Principia Mathematica. El primer humano que concibi6 el inmenso potencial computador de la maquinaria fue el londinense Charles Babbage (1792-1871). obra que se tenia por un bastion invulnerable a los ataques de los Budes Extrafios. En el siglo XVII. los organillos sobre todo. pp.y es esta una de las consecuencias mas perturbadoras del trabajo de Godel> los misrnisimos P. "4 A diferencia de todas las maquinas diseriadas hasta entonces. "El camino que me ha llevado a ella . no eran programables. entonces _. Los organilleros. para decirlo en jerga actual. Babbage se obsesion6 con una idea mucho mas revolucionaria: su "Maquina Analitica". Cuando sali6 a la luz el articulo de G6del. Passagesfron: 145·146. fue tambien uno de los primeros que lucharon contra la contaminaci6n por el ruido. M. . Inteligencia Artificial.escribi6 con muy poe a modestia . por sacar de quicio al pobre hombre.esnips. era una quimera: en caso de que pudiera hallarse esa demostraci6n usando 5610 metodos contenidos en los P. computadoras. La idea de maquinas calculadoras automaticas andaba en el aire desde hacia tiempo. Pero estas maquinas no tenian memoria y. M. 28 Introducci6n: www. M." iba a poseer al misrno tiempo un "alrnacen" (memo4 Charles Babbagc.com/web/Scientia Of rend a rnusico-lcqica . el mundo estaba casi a punto de producir computadoras digitales e1ectr6nicas. podia generar ta bIas maternaticas de muchos tipos mediante el "metodo de diferencias". la "M. la "Maquina de Diferencias". Londres l~b·1(reimprrso PI> 1968). puesto que demostr6 que los objetivos perseguidos par Russell y Whitehead eran ilusorios. Babbage. Es verdad que eI Bude Extrafio de Godel no destruy6 los Principia Mathematica.. personaje que pudo casi haber salido de las paginas de los Pickwick Papers.11"01" Philosophn. resultarian no ser coherentes. D. Pero antes de construir ningun modelo de "M. Actualmente reconocernos en Babbage a un hombre que se adelant6 cien afios a sus tiempos: adem as de ser el inventor de los principios basicos de las computadoras modernas. venian a darle serenatas a toda hora del dia y de la neche.es pro· bablemente el mas enmaraiiado y complejo que jamas ha ocupado la inteligencia humana.demostrar la coherencia de un sistema como el presentado en los P.

pp. el estudio de la computaci6n mecanica y la psicologia de la inteligencia. Pero 2acaso su aguda inruicion no podia permitirle sonar en la vastedad del campo que iba a abrirse con la domesticacion de la electricidad? En nuestro siglo el ambiente estaba ya listo para las computadoras.particularmente si la Maquina era capaz de "comerse su propia cola" (como describio Babbage el Bucle Extrafio que se da cuando una maquina tiene acceso a su propio programa almacenado y 10 altera). Lovelace. dija poeticamente una vez que "la Maquina Analitica teje diseiios algebraicos tal como el telar de Jacquard teje flares y hojas". Por desgracia. Nueva York. 248249 Y 284. AI igual que Babbage. teoria intimamente ligada a 'la metarnatematica. Charles Babbag» "lid His Calculating Engines. Babbage tuvo una vision de numeros entrando y saliendo en enjambres del molino bajo el control de un programa contenido en tarjetas perforadas. el Teorema de Codel no tard6 en tener en la teoria de la cornputa- '. La inspiracion de esta idea Ie vina del telar de Jacquard. Menabrea. Estas unidades iban a estar hechas de mil y mil complicados cilindros dentados. "podria componer piezas de music a refinadas y cientificas. Esos mismos afios vieron desarrollarse a saltos y brine os la teoria de las computadoras. Pero casi de un mismo resuello afiadia esta advertencia: "La Maquina Analitica no tiene la men or pretension de originar nada.S escribi6 que la "M. Leibniz. Entre 1930 y 1950 se diseiiaron y construyeron los primeros "cerebros electronicos gigantes". "Ske/ch oj the A"a!_vlical Engine tnvenlrd b» Charles Babbage" (Ginebra. A. su empleo del tiempo presente puede inducir a error: nunea lleg6 a construirse una sola "M. En un trabajo de 1842. Babbage y Lady Lovelace. De hecno. Una amiga de Babbage. 1961. de cualquier grado de complejidad y de cualquier extension". la brillante pero malagrada condesa Ada Lovelace (hija de Lord Byron).ria) y un "molino" (unidad encargada de calcular y de hacer decisiones). Y si Babbage sofiaba con la creacion de partidas autornat icas de "garo" y de ajedrez." Aunque enterrdia bien las potencialidades de la computaci6n artificial.com/web/Scientia 29 . esas si las puede realizar todas. maquinaria contralada par tarjetas perforadas y capaz de tejer disei'i. A. Lady Lovelace era esceptica en cuanto a la creaci6n artificial de inteligencia. que catalizaron la convergencia de tres zonas anteriorrnente inconexas: la teoria del razonamiento axiornarico. con melodias y armonias codificadas en sus cilindros rotantes. Las cosas que sabemos como ordenarle hacer . Morrison. Introducci6n: Of rend a rnusico-Ioqlca www. F. Lady Lovelace era muy consciente de que con el invento de la Maquina Analitica la humanidad Ie estaba guiiiando e1 ojo a la inteligencia mecanizada . 1842). rnaquinas que dejan arras los mas alocados suefios de Pascal." "podria actuar sobre otras casas aparte del niimero". reirnpreso en P. y E.os asombrosamente eomplicados. cornentario sobre el articulo de L. tra bados entre sf con engrana jes dispuestos en formas increiblernente complejas.esnips. A." Y Babbage muri6 en la desilusion y la amargura. ella declaraba que la Maquina . Lady A.

s. a revolcarse en ella. son el epitome de la inconciencia.entre la conduct a nointeligente y la conducta inteligente: mas aun. caracteristicas de la inteligeneia: responder muy flexiblernente a las situacionc.com/web/Scientia ml·l!'l. el solo decir que existe una tajante raya divisoria es probablernente una estupidez. Hacia 1950-1955. halIar sentido en mensajes ambiguos 0 contradictorios: reconocer la importancia relativa de los diferentes elementos de una situacion: encontrar semejanzas entre varias situaciones. se habria quedado mudo de estupor apenas un siglo despues de su muerte -10 misrno por las maquinas nuevas que por sus inesperadas limitaciones. cuyas capacidades paredan aumentar y aumentar mas alla de la capacidad de profecia de sus constructores. la inteligencia mecanizada parecia estar ya a tiro de piedra. y uno de sus principalesobjetivos es lograr que el lector se anirne a encarar la contradiccion sin ningtm miedo. pese a las difereneias que puedan separarlas: descubrir diferencias entre varias situaciones. se construian tam bien computadoras de verdad. los mas seguidores de reglas. (Habra una razon profunda para esa inacabable y misteriosa esquividad de la meta? No hay quien sepa donde esta la raya divisoria . el hombre que dijo una vez que gustosamente darla todo el resto de su vida a cambio de regresar a la Tierra quinientos alios despues y hacer. a saborearia. Cosa ir6nica: justarnente en los dias en que se estaban trazando estos limites en cierto modo sobrecogedores. 10 animado y 10 inanimado. 10 malo era que por cada estorbo que se dejaba atras apareda siernpre otro nuevo estorbo cerrando el paso a la creacion efectiva de una autentica maquina de pensar. Pese a su gran rapidez. Por su naturaleza misrna. a desmenuzarla. guiado por alguien. los mas privados de deseos. Aqui nos topamos con algo que suena a paradoja.:I . para que al terrninar la lectura se vea duefio de nuevas ideas sobre el abismo al parecer insalvable entre 10 formal y 10 informal. salir can ideas novedosas.ci6n un principio paralelo (descubierto por Alan Turing). ~Como programar entonces la conduct a inteligente? Una de las tesis principales del presente libra es que no hay contradiccion alguna. 30 lntroduccion: Ofranda www. pese a las sernejanzas que puedan vincularlas. desde luego. 10 flexible y 10 inflexible. Babbage. a darle vueItas. que reveia la existencia de "agujeros" ineluctables hast a en la computadora mas potente que pueda imaginarse.esnips. Pero hay capacidades que son. sacar provecho de circunstancias fortuitas. las computadoras son los animales mas inflexibles. sintetizar nuevos conceptos sobre la base de conceptos viejos que se roman y se reacomodan de nuevas maneras.ir:n-lnnir. un recorrido cientifico de la nueva era durante 5610 tres dias.

y Bach En 1754. recien impresa en calcografia.com/web/Scientia 31 . Budes Extrafios fundados en reglas que. La flexibilidad de la inteligencia es resultado del enorme numero de reglas distintas y de niveles distintos de reglas que existen . . 0 bien (y esto Ie va a parecer segura mente mas portentoso) examine el Coral que durante su ceguera dicta Bach a una pluma ajena: Wenn WiT in hochsten Nothen seyn. de cornponer algo. 0 expresar un Introducci6n: Of rend a rnusico-toqtca www. tiene que haber reglas en toda clase de niveles distintos. Otras situaeiones son mezcla de varias situaciones esrereoripadas. pero que qued6 inconclusa por haberse interpuesto la ceguera del autor. La complejidad de nuestro entendimiento parece a veces tan abrumadora que el problema de en tender la inteligencia se nos antoja insoluble. y entonees hacen falta reglas para decidir cual de las reglas "Hanas y simples" hay que aplicar.esnips. directa 0 indirectamente. sentimos que es err6neo postular algim tipo de regIa capaz de gobernar la conducta del ser humano. y observe el arte que en ella esta encerrado. . Tiene que haber "metarreglas" con que modificar las reglas "Banas y simples". En el meollo de la inteligencia hay. La raz6n de tantas reglas que operan en tantos niveles distintos es que el ser humano se enfrenta en la vida a millones de situaciones de tipos completamente hererogeneos.No es otra cosa 10 que persiguen las investigaciones sobre Inteligencia Artificial (IA). Quien desee convencerse de ella examine atentarnente la ultima obra fugal del ya elogiado Bach. Bach. etcetera. de desear . aunque tomemos la palabra "regla" en el sentido ampllsimo (abarcador de muchos niveles) que antes le dimos . Estoy convencido de que no tardara en necesitar su alma si qui ere captar todas las bcllezas en el encerradas. y asi hasta nunca acabar. se alteran a si mismas... En eiertas situaciones existen respuestas estereotipadas para las cuales bastan las reglas "llanas y simples". Tiene que haber muchas reglas "llanas y simples". Pero ~que clase de "reglas" podria !legar a abarcar todo eso que para nosotros es la conducta inteligente? Desde luego. movia los ojos. sin duda alguna. un te61ogo de Leipzig. Johann Michael Schmidt. cuatro alios despues de la muerte de 1.S. y no digamos si desea rocarlo para su propio deleite. 0 de hacer nada sernejante. yen seguida "metametarreglas" con que modificar las metarreglas. etcetera. escribi6 este notable parrafo en un tratado sobre musica y sobre el alma: Hace no muchos afios lIeg6 de Francia la noticia de que alguien habia fabricado una estatua que podia ejecurar varias piezas en la Fleuttraoersiere.las rnaquinas inflexibles de que modo ser flexibles. Yes un especraculo singular el que ofrecen esos investigadares de IA que afanosamente toman largos conjuntos de reglas y los arman en formalismos estrictos para decirles a. La estatua se lIevaba la flauta a los labios y luego la retiraba. . Otras situaciones no pueden clasificarsey entonces hacen {alta reglas para inventar nuevas reglas . Pero nadie ha inventado todavta una imagen capaz de pensar.

a 10 largo del Capitulo que sigue. en forma ligeramente disfrazada.5·256.esnips. 2r. 10 que se es que un dia escribi "Fuga" como encabezado de uno de los primeros Dialogas y que desde entonces se me qued6 clavada la idea. en una u otra forma. pp. filosofo residente en la corte de Federico el Grande. EI primero de mis Dialogos. Esto no es tan disparatado. Intitulada par el "La que dijo la Tortuga a Aquiles".com/web/Scientia Of rend a rnusico-loqica . El pro· pia Bach solia recordarles a Sus discipulos que las diversas partes de sus composiciones debian eomportarse a manera de "personas conversando un as con otras. y luego. de otra distinta. que merece ser mucho mejor conocida de 10 que es. Han pasado ahara mas de 200 afios. 32 Introducci6n: www. EL presente libro se propone. En cuanto comence a escribir Dialogos los relacione de alguna manera con formas musicales. autor de L'Homme machine ("El hombre maquina") y Materialista Par Excelencia." . sobre alguna de las composiciones de Bach. Tal vez he tornado esa sugereneia un poco mas a la letra de 10 que Bach mismo pensaba. los cuales me llegaron de Zenon de Elea a craves de Lewis Carroll: Zen6n de Elea. desempefia un papel importante en el presente libro. inventor de paradojas.juicio sobre el autor. cuando en realidad hablo. La paradoja de Carroll. esas imagenes sirven de trasfondo inruitivo para una presentaci6n mas seria y abstracta del concept a en cuestion. como se hace en una cornpaniaselecta''. Thr Bach Reader. en el nivel superficial. Una de sus paradojas es una alegoria que tiene par protago· nistas a Aquiles y la Tortuga. Mas tarde decidi hacer que cada Dialogo estuviera modelado. Invenci6n a ires voces. refiere como invent6 Zenon esa simpatica pareja. Me he decidido par esta estructura para poder presentar dos veces los conceptos 'nuevos: casi siempre cada concepto nuevo se introduce rnetaf6ricamente en un Dialogo que expone una serie de imagenes concretas y visuales. vivi6 en eI siglo V antes de nuestra era. de estar refiriendome a taJ 0 cual idea. Todo cuanto proponen los cam peones del Materialisrno tiene que derrurnbarse frente a este solo ejemplo. y sigue trabada todavia la pugna entre los que estan can Schmidt y los que estan can La Mettrie. Muy probablemente alude Johann Michael Schmidt al principal de los "campeones del materialisrno". Bach" Mi libro est a estructurado de manera poco habitual: como un contrapun· to de Dialogos y Capitulos. Escher. " David y Mendel. se llama en rni libro Invenci6n a dos voces. En muchos de los Dialogos doy la impresion. Julien Offroy de la Mettrie. No recuerdo en que momento oeurri6. dar una perspectiva de esa pugna secular. entre otras casas. En un principia los personajes de mis Dialogos eran solo Aquiles y la Tortuga. En 1895 Lewis Carroll reanim6 a Aquiles y a la Tortuga para ilustrar su nueva y per· sonal paradoja del infinito. "Gcdel.

jarnas nos queda la menor incertidumbre en cuanto a la unidad que reiine a todas las creaciones de Bach. 7 Ibid . por mas que-en el curso del estudio podamos ir descubriendo interrninables sutilezas. Escher. sino sombras proyectadas en distintas direcciones por alguna esenda salida central. p. Pero al final me di cuenta de que Godel. A veces las relaciones entre las diversas secciones crean un laberinto de hi los entreverados que solo un analisis detallado puede desenredar . en las relaciones entre secciones distintas. y. Me 10 imagine de las dimensiones de un foUeto. para mi. sin embargo.1 He procurado urdir una Eterna Trenza de Oro con estos tres hiles: Godei. lntroduccion: Of renda musico-locica www. pero de nino guna manera se trata de una regIa indispensable. Bach.com/web/Scientia 33 . Mi inrencion inicial era escribir un ensayo en cuyo centro iba a estar el Teorema de Codel. Tarde algCtn tiempo en comprender la necesidad de hacer explicit a esta conexion en vez de deja rla funcionar solo como fuerza motivadora personal..esnips. Las estructuras asl originadas suelen ser simetricas. hay POf 10 general dena numero de rasgos dominantes que proporcionan una orientaci6n adecuada a primera vista 0 a primer oido. hasra I" recurrencia de determinado principia de elaboracion 0 la reaparicion de una simple alusion teo matica. Trate de reconstruir el objeto central y 10 que me result6 es este libro. Escher y Bach no eran. par un lado. Estas reo laciones iban desde la identidad total de pasajes.espero. 40. Pero mis ideas se expandieron como una esfera y no tardaron en toparse con Bach y con Escher. par otro. que el resultado sea fiel a su significado. en general. Sin embargo. Fuente de particular inspiracion han sido ciertos rasgos de las composiciones de Bach que desde siempre me han irnpresionado y que de manera tan excelente describen David y Mendel en The Bach Reader: Su forma se basaba.

diria yo. al final de la pista? Me recuerda en cierta forma un grabado de rni artisra preferido. demuestro que esa bandera es irnposible. . donde acaba la pista. que es el predilecto de Zenon. 34 www. Tortuga: Su argumento es persuasivo.'t. eso desde luego: no hay duda de que es bonita. Aquiles: (Una carrera? [Pero que disparate! IYo. Somos invento de Zenon (como veremos muy pronto). Tortuga: Es la bandera de Zenon. Tortuga: Podrta usted darrne un poco de ventaja. Aquiles: ~Que es esa extrafia bandera. alli. Aquiles. tno le parece? Aquiles: Ah. y la razon de nuestra presencia aqui es que vamos a jugar una carrera usted y yo. senora T. y usted. Aquiles: ~No le parece a usted que el agujero que tiene es como los agujeros de la banda de Mobius que una. el mas veloz de todos los mortales. senora T.w. Aquiles: A proposito de Esencias con Maviiscula.7JPnrinn a frp:. en una pista poluorienta.esnips. Can 10 eual. ttrrr e« .com/web/Scientia in. ~nunca se ha preguntado usted cual es la Finalidad de la Vida? Tortuga: Caramba. campeona de pachorra entre todos los pachorrudos! No Ie veo el menor chiste a una carrera asl.vez dibujo Escher? Algo raro sucede en esa bandera. el mas ueloz de todos los mortales] y una Tortuga estrin conuersando at rayo del sol. A to lejos. no cabe duda. saluo un Lugar en que le han recortado a la tela uri agujerilo en forma de anillo a traces del cual puede verse el cielo.Invensi6n a Tres Voces Aquiles (guerrero griego. y yeo que jamas he tenido tiempo para ocuparme de Esencias can Maywscula. hay un asta de la cual pende una bandera rectangular de gran tamano. M. y me es forzoso aceptar que esa bandera es imposibIe en efecto. eso es completamente distinto. Es una Esencia can Mayuscula. Aquiles: Un mucho. Aquiles: c:Nose ha preguntado nunca por que estarnos aqui. A quiles: [Pero el cero no se ha inventado todavial Tendran que pasar unos milenios para que 10 invente un maternarico hindu. C. Escher. ni quien nos invento? Tortuga: Ah. La bandera es de color rojo maci. Tortuga: EI anillo que le han recortado tiene la forma del numeral cera. Nunca he tenido ocasion de analizar la Belleza. Tortuga: iHabra alguna relacion entre su belleza y su imposibilidad? No es que yo sepa de estas cosas. no. Pero de todas maneras es bonita.

Escher (. ahara 10 reeuerdo: el famoso koan zen sabre el maestro zen. ni la bandera: 10 que se mueve es la mente".esnips. C. Banda plunrhus. Aquiles.com/web/Scientia . ya. El otro decia: "El aire se esta movierido". de Mobius. y 10 mas seguro es que temprano. es cosamuy simple. El Movirniento Es Inherenternente Irnposiblc. Toriuga: ~Koan zen? <Maestro zen? ~De que est a usted hablando? Aquiles: Va aSI: dos monjes disputaban acerca de una bandera. Zenon. y les dijo: "Ni cl aire. Tiene usted r azon . Zenon no es Invenricn a t res l'oces www. A decir verdad . 1(61). no va a ser asi. Tort uga: Me temo que este ustcd algo confundido. de /\:1. Aq uiles: Pero tarde 0 temprano la alcanzare a usted .e:mbadn I'll niadera im prcso ['1/ ("11(111"11 Tortuga: No me opango. cs s610 en la mente donde parece posible el movimiento. ~me entiende usted? Segun Zenon. Uno decla: "La bandera se esta movicndo". Ello demuesrra con bastante elegancia Aquiles: Ya.Figura 10. Zenon espera utilizar nuestra competeneia para demostrar que el movirniento cs imposible. Tortuga: Si las cosas sucedcn de acuerdo can Ia paradoja de Zen6n. Acen6 a pasar par allj ('I S{'XlQ patriarca .

correr mas vitriolol jAbandonen su diseordia! Yo me eomprometo a resolverles su problema en un rnornentito. muy perplejo'i: iY eso? ~C6mo habra averiguado mi nombre? A quiles: ~Estarian ustedes dispuestos a prestarme oidos mientras les explico por que mi Teorema es verdadero? Esta misma tarde. Es un filosofo griego. (querria usted hacernos participes de sus pensamientos en torno a este problema? Zenon: Can todo gusto. Dentro de unos siglos. Ni el aire ni la bandera: ninguno de los dos se esta moviendo. Aquiies: (rascdndose fa cabeza. senor. El aire es el que se rnueve. el sexto patriarca es Zenon . por 10 tanto no puede estar moviendose. AquiJes. A quiles: Pero entonees estoy heeho un lio. (En este momento acierta a pasar Zenon. justamente . Oigamos 10 que quiere decirnos. El mismo. [Vaya pleito! [Y en un dia tan despejadol Aquiles: Este fulano seguramente se esta haciendo elloeo. Aquiles. Teorema del cual se sigue orro teorema mas grande aun. La bandera es imposible. no hay cosa alguna que se mueva. nacido en la ciudad de Elea (que queda a rnedio camino entre los puntos A y B).com/web/Scientia invenci6n a ires voces .esnips. senora Tortugal [Mire como ondea la bandera! Me encanta ver esas olitas que van rizando la tela tan suave. En una de esas paradojas. Y la razon de ella es que he descubierto un gran Teorema que dice: "El Movimiento es Inherentemente Imposible". el Teorema de Zenon: "EJ Movimiento Inexiste" _ I Aquiles: {'Teorema de Zenon"? Digame.} Zenon: [Holal [Muy buenas tardes! iQue pasa? ~Que hay de nuevo? Aquiles: Que la bandera se esta moviendo. [Y el anillo que le recortaron esta ondeando tambienl Tortuga: No sea usted tonto. despues de salir del punto A. " (Sopla de repente una brisa suave y tibia. Tortuga: Que el aire se esta moviendo. Recuerdo clarisimarnente como solia yo recitar y recitar los nombres de los seis patriarcas zen.ustedes su disputa! iNo dejen .. Desconocido Senor. Mas aun. va a tener papel central esta competencia de velocidad entre usted y yo.. siempre decia: "El sexto patriarca es Zenon.) [Ahl [Mire. he tornado el camino de Elea sin mas proposito que encontrar a alguien que quisiera concedermeun poco de 36 www. ~es usted de casualidad el filosofo Zenon de Elea? Zenon: Sl.maestro zen ni cosa que se le parezca. Oh. Zenon: [Amigos. Tortuga: No se apresure. este Zenon se hara celebre por sus paradojas acerca del movimiento. Amigos Mios! [Suspendan .

. de manera que Aquiles continua a la zaga. y que toda pluralidad." Zenon: Durante ese instante. hmm . para que Aquiles alcance ala Tortuga va a ser preciso que este juego de alcanzame-si-puedes" se juegue un ntimero INFINITO de veces. de veras . Una sola cosa les pido. Vay a ilustrarlo can dos personajes que son Invento mio: Aquiles (guerrero griego. digamos. inmutable e inalterable. Llegar a ese punto es. Tortuga: lJi ji ji jil Aquiles: Hmm . Pues veran ustedes: mi Maestro. De unas cuantas zancadas ha llegado Aquiles al punta de donde partio la tortuga. no faltaba mas! Iluminemos usted. tenga la bondad. me enseii6 que la realidad es una. la senora Tortuga. diez varas. Inoencton a (res voces 37 www. En un relampago. no hallo donde esta 10 malo. para Aquiles. hmm . podra alcanzar NUNCA ala Tortuga.com/web/Scientia . hmm . Pero todo el mundo anda corriendo de aqui para alia.. Zen6n: Gracias... Zenon: eNo es excelente como quebradero de cabeza? Es mi paradoja predilecta. pero yo les demostrare a ustedes 10 absurdo de sus burlas.esnips.. el quinto patriarca. Pero por mas vueltas que Ie day. todo eambio y todo movimiento son meras ilusiones de los sentidos... no quiero abrumarlos can problemas mios. que haee apenas unos momentos se expresaba de usted can gran veneracion y mencionaba especialmente sus paradojas. Aquiles cubre tambien esta distancia. 10 cual equivale a decir que Aquiles no .escuchando sus excentricas teorias? Aquiles: [Pero claro. Algunos se han reldo de esas ideas. en una pista polvorienta. Pero perd6n. y nadie me ha hecho caso.unos cuantos. hmm . Comienza entonees la carrera. Como ustedes pueden ver. la Tortuga ha conseguido . un transetinte que se topa con ellos los persuade a jugar. sino tambien por mi compafiera. Aquiles: 1J0 jol . Y me consta que estoy hablandn no solo por mt. cuestion de un instanre. una carrera cuya meta es una bandera distante que ondea al soplo de la brisa. Mi argumento es sencilllsimo. Vamos a suponer que a la Tortuga. Aquz'les: lJal Zenon: Y ahara Ia ventaja que la tortuga Ie lIeva a Aquiles es salo de una vara. . A quiles: de je jel Zenon: Solo que en ese relampago brevisimo la Tortuga ha logrado adelantar un poquidn mas.. No tienen ustedes idea del desaliento que Ie entra a uno cuando se topa con negativa tras negativa..atencion y escuchar mi bien afilado argumento. eAccederfan ustedes a complacer a este filosofo viejo y tonto durante unos cuantos momentos . se le da una ventaja de.avanzar otro poquito. en mi cuento. por ser un corredor mucho mas lento. Este argumentito me suena mal. sin embargo.. el mas veloz de todos los rnortales) y una Tortuga.

Tortuga: . y para cubrir la distancia restante tam· bien hay que recorrer primero la mitad. y simplemente la exploto de distintas rnaneras. hay que recorrer primero la mitad del trayecto. mire: usted aeaba de exponernos eso que dentro de unos siglos va a llamarse "la paradoja de Aquiles" de Zenon. Zenon. no se.com/web/Scientia . como ustedes ven. y asi mas y mas veees. basada en un grabado de Escher? Zenon: Esa misma. . ~quiere usted ocupar su posicion a diez varas de donde estamos? (La tortuga avanza diez varas en direccion de la bandera) Tortuga y A quiles: . . pero la demostracion de que EI Movimiento Es Inherentemente Imposible (y. por eonsiguiente.no es asi? Zenon: [Pero que eabeza la mial tiene usted toda la razon. Aquiles: Estoy segurlsimo de que esos argumentos eontienen una falla. . pero ereo que su euento no esUi ilustrando el principio que debiera.. para llegar de A a B. estas dos paradojas estan hechas en realidad de una sola materia. la eual demuestra (jejeml) que Aquiles no alcanza nunea a la Tortuga. mmm .esnips.. de que EI Movimiento Inexiste) esta en otra de sus paradojas.Duda usted de la validez de mi paradoja? .Tortuga: Perdoneme usted. yo no he tenido sino una sola Gran Idea. pero no pueden estar bien.Que Ie parece si usted y la senora Tortuga la toman como meta de una carrera? Estara usted de acuerdo en darle a la senora T una justa ventaja de. la "paradoja de la dicotomia".. Zenon: . Es la que expliea como.. Porque.Que tal diez varas? Zenon: Me parece perfecto: diez varas. donde acaba la pista? Aquiles: (La imposible. . Pero. A quiles: Cuando usted guste.Listos! Zenon: JEn sus marcas! [Preparensel [Yal 38 Inuencion a Ires voces www. por supuesto. Hahlando eon franqueza.Por que no la sometemos a una prueha? ~Ve usted esa bandera raja alii. 'Zenon: JEstupendor JQue emocionl [La prueba empirica de un Teorerna mio que esta rigurosamente demostrado! Senora Tortuga. No consigo ver donde.

y por extrafio que parezca. mientras que la primera letra de '!!SIa oracion' es 'e'. ademas. U. es que no se debe proceder al margen de las reglas. la primera Ierra de esta oraci6n es "P". "cPuede usted producir MU?". Seran establecidas determinadas reglas.es que ernplea s610 tres letras del alfabeto: M.com/web/Scientia 39 . yes denorninado a menudo "sistema de producciondePost". yen ello consiste la practica del juego a traves del cual todo sistema formal puede llegar a asemejarse a un arte. como es logico. espero que. estarA ubkadafuera de las comillas. EI requisite principal. es el desafio.CAPITULO I EI acertijo MU Sistemas formales de este libro es la de sistema formal. Lo primero por decir a prop6sito de nuestro sistema formal . a fin de provocar su euriosidad. emplearemos las siguientes convenciones: si aparecen en la misma tipografla que el resto del texto. cuya aplicacion permitira transformar una cadena en otra distinta. el lector descubrira que esra violando repetidas veces el Requisito de Formalidad. Si alguna de tales reglas es utilizable en cierto momenta. ellector sienta el deseo de ampliar aunque sea minimamente esta nod6n: asi. y no a Ia cadena de que se hable. Sin embargo. "_R_eqyisiW deEQ_rmalida4'~Jpodemos llamar a esta limitacion. I. Por ejemplo. Ef acertijo MU www.el sistema MIU . El tipo de sistema formal que utilizo fue creado por el logico norteamericano Emil Post durante la decada de los veinte. Por ejemplo. Este capitulo expone un sistema formal. digamos que esa cadena sera M I. La puntuacion que corresponda a la frase. pero no habra nada que indique cual regla es la adecuada en caso de que sean varias las utilizables. he planteado un modesto aeertijo.' Para interrurnpir el suspenso. Esto significa que las cadenas del sistema MIU estarian formadas exclusivarnente por esas tres letras. y se desea aplicarla. no hay inconveniente en hacerlo. se debera disponer de una cadena (se trata de una cadena de letras). que probablemente no deba ser subrayada en el transcurso de este capitulo. no se U$Bran comillas. sin embargo. predigo que cuando juegue con algunos sistemas formales de los capitulos siguientes. exeepto si ha trabajado anteriormente con sistema forrnales. seran sefialadas mediante comillas simples 0 dobles. cuando la cadena aparezca en otra ripografla. obviamente. la primera Ietra de otra es 0. a menos que sea imprescindible por razones de claridad.esnips. Para cornenzar. Es necesario optar. Las que siguen son algunas de las cadenas del sistema: UNA DE LAS NOCIONES CENTRALES 1 Para referirnos a las cadenas.

esta cometiendo un error. se puede obtener MUMUM. He aqui la primera REGLA I: Si se tiene una cadena no estan "en poahora es MI. se le puede agre- Dicho sea de paso. que muestracomc.com/web/Scientia . cuya ultima letra sea I. Ipero primero es necesario obtener MUI Quisiera hacer un ultimo comentario acerca de la letra 'x': el modo en que esta integra el sistema fonnal no es el mismo que caracteriza a 'M'. porque las cadenas del sistema MIU nunea pueden induir 'x'. MI e 1M son d06 cadenas diferentes. a las cadenas del sistema. una vez que se tiene MU. es preciso ajustarse a tal decision (hasta que se vuelva a aplicar la regIa: entonces sera posible decidir otra cosa). Ohservemos el tercero de los ejemplos anteriores. por si no se 10 ha advertido. En consecuencia.esnips. atin der" deljugador. Ahara. Si alguien suma a su "coleccion" una cadena que contenga una 'x'. Unos pacos ejemplos ilustraran esto. Una cadena de simbolos no es precisamente un "saco" de simholos. que a continuacion ampliar el lector su coleccion privada. SOenuncio. Nos resulta util contar con alguna manera de referimos en general. Dado MUM. se puede ohtener MUU. Dado MU. Por ejemplo. y esa es la funcion de 'x': representar cadenas arbitrarias. 'I' y 'U'. simb6licamente. donde el orden interno seria indiferente. se puede obtener MJUIU. se puede incorporar otra cadena a la colecci6n. la unica que este posee hasta lo mediante Ia aplicaci6n de las reglas.MU' UfM MUUMUU UIIUMIUUIMUIIUMIUU Pese a que todas las precedentes son cadenas legitimas. Dado MIU. pero una vel que se ha decidido cual es la cadena representada. la tercera regla: 40 EI acertllo MU www. al decir "cadena" se da por sentado que las letras estan situadas en un orden establecido. En realidad. la letra 'x' simplemente representa cualquier cadena. podra regIa: gar una U al final. He aqui Ia segunda regla: REGLA II: Supongamos que se tenga Mx. puede agregarse Mxx a la colecci6n. En tal caso.

en lugar de ser demostrados.)5 La solucion del acertijo MU aparece en otra parte de este libro. cadenas de stmbolos y. -nas. r. sino investigarla. puede elaborarse una nueva cadena sustituyendo Ejemplos: Si en una de las cadenas de la coleccion aparece la secuencia III por U. hay que tratar de obtener MU. Estas. aquf.esnips. la cualllama de esemodo a las afirmaciones formuladas en lenguaje corriente cuya veracidad ha sido probada por medio de una demostracion rigurosa. Dado Mill. Lo importante ahora no es leer la solucion. por ejemplo. en cambio. Si ellector ya hizo algunos intentos para producir MU. . a continuacion. se elabora MU. Dado MIIII.. como si los EI acertijo MU www. se puede elaborar UMUMU. esta Dado UUU. de una de las cadenas. tendra elaborada su coleccion personal de cadenas. la aplicacion de esta regla no permite ninguna transformacion (las tres III deb en ser consecutivas). obtener Mill. se llaman teoremas. por completo diferente al que es comun en el ambito de la matematica. Dado IIMII. generadas mediante el empleo de las reglas. el Teorema de Zenon sobre la "inexistencia" del movimiento. como en el ejemplo siguiente: Dado M U. no hay necesidad de considerar los teoremas como afirmaciones: son. No hay que preocuparse si no se 10 consigue: 10 principal es hacer un pequefio intento. a fin de tomarle el gusto a este acertijo. En los sistemas formales.. 0 el Teorema de Euclides acerca de la infinitud de los numeros primos.REGLA III: III.com/web/Scientia 41 . Eso es todo. Dado MUUUIII. axiomas. se obtiene U. solo son producidos. El sentido del termino "teorerna" es. Bajo ninguna circunstancia ha de pensarse en emplear la regIa en sentido inverso. Diviertase ellector. se obtiene MUIII. Las reglas son unidireccionales. simplemente. pennitida Si aparece UU en el interior su eliminacion. se puede elaborar MIU (tambien MUI). por otra parte. He aquila ultima: REGLA IV: ¢ Erroneo. Dado UMIIIMU.

explicira y punto por punto. Si alguien dice que probo MUIIU. EI concept a de derivacion esta acufiado siguiendo el modelo del de prueba. adoptare en mas laosiguiente convencion: cuando "teorema" aparezca con mayuscula inicial. de (4). gran cantidad de teoremas. Con el objeto de subrayar esta importante distincion en los significados de la palabra "teorema". ei concepto que quiero comentar en este desarrollo es el de derivaci6n. Lo que sigue es una derivacion del teorema MUIIU: (1) (2) (3) (4) (5) MI M 1\ Milil MIIIIU MUIU (6) MUIUUIU (7) MUIIU axioma de (1). se repite ahora el caso de que el significado tecnico difiere por completo del significado habitual. el acertijo MU plantea si MU es un teorema del sistema MIV. esas personas cornienzan a advertir ciertas propiedades en los teoremas que han elaborado: es aqui donde la inteligencia humana introduce la descripcion. aplicando aplicando aplicando aplicando aplicando aplicando la la la Ia la la regIa regia regIa regIa regia regia II II I III II IV Una derivacion de un teorema es una demostracion.esnips. Todo sistema formal cuenta can reglas de derivacion de simbolos. de (5). tales como las cuatro regIas del sistema MIU. de (6). Par ejernplo. de (3). se tratara de la acepd6n ordinaria: un teorema es una afirmaci6n formulada en lenguaje corriente cuya veracidad alguien prob6 a traves de cierto tipo de demostraci6n 16gica. Estas reglas son denominadas reglas de produccion. Cuando aparezca en minasculas. Esre teorema "gratuito" es un axioma. pero una derivacion es pariente lejana de una prueba. Al empezar. de una manera enteramente azarosa. utilizare en adelante ambas expresiones. Muy pronto. solo par ver que sucede. Un sistema formal puede tener cero. Por ultimo. en el curso de este libro apareceran ejemplos de todas estas variantes. MI.n sistema formal.e1aborara una maquina con arreglo a determinadas reglas ripograficas. uno. sonaria raro. Interior y exterior del sistema Muchas personas abordan el acertijo MU dedicandose a derivar. proporcione gratuitamente un teorema al lector. pero no sonaria tan raro si se dice que se ha derivado MUIIU. varies 0 inclusive infinitos axiomas. de (2). Bajo estas condiciones.com/web/Scientia . en realidad. del modo en que es produddo el mismo de acuerdo a las reglas del sistema formal. "teorema" estara empleado en su sentido tecnico: una cadena producible dentro de alg6. 0 bien reglas de inferencia. probablemente no era 42 EI acertl]o MU www.

pasado un rato. por mucho 0 muy bien que haya sido conducido. reside en que a la maquina le es posible actuar sin advertirlo. cosa imposible para el set humano. Quiero significar que es posible programar una maquina para que realice una tarea rutinaria. y la sigue repitiendo sin cesar durante horas y horas. cuyo atributo es obligar a que cada nuevo teorema reciba su primera letra de un teorema precedente. 0 bien. Es perfectamente posible -y muy facil. Tampoco estoy afirmando que toda persona. y luego reo pite la operacion. entonces. Hago notar que no estoy diciendo que todas las maquinas son necesariamente incapaces de efectuar observaciones refinadas: s610 algunas maquinas 10 son. Pero el lector ya sabia muy bien esto. siempre.com/web/Scientia . la rnaquina no aprendera jamas a anticiparse al operador sumando un nuevo "I" por si misma. de un modo tal que la maquina jamas advierta ni siquiera los hechos mas obvios vinculados con 10 que esta haciendo. y podriamos inc1uir en la programacion la orden de que solo se detenga al general' U. Si alguien oprime el "1" de una maquina sumadora. apercibirse de determinados hechos vinculados con 10 que se esta hacienda es algoinherente a la conciencia humana. el lector habra podido comprenderlo a traves del analisis de las reglas. en consecuencia. Y luego. para agregar un ejemplo simple. puede conseguirse que las rnaquinas sean absolutamente no EI acertijo MU 43 www. Y ello no 10 asombra. La diferencia. y tales observaciones le permitiran comprender con claridad el problema: en el programa de computacion que hemos descrito la comprensi6n estara ausente. un automovil jamas captara la idea de que es necesario no chocar con otros autom6viles 0 con obstaculos cuando circule. Sin embargo. en realidad. Aun cuando se trate de una persona no muy aguda. efectiia ese tipo de observaciones. no dejara de formular algunas observaciones a prop6sito de 10 que esta haciendo. pero Nlle ocurre si le pide a un amigo que trate de general' U? Le parecera natural que. a pesar de que cualquier persona asimilaria muy rapidamente el comportamiento repetitivo. el amigo se lamente de no po· der evitar la inicial M. en realidad. un objetivo imposible. la gente actua a menudo sin ejercitar la observaci6n. en ultimo caso. en cambio.obvio para ellector que todos los teoremas iban a comenzar con M hasta que no hizo unos pocos intentos.programar una computadora para que genere teorema tras teorema del sistema MIU. 'tampoco llegara a aprender ni siquiera los trayectos mas habituales de su propietario. por consiguiente. ya descubierto eI modelo. Ha ocurrido aqul algo muy significativo: 10 anterior muestra una diferencia entre seres humanos y maquinas. Sere muy explicito acerca de 10 que quiero decir cuando seiialo que 10 anterior ilustra una diferencia entre seres humanos y maquinas. y de estar persiguiendo. Ellector ya sabe que una computadora as! programada no se detendria nunca. todas lasletras iniciales de los teoremas pueden ser obtenidas a partir de la primera letra del axioma MI: y esto constituye una demostracion de que todos los teoremas del sistema MIU deben comenzar con M.esnips.

sin aguardar que el program a rival desarro11ase el aburrido ritual del jaque mate. pero tuvo al menos la rescatable cualidad de advertir las situaciones sin salida. A pesar de que perdio todas sus partidas. donde tmicamente contados individuos tienen la lucidez de percibir un sistema que esta gobemando la existencia de much as personas. una persona que esta Ieyendo un Iibro puede quedarse dormida: en Iugar de seguir la lectura hasta terminarla. En re44 EI acertijo MU www. . e1 abandono del sistema en curso (ese programa de television). sin embargo. sino que imicamente una maquina podria efectuarla una y otra vez sin quejarse. Es probable que ello motive la opinion generalizada de que la inobservancia es el rasgo caracteristico de las maquinas. a partir de ese momento.observadoras. La persona A puede creer que comprende el problema. supongamas que una persona A esta viendo television cuando una persona B entra en la habitacion y muestra evidente desagrado. aetna del mismo modo que cuando se deja eJ libro a un lado y se apaga la luz. si alguien dice que cierta tarea es "mecanica" no quiere expresar que no puede ser realizada por una persona. un sistema que nunea antes habia sido identificado como sistema. en Canada. 0 si no. ya rnenudo con exito. No practicaba un buen ajedrez. La mayoria de las maquinas construidas hasta ahara. Por ejemplo. esos individuos suelen dedicar su vida ala empresa de eonveneer al resto de que realmente el sistema esta a11i. 0 sin aburrirse. por cierto. mostro un estilo: muchos de los expertos locales en ajedrez quedaron impresionados. Por ejemplo. par cierto. dije que la inteligenda puede brincar fuera de su labor. y retirarse de inmediato. modelos. un programa -el mas endeble de todos los que compedanpresento la caracteristica inusual de abandonar antes que el juegoterminase. con el objeto de examinarlo. pero eso no quiere significar que asi ocurra siempre. muchas veces basta una leve inciracien para conseguirlo.apagar la televisi6nl Hay casas. en todos los casos esto es buscar.esnips. Ahora bien. Pero la persona B puede tener un concepto mas radical acerca de que es "abandonar el sistema": es decir. En un tomeo de ajedrez par computadoras que tuvo lugar no hace mucho. cosa que no es posible can los seres humanos. acciona el baton selector en busca de un programa mejor.com/web/Scientia . e intentar solucionarlo mediante. en consecuencia. estan bastante cere a de la inobservancia total. y sin embargo ello nos parece 10 mas natural del mundo. IY que es preciso abandonarlol cHasta que punta las cornputadoras han sido ensefiadas a brincar fuera del sistema? Citare un ejemplo que sorprendi6 a algunos testigos. Brincos fuera del sistema Uno de los atributos inherentes a la inteligencia es la capacidad de alejarse mediante un brinco de 10 que esta hacienda. Se ha desplazado "fuera del sistema".

y por otro las enunciaciones u observaciones que se formulan acerca del sistema. simultaneamente. la otra reflejaria "nuestra capacidad de pensar". sintetizacion de varios pasos en EI acertijo MU www. por 10 que solo escribiriamos en ella letras M. y preguntandose por que no habla podido produdr MU. teniendo en cuenta que la vida esta coinpuesta por demasiados engranajes.esnips. volver a discutir el sistema MIU. Sin embargo. esbozo de ideas. En la esfera de los asuntos humanos. reflejarfa 10 que hacemos en ejercicio de "nuestra habilidad mecanica" . la via U EI acertijo MU rue enunciado de modo tal que alentase un cierto grado de busqueda dentro del sistema MIU. Quiza produjo MIU en alg6D punto del desarrollo que elaboro: esto es actuar dentro del sistema. Cuando se estudian sistemas formales. Una forma de diferenciar estas tiltimas seria contar con dos hojas de papel: una. Por otra parte. y U. I. de pensar acerca de 10 que esta haciendo. es capaz de actuar dentro de un sistema y. la via 1. por cierto. Pero no se afirmo que necesariamente habia que mantenerse dentro del sistema para obtener resultados. es importante distinguir entre 10 que se hace dentro del sistema.sumen. La via M. en ocasiones es 6til formular muy claramente ideas simples. manteniendose al principio en el interior del sistema. entrelazamientos y sistemas much as veces incoherentes. se alento tambien cierta oscilacion entre las dos modalidades de trabajo. 10 mismo que Ia mayoria de la gente. Quiza descubrio una razon para explicar por que no obtuvo MU: esto es pensar acerca del sistema. no hay duda de que la computadora no conto con aquella capacidad. sin pensarlo mucho. a fin de poder emplearlas como modelos en la cornprension de ideas mas complejas. se ha ido impacientando cada vez mas hasta el punto de salir del sistema. pero que luego. Por eso es que estoy hablando ahora de sistemas formales.com/web/Scientia 45 . poco a poco. en alguna medida. a menudo es casi imposible separar las cosas de forma que pertenezcan nitidamente al "interior del sistema" 0 al "exterior del sistema". mi interes no es presentar ambas modalidades como si fuesen absolutamente incompatibles: tengo la seguridad de que todo ser humano. a craves de la derivacion de teoremas. pero ya es hora de. por un lado. serfa simplista pensar de tal manera. Ahora bien. si se define "el sistema" como "efectuar movidas en un juego de ajedrez". y volcarlarnos en ella todo 10 que nuestra inteligencia sugiera: formulacion de reflexiones. utilizacion de abreviaturas taquigraficas (como la letra 'x'). En consecuencia. resulta claro que este programa conto con una refinada y anteprogramada capacidad para abandonar el sistema. si se entiende que "el sistema" es "todo 10 que ha sido programado para que la computadora haga". tratando de evaluar 10$ resultados obtenidos. Supongo que el lector habra abordado el acertijo MU.

y como consecuencia se puede esperar que. por supuesto): y hay otras dos que permiten reducirlas un tanto (tambien a traves de requisitos rigidos). Par 10 tanto. el easo de U yel easo de MU parecen ser enteramente distintos. a las que denominarernos Via mecdnica (via M) Y Via inteligente (via 1). pero otros ~ le escapan. No obstante. aunque ellector se dedique a ampliar y a reducir hasta el dia del juicio final. ya hemos observado que Uno puede ser producida de ninguna forma. Ciertamente. de que una verificacion algo mas elaborada distinga perfectarnente las cadenas que pueden ser producidas por aplicacion de las reglas. para luego extraerle elemento tras elemento hasta que no queden sino dos simbolos: 0 bien. Ahora bien. Pero no existe garantfa alguna acerca de 10 que puede ocurrir. modificacion de las reglas del sistema para ver que surge. Mas adelante haremos alguna referenda a aqueUas dos modalidades de abordamiento de los sistemas formales. Es de gran utilidad apelar a este metodo tan simple para detectar no teoremas. se terrnine produciendo MU. ya que la acurnulacion triple de les. Ello puede traducirse en una ampliacion gigantesca de la cadena. se elirnina. quiza MU sea una de ellas. de las que no Henan esta condicion.com/web/Scientia EI acertijo MU .uno solo. Para completar nuestras vias de modo que tengamos una por cada letra del sistema MIU. pero no son producibles. y todo 10 que se nos pueda ocurrir al respecto. Un rasgo muy obvio de U es 10 que obHga a reconoeer la imposibilidad de producirla: no la precede una M (teniendo en cuenta que todos los teoremas deben comenzar con M). Queda la posibilidad. incluiremos una tercera: la No via (via U). seguidos por otros similares.esnips. y no podra ser de otro modo. de una manera u otra. Hay dos reglas (I y II) que permiten aumentar la extension de las cadenas (aunque solo mediante formulas muy rigid as y precisas. ~quien dice que esta verificacion permitira detectar todos los no teoremas? Hay incontables cadenas que comienzan con M. Volveremos sobre esto algunos capitulos mas adelante. Es posible percatarse de que los mimeros 3 y 2 juegan un papel import ante . que consiste en la via Zen de aproximacion a las cosas. Tenernos que enfrentar aqui eI siguiente 46 www. y asi en mas. puede implicar sucesivos estadios de ampliaci6n y reducci6n alternados. sin embargo. la segunda hoja podra contener alguna conjetura a proposito de ello. Procedimientos de decisi6n Se puede observar que este acertijo cornprende reglas caracterizadas por dos tendencias opuestas: reglasampliadoras y reglas reductoras. menos satisfactoriamente. Esto significarta que la "prueba de la primera letra" es de utilidad limitada: sirve unicamente para descubrir un cierto mimero de no teoremas. Parece haber una variedad inacabable de instancias en las cuales pueden ser aplicados estos diferentes generos de reglas. y que la regia II permite duplicar la extension (fuera de la M). y la doble de Ues.

Esto producirfa tres nuevos teoremas: MIIU. Mlllllfll. Empero. y disfruta dedicandolo a producir teoremas del sistema MIU. MUI. 2. 0 su importancia. por ejernplo. MIUIU. viola el espiritu de esa palabra. en el presente contexto. La que sigue. 1. es una de las direcciones que posiblemente elegiria el genio: Paso 1: Emplear todas las reglas aplicables alaxioma MI. MIL Paso 2: Emplear todas las reglas aplicables a los teoremas obtenidos en el paso 1. Tarde 0 temprano.Que enrendemos por verificaci6n?" A 10 mejor no se percibe cual es el fundamento de tal pregunta. no esta claro cuanto habra que o. porque las reglas son empleadas en todos los 6rdenes concebibles (vease la figura 11). sin ninguna duda. Jute drbol incluirti a MU? EI acertijo MU www. Paso 3: Ernplear todas las reglas aplicables a los teorernas obtenidos en el paso 2. dare el ejernplo de una "verificacion" que. MIUIUIU1U I MIIUIIU I /1\ MU MIIIIU MIIIIIJlJ MUI ~/I\"" \\ Figura J 1. Esro produciria cinco nuevos teoremas: MIIIIU.com/web/Scientia 47 . Imaginemos un genio que tiene todo el riernpo del mundo. de un modo mas bien met6dico. MIUIUIUIU. El niuel N contendra aquellos teoremas cuya derioacion contiene N pasos. Para aclarar esto. Los nUmeros rodeados por circulos qui regia [ue empleada. Esto produdna dos nuevos reoremas: MIU. este metodo produce todos 105 teoremas.esnips. MIIII. de alguna manera. Un "drbol" sistemdticamente construido de todos los teoremas del sistema MIU. Todas las alternancias ampliacion-reduccion que mencionarnos antes van asurgir aqui. MIIUIIU.interroganre: ". 3.

porque presupone que no tenemos inconveniente en esperar pacientemente la respuesta durante un lapso infinito. Si alguien sostiene que dispone de una caraeterizaci6n de todos los teoremas. Como principio. IUn procedirniento de decisi6n es la "prueba del papel tornasol" de la teoremidadl Ademas. si asl ocurre. se sabe que es un teorema.esnips. laJinalizacion queda garantizada. Esto suena ridicule. ni mucho menos. finita y plena de certidumbre. probablementevque algo falta en esa caracterizacion: no es 10 basrante concreta todavia. No se trata de un orden muy conveniente. A primera vista. las reglas de inferencia y los axiomas del sistema MIU caracterizan. Sin duda. Pero una caraeterizaci6n tacita no basta para satisfaeer todas las finalidades. tdcitamente. Si existe una prueba de la teoremidad. entonces. Asl se asegura que. correspondiente al sistema formal de que se trate. caracterizan a las cadenas que no son teoremas. una verifieaci6n que se complete dentro de un lapso finito. se sabra que no es un teorema. Cuando se euenta con un proeedimiento de decision. puede parecer que las reglas y axiomas del sistema formal proveen una caracterizacion de los teoremas del sistema. formularemos la "verificaci6n de teoremidad" propuesta: Es necesario esperar hasta que la cadena en euesti6n se produzca. que no es menos completa que la aportada por el procedimiento de decisi6n. La palabra engaiiosa aqui es "caracterizacion''. ~ Ahora. pero que neeesita un plazo infinitamente largo para deducir si una cadena en particular es un teorerna.com/web/Scientia . si se esta interesado en una cadena en particular (MU. Es de importancia primordial contar con la garanda de que obtendremos nuestra respuesta dentro de un lapso finito. de la que ni siquiera se sabe si cuenta con alguna derivaci6n. EI descubrimiento de qu~ existe un procedimiento de decision. los sistemas formales requieren que el eonjunto de axiomas este caracterizado por un procedimiento de decision. El significado de este descubrimiento consiste en la posibilidad de realizar una prueba que verifique la teoremidad de una cadena. por ejemplo). al menos 48 EI acertijo MU www. y mucho menos entonces que extension puede tener esta.esperar para que aparezca una cadena determinada. constituye un avance de gran importancia. ya que el orden de los teoremas responde a la brevedad de su derivaci6n. aun en el easo de que la prueba sea complicada. 10 cual nos conduce al punto de partida: que es una "verificaci6n". a las cadenas que son teoremas. pues reside en la sola eomprobaci6n de que la primera letra de una cadena sea M. nos inclinanamos a decir. la verificaci6n es simple. su nombre es procedimiento de decision. Y si asi no ocurre nunca. se tiene con el una caracterizad6n muy concreta de la naturaleza de todos los teorernas del sistema. que acttie como prueba del papel tornasol de la axiomidad. mecanica. Mas tticitamente aun.

se encontro precisamente con estos problemas.al comienzo. Estoy seguro de que el lector. EI unico axioma era conocido. EI acertijo MU www. no estaba claro en absoluto si MU es un teorema 0 no 10 es. de modo que los teoremas quedaban tacitamente caracterizados: empero. se puede ingresar sin problemas al campo de trabajo. cuando afront6 por vel.com/web/Scientia 49 . y las reglas de inferencia eran simples.esnips. primera el sistema MIU. Esta es la diferencia que separa al conjunto de los axiomas del conjunto de los teoremas: el primero siempre esta dorado de un procedimiento de decision. que en el segundo puede faltar. Especlficamente. no estaba claro que consecuencias surgian de tal caracterizaci6n.

Figura 12. de M. C. Escher (xilografia. 1928). Castillo en el cielo. www.esnips.com!web/Scientia .

D. "~Que pasaria?" "Pasaria que yo no estaria aqui". dijo el guerrero griego. Los dos lados de este Triangulo son iguales entre si.. quiero dedr. los llamaremos A. y se sento comodamenre sobre ella." "Usted me APLASTA -con sus elogios. "What the Tortoise Said to Achilles". B y Z: A. Las cosas que son iguales a una tercera son iguales entre S1. "tAsi que Ilego al final de la pista?". interrumpio la Tortuga. dijo la Tortuga. por favor. 10 que uno PUEDE admirar un tratado que sera escrito algunos siglos mas adelante.Inuencion a dos voces o Lo que dijo la Tortuga a A quiles par Lewis Carro1l2 Aquiles habia alcanzado a la Tortuga. susurro la Tortuga como en suefios. 2 Lewis Carroll. dijo la Tortuga. cquerria saber ahora de una pista que casi toda la gente cree poder recorrer en dos 0 tres pasos. "ta pesar de que consiste en una serie infinita de distancias? Creia que algun sabihondo habia probado que eso no podia ser. sacando de su casco (pecos griegos usaban BOLSILLOS en aquella epoca) un enorme cuademo y un lapiz. Entendera que las distancias han ido DISMINUYENDO en forma constante. entretanto.com/web/Scientia .. "y usted habria dado varias vueltas al mundo. y la conclusion que se extrae de ellos. dijo Aquiles.. B. [LA TAQUIGRAFIA no ha sido inventada todavia!" "[Ese precioso Primer Postulado de Euclidesl". tomemos ahora una pequeiia parte de la demostracion del Primer Postulado: s610 DOS pasos.esnips.e. "tAdmira usted a Eudides?" "rCon pasionl Por 10 rnenos. respondio Aquiles en tono recatado. Los dos lados de este Triangulo son iguales a un tercero. Mind. cada una de eIlas mas Jarga que la anterior?" "[Por cierto que sil". "[Adeiantel Y hable Ientarnente." "Bien. Z. Inuencion a dos voces 51 www. Anote con cuidado en su cuaderno.". 4 (1895). pp. 278·80. yentonces ." "PVEDE ser". pero que EN REALIDAD estji formada por un m1mero infinito de distancias. "rHA sidol Soloitur ambulando. " "tY si huhieran ido AUMENTANDO en forma constante?". "pues hay mucho peso en USTED. Para Teferirnos adecuadamente a esos pasos y a la conclusion. [sin NINGUNA duda! Bueno.

0" "Llamemosla C". Las casas que son iguales a una tercera son iguales entre sf. observe jovialmente la Tortuga. usted no acepta que: C. "tan pronto como 10 haya anotado en su cuaderno. ahora quiero que ME considere un lector del SEGUNDO tipo." "eNo podrla haber asirnismo un lector que dijera: 'acepto la veracidad de A y B. DEBE aceptar que Z es verdadero?" "[Sin duda algunal El alumno mas torpe de una eseuela secundaria -en cuanto se inventen [as escuelas seeundarias. pem NO la Proposicion Hipotetica'P" "Es claro que st. Los dos lados de este Triangulo son iguales a un tercero." "Eso es".esnips. Z debe ser verdadero.' Tal lector haria bien en olvidarse de Euclides y dedicarse al futbol. ".. entonces. "Bien.estara de acuerdo.. empezo Aquiles.) "Ahora. asintio Aquiles.com/web/Scientia . sobre las batallas en que me he distinguido.al futbol. Si A Y B son verdaderos. . escriba 10 que le dicto: A. . lsi uno acepta que A y B son verdaderos. dijo la Tortuga. {Que mas ha escrito en el?" "Solo unos pocos apuntes". "Por 10 tanto. si A y B son verdaderos. "unos pocos apuntes sohre . dijo pensativamente Aquiles. supongo que de todos modos puede aceptar que la SECUENCIA es V ALIDA. dentro de unos dos mil aDOS. 10 interrumpio inmediatamente la Tortuga.. agitando nerviosamente las hojas. dijo la Tortuga. "siente todavfa necesidad 16gica alguna de aceptar la veracidad de Z?" "As1 es". B. creo. Y podria pensar: 'acepto la veraddad de la Proposicion Hipotetica segun la cual. " .." "Estoy seguro de que tal lector debe existir. pem NO que la Hipotetica 10 sea . ". y luego pasemas ." "Y si algiin lector NO acepta la veracidad de A y B. Z debe ser verdadero: pero NO acepto la veracidad de A y B.una anormalidad." "Asi 10 hare". dijo la Tortuga. tengo que pedirle que acepte C. entonces . por supuesto".Los lectores de Euclides admitiran." "eDebo forzarlo a aceptar Z?". Primero obtengamos Z." "Una tortuga jugando al futbol. Tambien este lector deberia dedicarse al futbol. 52 Invenci6n a dos voces www. que Z es la consecuencia 16gica de A y B. par 10 que veo!". Y me fuerce 16gicamente a aceptar la veracidad de Z. . dijo Aquiles." "lY NINGUNO de ambos lectores"... "[Vamos a necesitar TODASI" (Aquiles se estremecio. " "[Todas las paginas en blanco. "Nada de digresiones. "Yen este momento esta dispuesta a aceptar que A y B son verdaderos. prosigui6 la Tortuga.

exclam6 gozosamente. POR SUPUESTO acepta Z. "~Y por que?" "Porque se sigue LOGICAMENTE. "pero tal obtusidad serla fenomenal. Z DEBE ser verdadero. el narrador fue reclamado por apremiantes problemas bancarios que 10 obligaron a abandonar a la dichosa pareja durante varios meses. Z debe ser verdadero. Si A Y B Y C son verdaderos. Si A Y By C son verdaderos. Si A Y B son verdaderos. pero negar Z?" "Podria". y aparecer en lugar de Z. por favor. repiti6 pensativamente la Tortuga. En este momento. sin duda. replied Aquiles con voz victoriosa." "eYo?". INMEDIA T A~ENTE a continuacion de 108 otros tres". el cual daba la impresion de estar casi lleno. con algo de melancolia. "1 por fin llegamos al extreme de nuestra pista ideal! Y Puesto que acepta A y B Y C Y D.C. Cuando los volvi6 a encontrar. 10 hare con mucho gusto en cuanto 10 anote. DEBE aceptar Z: esto tendria que ser llamado D. "Aclaremos esto: Acepto A y B Y C Y D. Aquiles continuaba sentado sobre la sufrida Tortuga." "Entonees la L6gica deberfa oprimirle el gaznate. De todos modos. (Ya 10 escribio en su cuademo?" ". [puesto que ha aceptado A y B Y C Y D.SiI". Los dos lados de este Triangulo son iguales entre S1. pues. dijo Aquiles. By C. dijo Aquiles. "La L6gica Ie diria: "Puede advertirlo sin ayuda. Z. dijo inocentemente la Tortuga. Lo 1Iamaremos. y OBLIGARLA a hacerlo". pero suponga que TODA VIA me niego a aceptar Z. "asl que escribalo en su cuaderno. y escribia en su cuaderno. "Se trata de OTRA Hipotetica. Lo llamaremos E. Hasta que yo no haya aceptado ESTO. La Tortuga estaba diciendo: "cHa anotado Invenci6n a dos voces www. me imagine. cpodna aceptar A y By C. Z debe ser verdadero." "Perfectamente." "Si acepta A. por 10 que debe pedirle que admita UNA Hipotetica mas.esnips. Z DEBE ser verdadero". no tengo por que aceptar Z: es un requisito completarnente NECESARIO. dijo la Tortuga." "Si A Y B Y C son verdaderos. Aquiles. al tiempo que guardaba el lapiz en su estuche. DEBE aceptar ZI' Ya ve que no tiene alternativa. es un acontecimiento POSIBLE. (_seda cuenta?" "Me doy cuenta".com/web/Scientia ." "Cualquier cosa que la LOGICA se digne decirme merece ser ANOTADO". ~verdad? Y si yo no consiguiera perdbir su veracidad. Si A Y B Y C Y 0 son verdaderos. No discutira ESO. Z debe ser verdadero. D. admiti6 el candoroso heroe.

esnips. hundido ya en la desesperanza y sepultando el rostro entre sus manos. inventara por entonces con el fin de atribuirle un nuevo epiteto? Sera alga asi como 'el heroe de los pies ligeros. es el mimero mil uno. respondi6 el fatigado guerrero.. (tendria a bien considerar que cantidad de conocimientos aportara nuestro dialogo a los L6gicos del Siglo Diecinueve .. Faltan algunos mill ones todavia.com/web/Scientia ." "Como quiera". la Falsa Tortuga. ? tTendria a bien admitir un juego de palabras que mi prima. "con tal que me permita contestarle con un juego de palabras jamas compuesto por la Falsa Tortuga: 'IAqui·les presento una tortuga que asesina con calrnal'" 54 Invenci6n a dos voces www. rapidamente atortugado por la sabiduria'.el ultimo paso? Salvo que haya perdido la cuenca. Y le pido un favor personal.

s610 que en cada oportunidad se situan en un nivel mas alto que el anterior. Una simple descripci6n de los axiomas puede brindar Significado y forma en maternatlca www. las letras p y q. 0 no. No es de gran interes para los matematicos 0 los 16gicos.esnips. En verdad. exclusivamente. esto es de una asombrosa analogia con el Canon en Perpetuo Ascenso de Bach. Al finalizar estos dos capitulos. En el dialogo de este. Como no podemos enunciarlos todos. El dialogo carrolliano. El sistema pq tiene una cantidad infinita de axiomas. En este capitulo. deja en pie un profundo problema filosofico: [Las palabras y los pensamientos estdn regidos. pese a su agudeza.com/web/Scientia 55 . EI sistema pq cuenta con tres simbolos: p q Es decir. EI sistema pq El sistema formal de este capitulo es el que llamaremos sistema pq. Su importancia reside. nos hace falta contar con una descripci6n de 10 que son. Esto nos abrira una perspectiva mucho mas amplia a prop6sito del concepto de sistema formal.CAPITULO II Significado y forma en rnaternatlca LA INVENCION A DOS VOCES INSPIRO mis dos personajes. los mismos acontedmientos se van sucediendo una y otra vez. yo me las tome con la Tortuga yel Aquiles de Lewis Carroll.porque en realidad se trata simplemente de una invenci6n mia. y el gui6n. y por que interesan a los matematicos y a los 16gicos. examinaremos algunos otros sistemas formales. en el hecho de que ilustra de manera muy satisfactoria muchas de las ideas basicas de este libro. el lector tendra una noci6n muy completa de las posibilidades con que cuentan los sistemas formales. por reglas jormales? Tal es el problema que se plantea este libro. Del mismo modo que Lewis Carroll se permitio libertades con la Tortuga y el Aquiles de Zen6n. yen el siguiente. necesitamos algo mas que una descripcion de los axiomas: necesitamos un medio que nos indique si determinada cadena es o no un axioma.

EI procedimiento de decisi6n Doy por sentado que ellector ya hizo el ensayo. En consecuencia.resulta ser un teorema.esnips. Luego. el enunciado establece una vinculacion entre la teoremidad de ambas cadenas. Un ejercicio sumamente titil para el Iector consistira en tratar de descubrir un procedimiento de decision para aplicar a los teoremas del sistema pq. y z represent an cadenas especificas formadas exclusivamente por guiones. La expresion 'xp-qx·' no es un axioma. y una q. y z vale '-'. Ahora bien. pues lque otra cosa hay en una cadena ade56 Significado y forma en maternatlca www. No es tarea diflcil.com/web/Scientia . quisiera puntualizar que todos los teoremas del sistema pq tienen tres grupos separados de guiones. La regIa nos indica que Si --p---q. El sistema pq tiene solamente una regIa de produccion: REGLA: Supongamos que x. Tal como es caracteristico de las reglas de produccion. q y guion. si se la intenta durante un rato.una caracterizacion completa. por supuesto (porque 'x' no pertenece al sistema pq). considerando solamente su forma. se la lIama esquema de axioma. (Esto se puede fundar en un razonamiento "heredado'': se trata del mismo medio utilizado para probar que todos los teorernas del sistema MIU tentan que empezar con M. tam bien 10 sera. vamos a definir los axiomas de manera tal que se disponga de un procedimiento de decision evidente.) Lo anterior significa que. de los mismos. pero no afinna la teoremidad de ninguna de las dos por SI mismas. En primer lugar. y. nada mas que para descubrir si cierta cadena es un axioma 0 no. Advierto que 'x' debe representar la misma cadena de guiones las dos oportunidades en que aparece.•• es un axioma. Y supongamos que se sabe que xpyQz es un teorema. --p-q-. DEFINICI6N: xp-qx. tal como vimos que ocurria con el rnetodo de caracterizacion de teorem as en el sistema MIU.es un teorema. siempre que x este compuesto sOlo por gulOnes. y vale '---'. entonces --p----q--.. destacar la frase "considerando solamente su forma" puede parecer una simpleza. pero al mismo tiempo endeble.ubicadas en ese orden. sino mas bien una matriz que moldea todos los axiomas. xpy-qz. podemos exduir cadenas como la siguiente: --p--p--p--q--------. y que los elementos de separaci6n son unicamente una P. Queremos evitar la situaci6n de estarse esforzando durante un lapso prolongado. Por ejemplo: x vale '--'.es un axioma. yaunque parezca demasiado obvio. quiza infinito. capaz de determinar la axiomidad de las cadenas form ad as por los simbolos p. Por ejemplo.

Se trata de que el sistema pq no sufre la cornplicacion de reglas de ampliaei6n y redueci6n creando tensiones opuestas: tiene nada mas que reglas de ampliacion.nar sus propiedades? Ninguna. Repasando una a una las diversas reglas.no 10 es. sera necesario retener estas consideraciones cuando sigamos hablando de los sistemas formales. porque 2 mas 2 no es igual a 1. pues de otro modo no habria salida). aun sin haber descubierto todavia el criterio de adicion. Como quiera que sea.mas de su forma?. Significado y forma en rnaternatlca www. el problema se "reduce" a la determinacion de si alguna de las nuevas cadenas mas cortas es un teorema. --p--q---.com/web/Scientia 57 . Entonces. tampoco 10 hara la segunda. luego una q. Volvamos al procedimiento de decision. tambien 10 hara la segunda e. a traves de la aplicacion de alguna de las reglas. a su vez.esnips. en tanto que --p--q. lque otra cosa cuenta con una funcion para deterrni. cuales cadenas mas breves estan en condiciones de ser sus antecesoras dentro del "arbol genealogico". Observando el esquema del axiom a se percibe la razon por la cual este es el criterio adecuado: es evidente queel esquema admite exdusivamente axiomas que satisfagan el criterio de adicion. Lo primero por hacer sera verificar si es 0 no un axiom a (estoy dando por supuesto que existe un procedimiento de decision para la axiomidad. Un sistema formal que nos indique como elaborar teoremas mas prolongados a partir de otros mas breves. ser sometida a la misma verificacion. es por definicion un teorema. para ser un teorerna. Pero supongamos que no es un axioma. Lo peor que puede ocurrir es una proliferacion de cadenas por verificar. si la primera no satisface dicho criterio. pero nunca 10 inverse. y no hace falta verificarlo. 'La regia convierte al criterio de adicion en una propiedad hereditaria de los teoremas: todo teorerna deterrnina la presencia de la propiedad en sus descendientes. pues Ia nocion de "forma" cornenzara a hacerse mas complicada y abstracta. corresponde recordar la regIa deproduccion: si la primera cadena satisface el criterio de adicion. llamarernos cadena bienformada a toda cadena que ernpiece con un grupo de guiones. porque 2 mas 2 es igual a 4. Asimismo. inversamente. sino tambien. existe una circunstancia que tarnbien nos permitiria decir con seguridad que eI sistema pq cuenta con un procedimiento de decision. seguida por un segundo grupo de guiones. Empero. Por otra parte. yen forma exacta. debe provenir de una cadena mas breve. cada vez en mayor numero y mas breves. Cada una de estas tiltimas puede. Por ejernplo. es posible establecer con precision no solo las reglas que pueden haber producido la cadena. De este modo.es un teorerna. Y par ultimo otro grupo de guiones. y nos sera preciso reflexionar con mayor detenimiento en el significado del-termino "forma". tenga Iuego una p. EI criterio de teorernidad consistira en que la sum a de los dos primeros grupos de guiones debera coincidir con la extension del tercer grupo. Supongamos que se nos pone delante una cadena cualquiera. Esto muestra por que es correcto el criterio de adicion. sin duda. Si es un axioma. es seguro que incluye un procedimiento de decision aplicablea sus teoremas.

[albriciasl. en realidad. de esta manera. 10 cual es tambien una consecuencia de la falta de reglas de reducci6n..Si se continua en este retorno milimetrico. no podremos menos que producir todos los teoremas del sistema pq. 3a. arriba abajo EI metodo anterior puede ser denominado un procedimiento de decision arriba abajo. Arrojaremos el axioma posible mas simple (-p-q--) dentro del saco. o se llega a un atolladero.com/web/Scientia . 3b. basta con proceder de aeuerdo a los pasos enumerados. como --p---q-----. Si se tiene una cadena en particular. Arrojamos dentro del saco el axiorna ubicado en tercer orden de simplicidad. etc. es un teorerna. al que . donde ninguna de esas cadenas es un axioma. que eontrasta con un proeedimiento abajo arriba. andando el tiempo el saeo se llenara can teorernas cada vez mas extensos. Si en deter58 Significado y forma en rnaternatica www.esnips. 2b. al que iremos arrojando los teoremas a medida que los produzcamos. se lograra llegar muy cerca de la fuente de todos los teoremas: el esquema de axioma. Abajo arriba vs. 0 se descubre por ultimo que una de las cadenas cortas aparecidas es un axioma. Apliearemos la regia de inferencia al elemento anterior. Un instante de reflexi6n nos permitira percatarnos de que. los sistemas formales dotados exclusivamente de reglas de ampliaci6n no despiertan un gran interes. Por otra parte. Arrojamos dentro del saeo el axioma ubicado en segundo orden de simplicidad. al que arrojamos tambien los resultados. euya teoremidad quiere verificarse. exarninando atentamente todas las cadenas que aparezean. Esto indica que. es el juego reciproeo de reglas de ampliaci6n y de redueci6n 10 que otorga un atractivo especial a tales sistemas. Si surge la que nos interesa. del eual hablare a continuaci6n. Procederemos asi: lao lb. Tiene cierto parecido con el metodo de generaci6n de teoremas del sistema MIU seguido por el genio paciente. en consecuencia. Aplicamos la regia a todos los elementos metidos en el saco. pero incluye un esquema de axioma que le agrega cornplejidad. Imaginemos un "saco". Se puede avanzar indefinidamente hacia cadenas mas breves.arrojamos tambien los resultados. 0 de algiin otro expediente de retorno. Aplicamos la regia a todos los elementos rnetidos en el saco. y colocaremos el resultado dentro del saco. 2a. y ninguna de ellas puede ser reducida una vez mas en el marco de alguna de las reglas. etc.

no siempre es facil estar seguro de haber descubierto un isomorfismo.esnips. es decir. "isornorfismo" es una palabra earacterizada por toda la ambigiiedad habitual de las palabras.minado momento. Los isomorfismos conducen a la significaci6n Nos dirigiremos ahora hacia el terna central de este capitulo. Se trata a menudo de una "iluminacion"..-~. Posiblemente ya se le haya ocurrido al lector que los teorem as pq son semejantes a sumas. por decir asi. debo decir que elegi deliberadamente 'p' para hacer presente 'mas'. en el texto original. es un enunciado. y se convierte en fuente de asombro. Este empleo proviene de una nocion mas precisa. ~Es esta una manera razonable de analizar las casas? En realidad. La cadena --p---q----. y sostengo que tales percepciones son 10 que . y examinarlo desde otra perspectiva. Una cosa mas aeerca de la percepcion de isomorfismos: dado que estos ultimos se presentan bajo muy diversas figuras y dimensiones. Ahora podemos ingresar algo mas profundamente en este concepto. En la Introduecion. de tal modo que cada parte de una de ellas tiene su parte correspondiente en la otra: "correspondiente" signifiea que ambas partes cumplen papeles similares en sus respectivas estructuras. los axiomas. . escrito mediante una notaci6n arbitraria. perteneciente a la matematica. Se podrta pensar inclusive que el teorema --p---q-. La percepcion de un isomorfismo entre dos estructuras ya conocidas es un avance significativo del conocimiento. cuyo significado es que 2 mas 3 son 5. ~Ia cadena --p---q-"-. • 'Plus'. [T. Un maternatico se regocija cuando logra descubrir un isomorfismo entre dosestructuras previamente conocidas. La palabra "isomorfismo" es utilizada cuando dos estructuras complejas pueden ser proyectadas una sobre otra. el elemento que debe ir al saco es mas extenso que la cadena en cuesti6n. [T.genera sigruficaciones en la mente humana. Este procedimiento de decision es sefialado como de abajo arriba porque se mueve desde 10 basico.en verdad significa "2 mas 3 igual a 5"? ~Que nos podra hacer percibir esto? Mi respuesta seria que hemos advertido un isomorfismo entre los teoremas pq y las sumas. pero tarnbien una ventaja . hacia 10 basico. ** Entonees.es un teorema porque 2 mas 3 es igual a 5. En eonsecuencia. * 'q' para hacer presente 'igual' . la palabra "isomorfismo" fue definida como una transformacion destinada a conservar la informacion. y por cierto dellibro entero.com/web/Scientia 59 . debemos desentendernos: no es un teorema. mientras que el pro· cedimiento anterior es de arriba abajo porque se desplaza en sentido inverso.. en el texto original.] •• 'Equals'. 10 eual es una carencia.] Significado y forma en maternatica www.

asociada a los sistemas formales que emplean y difunden. tal como es caracterfstico en todo isomorfismo.una eleccion "significativa" -. una proyeccion entre las partes de las dos estructuras: p ¢:~ mas q ¢:~ igual a . pues. las cosas empiezan subitamente a ordenarse. hay un "nive! inferior" en nuestro isomorfismo. Los matematicos (y. en un nivel mas alto. hemos puesto de manifiesto una correspondencia entre dos 6rdenes. tacum.¢:~ uno ¢~ dos ¢:~ [res etc. Cuando se hace una eleccion adecuada . como en el caso del Lineal B de Creta: la unica forma de proceder es par la via del ensayo yel error. y la tarea avanza con gran rapidez: muy pronto. todo se ubica en su lugar. esto es. desde hace poco tiempo. hablar de correspondencia entre proposiciones verdaderas y teoremas mterpretados. los filosofos y algunos otros especialistas) son los tinicos que utilizan sistemas formales. Es posible que se lancen muchos pufietazos de ciego antes de hallar un conjunto satisfactorio de palabras que se relacionen con los sfmbolos. Cuando uno se encuentra con un sistema formal del que no se conoce nada.com/web/Scientia . e invariablemente se ajustan a una interpretacion. Por una parte. Su prop6sito es establecer un sistema formal cuyos teoremas reflejen. bajo la guia de conjeturas fundadas.esnips. los lingiiistas. De todas maneras. Pero debe tenerse muy en cuenta que esta correspondencia de nivel superior puede no ser advertida si no se establece previamente una interpretacion de los slrnbolos. isom6rficamente. disponemos de un exce1ente prototipo del concepto de isomorfismo. Pero no es frecuente.En el presente caso. ni mucho menos. La excitacion que acompaiia a una experiencia de esta clase ha sido bien reflejada por John Chadwick en The Decipherment of Linear B. se situa la correspondencia entre proposiciones verdaderas y teoremas. Serfa mas preciso. Es algo muy similar a los intentos por abrir una brecha en un c6digo. como hacerlo de modo tal que surja una correspondencia de nive1 superior entre proposiciones verdaderas y teoremas. 0 descifrar inscripciones en un idioma desconocido. encontrarse en situacion de· "decodificar" un sistema formal aparecido en las excavaciones de una antigua civilizacion. 60 Significado y forma en rnaternatlca www. con la esperanza de descubrir en el alguna significacion recondita. Esta correspondencia entre palabra y sfmbolo riene un nombre: interpre- Por otra parte. el problema es como asignar interpretaciones significativas a sus simbolos: en otros terminos.

podernos encontrarnos con una interpretacion no signijicativa. digamos. por ende. No necesita conseguir que cada teorema resulte verdadero. pero no habria motivo para elaborar una interpretacion donde. Lamentablemente. Esta a la vista par que elegi determinados simbolos: no es casual que los teoremas del sistema pq sean isomorficos con respecto a las sumas. esta interpretacion tiene muy escasa "significacion": bajo la interpretacion. todos los teoremas resulten falsos: menor fundamento. La eleccion de los sfmbolos. Significado y forma en matematlca www. Bajo esta. En sintesis.com/web/Scientia 61 . Es por ello que conviene distinguir entre interpretaciones y signijicados. aun.algu. Cualquier palabra podia haber sido adoptada como interpretacion de 'p'. cabe distinguir entre dos tipos diferentes de interpretacion. el significado de 'p' parece ser 'mas'. puesto que opte deliberadamente por una forma que las reflejase tipograficamente. Llamaremos significativa a la segunda dase de interpretacion. ni positiva ni negativa. En consecuencia. los teoremas y las verdades se corresponden: es decir. Un caballo puede gustar de "feliz feliz feliz manzana caballo" (correspondiente a qqq-p) casi tanto como de un teorema interpretado. 0 mas aceptables.esnips. como se 10 ve en la adopcion de reglas tipograficas de produccion. existe isomorfismo entre los teoremas y determinada porcion de la realidad.n segmento de la realidad. que los no teoremas. entre teoremidad y veracidad. una expresion poetic a que quiza interese a los caballos. pero adopte "mas" porque es la (mica eleccion significativa en la que puedo pensar. En primer lugar. Tal fue mi actitud cuando idee el sistema pq. y que hasta podria inclinarlos en favor de este modo de interpretar las cadenas pq. Tales interpretaciones abundan: cualquier eleccion hecha enteramente al azar correspondera a este tipo. Interpretaciones significativas y no significativas Ellector puede optar po~ intepretaciones distintas ala mfa. pese a que sea posible un millon de interpretaciones diferentes. los teorernas no dan la impresion de ser mas verdaderos. Por ejemplo. bajo 1a cual no se advierte la menor asociacion isomorfica entre los teoremas del sistema y la realidad. tendria una interpretacion bajo la cual no haya correlation alguna. reo conoce una fuerte motivacion en estos casas. tomemos la siguiente: p w ¢:~ ¢:~ q ¢:~ caballo feliz manzana Tenemos as! una nueva interpretacion para ~p~qw~: "manzana caballo manzana feliz manzana manzana".

Esto quiere decir que nuestro dominio del idioma no se asemeja a un producto terminado: las reglas de elaboracion de frases se multiplican en la medida en que aprendemos nuevos significados. Tampoco seria correcto atribuirle algiin significado. Ahora bien. agregando nuevos teoremas a los ya establecidos: el Requisito de Formalidad. pero es imprescindible teneren cuenta teorerna. en el Capitulo I. 62 Significado y forma en maternatlca www. En el sistema MIU. porque no se busco ni se descubrio ninguna interpretacion. En un sistema formal. pero ella no nos autoriza a extender el campo. no habra motivo para sentir la tentacion de ir mas alla de las cuatro reglas.com/web/Scientia . ya que aetna como una nueva regla de creacion de frases. yel vinculado allenguaje: cuando hemos aprendido el significado de una palabra dentro de un idioma dado. no pueden evitar el asumir alguna clase de ''significado''. en cuanto se descubre un isomorfismo. el significado se convierte en activo. en cambio. Los sistemas formales interpretados se ubican en la frontera que separa a los sistemas sin significado de los sistemas can significado: puede pensarse de sus cadenas que "expresan" cosas. paslvos Es probable que 10 mas importante de este capitulo. por supuesto. podemos leer cada cadena siguiendo los significados de los simbolos que la integran.Significades actives vs. uno puede desear que esta cadena sea un pero eso no cambia el hecho de que no 10 es. nos previene precisamente acerca de esto. Y tambien constituiria un serio error pensar que "debe" ser un teorema. para quienes 10 comprendan acabadamente.esnips. Podemos elegir "significados'' que se funden en un isomorfismo (si nos es posible encontrarIo) entre teoremas y proposiciones verdaderas. hay una diferencia muy grande entre el significado relativo a un sistema formal. puesto que no es una cadena bien formada. los teoremas son definidos a priori por las reglas de produccion. solo porque 2 mas 2 mas 2 mas 2 es igual a 8. aunque inicialmente carezcan de significado. los "significados" recien hallados para cada simbolo pueden llevarnos a pensar que la cadena --p--p--p--q-------- es un teorema. en nuestro nuevo sistema. sea 10 siguiente: el sistema pq parece obligarnos a reconocer que los simbolos de un sistema formal. Cuando menos. En un sistema formal. Pero aqui. y nuestra interpretacion significativa procede exclusivamente de la observacion de cadenas bien formadas. pero no estamos facultados para crear nuevos teoremas sobre la (mica base de los significados que hemos asignado a los simbolos. Hasta cierto punto. el significado debe permanecer pasivo. pasamos a elaborar nuevos enunciados basados en aquel.

Asi. en forma de cadeSignificado y forma en maternatlca www. Baja cualquiera de las dos interpretaciones significativas dadas. es aquella que. Estos son definidos par un esquema de axioma y una regIa de produccion. por otra parte. inversamente. pero cuando 10 retomemas dentro de contextos mas complejos aportara una gran riqueza de ideas. toda cadena bien formada tiene como contrapartida una afirrnacion gramatical.esnips. Consideremos la siguiente correlacion: p q <==-> <=:::} ¢::::} . i Dquble entendre! Y ahora.) Dentro de las cadenas bien formadas. Pero. es casi tan significativa como la anterior. la cual. aparecen los teoremas. inoportuno. al ser interpretada slmbolo par sirnbolo. quiero destruir cualquier ilusion que se haya forjado en el sentido de haber descubierto los significados de los simbolos del sistema pq.que ello ocurre exclusivamente como consecuencia de las propiedades form ales del sistema. de manera precisa. --p---q---~. Mi prop6sito. todos los teoremas resultaran verdaderos bajo esta nueva interpretacion. sujeta a interpretacion. En este momenta parecera trivial. un solo sistema formal puede ser isomorfico can respecto a ambos aspectos mencionados. pero par 10 comun se aplica un patron deterrninado. produce oraciones gramaticales. fue imitar la suma: cada teorema debia expresar una suma verdadera.recibe una interpretacion nueva: "2 igual a 3 restado de 5". dentro de los sistemas formales. algunas cadenas son verdaderas. caprichoso.¢::::} igual a restado de uno -dos etc. Cuando aspectos diferentes del mundo real son isomorficos entre 81 (en este caso. la suma y la resta). "~cuaI es el significado de la cadena?" Una interpretaci6n es significativa en la medida en que manifiesta con precision determinado isomorfismo asociado al mundo real. otras falsas. Una cadena bien [armada.com/web/Scientia 63 . toda suma verdadera de dos enteras positives debia poderse traducir. Lo que sigue es un resumen de nuestras observaciones acerca del sistema pq. cuando idee el sistema pq. y asumir en consecuencia dos significados pasivos. Se trata por supuesto de una proposicion verdadera. Esta clase de doble valor en slmbolos y cadenas constituye un fenomeno de la mayor importancia. (Se sobrentiende que esto ultimo depende de la interpretacion que se siga.

gobemados por reglas formales. (Suposicion implicita: que hay una finalidad en la sucesion descendente de la materia. y parece reproducirla a la perfeccion. que la realidad no es. tomese nota.na. con frecuencia se dice que es factible aprehender la adici6n observando los rnecanismos giratorios de una caja registradora. De todos modos. No obstante. los teoremas de este gran sistema formal serian las configuraciones posibles que asumen las particulas en diferentes instantes de la his64 Significado y forma en maternatlca www.esnips. ~Sera posible transformar toda la realid . de modo que la expresion "partfculas elernentales" tiene sentido. en un sentido muy amplio. todo 10 contrario.sigue siendo un teorema aunque no 10 asociemos con la adici6n. Luego. dentro de un vacio tridimensional (espacio): son las particulas elementales que dan su composicion a todas las cosas. en la rnedida en que los sistemas formales 10 perrniten: es natuTal preguntarse que porcion de la realidad puede ser imitada. puede responderse afirmativamente: es posible sugerir. arroje nuevasluces sobre la veracidad. Tal proposito fue conseguido.) Las "reglas tipograficas" son aqul las leyes de la fisica. ya que sus teoremas son isomorficos respecto a las verdades concemientes a esa parte de la realidad. y -p-q-. el hecho de producir teoremas pq no nos hace aprender sumas nuevas. de que toda suma falsa~como "2 mas 3 igual a 6" ~ es traducible a cadenas que estaran bien fonnadas.q-es un teorema. en su comportamiento. las cuales nos dicen como proceder. 0 de cualquier otro. por ejernplo. pero que no son teoremas. Sus simbclos no se diserninan sobre un papel sino. por cierto.. por ende. para modificar esos valores y dar lugar a un nuevo conjunto de posiciones y velocidades. en sistema d formal? Pareciera que. tratandose de una opera cion tan simple como la suma.. propios del momento "siguiente". en el campo de su interpretacion. mas que un sistema formal extremadarnente complicado. la cual seria asi un teorema. a saber: que se la puede figurar con facilidad mediante una regIa tipografica que rige simbolos sin significacion. Nadie necesita tener presente que hay un isomorfismo entre ambos. sepamos 0 no que -p.com/web/Scientia . queda claro que hemos rasgufiado energicamente la superficie. Esto no es muy sorprendente. en SI misma. dadas la posicion y la velocidad de todas las particulas en un momenta detenninado. vista como un proceso. por un conjunto de slmbolos sin significacion. Sin embargo. 51 hemos aprendido algo acerca de la naturaleza de la adicion. la realidad y los sistemas formales son independientes entre si. Cada una de estas esferas se 50Stiene por sf misma: uno mas uno es igual a dos. Es improbable que la aplicacion de este sistema formal. Sistemas formales y realidad El anterior es nuestro primer ejernplo de un caso donde un sistema formal se fundamenta en un segmento de la realidad.

EI unico axioma es (era.com/web/Scientia . consiga que todo teorema resulte verdadero. salvo que conozcamos todo 10 que hay que conocer acerca del sistema formal. y tambien del ambito de interpretaci6n correspondiente? En alguna medida. quiza] la configuracion original de todas las particulas "en el principio de los tiempos". a menos que hayamos probado que el isornorfismo es perfecto?. si no contamos desde el comienzo con un conocimiento total acerca de las verdades de la disciplina? Supongamos que en una excavacion. Sin embargo.. Ycontado luego Significado y forma en matematlca 65 www. ccomo sabremos que todos los teoremas expresan verdades bajo esta interpretacion. de entre quienes dan esa respuesta.esnips. falso. . aparentemente. ya otros como falsos. 10 cual sigue siendo un problema abierto. cy como probarernos que el isomorfismo es perfecto. no importa en que sitio. y quizji tuvieramos la suerte de hallar una que. pero.. ademas. hemos descubierto un misterioso sistema formal. ) con los sfmbolos tipograficos de un sistema formal. y 10 que nos es posible obtener a traves de la manipulad6n de los simbolos. limitaremos nuestro "mundo real" a la matematica. Lo mas probable es que Ia canridad de teoremas sea infinita. Vamos a hacer ahora un esfuerzo para comprender que relaci6n existe entre 10 que llarnamos "verdad" en teoria de los mimeros. y todo no teorema. ccuantos. lCuanto es 12 veces 12? Cualquiera sabe que 144. la mecanica cuantica (y otros sectores de la fisica) plantean al respecto algunas dudas. Basicamenre.2. los enteros no negativos: 0. que se extienden inclusive a las presuntas potencialidades te6ricas de la idea. Lo primero que surge en este caso es un serio interrogante: luego de modelar un sistema formal relativo a cierta porcion de la matematica. nos rernitiremos someramente a los fundamentos para estar en condiciones de clasificar como verdaderos a algunos enunciados deteorfa de los mimeros. Pero esto es algo que solo podrfamos verificar directamente en un rurmero finito de casas. ccomo estar seguros de haber procedido correctamente. nos estamos preguntando si el universo aetna en forma determinista. han diseiiado alguna vez en su vida un rectangulo de 12 par 12. Asi. esta concepcion tiene dimensiones tan colosales que su interes es unicamente especulativo. (como sabremos que la interpretacion de cada teorerna es verdadera. Por ello... 1.toria del universo. se plantea est a singularsituacion siempre que intentamos correlacionar la realidad de los ntimeros naturales (es decir. Matemcitica y mantpulacion simb61ica En vez de abordar un campo tan gigantesco. en especial si no estamos totalmente familiarizados con esa parte de la matematica? Supongamos que el objetivo del sistema formal es aportarnos nuevas conocimientos en esa disciplina. IntentaIiamos diversas interpretaciones del mismo.

Este proceso es presentado a los alumnos de las escuelas como un artificio que permite obtener resultados correctos. si se cuentan los cuadraditos. 10que es mas grave.esnips. En primer lugar. 66 Signific~do y forma en matematlca www. Muy probablemente. aun cuando se 10 pudiera disefiar harlan falta ejercitos de personas. la contestaci6n a la pregunta 'anterior es aflrmativa. en alguna parte. habra 144. para contar todos los cuadrados. ofreciendo como prueba. de ese proceso. son muy pocos los que experiment an dudas acerca de este resultado. absorbidos par las operaciones. en un as po· cas propiedades de la sum a y de la multiplicacion. muchos de estos alumnos. en cambio.com/web/Scientia . no advierten la armonla. Las leyes de derivaci6n de digitosmediante la multiplicacion se basan. considerara innecesaria semejante tarea. pese a todo. unos po· cos trazos sobre un papel. los siguientes: 12 x12 24 12 144 Y esta seria la "dernostracion". lEs seguro que se obtendra el mismo resultado? La respuesta que surge de un proceso de calculo es independiente del modo en que se 10 realice.los cuadraditos interiores? La mayor parte. seguramente. principalmente. EI conflicto entre ambos puntos de vista se hace mas agudo si nos formulamos el problema de determinar el valor de 987654321 X 123456789. Esto constituye. Las leyes baslcas de la arltmetica La clase de supuesto de que hablo es la ilustrada mas abajo. se haya hecho un pequefio intento de esta indole. es virtualmente imposible construir un rectangulo adecuado y. trabajando durante siglos. y tampoco la raz6n. pero comenzando par el extrema opuesto. de las cuales se da por supuesto que son aplicables a todos los nurneros. solamente alguien muy credulo aceptaria el resultado asl obtenido. de alguna manera. Practicamente todo el mundo esta convencido de que. Podemos figuramos que diseminamos algunas barras: I II II II I I Luego las contamos. y a1 mismo tiempo invitamos a otra persona a contarlas tambien. lEs posible conocer Ia respuesta al presente problema?Si se tiene confianza en el proceso simb61ico que se traduce en 1a rnanipulaci6n de los digitos con arreglo a ciertas reglas sencillas.

Los damos por demostrados. y tiene un caracter tan basico que careceria de sentido dedicarse a probarlo: se 10 acepta 0 no. como' se puede ver en "I y I haeen 1" (referido a un par de enamorados). son pot entero diferentes de los numeros que utilizamos en la vida cotidiana. no es arduo encontrar en distintas fuentes afirmaciones como: Significado y forma en rnaternatlca www. La conmutatividad y la asociatividad de la multiplicacion consisten simplemente en el supuesto de que. 0 en "1 mas 1 mas 1 es igual a I" (la Trinidad). Hay cierto tipo de personas que. Es facil advertir fallas en estas expresiones: por ejemplo. en verdad. can la conviccion mas profunda que se pueda concebir (en el caso de que alguna vez se nos ocurra pensar en ello]. . ~esvalido ahora decir que uno mas uno es igual a uno? Y cuando una nube se separa en dos. la cantidad de cubos seguira siendo la misma. en ambos casas). respectivamente. pero en este ultimo caso una demostracion no contribuiria en nada. los subamos a un automovil..com/web/Scientia 67 . los traslademos den kilometres mas alla. lno evidencia 10 mismo? No resulta fadl en absoluto distinguir con precision entre aquellos casos donde 10 que esta sucediendo puede ser llamado "surna". La gente gust a de inventar expresiones que violan las bases de la aritmetica. que los empaquemos en una caja. Pero entonees. Si uno reflexiona sabre este problema.en rigor. y los ubiquemas en nuevas anaqueles. despues de todo. un supuesto relativo a dicho proceso. si se hace girar en diferentes direcciones dicho cuerpo. {como contar las ideasr. el mimero de libros que paseemos no se modifica aun. dinero y libros. es probable que se decida por algun criterio de diferenciacion de los objetos en el espacio. Yque b + (c + d) = (b + c) + d. halla divertido abocarse a mostrar par que ese "hecho" es. empujandonos can otra gente. Puede que ellector haya hecho otro tanto. Pertenezco a ese tipo. ni bien es formulado algun hecho innegable. Dos gotas de lluvia. siempre. A partir de esta clase de supuesto se llega a la conmutatividad y a la asociatividad de la adicion (es decir. los desempaquemos. Todo esto forma parte de 10 que queremos significar cuando decimos mimero. descarguemos la caja. que b + c = c + b. De este modo. y aquellos otros donde se necesita otra palabra. La suma de dinero que llevamos en el bolsillo no se modifica cuando caminamos por la calle. Pero tal supuesto no es verificable en todos los casas. El mismo supuesto puede conducirnos ala conmutatividad y a la asociatividad de la multiplicacion: basta pensar en muchos cubos reunidos de manera de formar un gran cuerpo solido rectangular. falso. mostraremos que los numeros como abstracciones. imagine situaciones donde tales ejemplos se equivocan. pero que son capaces de ilustrar verdades "mas profundas". que la utilizacion del termino "+" es inadecuada en ambos casos. y tan pronto enuncie los ejemplos anteriores acerca de barras. sobre el cristal de una ventana. Pero los casos semejantes abundan. se unen. apto para asegurar la separacion de cada uno de ellos con respecto a todos los demas. porque el numero de estos es infinito. ~o eI ntimero de gases que contiene la atmosfera? Si se las busca.esnips.

no existe proceso de calculo alguno capaz de confinnar 0 refutar tal afirmacion: todo 10 que podemos hacer es dedicar un tiempo a con tar los mimeros primos. lLos mimeros son tan libres como los pajarosr. y nadie que pertenezca a este siglo pone en duda la posibilidad de mecanizar procesos como contar.esnips. en absoluto. en el cormin de la gente. No hay mas que una sola pregunta pertinente acerca del transite desde los mimeros como cosas practicas. Sin embargo. (nos sera realmente posible cumplir por complete la tarea? llos ntimeros son tan puros. la cuenta nunca estaria completa. 0 interesante.com/web/Scientia . al alejarla de sumas. los maternaticos posteriores a Euc1ides siempre la han reputado verdadera. Tiene que haber un modo de hablar de los mirneros evitando el recurso rudimentario de apelar a la intromision de la realidad. lexiste una zona de transicion magica entre los niimeros de Ia realidad y los numeros trazados sobre papel? Cuando hablo de las propiedades de los mimeros naturales.ni siquiera en el plano te6ricopuede proveer. Puede parecer razonable. Ningi1n esfuerzo de calculo resolvera la cuesti6n de si la cantidad de primos es finita 0 infinita. Numeros ideales Los ntimeros son reacios a comportarse satisfactoriamente como realidades. multiplicar.sufren igual que ellos al ser sometidos a un sistema de reglas imperativas?."En [a India hay 17 idiomas y 462 dialectos". existe la vieja e innata creencia. y sus extensiones mas avanzadas han dado lugar a la teoria de los mirneros. Las muy precisas reglas que rigen los ntimeros "ideales" constituyen la aritmetica. . goras. si se tiene en cuenta que no hay limites exactos entre "idioma" y "dialecto". presenta un prodigioso contraste entre 10 formal y 10 informal. hacia los mimeros como cosas formales: una vez que hemos resuelto tratar de encapsular la teoria de los mimeros integra en un sistema ideal. no me estoy refiriendo a propiedades tales como la suma de dos enteros determinados. cristalinos y armoniosos que su naturaleza puede ser enteramente encuadrada por las reglas de un sistema formal? Liberacion (figura 13). buscando respuestas que el proceso de calculo . pero no obvia. Veamos un ejemplo clasico de estas propiedades de los numeros naturales. una de las mas bellas obras de Escher. Aun asi. ~por que motivo? 68 Significado y forma en rnatematlca www. vinculados por una fascinante zona de transici6n. A 10 que aludo es a la dase de propiedades que los matematicos se interesan por investigar. etc. de que no estan obligados a hacerlo. La proposicion conodda como "Teorema de Euclides" (observese la mayiiscula "T") no tiene nada de obvio. para luego conceder que hay "un menton" de elIos. Hay algo nitido y puro en la nocion abstracta de mimero. nubes 0 dialectos. sumar. Esta puede ser establecida mediante el calculo. analizando la afirmacion "hay una cantidad inflnita de mimeros primos": en primer lugar. Enunciaciones tan precisas encierran un toque de extrafieza.

C. www. de M. Escher (luografia. J 95 5).u ra ] 3 Liberacion.esnips.Fi{!.com/web/Scientia .

tomando como base un numero determinado (N). La prueba de Euclides es caracteristica de 10 que constituye la "matematica real". pues. El proceso sigue siendo el mismo sea cual fuere el valor de N: siempre habra un primo de valor mayor. hemos mostrado que tiene que existir un primo par encima de N. es posible recorrer un largo camino a traves de etapas relativamente cortas. el resto es 1). ademas. porque confiamos en el razonamiento se70 Significado y forma en rnaternatlca www. Es. y luego establecer que N carece de especificidad. Sefialemos. par otra parte. no puede ser multiple de N (porque cuando se divide par N. e1 resto es 1). no puede ser multiple de 3 (porque cuando se divide par 3. empezando par la unidad y terminando en N. siguiendo una variante de la demostracion de Euclides. Y. 0 sus divisores primos son mayores que el. cuando se parte de un punta en particular. dentro de un contexto mas formalizado. En otras palabras. etc. a pesar de que cada uno de estos pasos parece obvio. el resultado final no 10 es. multipliquemos despues todos los enteros positivos entre S1. Nos es imposible verificar de modo directo la veracidad de la proposicion. EI producto obtenido es divisible por todos los rnimeros incluidos en la serie.com/web/Scientia . 10 volverernos a encontrar mas adelante. en cualquiera de ambos casas. En nuestro caso.· par 10 que la demostracion se generaliza. Esta muestra que si se elige un numero. le darnos fe. precisa y bella. el resto es 1). no puede ser multiple de 4 (porque cuando se divide par 4. Y. oNes primo. cualquiera sea. Ensefia que. el resultado no puede ser multiple de 2 (porque cuando se divide por 2.esnips. en caso que sea divisible par mimeros distintos a la unidad y a sf mismo. Consiste en desarrollar una demostracion. Las breves etapas son los pasos que sigue el razonamiento. el resto es 1). habra un primo que es mayor. De modo que.La demostraci6n de Euclides El motivo es que el razonamiento se los dice. Y asi acaba la demostracion de la infinitud de los primos. Elijamos un numero: N. que el ultimo paso es Hamada generalizacion. cuya simbolizacion es "Nl". la division. Razonaremos. N! + 1 unicamente es divisible par numeros rnayores que N. los puntas de partida estan dados par ciertas nociones basicas relativas a la multiplicacion. Dicho de otro modo. Si aN! se le suma 1. simple. no obstante. formamos el factorial de N.

Esta demostracion es ejemplo de un proceso sistematicamente ordenado: cada aserci6n se reIaciona de manera inevitable con las anteriores. abarca sin embargo una infinitud. Podriamos desarrollar de nuevo la prueba empleando la expresi6n "todo N'. Esta estructura puede ser expuesta mas adecuadamente a traves de un vocabulario especifico .esnips. apto solamente para expresar afirmaciones relativas a numeros. pareceria que no nos queda altemativa. establecida linea por linea. hay Significado y forma en rnatsrnatica www.un vocabulario convencional. las cuales son definidas por el proceso de razonamiento establecido: es decir. en SI mismo finito. En maternarica. De tal forma. regida por la aplicaci6n de unas pocas reglas tipograficas. dejamos a un lado la circunstancia evidente de que hay un numere infinito de hechos que necesitariamos probar. porque significa que losmatematicos siempre coincidiran en reputar "verdaderas" a ciertas proposiciones. y la manera correcta de usar las expresiones anteriores. al ser analizados sobre una hoja de papel tendran forma de modeIos abstractos. entre ellos el de "todo". y "falsas" a ciertas otras. Y este es un hecho muy feliz. y la estructura sistematica de la prueba puede cornenzar a asemejarse a una lenta transformaci6n de modeIos. Si se conoce el contexto pertinente.com/web/Scientia 71 . estara formulada de modo aprehensible. £ste. consistente en simbolos-.guido. y no como "evidencia suficiente". si hemos estado de acuerdo con cada paso dado por Euclides. puesto que seran representados por un conjunto pequefio convencional de simbolos. Pero los enunciados. sino solamente dos 0 tres conceptos. asumiran la apariencia de modelos. Aplicamos la palabra "todo" a traves de unas pocas formas. no sera necesario abordar una cantidad infinita de casos. el prop6sito perseguido es siernpre aportar una prueba rigurosa en sustento de las proposiciones que no son obvias. podrernos exarninar la prueba en su version traducida. mediante su empleo. En otros terminos: aun cuando al ser leidos en voz alta impresionen como aserciones acerca de mimeros y las propiedades de estos. Se tratara de un conjunto de enunciados cuya correspondencia. Alude a ellos utilizando frases como "cualquiera sea N'. rehtiye tratar separadamente cada uno de los infinitos casos cubiertos por la dernostracion. La circunstancia misma de que los pasos esten articulados por medio de una sucesion rigurosa parece sugerir la existencia de una estructura modelada para eslabonar entre sf las distintas aserciones. tendremos que estar de acuerdo con la conclusion que formula. Por eso es calificada como "prueba". Soslayando el infinito Aunque la prueba de Euclides demuestra que todos los nurneros estan dotados de cierta propiedad. 0 bien "sea cual fuere eI valor de N'. Si aceptamos razonar.

Hay mayor claridad para nuestro entendimiento cuando diversos paltos son reunidos en uno. las operaciones producidas en su cerebra seguramente movilizaron mill ones de neuronas (celulas nerviosas). Puede que no seamos conscientes de ello. Una dernostracion puede ser fragmentada en una serie de saltos minuscules pero diseontinuos. Asimisrno. La simple formulacion de una frase activa centenares de miles de neuronas.com/web/Scientia . que parecen discurrir can fluidez cuando son observados desde una posicion ventajosa. (Puede que sea escasa la vinculacion directa entre la actividad neuronal del cerebra de Euclides. comenzamos a distinguir estructuras individuales en su interior. Reconocer esto ha implicado un descubrimiento primordial en ellargo camino hacia la formalizacion de la teorfa de los ruimeros.reglas que gobiernan tal aplicacion. hemos empleado palabras reguladas por determinados modelos. Pero quiza esto no sea sorprendente. linea par linea. la diseccion puede avanzar hast a alii. Si analizaramos mas profundamente la dernostracion de Euclides. a pesar de lue los sistemas respectivos sean muy diferentes entre si. y que creamos operar sobre la base del signiji'cado de dicha palabra: sostener esto ultimo. Durante toda nuestra existencia. Un interrogante de la mayor importancia sera el de si las reglas que estableceremos para guiar la manipulaci6n simbolica tienen en realidad las mismas potencialidades (dentro del marco de la teorfa de los mimeros) que nuestras facultades habituales de razonamiento. al emprender el examen despacioso de la prueba. y veremos que extraordinaria cantidad de pasos son englobados. mostraremos un modo de descornponer la dernostracion en unidades atomicas. y una prueba en nuestro sistema formal. Cuando Euclides ideo su prueba. la dernostracion se convertiria en alga enormemente complicado. no es sino un rodeo para manifestar que somos guiados por reglas que en ningun momento explicitamos. a bien si. de manera mas generica. Si los formularamos todos. En el Capitulo VIII. atribuimosel curso de nuestros procesos de pensarniento al "significado" de las palabras. y 2) cuenta can reglas que corresponden a todos los tipos de razonamiento que se consideren necesarios. muchas de las cuales habran entrada en actividad centenares de veces en solo un segundo. 1) incorpora un vocabulario convencional que permite formular todos los enunciados atinentes a los mimeros naturales.) En los capitulos venideros. veriamos que esta compuesta par rnuchos y muy pequeiios pasos: casi infinitesimales. dando lugar a un solo enunciado. a traves del empleo de un sistema formal. expondremos un sistema formal que. es te6rieamente posible igualar el nivel de nuestras capacidades mentales. pero en lugar de Hamar "reglas" a los modelos. se justifica que su demostracion contenga una cantidad colosal de pasos. 72 Significado y forma en maternatlca www. y permitirnos asi eaptar la naturaleza "atomica" del proceso de razonamiento. Es como si la naturaleza exigiera no olvidar la complejidad de la prueba relativa ala infinitud de los primos. Como los pensa· mientos de Euclides fueron altamente complejos. pero las complejidades de ambos son comparables.esnips. empeTO. Dieho de otra forma.

Sign up to vote on this title
UsefulNot useful