ciencia popular

En este libro la reona de demostracion m aternanca y las causas de la insolubilidad de algu nos problemas estan expuestas en

un nivel bast ante comprensible.

EI libra esta dislinado para lovenes cientifioos y para todos aquellos Que sa interesan por

lOS problemas de las rnatemancas actuates,

Lo demostrable

e indemostrable YU.1. Manin

Editorial . Mir . Moscu

10. n. ~lAHfH{

~OHA3YEMOE M HE~OKA3YSMOE

H3.llATEolbCTBO «COBETCROE PA;l,HO" MOCRBA

Ciencia popular

Lo demostrable e

indemostrable

Yu. I. Manin

Editorial Mir Mosa u Rubinos 1860 - MADRID

Traduchlo del l'U~O por E. M. Koteuko

Impreso en la lIRSS.

© Traducci6n al espana}. Editorial M1R. 1981.

PrefCicio

Entre los adelantos cientifico-tecnicos que se vinculan con las ideas de la cibernetlca, tiene gran importancia el amplio usa de .. los ordenadores para resolver problemas de calculo, simulaci6n y gobierno. EI trahajo del ordenador, si nos apartamos de BU encamacion «en hierro», consiste en procesar y engendrar textos simbolieos, As! pues, eSB trabajo, represents una aciiuidad lingilistica muy comprensible. La actividad lingUistica, antes de Ia aparicion de los ordenadores, era una prerrogativa excepcional del hombre, y Ia posibilidad de su enajenaci6n parcial provocc un enorme interes social.

Este interes sa reflejo en la formula popular de «maquinas pensantes», en la cual, por desgracia, se efectu6 Ia sustituci6n lamentable del termino. La enuneiacion de las numerosas nece-. sldadas aeerca de si la maquina puede pensar, podrian evitarse si eoneibiesemos que ha de esperarse del razonamiento ademas y fuera de Ia capacidad de engandrar textos.

La actividad Iingiilstica del ordenador es una actividad matematica en cierto sentido profundo de Ia palabra, Incluso cuando se trata de un programs que traduce del hungaro 0 compone

melodias de Una sola voz. Par 51 mismo el «Ienguaje matematicoi del hombre as un asombroso hijastro-nifio prodlgio del lenguaje natural. La estructura y semantics del Ienguaje rna ternatico en cierto grado han sido concehldas merced a sus vi ncu los cons ta n tes co n 1 as cien cias no. tural es y 1a tecnologia, asi ramo debido al imnenso trabajo de los especialistas de la logica maternatica, Los correspondientes problemas para los Ienguajes naturales a menndo ni siquiera han sido planteados todavia. El Iislco-teortco, Ianreado del Premia Nobel Eugene Wigner Intitulo con gran perspicacia uno de sus articulos «Sobre Ia sficacia Ineonesbtbla de las fila temattcas en las ciencias naturales» mientras que no muehos pensadores corrieron el riesgo de asornbrarse de Ia eficacia del funcionamiento del rdioma en general.

Para cornpartir este asombro invitamos al lector a cotsjar dos fragmentos cortos yadentrarse en su sentido.

«En e1 edificio grande de las entida.des judiciales, durante Ia interrupcion de la audiencia del expedients de los Malvinski, los rniemhros y el fiscal se reunieron en el despacho de Ivan Egorovich Shsbek, y se sntablo una eonversacien sobreel famoso expedients de Krasovski, Fi6- dor VasHi.evieh se acaloro demostrando que 91 asunto no era [usticlable, Ivan Egdrovich mantania su criterio, y Piotr Ivanovich, que desds 61 principlo no se habia metido en la disputa, no participaba en ella y hojeaba el pericdico Vedomosti recUin traido».

«EI mimero de fisiones que se origman en 1 ems de una caldera por 1 s es igual a ftn (vi A) X X (3,9/7,2). El sentido de los faetores es: la parte de neutrones termicos absorbidos por el uranlo, Ia densidad de los neutrones, el «inhour»

6

del neutron termico y la parte de ahsorciones del neutron POl' el uranio, que conducen a la fision. Admitiendo que en el acto de fisi6n se producen 200 MeV, debemos multiplicar (e1 numero de fisiones/s·cm3) per (200 MeV/fision), es dsclr, por (0,0003 erg/fisi6n) para obtener erg/s· em", En la expresi6n final aparece e1 producto nv, as decir t el. fluj o. Es precise u tilizar e1 flujo

media tw. Se puede mostrar que para el cuba e1 flujo medio esta asociado eon e1 flujo en el

centro, nov, mediante la correlaeion 1W = = nov (8InS). Definitivamente obtendremos (en kilovatios)

(~vJJ... 3,9 3 2.10-14)

noll n:J, A 7,2 1 •

Despues de sustituir los valores debidos obtenemos 4.. 10-9nov. Las potsncias del orden de 2,5.103 kW (Clinton) corresponden a un flujo de cerca de 1012 en el centro. En Hanford el flujo de neutrones en el centro de la caldera constituye aproximadamente 1013 n/a-cm".

EI primer fragmento es el comienzo de la «Muerts de I van Llichs de L. N. Tolst6i, el segundo ha sido tornado de las ({Conferencias de Ia fisiea neutronica» de E. Fermi.

Las diferencias entre estes fragmentos, que saltan a la vista-en el tenia, los requisites acerca del nivel de preparacion del lector-son las menos esenciales para nosotros. Desde luego, la novela de T'olstoi apela a Is experiencia de la vida mas 0 monos humana mientras que Ia concepcion de las conIerencias de Fermi exige conocimientos especificos de un fisico 0 un Ingeniero atomico. (A propcsito, Ia expresiou «no ser [ust.iciablee de Tolst6i concierne a los terminos del sistema juridico especial, y su sentido para

7

un lector sin enseiianza especial quiza sea mCHOS vago que el concspto de «neutron termico»).

Pero nosotros queremos Hamar Ia a tell cion a Ia siguiente circnnstancia Fermiexplica como secakula la potencia de un reactor atdmico, es decirvcierta magnitud que en principlo puede ser med id a , valiendose de las Iecturas de un instrumento convenlente, En vez de esto se propene obtener la misma magnitud, elaborando un texto

aritmetico no complejo de tlpo ~:~ 3,.2.10-14. """" = ... Esa es precisamente aquella parte de la investigaci6n c.ientifica que mas a msnudo se Ie snrninistra al ordenador (desde luego, el volumen de los calculos y su cornplejidad 16gica suelen ser mucho mayores). Preclsamente Ia hahitualidad de este procedimiento (aprendemos a resolver problemas a partir del primer grado) impide que el hombreadulto S8 extraiie: lpor que, en resumidas cuentas, el proceso formal de multipl icar dOB fraeclones decimales, usando la tabla de multtplicar y las reglas de transferencia de cifras (edos por nueve son dlectocho, escribfmos el ocho y guardamos el uno en Ia memoria ... 0 en el elemento de Ia memorla») lIeva a unacierta prediccion respecto del curse real de los acontecimiontos? Pues en el reactor no sucede absolutamente nada que pudiera ser correlacionado, aunque sea aproximadamente can el acto elemental de calcular edos por .nueve son dleciochos. Por otra parte, con este mismo acto elemental se puede tropezar alcalcular el punto deencuentro del cohete con el objetivo, Ia posicion de un buque en e1 mar 0 el tiempo de vida. del Universe, o sea, al electuar calculos que no tienen na da que ver con los reactores,

Claro esta que el calculo es tan solo un ejemplo ·primitivo de un integro texto matematico: sin

s

embargo. en el se pueden examinar los rasgos caracteristicos del lenguaje matematico en general. En cuanto a la estructura. e1 lenguaje matematico esta subordinado a los rigidos princrpios de Ia «ordenacion corracta». Estas reglas han de garantizar la everacidad de las conclusionos siendo verdaderas las premisas». La polisemia exrraordinaria, y muy a rnenudo la aussncia de interpretacion de cada uno de Jos fragmentos del texto matematico en Ia realidad que este pueda dasorihir , exige una interpretacion bastante unificada en el «mundo de las ideass: de ]0 contrario podremos imaginarnos siquiera aproximadamente el contenido del concepto «veracidad» (salvo los cases. cuando este concierne a un acontecimiento singular que ocurre eaqui y ahora», y que entonces seguramente se encuentra fuera de las matematlcas).

EI concepto de «veracldadi casi inevitablemente exige Ia abstraccion de la «inliuidad» ya par el simple heche de que un correcto enunciado matematico siempre y dondequiera ha 'de set correcto.

Entretanto, la actividad lingiiistica en principio tiene rasgos finitos: cada texto real se divide en un mimero finito de unidades slsmentales que se reproducen univooamsnte. Si no, e] idioma no podria cumphr sus funciones en la memoria social 'Y en los canales de comunicacidn -sociales de Ia humanidad.

tEn que grade, pues, pueden reIlejar los textos finitos la abstraeeion de la infinidad matematica? Este caso especial de Ia cuestion general acerca de hasta que punto el idioma es capaz de expresar el pensamiento constituye Ia idea fundamental del libra que ofrecemos.

Mas concretamente, el lihro esta destinado a exponer. algunos resultados actuales de Ia

s

insolubilidad de los problemas matematicos. En rasgos generales fa idea de tales problemas esta rnuy difund ida: la cuadratura del circulo eoncierne a uno de losejemplos mas vieios, Y e1 problema del continuo, a uno de JOB mas nuevos. Sin embargo, a pesar del c-onsiderable interes haciael problema de insolub ilidad, of sentido exacto de los resultados obteuidos Io conoce un circuio relativamente limitado incluso de matematicos profesionales, En gran medida ello se explicu por e1 hecho de que el objeto de la disciplma matematica, en euyo interior se establecen sstos resultados, no es del todo ordinario: este objeto es el modele idealizado de las matematieas reales en el seno de las propias matematicas, En In. concepcion mas amplia se trata hasta de un cuadro idealizado del conocimiento deductive en general Io que determine el valor humanitario y gnoseol6gico de los teoremas de la Insoluhilidad.

EI objetivo de este.1ihro os doble: describlr los Iundamentos de Ia Iogica matematica como mode- 10 de matematicas y, haciendo usa de sus medios, presentar varias demostraclones de Ia insoluhilidad, ineluso e1 problema del continuo segiin Cohen, 01 teorema de Tarski de Ia imposibilidad de expresar Ia veracidad "':Ii parclalmente el famoso teorema de Gddel sobre Ia incompletitud.

Por desgracia, Iuera de los Iimites de este libro quedaron los problemas de Ia insclubilidad algoritmica. Su exposicidn requiere un desarrollo preliminar delaparato de las funciones recursivas a de uno de sus equlvalentss (maquinas de TUring, algoritmos de Markov). EI volumen Iimitado del Iibro no permitio inclnir este material.

EI libra se compone de tres capitulos. Los dos primeros son una Introduccidn a Ia logicaformal y han de ser acceslbles para los lectores que tenga.n conocimientos matematicos relativamente

10

eseasos y ciertos hahitos de empleo de Ia teoria de conjuntos. EI tercer capitulo, dedicado al problema del continuo, tecnicamente es mucho mas dtficii. Sin embargo, a Ia presentacton complete de Ia demostracion le anteeeds Ia varlante de modelo en el lenguaje de emimeros rea I es a1 ea tori 0 S~), I a cual perm i te, si se d esea ! comprender las ideas fundamentales de la cons'truceion sin entrar en detalles exhaustivos.

Al material no del todo tradicional concierne el parrafo de Ia logiea cuantica con demostraelon del teorema de von Neumann sobre los parametres latentes, as! como la expostcion del teorema de

TarskiapUcando e1 metoda de Smullyan. Este ultimo ideo una varianta ingeniosa del lenguaje formal de 1a aritmeticael cual permite escrthle iacilmente la formula que confirma su faisedad. Esto suprime la m itad de las dificultades teenicas al demostrar el teorsma de Godel sobre 13 inc.ompletitud.

Por ultimo, una parte asencial del- libra Ia constituye una serie de digresiones no form ales sobre el sentido de los coneeptos matermiticos en un contexte mas amplio de la cultura humana. En determinado aspecto, dlchas digresiones expresan e1 criterio del autor sobre el problema de «motlvacidn» de las maternaticas. Por 10 visto, Ia loglca es capaz de .argumentar las matematlcas no en mayor grado que Ia biologia arguments la vida.

EI lector que desee ampliar sus eonomrcieii tos aeerea de las cuestiones planteadas en este libro y famiHarizarse con otros puntos de vista puede recurrtr a Ia numerosa Jiteratura, parte de Ia cual viene en Ia bibliografia. En' particular, hay magnificos curses de logica de J.' Shoenfield (1)' E. Mendelson 121 y S. Kleene (3]. El Ilbro de P. 1. Cohen [7] esta dedicado especial-

U

mente 81 problema del continuo. La teoria de los conjuntos, sus aspectos Iormales y los problemas Illoseficos se exp onen en los lihros de N. Bourbaki (5), A. Fraenkel e Y. Bar-Hillel (17), veanse tambien la resefia profunda hecha par K. Godel 120] y el articulo de P. Cohen 1191. A la teoria matematica de las funciones recursivas y de los algoritmos estan dedicados especialmente los libros de V. A. Uspenski [91. A. A. ~Iarko\' (8], A. I. Maltsev 110] y H. Rogers U 1], asl COmo los articulos de V. A. Uspenski (15]' Yu. 1. IHanin [13, "14J y Yu. Matiyasevich (12]. Los distintos pun tos de vista respecto de los problemas Iilo.softcos de los fundamentos de matematica estan expuestos en los libros ya citados de S. Kleene y A. Fraenkel y de Y. Bar-Hillel. en la monogrsIia de A. Tarski [161, asi como en el Interesante libra de V. N. Trostnikov {181 y en el trabajo popular de I. Lakatos [2'11.

Considero que esle libro sera de interes para los Jectores de habla espanola.

C~pitulo I

Introducci6n

en los lenguajes formales

Gelcgent.lich ergraifen wir die Feder Und schreibsn Zeichen au] etn weisseg Blatt, Die sagen dies und das, es kennt ale jcder, Es ist ein Spiel, das seine Begeln 1t8t.

H. Hesse, Buchstaben

En caso oportuno tornarnos una pluma Y escribimos simbolos en una hoja de papel, Nos dicen una cosa, otra; lQS CODOM cada UDO, Se trata de un juego que sus reglas ttene,

H. Hesse, Lctras

1. Generalldades

1.1. Sea A, cierto conjunto abstracto, un alfabeto. Las sucesiones Iinltas de los elementos A so denominan eapresiones en A, las sucesiones finitas de las expresiones, textos.

N osotros hahlaremos de un lengua;e con el aljabeto A, si ciertas expresiones y textos han sido distinguidos (como «compuestos correctamente», «sensatos», etc.). Asi, en el alfabeto latino A pueden distinguirse las formas de palabras del idioma Ingles y frases inglesas gramaticalmente correctas, El conjunto de exprestones y textos obtenido sera una aproxirnacion operacional a 1a representaci6n intuitive. del cid ioma ingles».

t3

EI Ienguaje AJgol-GO consta de expresiones y text os d ist.ingu idos en el alfabeto {letras lat iIWS} U {cifras} U {signi/icados l6gicos} U {Umftadotes}. A los textos dtstinguidos mas importantes pertenecen los programas.

En los lenguajes na turales Ia totalidad de las expresiones y textos distinguidos suele tenor limites vagos, Cuanto mas formalizado esta el lenguaje , tanto mas nitidamente estan contorneados estes Iimites.

Lns reglns de Iormacion de las expresiones y textos disl iuguidos constituyen la sintaxis del lenguaje.

Las reglas de su confrontaciou con Ia rsalidad conciernen a la semdntica del mismo.

La descripcion de la sintaxis y semantics se realiza por medic del metalenguaje, En Ia mayoria de los casos eso es un fragmeuto del argot matematico nacional. En nuestro Iibro este concepto no se formaliza; 18 mayor parte del texto que sigue a continuacion es· metalingiiistioa.

1.2. Determmadas clases de razonamientos (m fI tern a ticos) 0 procesos de ca.Ieulo que 59 Ilevan a cabo con la ayuda de automatas (abstractos) son la ersalidad» para los Ienguajes de las matematicas. En consonancia eon tal 0 cual destinacion, estos lenguajes se dividen en formales y algoritmicos. (Comparense, en los lenguajes naturales, Ia contraposieien del modo indicativo e imperativo 0, al nivel de textos, la comunicaclon y el orden).

Los distintos Jenguajes Iormales difieren entre si , en primer lugar, por Ia amplitud con que se engloban los tipos de razonamtentos a fomalizar o sea, por la ezpresiuldad, en segundo Iugar, por Ia orientacicn hacia teorias matematicas concretes: en tercer lugar, por la seleecton de los medios de expresi6n eJementales (de los cuales se sintetizan luego los damas) y Ia Iormallzacien.

14

En este capitulo se axamina sistematlcamente cierta clase de lenguajes Iormalss. Los lenguajes algoritmicos se utili zan episodicamente,

La contraposiclon Iengua - habla que se remonta hasta Humboldt y Saussure - as real tanto para los lenguajes formales como para los naturales.

En e1 § 3 de sste capitulo se brindan ejemplos del «hablaa de dos lenguajes concretes orientados hacia la teoria de conjuntos y la aritmetica, respectivamente: los habitos de Ia actividad de hablar deberan anteceder al estudio _ de Ia gramatica.

Ellenguaje de Ia teoria de conjuntos pertenece 61 mimero de los mas rices en medics expresivos a pesar de su extremado caracter economico. En principio, valiendose del mismo se puede escribir un texto formal que responde casi a cualquier iragmento de las matemaucas contemporaneas: al curse de topologia, analisis funclonal, algebra o Iogtca.

Ellenguaje de Ia aritmetica es uno de los mas pobres, pero sus posibilidades expresivas son suficientes para describir toda la arttmetica elemental I asl como para mostrar los efectos de Ia autodeseripcion segiin Godel y Tarski.

1.3. Como medio de comunicaci6n, descubrtmiento y fijacion del material, ningun lenguaje formal es capaz de 'competir con Ia mezcla de argot matematlco nacional y de formulas, habitual para cada matematieo trabajador.

No obstante, dsbido a su rigida normaltzacion, los textos formales por si mismos pueden servir de objeto de investigation matsmattca. Los resul tados de tal investigacion son los teoremas de las matemdticas. Estes despiertan un gran interes ( y fuertes emociones) siendo interpretados extensameute, 0 sea, como teoremas de las mate-

15

mtiticas. Y precisarnen te la posihilidad de tales y aun mas extensas interpretaciones deterrnina el significado filosofico y humaniLario general

de Ia 16gica matematica, .

1.4. Homos conveuido que las expresioncs y los textos del lenguaje son elementos de ciertos conjuntos abstractos, Para trabajar con ellos han de ser fijados materialmente. Sagun la tradicion europea contemporanea (a diIerencia de la antigua tradlclcn babil6nica 0 la moderna tradicion americana que utiliza Ia memoria del ordenador) ha sido adoptada la siguiente forma de inscripcicn. Los elementos del alfabeto se denotan en el papel par determinados slmbolos (letras de distintos caracteres, cifras, signos adicionales, as! como sus combinaciones). La cxpresion en el alfabeto A se escribe en forma de una sucesicn de s.imholos que se lee de izquierda a derecha, con separaciones en casos necesarios. Los textos se esorihen como una sucesion de expresiones con hlancos 0 slgnos de puntuacion entre ellos.

1.5. La escritura de la mayor parte de las expresiones y textos interesantes del lenguaje formal 0 es demasiado larga fisicamente, 0 se dsseifra y se recuerda pslcologicamente con dificultad en e1 tiempo aceptable, a 10 uno y 10 otro a 1a ves, Par eso tales expresiones 59 sustituyen par inscripciones abreoiadas (que fisicamente pueden resultar mas largas). La expresion zxxxz» puede escribirse ahreviadamente «X •.. x (seis veces)» 0 «!&»; la expresi6n Vz (z Ex ++ x E Y) puade escribirse como «x = Y!), y la expresi6n 101010., .10, como «la suceston de Ia Iongitud 2n con unidades en los Iugares impares y ceros en los pares» 0 como «la eseritura binaria del mime-

fa ; (411 - 1)>>. La inscripcicn abreviada puede servir tam bien de notaci6n de cualquier expre-

16

sion de tipo determinado y no s610 de una expre~i6n mdividual: osas son las J larnadas «variables I netalmguisttcas».

Desde la epoca de Viele, Descartes y Leibnitz , hasta Ia cual se remonla nuestra tradiclon, Ia oscrttura abreviud a sirve de inagotable Iuente tie inspirncton Y errores. La sisternat.izacion de sus procedimientos no tiene ni sentido ni es posible, ya que en esto se estampsron indeleblemente Ia moda, el espiritu del tiempo y Ia masstria 0 e1 ped ant.isrno de los autores. Los simbolos

.6, ), E son muestras clasicas para Ia im itacion La Inscrtpcion olvidada de Frege para «P y Q) (en realidad «no (si P, enionces no Q)>>, donde

proviene Ia asimetria): r-

h-l.__I :

muestra lo que se debe evitar.

Sea como sea, las inscripciones abreviadas colman las matematlcas, La costurnbre a In trinidad dssmembrada:

tex'o formal

/ ""d~ltt

escnfara de! texto - i/uv.rprt!IiH'lon e e.x e,

que sustituye la identificaci6n inconseiente del enunciado con su forma y sentido, debera ser astmilada por el lector una de las pritneras.

2. Lenguajes de primer orden

En este parrafo se describe la elase mas importa ute de Ienguajes formales X 11 lenguajes lip. primer arden, y dos representantes concretes de esta

2-011U

clase: el l(~rtgu{lJc do Ia If'oria de conjnntos de Zermelo=-Praenlccl LISe!' y el (h' la m·jLnl!~ticn de Peano L lAr. Ot.-a deuom i nacion de :t 1 e . s lenguaies de predicados.

2.1. .E I nlfabeto de cualqn ier iengua]e de In clase :II ~e divide en seis suhconjuntos d isjunl.os dos ados. Ell In tn lil n q 11(' v icue a COlt ti nuar ibn

Airabf'to de Ills lenguas

Nntacjoncs y dcnomtnacaones
Subconjnl'ltos
df!'l attsbeto I 1 an
generales en l~l Set 1~1 il.r
Conectivas - (equivale); - (se deduce}; V (0 io-
y cuantifi- separable); A (Y); ..., (No); 'V (c-uantiii-
cadores cador uni versa i); 3 (cuantiflcador exis-
tencial)
Vari.abJe.s lx, y, :, u, 1>, ... COD indices
constantes'l e ... (COIl I o (~onjunto I Q (cero)
indices) vacio) t (unidad)
Operaciones f. g. (con no- hay + (a.dici6n)
de los ran- indices) fango 2
goa 1,2,3, ... . (multi-
plicaei6n)
rango 2
Halaciones p, q, ... (eon E (ser cle- =(igual~
(predlcados) indices) mente, ran- dad), range
de los ran- g41 2) 2
foe = (igu-
12, S, .' .. aldad , ran-
go 2)
Parintesis I «parentesis abridor); ) (pateutasie
cerl'\dor) 1.8

se ennmeran las denominaciones especlficas de ]08 elementos de d ichos subconjuntos, sus notaciones estandarizadas en el caso general, las notaotones.espeetales adoptadas en este Iibro para lOB Ienguajes L, Set y Ll Ar. En posjie ello desertbimos las reglas de Iormacion de las expresiones d tsttnguidas y en breve discutimos a semant.ica.

Las expresiones distinguidas de cualquier lenguaje L de la clase :£.1 se dividen en dos tipos: terminos y formulas. Tanto unos como otros se definen recursivamente. L08 textos distinguidos, deducciones, van definidos en el § 4 del cap. II.

2.2. Definicion. El eoniunto de termino« es el subconfunto de expresiones minima del lenguaie que satisiace das condiciones:

a) las variables y constanies son terminos (ele-

mentale8); .

b) si J es una operacum del rango T, y tlt ••• . . " tr son terminoe, entonces f (tl' ... , tr) es un termino.

En Ia condtcion a) se identifica el elemento eon la sucesi6n de Ia Iongitud 1. La coma no integra el alfaheto, ya que as un atributo de 1a escritura abreviada f (tt, ... , ta) Y significa 10 mismo que f (tlt2t3)' En e1 § 1 del cap. II se expHca, como se desclfran univocamente las sucesiones de los terminos a pesar de la ansencia del signo separador,

Si dos conjuntos de expresiones del lenguaje satisfacen las condiciones a) y h), entonces las sat isfara tambien su Interseccidn, Por eso es correcta la definicion del eonjunto de terminos.

2.3. Definicion. Las formulaS. son el subconjunto de ezpresiones minimo del. lenguaje que sattsface dos condicWn.e3!

a) st p es una relaciot: del rango r, Y tI •... . . . , t,. son tBrmiTWs, enionces p (tit ... , tr) es una formula (elemental);

to

b) si P, Q son formulas (jescritura ahrsviadal). x es una variable, entonces son formulas las expresionee (P) --.. (Q),. (P) ~ (Q), (P) V (Q). (P) 1\ A (Q), l (P)., 'Vx (P), 3x (P),

De las def'inlctones se deduce que cualquier termino se obtiene de los tE~rminos elementnle"5 porel mimero finito de pasos. cada uno de los euales consiste en «aplicar al simbolo de la operacion» a los terminosobtenidos anteriormente. Esto es justo tambien para las Iormulas, En el § 1 del cap ,. II pracisaremos esta observacion.

Las interpretaclones prnnitivas de los termin.os y formulas que v ienen a contlnuacion se brindan para referenda y concternen a los tal Ilamados ernodelos estandarisadosi (veanse _ las definiciones pracisas en al § 2 del capitulo II).

2.4. Ejernplos e inte.rpretaciones. a) Los terminos sirven de denominaclones (notaciones) de los objetos de Ia teoria. Los terminos elementales son denominaciones de objetos indefinidos (variables) 0 concretes (constantes). El termino f (t), .. " t.,.) es UDa notacion del objeto obtenido dsspues de que Ia operacion denotada por l fue aplicada a los objetos denotados par t1 •.•• , i.:

He aqui unos eiemplos de LIAr:

'0 es 1a uotacion del cero;

1, la notacion de Ia unidad:

+(:11), Ia notacion del dos (1 + 1 = 2 en la inscdp.Qion Q_Qrrient.e);

+(1 + (11 )h._la notaci6n del tres;

. (+(11) + (11)), Ia notaci6n del cuatro (j2 x 2 = 41).

Como esta escritura normalizada diverge de laadoptada en Ia aritmetica, esorfblremos hahitualmente en Ll AI: tl + t?, en vez de +(t]t2) y tl·t~ en vez de . (tlt$)' Este acuerdo puede eonsiderarsecemo una formalidad inmediata de Ia escritura abreviada:

20

x es Ia notacion de la indeterminaci6n de un mimero entero,

x + 1" 6 +(x1), la notacien del mimsro que Ie sigue. En el lenguaje L. Set todos los terminos son elementales:

x es Ia notaci6n de un conjunto indefinido; 0, Ia notacion de un conjunto vaciu.

b) Las formulas sirven para denotar los enunciados (opiniones, proposiciones ... ) de la taoria. El enunciado tra.ducido al lenguaje informal, puede resultar cierto, Ialso 0 indefinido (si este concierne a los objetos indefmidos): veanse las definiciones sxactas en el cap. II.

La formula elemental p (t1l .. "t,) en el caso general tiene aproximadamente elsiguiente sentido: «un numero ordenado de r objetos denotados por tIl . . . 7 t; posee Una propiedad denotada por P». He aqui algunos ejemplos de formuIas elementalos en Ll Ar. Su estrnctura general = (t1t2) 0, en una escritura no normalieada, tl = t2 es

o = 1, l (0 = 1). x + r = y.

Ejemp)os de formulas no elementales:

- --

(x = 0) - (x + 1 = 1).

V s: «x = 0) V (l (x.x = 0»)).

Las formulas elsmentales en L, Set: Y Ex (yes un elemento de z), y = X, X = 0, asf como 0 E Y I X E 0, etc. Desde luego, una escritnra normalizada deberia tener el aspecto de E (xyL etc.

Algunas formulas no elementales:

3a: ('Uy (l (y Ex»)): exists un z tal que ningun y no es BU elementa. Informalmente ella signifiea que «axista un conjunto vacio». No obstante, una vez mas hacemos recorder que la

2t

interpretacion informal sobreentiende una cierta interpretacion estandarizada, Ia cual explicitamente 3era introducida en el cap. II.

'i/y (y E z -- Y Ex): z es el subconjunto de x.

Eso es un ejemplo de un procedimiento muy usado de escritura ahreviada: en Ia formula a la Izquierda I fueron omitidos cnatro parentssis. Exactamente no deseribiremos cuales son los parentesis que es permisihle omitir: su restahleclmiento debera ser univoco 0 definido por el contexto y no debera exigir esfuerzos especiales.

Una vez mas subrayamos que las escrituras abreviadas de las formulas son solamente sus signos materiales. Al elegir una escritura ahreviada, se persiguen, en 10 general, objetivos psicologicos: la rapidez de lectura (posiblemente en perjuicio a Ia monosemia formal), Ia ligereza de surgimiento de asociaciones utiles y Ia dificultad de surgimiento de asociaciones nocivas, Ia coincidencia de las costumhres del autor y del lector, etc.

En la teoria de los lenguajes Iormales las propias fOrmulas, y no sus lnscrlpctoues, son los objetos matematicos.

Degresi6n sobre los nombres

Ya hernos dicho repetidas veces que cierto objeto (sirnbolo en el papal, elemento del alfabeto como conjunto abstracto, etc.) es una Inscripclon, notacion 0 denominacien de otro objeto. EI termino cormin comedo para tal relaci6n es el nombre.

La letra xes el nombre de un cierto elemento del alfabeto; al entrar en La formula, este ultimo se convsrtira en el nombre de Ull conjunto 0 DUmero: la inscripcion x Eyes el nombre de cierta exprssion en el alfabeto A, la cual a S\I vex es 01

22

nombre de cierta opinion sobre 105 conjuntos indefinidos, etc.

En la formalizaclon verbal los nombres de los objetos a menndo se identifican con los propios objetos: nosotros decimos «18 variable xtJ, eIa formula P», eel conjunto Z» 10 que no siempre es exacto. El siguiente pasaje tornado del libra de Rosser «Logica para maternaticos. [61 sefiala algunos obstaculos:

«(, .. 10 esenoia consiste en 10 siguiente: sl tenemos una afirmaci6n del tipo ((3 es mayor que 9/12» acerca del numero racional 9/12 que eontiene cierto nomhre «9/12» de este numero racional, entonces podemos reemplazar dicho nombre porotrocualquieradel mismo mimero raclonal, par ejemplo, par ((3/4». Pero cuando examinamos la aftrmacirin del tipo «3 divide el denominador de 9/12» acsrca de cierto nombre de cierto mimero racional, y nuestra afirmacion contiene cierto nambre de este nombre, entonces dicho nombre del nombre puede ser sustituido por otro nombre del mismo nombre, pero, hablando en general, no se puede reemplazar par un nombre "de otro nombre, aunque este otro nombre sea el nombre del mismo mimero racional»,

Ademas, continua Rosser, ela renuneia at esorupuloso examen de tales sutilezas rara vez conduce a Ia confusion en la 16gica y aun mas raramente en las matematioas •.

No obstante, estas sutilezas dssampsfian un papal considerable en la filosolia y en la practica de las matematicas,

«La rosa husle a. rosa, no importa como 11amarla: rosa 0 de otra manera», esto es cierto, porqus las ragas existen fuera de nosotros y huelsn por si mismas. Pera los espacios hilbertianos eexistsn», por 10 visto, simplernente par el heche de que hablamos de ellos, y la eleccion de la

palabra aqui no es cosa indifsranta, EI nombro «espacloi para el conjunto de clases que se integran can e1 cuadrado de funciones fue a la vez el c6digo de toda una esfera de ideas intuitivas sobre los espacios «verdadeross. Este nomhrc organlsaba el pensamiento y 10 conducia en un senti-do determinado.

Un nombrs acertado as un puente entre el conocimiento cientifico y el buen sentide, entre Ia nueva experienoia y las antigues costurnbres. La base conceptual de cualquier ciencia esta integrada por una red complicada de nombres de? los objetos, nombres de las ideas y nombres de los nombres. Ella misma evoluciona y cambia su proyecci6n sobre Ja realidad.

3. Escuela primaria de la traduccl6n

3.1. Recordemos que las formulas de Ll Set. son nombres de 105 enunciados acerca de los conjuntos, mientras que las formulas de L, Ar son nombres de los enunciados ace rea de los mimeros naturales; en dichas expresiones entran los nombrss de los conjuntos y niimeros, posiblemente, Indelinidos.

En este parrsfo estan reunidos los primeros modelos de la traduccton bilateral «argot - lenguajes formales», Uno de los objetivos de esta exposicion es demostrar cuan grandes son las posibilidades expresivas de Ll Set y de L, Ar pese a la extremada escasez de los medias' de expresi6n.

Al igual que en los Jenguajes naturales, la traducci6n no puede ser prefijada por reglas rlgidas, no es univoca y as un proceso creador. Compdrese la cuarteta de Hesse con su traducci6n en el epigrafo a este capt tulo: e1 invariante mas importante de la traduccidn es su sentido.

A ntes de leer lo que sigue a continuacion es necesarto reuisar el apendice al cap. [1 «Unuserso de von Neumann»: La semantica implicita de L, Set pertenece a ese universo y no a Ios conjuntos «cantorlanose arbitrarios. Una idea mas complete sabre el sentido de las formulas S8 puede sacar del § 2 del cap. II.

Traducciones de II Set - argot

3.2. 'fix. (l (x E 0)): «para todos los (conjuntos) x no es cierto que z es un elemento de (del conjunto) 0» 6 que «0 es un conjunto vacio».

La segunda afirmaci6n equivale a Ia primera solamente en el universo de von Neumann, donde los elementos de los conjuntos son solamente los propios conjuntos y no los numeros reales, es decir 1 las sillas 0 los a tomos.

3.3. 't/z (z E x ++ z E y) .......... x = Y: «si para todos los z es justo que z es un elemento de X, entonces, cuand o y s610 cuaudo z es un elemento de y, es [usto que x coincide con 11 Y vtceversa» o «el conjunto se define univocamente por sus elemen toss,

En esta expresi6n estan omitidos par 10 menos seis parentesis: las subformulas z E z, z E y, x = y se dan en forma de una escrttura no normalizada por las reglas de :t: I'

3.4. 'Vu't/v3xVz ·(z E x ~ (z = u V z = v»: «para cualesquier dos conjuntos u, v existe un tercer conjunto x tal, que u, v son sus unicos elemen tOS);.

Este es uno de los axiomas de Zermelo - Fraenkel. EI conjunto x se denomina «par de conjuntos u, v descrdsnado» y en el apend ice se designa por {u\ v}.

3.5. "Iy'Vz (((z E y 1\ Y E x) -+ z E z] 1\ (y E X---r -+ l (y E y)}): «01 conjunto z estri parcialment.e

25

ordenado mediante la relacion E entre sus elementos».

La condition Y Ex-+- l (II E y) Ia hemos transferido mecanicamsnte de la definicion de la ordenacion. En el universe de von Neumann esta eondicion ha sido cumplida automatieamente, ya que alli ningun conjunto es su propio elemento.

En calidad de ejercicio es util escribir las formulas:

ez esta. bien ordenada por 1a relaci6n 6>;

{I.X esta linealmente ordenada por Ia relaeion E»;

«x as un ordinal».

3.6. "Ix (y E s). La traduccion palabra par palabra «para todos los x es justa que y es un elemento de Z~ suena un poco axtrafio. La formula '1x3x (y E z) construida de acuerdo con las rsglas, tiene un aspecto afin peor.

Se podria complicar algo las reglas e ilegitimar tales formulas, perc, en 10 general, elias no molestan en nada, En el cap. II nos cercioraremas de que, desde el punto de vista de la «autenticidad» 0 sdemostrabiltdad», las mismas resultaran equivalentes a la formula Y E z. Asi sa las debe entender.

Traducciones argot - Ll Set

Elegiremos varias construcciones Iundamenta- 100 de valor matematico general y mostrarernos como estas se realizan en e1 universo de von Neumann, en el cual no hay nada, salvo los conjuntos obtenidos pOl' «recopilacion» de 0 I Y en el que cualesquiera relaciones deberan construirse a partir de E.

3.7. (IX es ut: product» direrto de y X z. Ello quiere decir que los elementos de x son los pares

ordenados de los elementos de y y Z, respectivamente. La definicion del par desordenado as evidente: la formula

"Iu (u E z ++ (u = Yl V U = :.»

«significa& 0 se escribe abreviadamente en forrna de x = {YI' 21} (comparsse can 81 p. 3.4). EI par ordenado Yl Y zt se int:roduce mediante el procedimiento de Kuratovski: aste es el eonjunto XlI euyos elementos son los pares dssordenados {Yh Y1l e {Yl' Zl}' De sste modo llegamos a la formula

3y23z" (ClXl = {Y~l Z2.}" /\ '4Y2 = {YI' Yl),t/\.

A "Z2 = (Yll Zl}").

Ia cual se escrihira ahreviadamente en forma de Xl = {y" Zl}

Y se leera. ttl es un pa:r ordenado con eI primer elemento Yl Y el segundo eleroento Zt». En Ia formula, las Inscrlpciones abreviadas de las subformulas estin puestas entre comillas; ulteriormente dejaremos de hacerlo,

Definitivamente, el enunciado «z = Y X 1:» puede ser eserlto en forma de

"JZj_ (xt Ex - 3Y13Z. (Yl E yAZt E zl\

1\ "4 = (Ytl Zt. )")).

Para recordarls al lector la ultima vez las Iibertadss de la. escritura escrihiremos esa misrna formula ssgun todos los canones de :£.:

'fix. «E (XiX)) .-.. (3Yl (3z1 «(E (YIY»!\

A (E (ZlZ») 1\ (3Y2 (3z~ «((Vu «E ux1)) -

--«= (UY2»)V(= (u~)))));\('1u ((E (uYe))"_' +-10-(= (UYl})))) 1\ (Au ((E (uz:!)) ++ ((= (uy.))V

V (= (uz1))))))))))))·

21

EIERCIClO: t,donde se uhica el parsntesis abridor par al parentssis cerrador quinto desde el final?

En el § t del cap. II sa indicara el algoritmo para resolver tales problemas.

3.8. fl.! es una aplicacidn. del conjunto u en el coniunto v». Ante tcdo, las aplicaciones (0 funciones) se identifican con sus graficos: de 10 contrarlo no se logra examinarlas como elementos del universo.

La formula siguiente le impone a f sucesivamente tres restricctones: f es un subconjunto de u X Vi 13 proyeccion de f sobre It coincide con todo el u; a cada elemento de u Ie responde exactamente un elemento de v:

'tIz (a E f-+ (3u,3v1 (u1 E u A VI E v A "z =

= (U1, Vt)"))) /\ 'VUj {U1 E U -+ 3Vt~Z (VI E v A HZ = = (u" VI)" 1\ z E 1)) A '1ut'Vv;VIJ2 {3zt3z2 (ZI E

E t /\ %2 E j A liZ, - (U1• VI)" A. "~~,-::

= (Ut,V2)") -+ Vi = 1)2;)'

EJERCICIO: escribase la formula «} es la proyecci6n de y X z sobre z».

3.9. <lX. es un conjunto [inito», La finitud no es un concepto pnmitivc, ni mucho menos. He aqui su definicion SBglill DedekiIld: cno hayapHeaci6n biunivoca f del conjunto x sobre su propio subconiunto».

Form-ula: l3! ("/ = aplicacion de x en z" A /\ 'fIul 'f/u2VvtVv.,_ (" (U1, VI) E f' AU (U2lJ2) E f'/\ l l (uL = u2»-+ l (VI = v2»1\3u1 (U1 Ex 1\

/\ l 3Vl ("(VI? U1) E t))}.

La abrsv iatura II (UI,Vl) er significa, na turalmente, 3y ("y= (u,vS' 1\ y E f)·

3.10. «X es un numero entero no negaiiuo». En el universe de von Neumann los ordinalss finites

son los representantes de los niimofos naturales, asi que Ia f6rmula necesarta puedo=tener tal aspecto:

«x esta bien ordenado por Ia relaclen E)) 1\ 1\ (IX es fin i toe.

Esta definicion en seguida proporciona el orden na tural de los mimeros naturales.

EJBRCICIO: piensese como se han de escrlbir las formulas «(X + y = Z» «xy = Zt), donde x,y, z son mimeros enteros ~ O.

Despues de ello se puede de modu corrlente escribir las formulas «xes un numero entsro», ex es an mimero racional», «X es un mimero real» (segun Cantor o Dedekind), etc., y construir Iuego la version formal del analisis. Las inscripclones de ]3, longitud aeeptable se obtendran solamente durante las extensionss peri6dicas del Ienguaja Ll Set (vease § 8 del cap. II)., POI' ejemplo, en Ll Setes imposible escrihir los termtnosnombres de los mimeros 1, 2,3, ... (0e5 el nombra de 0). aunque se puade construir las formulas ex esel ordinal finite de 1 elemento», ez esel ordinal finito de 2 elementos», etc. Con tales metodos tortuosos daexpresion, las identidade.s n.uJJiel"icas mas simples tendran una Iongltud increible, pero, sin duds. alguna, parala logica es importanteen principia 18 posibtltdad deesc:ri bir las.

3. it. u es un espacio topologtco». En la f6.rmula hahra que mencionar evidententente la topologia de x. Prefijemosla, dtgamoe, mediante el conjunto y de todos los subccnjuntos ablertos de $. Al princlpfo escribamos que y consta de suhconjuntos de z, eontiene :c y un subconjunto vacio:

PI: 'VZ (z E Y -+ 't/u (u -E z -+uE X») 1\

1\ z E y /\ 0E y.

29

La interseccion w de cualesquiera dos elementos li., v de y, os ubiorta, BS decir , porteuece a y:

p 2: 't/u't/v'r/w «u E y 1\ v E y A "11. «z E u 1\

A z E v) ........ z E w») -+ w E y).

Es m (is d ifi ci] escrihir «in reu n ion de cualquier conjuuto de subconjuntos abiertos as abierta», Escribamos primeramente:

P;j: 'VU (u E z .._. "rIu (u E u _,_ v E y»,

es decir, «z as un coniunto de todos los SUbCOIljuntos Y}}. Luego,

P".: 't/u'f/w «u E z{\ 'Iv.. (Vi E W -:- 3v (v E u 1\

/\ VI E u))) --+ w E y).

Esto significa (considerando P 3 que ha determinado z): (lsi u es eualquier subconjunto de y, es decir I un conjunto de suhconjuntos abiertos de X, cntonces la reunion w de todos estes subconjun tos abiertos pertenece a Y I es decir, es abierta».

La formula definitiva puede tener tal aspecto:

P1I\PS/\ "11. (Ps -+ P,).

Las siguientes observaciones a que se sometera esta f6rmula seran reflejadas en las precisas definiciones de los § 1 y 2 del cap. II.

Las Iatras z, y en todas las Pi S8 utllizan en el mismo sentido, mientras que z desempsna distintOB papeles: en PI as el subconjunto X, yen Pa Y P" el conjunto de los subconjuntos x. Nosotros podemos permttirnoalo porque z, tan pronto 10 «aalacemose con el cua.ntUicador "I. digamos, en PI' deja de designar el conjunto individual aunqus Indefinido, e iha 8. sar y se c.onvierte en una notaci6n provisional de eeualquier conjunto». En cuanto la IIZODa del cuantificadol 't/ haya

terminad o z puede ut il izarse en un nuevo significu c.J 0 II e a eel (Hi>} A fj II d e «li b rar» Z pa fit SII uso ulterior 'rfz ha sido colucado tambieu antes de Pa-P,..

Traducciones argot ~ LI Ar

3.12. "x < ,II": 32: (.11 ='" (.x +z) + ·U. Considerese qu e las vnria bles son nom bres de los rnimeres enteros no negativos (indeftnldos).

3.13. "x es un divisor de y":3z (rL = z . .z). 3 .. 14. "x es un mimero pri!llo": "1 < x" A 1\ C'u es divisor de x" -+ (y = 1 V U = x)). 3.15. «Gran teorema de Fermat»:

'VX1't/:C2VXljVU ("2 < u" 1\ "x~ + x~ = x:n -

" -0")

~ X1'z2Xlj = .

No est-a. clare como escribir en LI ArIa formula x~ +x~ = x~. Desde luego, para cada concreto u = 1, 2, 3, .. " en Ll AI' hay Una correspondiente formula elemental, pero leOmo haoer que u sea variable? Este noes un problema trivial. S610 hace poco fue demostrado que se puede hallar tal formu.la elemental p (x, U, y, Zll •. "Zit), que la afirmacien 3z1 ••• 3znP (x, ... , zn) en el dominio de los mimeros naturales equivale a y = xu.. Despues de ello x~ + XU =oI,t:~ se podra

tradueir por 10 menos asi: S

" .. " - "A" U - y. "A.· "' .. "U - Y ".A.Y + Y - Y

-1 - Yt X2 - 2 t v "':1 -.3 1· 2 -s,

La existencia de tal p es un heche te6rico~nurnerico no trivial, as] que. Ia propia posihilidad de traduclr se couvierte aqui en un problema matematico.

3.16. (Hip6tests de Riemann». Para entender este ejemy'lo as necesaria eima familiarizacion con 18 teods. anahtica de 105 n6meros.

La funci6n~z.et.a de Riemann t (s), en &1 semtplano

31.

Re s > t, asta determinada por la serie 2J ll-~. Ella se

11=1

proloaga meroinerlicamente a todn sl plano compleio de los valores s. La hipotesis de Riemann consiste en la afirmaci6n do que los ceros no trl viales de ~ (8) so encuentran en la recta Re s = H2. Desde Iuego, en tal aspecto Is hipotesls de Riemann no se traduce al lenguaje LIAr. Sin embargo, se conoce una serie de afirmaciones meramente antmeticas equivalentes de un modo demostrahle ala hipotesls de Riemann. Las mas sencillas se formulan, poslblemente, asi,

Sea I-'- (n) 10. funci6n de Mobius a base de mimeros enteros ;':1: esta es igual a 01 si n se divide por el cuadrado y a (_1}r, donde r as el mimero de los divisores simples de n, en el case contrario.

Bntonces tenemos

Hipotesis de Riemann ¢:;- "fI8 > 03~Vy (Y > x_ y

--;.-1 ~ ~ (n) 1< 1/1/2+8) •

11=1

A la dsrecha no eg entero solamente el indice de la potencia, pero se puede hacer que 8 recorra solamente los mimerOB del tipo 1/1., z;.: t, donde z es un niimero entero, y elevar luego la desigualdad requerida a Ia potencla

II

de 2z. La formula (~ f..L. (n) )21' < yZ1-~ ya puede ser

-n=1

tradueida al Ienguajs LIAr, aunque DO del todo trivial.

Hemos aducido los dos filtimos ejemplos para demostrar cuan complejos puaden ser los problemas que se Iormulan en ellenguaje Ll AI a pesar de la aparente sencillez de sus medics expresivos Y BU semantica.

Para resumir este parrafo expondrsmos algunas observaciones acerea de los Ienguajes de ordenes superiores.

3.17. Lenguajes de oldenes superteres. Supougamos que L es un lenguaje de primer orden. Sus medios expresivos en principio estan delimitados en un aspecto importante: es irnposible hahlar sabre las propiedades arbiirarias de los objetos de la teoria, 0 sea, sobre los 8ubcon,juntr;s

32

arbitrartos del conjunto de todos los objetos, Sintacricamente esto sa refleja en la probibtcton de formular expresioues, digamos, de tipo "I p (p (x), donde p es Ia ralacion del rango 1. Las relaciones designan propiedades fijas y no variables.

Es cisrt.o que algunas proptedades pusden ser expresadas con ayuda de formulas no elementales, Digamos, en L, Ar _en v_~z de «x es par» se pusde escrihir 3y (x = (1 + 'i)-g). No obstante, hay un continuo de subconju ntos de nurnaros enteros, pero en total existe un conjunto numerable de propiedades expresivas (§ 2 del cap. j I). asi que, notoriamente, no todas las propiedades pueden ser expresadas por formulas. Por ]0 tanto, Ia €xpresi6n prohihida 'tip (p (x)) no puede ser sustituida del todo por ningnna sucesion de expresiones P 1 (z), P 2 (x), P 3 (z), ...

Los Jenguajes, en los cuales se admi ten cuantificadores segun las propiedades y (0) las funciones (asi como, posiblemente, segun las propiedades de las propiedades, etc.), se denominan Ianguajes de ordenes superiores. Uno de tales lenguajes, L2 Real, 10 oxaminaremos en el cap. III para ilustrar el metodo forcing de Cohen en una variante simpliiicada.

No obstante, una extension semejante de las posibilidades expresivas puede ser alcanzada permaneciendo en Ia class de lenguajes :t1• En efecto, en al lenguaje Ll Set se puede hablar de cualesquiera su bconjuntos de eualesquiera conjuntos, es decir, de las propiedades, de las propiedades de las propiedades y de las propiedades de los sistemas de propiedades ,.. (con continuaci6n transfinita) sin sal ir fuera de los limites del formalismo de primer orden. Ademas, cualquier lenguaje concreto odentado de orden

3-011,')2

33

superior desttnado a. describir losconjuntos estructurados puede set traducido al lenguaje Ll Set, hsbiendo conservado e1 sentido y Ia veracidad en Ia interpretacion normal. (Una exclusion perceptible serian Ios lenguajes para describir las clases de Godel- Bernays y las «gran des» categories, perc est os parece que eaLan condauados a mantenerse como lenguajes de primer orden segun el nivel contemporaneo de comprsnslon de las peradojas).

El lector atento notara 10 siguiente. En 1...1 Set puede escrihirse una formula, de ia cual .Iormaria parte el cuanttiicador 'V de todos los subconjuntos de numerosenteros (ordinales Iinitos). Pero en Ll Set no se puede escribir furmulas que descrfbauexplicitameate muchos subconiuntos concretes, ya que hay un continuo de 6stos, mientras quee! total de formulas es una cantidad numerable. Ene1 cap. II nos detendremos mas dstalladamente en dichos problemas alexaminar La paradoja de Skolem.

Pues bie.n,en los lenguajes de primer orden (y sabre todo en ellenguaje Ll Set) esta.n engendrados casi todos los Iuudemeatales prtncipios 16gicos de conjunto que se utilizan euel trabajo cotidiano del matematico. Por eso los mismos seran el objeto principal de estudlo en este Ilhro. Los lenguajes orientados concretes, no obstante, pueden ser formalizados de otra manera, can mayores 0 menores dlvergencias de las reglas de :£1' Ademas de LII Real, en e1 cap. II analizaremos como ejemplos de tales Ienguajes, el SELF (lenguaje de Smullyan para la autodesc.ripci6n) y el S Ar, lenguaje de Ia aritmetiea,. para el cual es comedo deIllostrar el tcorema de Tarski sobre la imposibilidad de expresar 1a veracidad.

34

Digresion sobre la sintaxi!:

1. El rasgo cornun mas importante de la mayoria de los lenguajes artificales es la posihilidad de prefijar un espectro rico de medios de expresion con un mimero finito y no grande rie princi pios generad ores.

En cada caso concreto Ia elecci6n de tales principios (incluso el alfabeto y Ia sintaxis) es resultado de un compromiso entre dos extremes.

La economia de los medios expresivos lIeva a la unificacion de Ia escritura y a la simplificacion del analisls mecanico del texto. Sin embargo, Ia misma aleja los textos unos de otros en los lenguajes naturales y los alarga mucho.

EI enriquecimiento de los medios sxpresivos aproxima los textos artificiales a los naturales, psro compliea la sin taxis y el analfsis formal. (Comparense los Jenguajes de maquina con los de programacion del tipo A1go1, Fortran, Cobol, etc.). Aduciremos varios ejemplos a base de nuestro material.

2. Dialectos de :£1. a) Sin camhiar 13 logica engendrada en :£11 podriamos pasar en el alfabeto sin los parsntesis y sin cualquiera de los dos cuantificadores, asi como sustituir todas las conectivas por una ~ (conjuncien de las negaclones) (ademast.1as constantes podrian ser dsclaradas como funciones de rango 0, y las funciones, reducidas a relaciones.

Esto se alcanza efectuando el cambro siguiente de las definiciones. Si t1, •••• t, son tt~rminos, f es una operacicn del rango r y p es una relacion del rango T, entonces jtl .•. t, es un termino y pt1 ... t, as una formula elemental. Si P, Q son formulas, entonces l PQ, 't/xP tambien son formulas. Por an contenido ~ PQ significa "no P y no Q", aSI que en este d ialecto tenemos las

sigu i en tes expresi ones;

l (P): i PP, (P) 1\ (Q): HPP ~QQ., (P) V (Q): H PQ { PQ.

Se ve como In economia de parentssts y conectivas Ileva a la repeticion multiple de una misma formula. No obstante. las demostraciones de los ,teoremas de tal lenguaje pueden simplifioarse a costa de Ia rsduccion de Ia lista de sus norrnas sin tacticas.

b} £1 lenguaje de la teoria de conjuntos, segun N. Bourbaki 15]' contiene en el aHabeto 10:5 signos 0, 't, V, 1 t =, E y Ietras, No obstante, las expresiones en este lenguaje no SOil sucesiones sencillas de los signos del alfabeto, sino sucesiones en las cuales algunos elementos estan reunidos en pares (mediante conectores diacr:iticos). POI' ejemplo:

'tAl EO'A'EDA'

La diferencia principal en tre el Ienguaje de Bourbaki y L, Set consists en la presencia del "simholo de eleeci6n de Hilbert". Si, dlgamos, E xy es Ia formula '~X' as un elemento de y", enton-

r---;

cas 't E Dyes un termino, el cud signtfica "ciertoelemento del eonjunto y".

El lenguaje de Bourbaki no es muy comedo y no adquirie propagacion.Este lenguaje .se hizo conocido ell In Iiteratura popular merced al ejemplo de In inscrtpcion abreviada del terminG eunidad» aducida imprudentemente por los autores:

'C" «3u) (3U) (u = (V, {0}, Z) 1\

A UC:: {0} X ZA ('t/;r.) ((x E {0}) =?

36

=> (3y) «x, y) E U») =* (V'x) ('Vy) (~y') (((x, y) E U 1\ (x, y') E U) =? (y=y')) A 1\ ('fly) (y E Z) =*" (3x {(x, y) E U)}}.

La inscripci6n total de este termino contendria varias decenas de miles de signos; para Ia «unidad» eso tal vez es dernasiado.

c) Una extension muy grande de las posihilidades exprsstvas de casi cualquier lenguaje de Ia clase :1'1 seria el permiso de formal' (Iterminos de clase» del t ipo {x I P (x)} que designasen Ia «clase de todos los objetos de x que poseen la propiadad PI>. Esta idea ha sido aprovechada por Morse ell el lenguaje de In teoria de conjuntos Y pOI' Smullvau en el lenguaje de la er.itmet ica (vease el § 10 del cap, TT),

3. Observaelones generales. Para Ia moyoria de los lenguajes 118 turales y artificlales son caracteristicas In discontinuidad y linealidad (caracter unidimensional).

La percepcion por el hombre del mundo exterior no se siente por nosotros ni de un modo discreLa, IIi de nn modo lineal aunque estas oaracteristicas se obsorvan al nivel de los mecanismos fisioI6- gicos (codificaci6n porimpulsos en las redes neuronales). Sin embargo, los lenguajes de comunicaci6n tiendeu al desenvolvimiento sucesivo de Ia informacion en una serie de signos elementales discern ibles. Probablemente, Ia causa principal de osto sea el grado de untvocidad y reproduccion de la informacion e1 cual os mucho mayor (teoiicamente es ilimitado) que el que puede ser alcanzado can otros metodos de transmlslon de esa informacion (comparense las ventajas que tienen Ins calculadores d igltales anto los analogicos Io cual se d iscu te m 11 Y amen udo).

Pero el cerebra humane evldentemente utiliza

37

ambos principios, La percepcion integra de las imagenes, asf como las emociones estan enlazadas mas bien con los procesos no lineales y no discretos, posiblemente, de uaturaleza ondulatoria. Desde este punto de vista es interesante analizar los fragmentos no lineales de los distill tos lenguajes.

En las ma tematicas a estos concierne en primer lugar el uso de dihujos. No obstante, eso casl no se somete a Ja descripciOn formal a excepcion de la teoria de grafos que se ha desprendido y formalizado. El grafo es un objet.o muy popular, alejado minimamente tanto de su imagen integra espacial como de su descripctoa segiin todas las reglas de Ia teoria de conjuntos. Cada vez que se logra enlazar el problema con el grafo, se simplifiea considerablemsnte el ana Iisis , y los glandes fragrnentos de la descripeion verbal se reemplazan por manipulaciones eon figuras. Una clase de ejemplos menos conocida son los diagramas conrn uta tiv os y las suceslones aspectrales del algebra hom61oga. Una muestra tipica es e1 «lema de Ia serplente». He aqui su formulaci6n exacta.

Supongamos que se da un diagrama conmutativo (encerrado en el marco) de grupos abelianos y de sus homomorfismos, en el cual los renglones son sucesiones exactas:

r

I I

I I

J,..-- __

0 .... Kflr f - K~( J{ --- Ker h ---.,---,

~---4----+ ~ I

0-- A - R _.. (. _0 l

I

---- ~ f ---~ .Il--- ~ h ---- ...J

c ...... 0

----,1--' -- .... 1 --___.

0 .......• f ...... R' -

38

Entonces los nucleus y comicleos de los homomorfismos everticales» f. g, h entran a formar parte de Ia sucesion exacta de seis miembros, como se muestra en el dibujo, siendc conmutattvo todo el dtagrama de meras Ilechas. El m.orfismo «serpiente» Ker h 40- Coker j, denotado por una flecha de trazos, as el objeto principal que ss construye en el lema. Es facU descrfhir sucesimente el diagrarna «COD la serpisntea ien un lenguaje lineal formal mas 0 menos conveniente. Poro tal procedimiento exige una interrupci6n artlftctal y no uni voca de los enlaces de fa Iigura bidimensional (al igual que durante la exploraci6n de Ia imagen de television). Ademas, Ia faIta de una imagen integra molesta reconoeer la sttuacton analoga en otras circunstancias y Iormalizarla en un hloque unioo.

La Infancia del algebra homologica iha acompafiada de un dtscernimiento entuslasmado de las clases fittles de diagramas, Alprincipio el interss hacia ell as incluso fue exagerado,

Hay, prubablemente, unejemplo untco de todo un libro UDa estmotura bidimensional (de bloques) conscienteroente introdueida: C. Lindsey, S. van der Msulen «Inttoducclcn informal en el AIgol~68» 1231. Dicho libro consta de 8 eapitulos, cada uno de los cuales estli dividido en 7 psrrafos (iY entre ellos, para observar el sisterna, echo estan vaciosl), Supongamos que (i, J) es el nombre del parrafo j del capitulo i, entonces so podni estudiar el libra «por las filas» de la matriz (i., j) 0 por sus «columnas», segun el doseo del lector.

Al igual que todas las grandes empresas, estoes el Iruto de fa intencion de resolver, por 10 visto, un problema insoluble, pues, segun Ia observaclcn de los autores, es Imposible deserfbie sl Algo1~68 antes de que sa haya desceito.

C Api till 0 II

Veracidad

y deductividad

f. Lema de la tectura univoca

El contenido principal de este parrafo son el lema 1.4 y las definicinnes 1.5 y 1.6. El lema garantiza la univocidad del descifrado de los terminos y f6rmulas de cualquier lenguaje de la class :£1 y sirve de base a 1& mayoria de los rasonamientos inductivos. El lector puede darlc eredito si Iogro por 51 mismo analizar la ultima formula del p. 3.7 del cap. L Es importante recorder que la construccion de c.ualquier lenguaje formal comienza por Ia preoeupaci6n de que las reglas sintacticas no sean equivocas.

Comencemos par las definiciones eombinatorias estandares para fijar la terminologia.

1.1. Sea A un cierto conjunto. La aplicaclen del conjunto {1, .. " n}' en A se denomina sucesion de la Iongitud n de elemen tos de A. La imagen i en esta aplicacicn sa denomina i-esimo termino de la suoeeion, Al valor n = 0 le corresponds una sucesion vacia, Las sucesionss de la longitud t de vez en cuando se identifiearan con los elementos de A.

La sucesi6n de la Iongitud n se registra tambien en forma de all' .. , ai' ... , ant donde a, as su i-esimo termino. El numero i se dsnomina mimero de orden del termino ai. Si P = = (CLt, ., •• , an), Q = (b1 •••• , bm) son dos su-

40

cesiones, entonons se ll ama Sll union PQ In sucesibn (ai' ' , ., aT .. bl, .•. , bm) de la longitud m'f' n, cuyo i-l'simo termino es ai para i ~ n, hi_n para It + 1 ~ i ~ n + m, De forma analogn so dotcrmina In union de Ia sucesion fin ita do las sucesiones.

So denomlna entrada de la sucesion Q en P ella I quier reproseutacion fie P ell Iorma :de 1a union P1QP'!.. Sustituir lit sucesion R en 'lei de. 111 entrada Q en P darla sitrnifica coustruir una sucosion P1RP'.!,

Supongamos que Il ", Il: son dos subconjuntos disjunt os en {1! ... , n} . .lin apticacion c: 11 + -+ r.r - sa denomina Myeccion de pareniesis, si es Liyectivu y satisfaco las condiciones:

a) c (i) > l pnra todos los i E IP;

h) para cad a i In cnnd icion j E [i, c (i)] oquivale a c (j~ E [i, c (i)I,

1.2. l .. ema. Para IJ+, Il " tlados, st existe una lnye(:ci(in de pareniesis, entonces es La tinica.

Est.e lema so aphcara a las expresicues en J os Ienguajes de Ia claso :L'1: n + son los mnneros de Ios lugares en la expresion dada, ell los cuales se encuentra el parentesis ahridor, n - son los numeros de los lugares, en los que so encuentra 01 parentesis. cerrador, la aplicacion c confronta eada parentesis nbridor con el correspondiente cerrador.

DEMOSTTlA(,loN. Supongamos que la Iuncion e:

{i, , .. , ll} - CO, +i} adquiere el valor 1 en IT +, -1 en ll-y 0 en los dermis Iugares. Se aiirma que ontonces para cada i E n +, eualquier hiyecciun de parentesis c: n + - - n- y cualquiet k (1 ~ k ~ C (iJ - t) estan cumplidas las correlaciones

C(i)

S s (;)=0, i=i

c(i)-k

~ e (j) > O. j=i

Despues de demostrarlas, cstablccerernos un lema, ya que obtendramos una. reeeta que unlvocamente restituye c

segUn Il ", n-: c (') es e1 minimo l > i, para 01 cual I

~ 8. (j) = O. j=i

La primera correlaci6n sa deduce del hecho de que los elementos n + y n- entran en el segmento Ii, c (t)) solamente POl' pares <it c (j») y s U) + 8 (c (j») = O. Para demostrar 1& segunda correlaci6n supongamos que para

c (i)-R

algunos t, k tenemos ~ e (j) ~ O. Como s (i) = 1, j=i

e (i}-II

entonees 2.~ 8 (j) < O. Asi que, en e1 segmento

j=i+1

Ii + 1, c (r) - kt, el numero de elementos de IT - as estrictamente mayor que el de IT +. Supongamos que c vo) En - es tal elemento en este segmento que io 4 tt [I + 1, c (t) - kJ. Entonees io ~ i, hasta io < t, ya que c (i) sa encuentra fuera del referido segmento. Eso quiere decir que sclamente un termino del par j'J' C (;0) sa encuentra en (i. e (t)1. 10 que contradlce la definicion do c.

1.3. Supongamos ahora que A es un alfabeto de un cierto lenguaje L de In clase Xl (vease el § 2 del cap. I). Las sucesiones finitas de los elementos de A son expresiones de este Ienguaje. Algunas expresiones fueron diatinguidas como formulas 0 terminos. Becordemos que de las definiciones del § 2 del cap. I, se' deduce Io siguiente:

a) cualquier termino del lenguaje L es ora una constante, ora una variable, ora se presenta en forma de t (ti ••.. , tT), donde f as una operacion del rango r, y tIl ••• , t, son terminos de menor longitud;

b) cnalquier formula del lenguaje L se presenta ora en forma de p (tl' ...• tr), donde p es una relaci6n del rango r y t1, •••• t, son terminos de menor longitud, ora en una de las siete formas siguientes:

(P) -- (Q). (P) -+ (Q), (P) V (Q), (P) 1\ (Q). 1 (P), "Ix (P), 3% (P),

donde P, Q son formulas de manor Iongitud y x es una variable.

De aqui, mediante Ia induccion por Ia longi~ tud , 58 obtiene tal resultado: s€ la expresi6n E es un termino 0 una formula, enionces entre ei conjunto Il + de ruimeroe de pareniesis abridores en ez y el conjunto Il : de tuimeros de parentesis cerradores tiene lugar una biyecci6n de pareniesis.

En realidad, los nuevos parentesis en el

p. 1.:1 a , b se hallan en la hiyeccion natural, y los antiguos (ocultos en las inscripciones abreviadas de ttl ... , t.; P, Q) adrniten tal hiyeccion segun Ia supostcion inductiva. Ademas, los nuevos parentesis no cortan los pares de los parentesis a ntiguos,

Ahora podemos Iormular el resultado principal del parrafo.

1.4. Lema sobre la leotura unfvoca. Cada expresuin del lenguaie L es ora un termino, ora una formula, ora ni este! ni aquilla.

Eeta« a lterna tioas , asf como las citadas en ei

p. 1.3 a, b. Be excluyen mutuamenie,

Cada termino lj6rmula respectivamente) se represenia exaetamente en uno de los aspectos descritos en el p. 1.3 a (en el p. 1.3 b respectivamenie) y uniooeamente.

Ademas, en e1 curso de la demostraci6n estableceremos que si una cierta expresion es La union de una sucesiot: de termino« [tnua, entonces se represenia unioocamente en tal aspecio,

DEMOSTRACION: Procedamos por inducci6n a lo largo de Ia expresion y describamos informalmente el algoritmo del analtsis stntattco que aclara univocamente cual de las alternativas tiene lugar

a) Si en la expresion E no hay parentesis, entonces Ia misma es Ora el terrnino eonstante,

ora e) t.ermino variable, ora no es IIi tcrmino ni formula.

b) Si en la expresion E hay parentesis, pero no ex isle hiyeccion de parentesis entre los parentesis abridcres y cerradores, en toncos E no es ni terrnino ni formula.

e) Supongnmos que en E hay parentesis entre los cuales existe una hiyeccion de parentesis. En este C1iSO E ora se represents univocamsntc en uno de los nuevo aspectos:

j (Eo) U es linn operacion]; p (Eo) (p as una rela-

don): (HI) +--~ (E'J_); (E1) ~ (E~); (E1) V (E2}; (E1) 1\ (E2); l (E:J); V o: (E3); 3x (Ea),

ora no es ni termino Hi fOrmula. Se sobreentiende que los pares de parentesis escritos estan enlazados POl' msrlio de In unica biycccidn de parentesis, existente, segun se supone, en E: precisnmente rslo asegura la univocidad, En efecto, el aspecto f (Ro) so obtiene si e) primer elemento de Ia expresion es una operacion, e1 segundo, un parentesis (y e.J ultimo, un parantesis) par a eslc, y solam en te en este oaso, etc.

Asi pues, hemos reducido eJ problema al analisis sintacuco de las expresiones de menor longitud Eo, El, E2, E~. Esto casi termina la descripciun del algoritmo, porque respecto de £1' E'l.' E3 es necesario aclarar, si d ichas expresiones SOli formulas. SiD embargo, respecto de Ef} es necesario aclarar, si esta oxpresion es una union de terminos en el numero debido y si est-a represen taci6n es uni voca,

La respuesta es positive. La siguiente receta perm i te separar sucesivamente de la parte izquierda, termillos de la unlon de terminus.

d) Supuugamos q ue Eo es cierta expresion entre ouyos parentesis hay una biyecci6n de

parentesis. Si existe la representacion Eo en forma de tE~, donde t es nn termino, entonces d icha representaciou es univoca.

En efeeto, ora Eo se representa univocamente en una de las Iorrnas:

xE~. cE;,. f (E;) R~

(x es UDa variable, c es una constante y j es una operaoion: los parentssis estan enlazados con la unica hiyeccion de parentesis en Eo), ora en general 110 se representa en forma de tE~, donde t es un termino.

En los casus de E = :xE~ 0 cE~ esto, por 10 vista, es el unieo metcdo de separar el termino por Ia izquierda. En el caso de Eo = I (E~) E~ el problema se reduce ai analisis de si E~ as una union de terminos en cantidad de range f. La induccion a 10 largo de Eo permits suponer, que Ia respuesta ora es negativa ora posltiva, entonces E~ se descompone univocamsnte en la union de terminos. El lema est6. demostrado.

EIERCICIO: Iormulese y demuestrese e1 le ma de la Iectura univoca para e1 dialecto «sin parsntssis» de:£] descrito en al cap. I «Digresion sabre 1a sintaxis», p. 2a.

He aqui los primeros razonamientos inductivos que descrihen la contraposicicn de las entradas libres y conexas de Ia variable en los terminos y formulas. La eorrecclon de las definiciones que vienen a continuacion la asegura el lema 1.4.

1.5. Definicion. a) Toda entrada de U7Ul variable en una formula elemental 0 en un: termino es libre.

b) Toda. entrada de una variable en l (P) o en (PI) * (P \I) (* es cualquier conectiua) es libre icorrespondientemerue conexa) ezactamente cuando es libre icorreepondieniemente conexa) la entrada respectioa en P, PlOP",.

45

c) Toda entrada de La variable x en 'Vx (P) y 3x(P) es CO nexa. Las entradas de las demos variables en V x (P) y 3x (P) son atuilogas a las eniradas respectiuas en P.

Supongamos que se da la entrada del cuantiIicador V (0 3) on Ia formula P. De 1 as definiclones se deduce que en pas del mismo ell P entran la variable y el pareutesis abridor. La expresion que comienza por esta variable y term ina con e1 parentesis cerrador respscuvo se denomina dominio de accion (de la entrada) del cuantificador dado.

1.6. Definicion. Suponganws que se dan. La formula P 1 la entrada ltbre de la variable x en P y el termino t. Decimos que la entrada dada de x no enlaza t en P, si no se encuenira en el dominic de action de ningtin. cuantijicador del tipo 3 y o 'V y 1 donde y es una variable que integra. t.

Con otras palabras, dsspues de sustitui» dicha entrada x por t, todas las variables que in tegran t quedan libres en P.

En la mayoria de los casas cads una de las entradas Iihres de una variable dada ha de susutuirse por un termino. Es importante que tal operaclon traduce termino5 en terrninos y formulas en formulas (inducci6n segun la Jongitud). Si cad a entrada libre de x en P no enlaza t, diremos simplemente que x no enlaza t en P.

1.7. EI trabajo can las deficiniciones 1.5 y t.6 comenzara en el parrafo siguiente. Aqui nos Iimitaremos a algunas explicaeiones intuitivas.

Lad efinicion 1. 5 per mite in trod ucir un a clase importante de formulas cerradas. SegUn la definicion, estas son formulas sin variables libres (se denominan tambien opiniones). EI sentido intuitivo del concepto de la formula cerrada es tal. Dicho concspto responde a un enunciado

46

completamonte determinado (en particularidad, rospecto de la veracidad 0 lalsednd): los nornbres de los objstos indef.inidos de la teoria se ut ilizan solamsnte en slcontexto dodos los objetos de x satlsfacen la condicion ... .i 0 sexiste un objeto y con lapropiedad .... », Y al reves, una f6rmul(\ nocerrada xE y 0 3 x (x E y) puede ser verdadera 0 Ialsa, segiin cuales conjuntos se nombran I, y (para la primsra): y (para la segunda), La voracidad 0 falsedad aqui se entienden para Is interpretacion fij<'l del Ienguaje, como sera especificado en el § 2.

La definie-j6Il 1.H establece, en particular. las reglas de higiene al cambial' las notaclcnes. Sf en Ia formula dada queremos denominar el objeto iudefinido x con otro nombre y, es necesario preocuparse ohligatoriamente de que x no figure entre aquellas partes de Ia formula, donde este nombra y ya ha sido aprovechado como notacion de un objeto indefinido arbitrario bajo el signo de cuantificador. Con otras palahras, x no debe enlazar. Ademas, si queremos decir que a Iue obtenido por medio de eiertas operaeiones de otros ohjetos indefinidos (x = termino de Yll ••• , Yrj,entonces los nomhres Yll ••• • . • , Yn no deheran ser enlazados,

He aqui un paralelo proximo aestas reglas

x

del lenguaje de amUis'is:en vez de If (y) dy 1

:I

se puede tranqutlaments escribir j j (z) dz, perc t

,;:

no se debeescrihir J f (z) d.x: la variable x 1

estaenlasada "en el dominio de acclon delsigno

f( }d( )".

47

2. Interpretaci6n; veracidad; poder expresivo

2.1. Supongamos que sa ha prefijado un lenguaje L de la claseXl s un cierto conjunto (0 clase) M. Prefijar 13 interpretacion dellenguaje L en M signlfica indicar el modo de atribuirles sentido a las iormulns de L como enunciados acerca de los elementos de Jl1.

Mas exactamente, Ia interpretacion t.p del lenguaje L en M consta de un jueg:o de aplicaciones que ponen en correspondencla a los terminos y Iormulas del lenguaje los elementos de Iv! o las estructuras sabre M (en el sentido de Bourbaki). Dtchas aplieacioues se dividen en primaries que son precisamente las que determinan la interpretaci6n, y secundarias que, de manera natural y univoca , se restablecen por las primarias. A esas mismas aplicaciones y a veces sus significades, tambisn los Ilamaremos interpretaciones.

Pasemos a las definiciones sistematicas. A los elementos del alfabeto LIas llameremos de vez en cuando simbolos. La notaei6n de la interpretacion qt. ~eg(in e1 contexte, la incluiremos en las notaciones de las aplleaciones relaeionadas con esta 0 La omitiremos,

2.2. Aplicacionesprimarias. a) La interpretacion de constantes es la aplicacion del conjunto de sus simbolos (del alfabeto L) en M la .cual pone q> (c) EM en correspondencta al simbolo c.

b) La interpretacion de operaciones es la aplicaci6n del conjunto de sus simbolos (del alfaheto L). la cual pone a cada simbolo f del tango r en correspondencia Ia Iuncion ql (j) sabre jYf X ..• X M = Mr con los valores en lW'

c) La interpretacion de relacioneses la apltcacion del conjunto de sus simbolos de relaciones (del alfabeto L), la cual pone a cada sirnbolo p

48

del rango r en correspondencia eI suhconjunto <p (p) C A11'.

A pl tea clones see undarfas. N osotros quersm os Interpreter intuitivamente las variahlsscomo nombres de un eelementocormin» del conjunto M, a las cua les se les pueden atribuir valores concretosde M. Queremos interpretar el termino t (Xl' .. ., X,,) como un a iu nclon !p (I) de r argumentosque recorren los valores de M, etc.

Para brindar una definicion exac ta, Intro-

dueiromos la clase de interpretacion M:

M = clase de todas las apllcaciones en M del conjunto de simbolos de las variables en e1 alfabeto L.

Do este modo, eada punto 6 E M pone a cualquier variable x en correspondeacia su valor qJ. (x) (~) E l1f, el cual, con mas freeuencia, deuotarernos simplemente por z~.

Esto perml te considerar las variables como

[unciones sobre M con valores en M.En forma mas general:

2.3. La interpretacion de los terminos es ana confrontaclon de cada termino t de Ia Iuncion <p (t)

sobre M con los val ores en M. Ella sa determi.na per induccion mediante los acuerdos siguientes:

a) si c as una constants, entonces <p (c) as una Iuncion constanta con un valor deilnide pOI 1a

aplicacionpriinaria; -

b) si x as una variable, entonces (J) (x} as q> (x) (~) como Iunelen de ;;

c) si ! = f (tl' . . ., tr), en tonces para tod os

los s E M

q> (t) (£) = rp (I) (rp (tl) (s), ... , fp (tn) (s)),

donde rp (t1) (6) estan determinadas segiin la suposiei6n ind uctiva, y 4p (f): M'....."... M eat8n prefijadas par la apllcacien primaria,

'-0115.2

49

En vsz de<p (t) nJ, para abreviar, escribiremOB a veces t;_

2.4. Interpretaeten de 188 formuJaR elementaIes. A toda formula P del lenguaje IJ, al interprotar €p, se 1e atrihuye su funci6n de veracidad I Plip- Esta es una fun cion en Ia clase de interpretacion M, que adqu iere solamente los valores de 0 ("faIsedad") y de 1 ("vel'dad"). Para las fOl'mulas elementales d icha funcion se determina as!:

I.p (t· t ) I (t) __ { L si <t;, .. " t~) E (j) (P),

- il" .,. T 4' .,., ~ 0 .

, 51 no.

Elenunciado p sabre los nombres de th ... . - ., t, objatos de 1U intuitivamente seconvierte en verdadero, cuando los obietos nombrados tl •...• i, satisfaeen la relacion, cuyo nambre es eseenunciado.

2.5. Interpretacion de la f6rmula. En las formulas no elementales la funcion de veracidad se determina induc.tivamente por las eorrelaclones siguientes (para abreviar, se han omitido los parentesis y referencia a .tp y ~):

I P - Q I = I PI I Q I + (1 - I P l)(t-lQI):

"P ++Q es clertavcuando ambas P y Q son ciertas ocuando am-bas P y Q son Ialsas;

!,P-+QJ= 1- IPI+ IPIIQI:

P -- Q es falsa solo cuando P as cierta y Q es falsa;

I P V Q I = max (I P [, I Q I):

P V Q as fa lsa solo cuando am bas P y Q son 'falsas;

I P 1\ Q ~ = min ([ P I, I Q I):

50

P 1\ Q es cier ta solo cuando ambas P y Q son clertas:

I lP 1= 1 - I P I:

l P cs Ialsa solo cuando P es clerta.

Par u I ti mo, al introducir los ella ntificadores

sucede 10 siguiente. Supongamos que !;E M y x es cierta variable. Denominemos variacioa

de S por x a cualquisr punto s' E Ai para el cual y; = ys', si y es cualqnier variable. d iferente de x, Entoncos

IVXPI (s) = min I PI (~'); 13xP!(~) = max I PI (;').

~. t' .

donde ~' recorrs todas las variaciones de ~ por x, La corr ecci on de las deh 0 lei ones 2. 3- 2. 5 sa asegura por el lema de lectura univoca.

Denominaremos rp-Cierta a Ia formula P ~ sl

I P Iql (s) = 1 para todos los s E i~i:' La interpretacion de q> (0 M) se denomina modele del conjunto de formulas e, si todos los elementos de e son <p-Ciertos.

2.6. Ejemplo: interpretacion estandar de LIAr.

Esta es una interpretacion en el conjunto N de

mimeros no negativosenteros para 1a cualO, I sa interpratan como 0, 1.. respectivamente; +, " = 1 como ad icion, mulfiplicacion e igualdad, respectivamente.

2.7. Ejemplo, interpretacion esbindar de 1.1 Set. Esta es una mterpretacien en el universe de von Neumann V (vease el apendiee al cap. 2), para Ia cual 0 se Interprets como un conjunto vacio, E como relacion «ser clemento de», =como igualdad

Todos los ejemplos do traduccion en el cap.

I concornian a estas interpretaclones est and ares. El enlace de las musstras de traduccion con las

51

definiciones aetualss as el siguiente .. Supongamos que n (z, Y. z) es un snunctado en argot aesrea de los conjuntos indefinidos z, y, z de V; P (z, g,. z) es la traduccion IT en el lenguajs L, Set. Entonces para carla punto ~, que interpreta x, Y. z como los nombres de los conjuntos x~. y~, z~ del universe de von Neumann, tensmas:

n (x~, y§, zs) as cierta ~ I .P(x, Y. z) l (s) = 1. Deeste modo, cada formula express cierta propiedad de los objetos del conjunto de interprataCion:

2.8. Derinici6n. El coniunio 8 c:: Mr, T> 1, se llama qJ-expre3able (por la .fOrmula P en el lenguaje L con respecto a la inter pretaeuin de q» I si ezisten tales variables Xl •• , ., Xl' que

I p Icp (S) = 1 ¢> (xi, . , " x$) E S.

La penetracidn en Ia estructura de los conjuntos:

de f6rmulcu: cp-cierta.s en el lengua/e L;

de conjunios cp-expresables en U Mr

r;;;' t perteneceal mimero de problemas mas importantes sabre los Ienguajss Iormales.

2.9. Ejemplo. Los conjuntos que se expresan par media de Ll Ar con respacto a la interpretacion estandar son la clase minima de conjuntos en U NT, lacual

r;a.l

a) contiene todas los conjuntos del tipa

{<k1 •• ' ., kr.} I F (hi' ... " kT) = 0)' s; N", donde F reeorrs los poltnomios con eoeflcientes enteros;

b) est&: cerrada con respecto a las intersecclones, reuniones y complementos finitos (en su NT);

52

c) esta cerrada con respecto a las proyeccioncs pr£: Nr=s- Nr=? (se supono que el numero de variables del lenguaja es infinito):

En efee-to, los conjuntos del tipo a) se exprosan por las formulas olementales tf = if) donde tf es un termino que responde a la suma de todos jog monomios F can coeficiente.s posit.ivos, y t!. COn negativos.

Luegc, sf 81, S'2 E N" pueden ser expresados por las formulas Pi' P'J. can variables Iibres iguales, entonces 81 n 82 puede set expresado por PI A P'I.; 81 U S,1.' por PI V P",; NTIS •• por la formula lP •. Por ultimo, e1 conjunto

prt (SI) puede expresarse por Ia formula 3 Xl (PI)'

Las couectlvas -+-, - y 01 cuanttlicador "I no brindan nada nuevo puesto quo, sin cambial' el conjunto a expresar, pueden sustituirse por una combinacion de operaciones logicas ya examinadas: "I x sohre l3 xl, etc,

Esto es solamente Ia descrtpcion inictal de los conjuntos aritmeticos, 0 sea, de los conjuntos L, Ar-expresables. En la misma no se puede ver directamente el poder expresivo de muchos conjuntos conoretos, 'por ejemplo, conjunto de los mimeros primos en N (v ease el ejemplo 3.14 del cap. I), conjunto de los cocientes incompletos

al descomponer V 2" en una fracci6n continua o conjunto de pares {(i, i-esima clfra en Ia descomposiclon decimal de n)} c N2.

No obstante, como 10 mostraremos en el § 111 «los mimeros de las fOrmulas verdaderas de la aritmetica» forman un conjunto aun mucho mas complejo, y este conjunto es mexpresabls.

Aduciremos ahorn algunos resultados tiicnicos simples.

2.10. Proposieien, Sea Puna jUrmula en el lenguaie L, siendo (fl. su iniepreiacion en 1'1-1, ~. t' E .M, Supongamos que para iotlas las variables x que iienen. entrada» libres en P, x~ coincide con x:';".

Etuonces I P LJl (;} = I P I~ (S'), .

2.11. Corolario. LU$ [ormuias cerradas P en cualquier interpretacion est/in determuuulas con respect 0 a Ia oeracidud: ) P 1 (~ (~) no depende de ~.

Dl!;MOSTflAClOr-;. a) Snpongamos que t es cierto tcr~ mino y que para cualquier variable ;r que integra I tene-

:z:~ = ;r~'.Entonccs el lema 1.4 y la inducci6n a 10 largo de t proporcionan t~ = t~'.

b) La afirmacion2.10 es justa para. las fOrmulas P

elomcntales del tipo p (t[ •.•• , tr). En efeeto, .

IPI(6) = { 1, 511.· (t;., .' .. ' .. ' t.r>. E. ·.lP. (.'P) ,

0, en e 1 case COil trarro

Y de forma analoga para I P I (s·). Pero si ~ y ~'cojnelden on todas las variables que lntegran P ~obligatoriamente de manora libre), entonces tanto mas coinclden CD. todas las variables que integran tit Y segun la COD-

dielen a) tenemos t~ = N.. l = it . , ., r, Entonces,

I l

1 p I (~) _; I PI (t',·

c) Procedemos ahora por inducei6n segun sl mimero total de conecrivas y cuantificadoras en P. Si P tiene un aspecto de -,Q 6 Ql * Q2. entonces es trivial la deduocion 2,10 para P de 2.iO para Q, Q., Q2'

Supongamos que P ahora tiene un aspecto 'T/ x (Q) y que 2.10 es justa para Q (el caso de 3;1:' (Q) se analiza analogamonte 0 so reduce a 'r;/x sustltuyende 3x por ,V,x'f).

Sl'gun lu definicion, tenemos

1 VxQ I. (~) = { 01' si

en

IQ I (11) = 1 para torlas las TI, variaciones de ~ por x I

Ins demas casos.

54

{ 1, si IQI ('Y]') = 1 para todas las

I 'V xQ I (S' ) = 'Il', v ari aciones de s' por x,

o on los dennis casos.

Perrnitamos cambiar tarnb ien 1~ Y 'Il' en las partes derechas de estas igualdades se-gun todas las variables que DO outran Iibremente en Q. Las alirmaciones deepues de la palahra «si» quedaran ciertas 0 Ialsas en este dominio de valores mas amplio, si han sidcciertas 0 falsas anteriormente segun 1a suposioion inductiva para Q. Pero en este CR150 '1 Y 1)' rscorreran dominies de valores lgualee, ya ilue ~ y " difieren precisamente por las variables que no entran Iibremsnte en Q. y ademas por a;

La proposicion queda demostrada.

El hecho siguiente, casi evidente, sa hasa eo muchos Ienemenos que atestiguan la no adecuacion de los Isnguajes formales respecto a las representaciones intuitivas (vease a. continuacion Ia «Paradoja de Skolem»):

2.12. Proposieton, Potencia, La potencia de La close de coniuntos ~-expresables no supera

XQ + card ({constantes} U {operaciones} U {reIaclones] L) (card signjfica poteneta).

DEMOSTRACION. Si en e1 lenguaje hay

~ 'ito variables, entonces el mismo contiene n a mas de %0 + card ({constantes} U {operaclones} U {relaciones}) formulas. Pero si e1 conjunto de variables es innumerable, entonees cada eonjunto que he de ser expresado puede oxpresarse par media de una formula, euyas variables integran el suhconjunto de variables numerable Iijado una vez y para siempre.

2.13. CoroJario. S i ~J es iniinuo y card ({constantes} U [operacionss] U (relaciones}) > < 2card M., enionces "cast todos" los conjuntos son inexpresables,

De este modo, el iinico metoda de expresar todos los subconjuntos AI as tamar una gran ea ntidad de nombres constantes en el lenguaje.

55

Para los lenguajes que reflejan los razonnmiontos matematicos reales esta as una receta irreal. En rcalidad, cualquierjuega de medias de expresi6n que se describe finitamente brinda In posibilidad de expresar solamente un mimero de conjuntos numerables. Sin embargo, ttlcnicamente suele ser c6modo incluir en e1 alfabeto del lenguaje, digamos, losnombresde todos los elementos de itf.

En los p.hrafos siguientes ccmenzamos a estudiar sistematicaments los conjuntos de las formulas verdaderas.

1. Propiedades $in"cflcas de la ,eracldad

Supongamos que L es un lenguaje de la clase :£1. q> es su interpretacion y T q>L es un conjunto de formulas o-ciertas, En estc parrafo enumeraremos las propiedades de T wL que reflejan Ia Iogica introducida en los Ienguajes Xl independ ien temente de las particularidades coneratas de la interpretacion cpo

3.t. El canjunto T tpL es complete. Segtin Ia definicion esto signifioa que para cada formula P csrrada, ora P, ora 1 P se encuentra en T "L.

Esto se deduce de la afirmaci6n 2.11.

3.2. El coniunio T IjIL no contiene contradiccton, es decir, para ninguna formula P puede ser que P y lP se encuentren en T ~L.

En efecto, T!pL = {P II P llJl = u, y 11 Plcp= = 1 - I P ~!p'

3.3. El conjunto T IJlL esta cerrado con respecio al empleo de las reglas de deduccion MP (Modus Ponens) y de Gen (Generalizaci6n).

SegUn Ia definicion esto signifiea que si P y P ~ Q se eneuentran en .T IJlL, entonces Q tamhien se encuentra en T rpL; si P se encuantra en T lJl.L, entonces V xP para cualquier variable ,.,

56

se encuentra en TrpL. La verificaclcn es casi evrdsnte: si I. P 14> = 1 yiP -+- Q IqI =1, entances obligatariamente [ Q I CJl = f; st I PI (i~)= ~. 1 para todas las ~. entonces tambien I V xP 1 iii (~) - 1.

La formula Q Be denominacorolario directo de las iormulae P,. P ~ Q seg6n 13 regla de MP.

La Iormula V xP se denomina corolario directo de la formula P segrin fa regla de deduce-ion de Gen.

El sentido intuitivo de las reglas de deduccion esel siguiente. La regla de MP responde a1 razonamiento elemental del tipo: Si es justa P y esjusto que de la justeza de P se deduce Ia [usteza de Q, entoneas es justa Q. De este modo, se puede decir que 1a semantica de la expreslon (lsi ... , entoncess de los lenguajes naturales se distribuye entre la ssmant.ica de la eonectiva ~ y Ia regJa de deducelon de MP en los Ienguajas de la clase :t t-

Esto a menudo no se tiene sn euenta y llsva a malentendldos al explfcar las reglas de atribucion de veracidad a Ia .formula P ~ Q.

La regla de Gencorresponde a Ia praetica de escritura de una identidad 0 de afirmaetones unlversalments [ustas en lasmatematieas, Cuando escribimos (a + b)' = a2 +2ab + b2 0 «en al triangulo reetangulo el cuadrado de Ia hipotenusa es igual' a la sum a de cuadrados de los oatetoss, se omiten los cuantiflcadores 'T/aVb, 'r/ (triangulo). Su rsstablecimiento no cambia In veracidad, pero libera Ias notaciones conexas.

3.4. si coniunio T qlL conuene nodas las tau t 0 to gf as . Para d eterminar las in trod ucirem os primeramente el concepto de polinomio l6gico sobre el conjunto de formulas e: este es un elemente del conjunto mlnlmo de fbrmulas que conriene s Y que, par media de conectivas 16gicas,

esta cerrado con respecto a la estructura de las formulas.

La sucesion de las formulas Pl, .. " P; Y las representaciones de cada una de las formulas Pi en forma de lQ 0 Ql * Qe., donde QI Qt· 01. se encuentran ell S U {PI: .. " Pi-I}' se denomina representacion de Pn en forma de uu polinomic 16gieo sobre e. La representacion de PI! se determina no obJigaLoriamenle de manern univoca: por ejemplo, si s = {P, Q, P -4- Q}, entoncss P -+ Q tisne dos representaclones.

Sea 1 t: e -+ to, I} una aphcacion cualquiera. Si esta preIijada Ia reprssentacion r de la formula P71 en forma de un polinomlo 16gico sobre 8, se puede determinar recursivamente I Pn Ir con respeeto a dicha representacion valiendose de las formulas del p. 2.5.

La formula P se denomina tauiologla si exisie tal con/unto de formulas e y tal represeniaciou de P en forma de un polinomio log/co -sobre e , que I P Ir = 1 para cualesquiera aplicaciones I I: 8-+- to, 1}.

El caracter tauto16gico es discemido efectivn· mente, ya que e1 analtsis sintaetico de P permite enumerar todas las representaciones de P cornu un polinomio 16gico.

La pertenencia de las tautologias a T cpL es

evidente. ..,

He aqui losprtmeros ejempJos de las tautolo-

gias: .

A.D. P -- P,

A.1. P -- (Q ~ P).

A.2. (P -+ (Q -+ R») - «(P _., Q) -+ (P-R)} A.a. (lQ-+ lP)-+«lQ-+P)-Q), B.1·llP-+P,P-llP,

B. 2. l P -+ (P -+- Q).

Aqui P, Q, R 5011 cualesquiera formulas de L; el aspecto de las mismas sefiala aquelJa repro-

sentacion de las taotologias en forma do 1111 pohncmio Iogico snhro {P, Q, R}. 13 eual se tiene en cuenta.

Las tautologias son razonamielltosciel'tos, independientemente de I" veracidad 0 falsedad de suspropias partes integrantes. La verificeeton del caracter tautclogico requiere una eleccion bastante acertada de estas partes.

B.1 ('5 Ia ley del tercer excluido: una doble negaclon equ iv ale a una aiirmacion.

B.2 es un mecanismo, mediante el cual la contradiction en cierto coniunto de formulas e del Jenguaje L Heva a In deductividad de cualqulor formula y eon ello destruye todo el sistema (vea.se a continuacren la proposlcion 4.2). Dernostremos tres variantes de verilicacion del caracter tautologlco de la formula simple A.i.

VARIANTE A. Segun las formulas del p. 2.5

tenernos

I P-(Q~P) 1 = 1-1 p 1+1 p II Q~P I ==

= 1 - I P 1+1 p 1(1 - I Q I + I P II Q 1)=1, porqus I PI2 = I P ,.

VARTANTE B. Tabulemos I P - (Q ~P)I

dependlendo de I P [, 'Q I:

IPI I IQI I I p .... Q] r I p .... (Q .... P) I
..
0 0 t f
() i t 1
t 0 t) 1
1 1 1 1 Esta es una muestra de las "tablas do veracidad".

VARIANTE c. La propiedad principal de

la eonectiva -+ consistn en que P -+ Q es falsa solo, cuando PE'S cierta y Qt Ialsn, Si P-+

59

-+ (Q -'). P) resultase Ialsa, P seria cierta y Q ~ P, falsa de donde, Q. a su vez, as cierta y P, falsa, 10 que es una contradiccten.

Al lectorse Ie recomienda eomprobar el caracter tauto16gico de las f6rmulas masccmple[as (digamos, de A.2) y decidir, ellal variante le gusta mas.

3.5. EI coniuruo Tq>L coniiene "axiomas logic(}s con cuantijteadores".es decir, form.ulas

a) .'" x (P ~ Q) -+ (P ~ 'V xQ), s1 todas las entradas de x en P son conexas;

b) \f :l 1 P.._ l3 xP;

c) 'if :tP (z) -+ pet). si x no enlaza el termino t en P (axiama de especiaUzaci6n). Aqui P (t) signifioa el resultado de sustituci6n de todas Ias entradas libres de x en P port.

En 10. demas las f6rmulas P, Q son arbitrarias. La verifieaclen de la q>-verac.idad de las formulas 3,5 18 realizeremos en el p. 3.7. Su sentido intuitivo as mas 0 menosclaro. El axioms devespecializaeion, por ejemplo,signifiea que si P (x) es justa para todas las x,esjusta tamhidn P (t), donde t es la denominacion de cualquier objeto. La condici6n de que s: no enlace t, 60S una reglahigienica 31 cambiar las notacionss.

El eonjunto

AxL. = {tautologies L} U {axiomas con cuanttfioadoras]

se denomfna coniunio deaxlomas logicol del lenguaje L.

Para abreviar, denominaremos gQdeliano a cualquier conjunto def6rmulas 8 del Jenguaje L, el cuai es complete, no contiene contra dicci6n , estd cerrado con respecto alempleo de las reglas de deduccion de MPy Gen y coniiene todos losaxiomas 16gicos del .lenguaje. Fijemos el resultado principal de la dlscusion:

60

3.6. Proposieion Sl coniuiuo de formulas verdaderas del le.nguaje (en fa interpretacuin dada) es giideliano.

En el § 6 demostraremos que tam bien, al rsves, cualquier conjunto godeliano es un conjunto de formulas verdaderas en la interpretacion conveniente. De este modo,el caracter godeliano as una apeoxlmaclon maxima a Ia veracidad, la cual puede ser alcanzada «independientemente del sentido».

3.7. Vert/lcad6n de la vercuidad de los Gxiomas 3.5. a) Sea R 18 f6rrnula 3 .. 5a. Supongamoe que' R I (t) = 0 para dertos E M y Ilegarsmos a la contradiccien,

En realidadv en este caso I V Z (P- Q) I (E) = 1 yIP -+ 'V~Q 1 (;) = O. De Iasegundatgualdad Be deduce que I P I (tl = 1 'II '" xQ 1(,) = 0 .. Sea .~. tal variaei6n de 6. por ~. que I Q I (r) = 0 .. Ell este caso ] P I (S·) = = I P I (S)=t. en virtud de la proposici.oa 2.10, yaqlle :c no antra libremente en P. Bntonees, I P -+- Q I (~') = O.

pero esto contradica a 10 que I 'fIz (P -+- Q) '(s) = t.

b) Para jcdos Los ~ E A7 Y varlacleaes de ~' del

punto .~ por z teOeTnOS .

l'v'x..,P I (~) = rJl.ax II P (t',= 1 = i-min I P f (~'),

;' ~'

1'3:z;P(;)=1--miD.IPll~').

~'

Estoquiere decir que los valores de la veraoldad V xi P Yi3zp coinciden, y par eso VziP -- "'3:z;P CoS identicam.ente verdadera.

c) Sea 1 V zP(.x) __ P(t)1 (~) = 0 para cierto punta ~ E M. Dedueirames de aqui Ia contradiccion. En realidad, e.oeste caso

I V:eP (z) , (;)= 1; I P (t) I. Hn = O.

De Is prhnera i~ald~d ,se deduce que ! P (x) I (£') = 1 para todas las i van act ones de 6 pot z.

Tomaremoaea caUdad de £' ta.! variaci6n. para la

cual x;' = t6. Si demostramos qua I p. (')1 (6.) = = I P (.:z:) I (,'), o.btendremos la eontradieeion deseada.

fit

Estahloceremos este resultado por induecion SCg(lll el numero total de CQocctivas y cuantificadores OD P.

~) Sea Puna f6rmula elemental p (tt, ... , tn)·

Sucesivamento hallamos, denotando por t;' el resultado de la sustitucion de t en vez de todas las ontradas de x cn t,:

te = .:z:~' (segun la definicion de ~');

tr = tt' (por induccion a 10 I argo do ti)

(2) Sea P .., Q 6 Ql 1<'~ Q'2' donde * es una conectiva, Como x, segUo la suposlcien, no anlaza , en P, 10 mismo as justo para Q, Qtl Q2 Y el paso induetivo se realiza automaticamente.

c.) Sea, por ultimo, P 3yQ 0 VyQ.Analicemos 01 primer caso; el segundo sa analiza de forma analoga.

SUBCASO 1. Y = .:t. Entonces x ests. enlazada en P; por eso P (x) = P (t) yiP I (~) = I P I (£') en virtud de Ia proposici6n 2.4.

SUBCASO 2. Y '* z. La suposiclon inductiva tiona el aspecto: I Q (t) I (Tf) = I Q (;t) I (ll'),sf 1]' es ta.l uaria.cion

dt 1) por z que %'1'= tTl, donde 1'] es cualqllJtr punto de M.

Es necesario demostrar la coincidencia de los dos siguientes valores de veracidad (donde ~, s' ostan dennidas como mas arriba):

{ i, si IQ(x)l(1l')=1 para ciarta Tf',

13 yQ (x) I W) = . var iaci6n de t'por y,

o en los demas casos,

{ 1, sl I Q (1).1(J) = 1 para una cierta 1j,

13yQ (I)l (t) = vartacion de t por s.

o en 10's demas caeos,

Bccordemos ademas que ~' as tal varlacion de ~ por x que zt' = "t.

Supougarnos prirneramente qua el segundo valor de

veracidad es igual a f. Elijamos1) E Ii? ,do. !110dO quc r Q (t) I (Ti) = 1 Y construyamos tal variacicn 11' d~l

punto 1'] por c que xTJ' = tTl. Entonces, segun la suposlclon inductiva i = r o (I) I (1) = r Q (.:t) I (11'). Mostremos que 1)' as UDa varlacion de S' por s: de aqui sa deduoira que el primer valor de veracidad tambien es igual a 1. En realidad. Tf' se obtuvo variando 11 por x; 11. varian do ~ por~, y ;, variando~' por x. Entonces, 1')' es una variacion de s' por :r e y; es necesario verilicar que no sa ha producido en

realidad maguna variaeion por z: zl}' = z~:.

1i2

En verdad, la parte izqulerda es ,T'I segUe la definicion de rl'. y Ia parte dereeha es tt seg6.n la definicion de ~'. perc '1 se obtuvo variando S por Yl e Y no eatca en t,

porque ;J; no enlaza t en P = 3yQ. .

Queda probar que si el segundo valor de veracidad es igual a 0, 10 es tamhien el prlmero. Los razonamlentos son casi identicos. 8i el segundo valor do veracidad es igual a 0, entonces I Q (t) I (11) = 0 para todas las f1-variaclones de 6 por y. Por cada tal '1 eODstruiremo5 '1' al igua] que en Ia primera parte de la demostraciou. Al igual que mas arriba 58 prueba que 'Il' es la variacion de t' por y, y ademss, reeorra todas estas varieclcaes cuando 11 recorra todas las variaciones de ~ por y. Esto quiere dcclr que tambiBn el primer \!'alor de veraeldad as igual a O.

La proposic.i6n queda demostrada,

Digresi6n sabre la logka natural

1. El objeto de la logica no as el mundo exterior, sino sus sistemas de comprension. La IOgiea de uno de tales sistemas -de las matematicas-> debido a su normalizaclon representa una especie de pIantilla rigida, la cual pueds ser aplicada sobre cualquisr otro sistema. La coincidencia 0 divergencia de esta plantilla con el sistema, sin embargo, no sirve de criterio de su aptitnd 0 su valor. El fisico no esta ohligado a ser consecnente ni contradictorio, el debe describtr Con eficaeia la naturaleza en niveles determiaados. Tanto menos 16gicos· son los lenguajes naturales y el funcionamiento direeto de Ia consciencia, En general, la logics como condicion de la eficaeia aparece solame.nte en las esferas muy especial1zadas de Is acttvidad humans.

Sin tener fuerza normativa la comparacien de la logica de predicados con Ia de los lenguajes naturales 0 sus subslstemas puede resultar interesante y sentenciosa. A continuacton S9 dan Ios datos ssleccionados de Ia ltnguisttca y psieologia.

63

2. B. Russell, K. Dohmann, Heichenhach.

U. Weinreich y muchos otros se ocupabau revelando en los lenguajes naturales las categorias, formalizadas en los lenguajes de la clase :c l' Y catalogando los metodos de su transmisi6n.

Esto !leva a Ia reparticidn de la palabras en tre las llamadas closes logioo-semdnuca» en vez de Ia division tradlcional en verhos, nombres, articulos, etc. (A. V. Gladki, I. A. Melchuk [24, § 6]).

Par ejemplo, las palahras dormir, inieligente y lloron. son paralelas a los simholos de las relaciones (predicados) del range 1, las palabras amar I agradab le y hermana son relacionss del rango 2. A estas les responden las formulaS elementales «N duerme», «X es agradable a Y), etc.

Todos, enionces y alga son palabras cuantificadoras, Y, 0, pero,.8i ... entonees son, naturalmente, conectivas.

«The nose, Ie cadeau: son constan tes «eeta Miiz, este regalo», El efecto de constancia se alcanza utilizando la semantiea del articulo determinado. En 13 Isngua rusa mariz y regale» son mas bien variables para designar los objetos que satisfacen el predicado monoplaza eser una nariz» y «ser un regales. Por otra parte, puede haber otras mterpretaeionss.

. EI prouombre 'tel», sin duda alguna, es una

variable. Los pronombres yo y tsi tienen una semantica mucho mas compleja, correlacionandose con la persona parlante, la cual no esta expresada en los lenguajes impersonales de :£1' Algunos de los aspectos del pronombre de la primera persona estan incluidos en Ia semantica de los lenguajes algoritmlcos. La «clave de la memoria» de tipo necesario en el programs para IBM-3GO Ie abre al programa la posibilidad de cambiar 81 contenido de algun byte en el hloque de La memoria principal. La proteccion de la memoria pre-

64

gunta: «i,QuiOn as?» y 01 programa contests: «Soy yo». Pot ulLitllO, yn en los languajes de Xl se logra simular algunos efectos de la autodescripcion (veanse los §§ 9-11 y la digresion subsiguiente scbre la autorroferencta),

flO,) en la langun rusa oxpresa no solo la V logica, si no tarn bien In rigurosa disyunci6n e mel uso , scgu n Ia sensacion de JOg lingiiistas, a voces la conjuncion 1\. por ejemplo en Ia frase «,XZ > 0 para x < 0 0 para z > 0» (E. V. Padiicheval. En eJ latin, ins funciones de la «O}) disyuntiva y no disyuntiva se expresan con diversas palabras: aut, vel. <lY» puede expresar una sucesion temporal: comparese la frase <II ane se caso 'I dio a luz» can «Jane dio a luz y se caso» (S. Klccne).

La conjuncion 16gica 1\ en l<m distintos lenguajes puedo ser expresada:

por coposicidn: ina mo (chino) -caballo y aSI1O; sh ika kitabu usome (suahili}-toma el libra (y) lee;

pal" Ia prsposlcien: Pedro con Maria; por Ia conjuncion: H, and, et:

por 13: particula pustpositiva: que (lat.) -8enatus populusque- senado y pueblo;

par la conjunci6n apareada: tanto ... como. K. Dohmann catalog6 los metodos de expresion de 16 polinomios logicos de dos variables en much os lenguajes del mundo.

3. A pesar de que el materia.l-recogido es muy curioso, se 10 debe interpretar oriticamsnte: los mauces del usa a menudo desaparecen al compararlos con la Icgica. Como ojemplo, analicemos Ia semantica natural de la conectiva «sl..; entonces)} ,

Ya hemos sefialado que en los lenguajes de :£1 a I a m isma le corresponde no solo « -jo.»\ sino tambien Ia regIa de deduccien MP. Ademas,

il-01152

65

:MP es un representante mas adecuado para «si ... entonces».

En efecto, la regla de atribuci6n de veracidad a cualquier proposicion impIicativa con premisa uotoriamente faIsa casi no tiene paralelas en Ia Iogica natural, Los ejemplos del tipo «si Ia nieve es negra, entonces 2 X 2 = 5» que pasan de un manual a otro pueden s610 desorientar, ya que las expresiones con tal semantica no se realizan en ningfin sibsistema de lenguaje natural. Como exclusion pueden servir las formulas poeticas y expresivas con una esfsra de uso muy Iimitada (esi Ella es Infiel. es mentiroso todo el mundo»). Las matsmaticas formaJes en las euales una contradicci6n destruye todo el sistema, sin duda alguna, tiene rasgos de canictar hiperexpresivo.

Por ultimo, en Ia Iogica de predicados no asta reflejado totalrnente el aspecto modal del empleo de «si.._entonces» en las prescripciones tipo (lsi esto sucede, entonces actue asi». En camhio, este aspecto esta bien expresado en la semantioa de la conectiva «if .•. then ... else ... » en los lenguajes algoritmicos del tipo Algol. Las tentativas de simular Ia modalidad en los lenguajes construidcs segUn la muestra de Zl y sin considerar la expariencia de los lenguajes algoritmicos conduce a fracases evidentes (comparese A. A. Ivin [25]).

, 4.· Se ha sefialado reiteradamente que la eleccion de medias primitivos de expresi6n en la lOgica de prsdieados no refleja Ia realidad psicologica. Las operaciones 16gicas elementales y las concIusiones de un paso requieren un inteleeto muy entrenado; al contrario , incluso con una consciencia perjudicada pueden efectuarse acciones 16gicamente complejas como si fueron aetas integros casi elementales.

(lEI subteniente Zasetski de 23 afios, el 2 de marzo de 1943 recibi6 una herida penetrante de

66

hala en 1a zona Occipitoparietal izquierda del craneo. Dichu herida ... fue complicada pOl' un proceso inflamatorio que provoco a su vez un proceso aglutinante en las meninges encefallcas, ::lsi como modificaciones evidentes en los Lejidos que rodoan la sustancia cerebral».

EI catedratico A. IL Luria se encontro con Zasetski a fines de mayo de 1943 y controlo su estado de salud durante 26 alios. En el tranSCU1'SO de este tiempo Zasstski escribio cerea de 3000 pagiulls, describiendo con trabajo atermentador su vida y onlsrmedad, luchando por ol restablecimiento de Ia razon. Sus cuadernos, segfin cuyos materiales A, R. Luria creo su libro «Mundo perdido y recuperadoi 126L no es s610 un testimonio de alta hombria, sino tambisn un documento de gran fuerza de expresion.

Los trastornos de la mentalidad de Zasetski al principio eran horrihles, Par sncima de todo' dominaba Ia asemasia: rupturas de los enlaces entre el signo y su significado.

Primer encuentro de Zasetski con e1 medico; <qTrate de leer esta pagina «-» ... No lque as

';) , . do cus t N

esto .... no se ... no entien a que es es 0... 0 ...

~cual es? ... -«Bueno jtrate de con tar algo senclllo, por ejemplo, sume siete y seis .,'\)(Slete ... seis ... pues, como se 10 ... no, no puedo ... DO se totalmente ... ».

Ha perdido rla comprensidn de los prsdicados mas simples:

«lQUe suele haber antes del invierno ?»«Antes del invierno ... 0 despues del invierno ... verano ... o algo ... no. Eso no me sale ... »-«lY antes de la primavera ?»-{(Antes de la primavera ... ahora es primavera ... pero antea ... o despues ...

... ya me confundo no no me sale ».

Se trastorna In interpretacion de los codigos formadores de Ia semantiea de la sintaxis:

67

«A In escucl a rlonde estud iaha Dunia, "ina de Ia Iabrica una obrera para hacer un inlorme». ~Que es esto? Puss ~quh~n hizo el informe? lDllnia? (:La nhrera ? I~Y d6nde estudiaba Dlln ia ? iY quien vino de la f.ihrica ? ~. Y A. tlonrle?

Eso es lin ejemplo d ificil (text.o de A. EL Luria), pero he aqui 10 que escrihe Zasetski mismo: «Y adem as: «el elefante es mayor que la mosca» y «la mosca os mayor que el elefante» ... Yo entendia solamsnte que la «mosca» es pequefia y que el «elefantet es grande, PCI'O no podia orienIarrne en estns palabras y contest .a r a fa preguuta , si Ia mosca es menor 0 mayor que el elefante. La desgracia principal consistia en que yo no podia entender, a que se rsteria Ia palabra «men or» (0 «mayors): a la mosca 0 al elelante ... ».

Llama la atencidn la cornplejidad del texto del metalenguaje que describe los trastornos de lengua. La precision del analisis de los trastornos pareee incompatible con ia gravedau de los trastomos que se anahzan. Esto podria (JX~ plicarse por el hscho de que el analisis es retrospectivo, pero he aqui la descripci6n en Ia actuaIidad, aun mas profunda: « ..• De nuevo recuerdo los concept os ela mosca es menor que el eJefante» o «la mosca es mayor que el elefante». Empiezo a ,»ensar en ellos, como se deben entender correetamente y como incorrectamente. Con la transposieion de las palabras en estes conceptos cambia e1 sentido del concepto. Pero, a primera vista, a mt me parecen iguales, como si no carnhiara nada al transponer las palabras. Y cuando uno piensa mas. nota que con Ia transposicion de las palabras cambia el sentido de dichas cuatro palabras (eleiante, mosca, menor, mayor). Pero ni mi cerebra, ni mi memoria despues de la herida incluso hasta ahora, no son capaces de aharcar momsntaneamente a qulen Le pertenece

68

concernir Ia palabra menor (0 mayor): al elelante o a Ia mosca. Hasta en estas cuatro palabras bay muchas transposlciones».

Esa conservacion de capacidades psiquicas complejas al perder las «simples», se observa tambien en las muestras de imagination creadora de Zasetski semejantes a los bosquejos litera riopsicol6gicos: «Soy medico. ReconOl;co a un enferrno, estoy cordialmante prsocupado por su estado, sufro por el con toda mi alma. pues leomo no? as un hombre tal como todos, solo que esta muy enferrno, es neeesario ayudarle. PUBS, yo tarnbien podria caer enlermo. y alguien tendria que ayudarme a mi tamhien , pero ahora es necesario ayudar a oste enfermo. De otra rnansra no se puede, Y ahora soy otro medico. jAh! i ya estoy harte de esos enfermos con sus quejasl No se ~por que me he metido en esta medicina? No quiero hacer nada, no quiero ayudar a nadie. Verdad es que yo ayudo mas a quienes tambieu a rni roe prestan ayuda alguna. Y no importa si muere algun enfermo, no es la primera vez que mueren y mortran»,

Todo ello muestra Ia plena inconsistencia de la opinion de J. Rosser [6J: «Cuando la demostracion esta ahisrta y escrita en el lenguaje de la 16gica simbollea, puede ser averiguada por cualquier Imbecil (moron)».

La psiquis humana Iunciona con eficacia no al comprobar ]05 textos Iorrnales ni rnncho menos.

4. Deductividad

4.1. Definicion. Se denomina conclusion de la formula P a partir del conjunto de formulas e (en el lenguaie L de la clase Xl) la sucesion jinua de jormula» PI t • • ., Pn = P con las pro piedade«

siguientes: para cada i = 1, ... I n, por lo menos se cumple una de las alternatums:

a) P, E Cj;

b) 3j < i es tal que Pi se deduce directamente de r, segtin. Gen;

c) 3j, k < t son tales que P f se deduce directamente de Ph Ph segun MP.

Escribiremos brevemente f~ r- P en vez de «exists una conclusion P de €». La conclusion P que va acompafiada para cada i < n de Ia precisa indicacien a cual de las alternativas a), b) a c) se reiiere la fOrmula Pi y cuales son los mimeros de i, j Y k en los casas b) y c) se dsnomina descnpcion de la conclusion. Una conclusion puede tolerar diversas desoripeiones.

Con Ia mayor Ireeuencia se analizan las conclusiones de los conjuntos e que eontienen AxL: axiomas 16gicos dellenguaje L. Los elementos adicionales de g pueden ser formulas de L, cuya veracidad en Ia interpretacion estandar se halla «adivinada: -estas sa dsnominan axiomas especiales de L. (Los ejemplos se daran a continua cion , en los pp. 4.6-4.9.) Tales conclusiones sa consideran como equivalentes form ales de las demostraciones matemdiicas (de la formula P = Pn a partir de las premises de e). Para tal identificaeion existen los siguientes motivos:

a) Como se muestra en al p. 3.3, si 8. ~ T o:pL para cierta interpretacion de tV y s ~ P, entonees PET IjlL: de formulas verdaderas se deducen solamente tamhien verdaderas.

b) Se ha reallzado un gran trahajo experimental para formalizar las demostraelones matematicas, es decir, para reemplazarlas por conclusiones en los correspondientes lenguajes de la class Xl' particularmente, en Ll Set. Ha sido con.statado que para los inmensos fragmentos de las matematicos, incluso los. fundamentos

70

de 18 teoria de los numeros enteros y reales, la teoria de los conjuntos, etc., Ia Iormaliaacion de las demostraciones en forma de conclusiones se logra dentro de los limites de :£1. En la litera tura acerca de la Iogica hay muchos materiales sabre este tema (vease, en particular, el libra de E. Mendelson 121).

c) El teorsma de Gddel acerca de Ia completi tud de los medias 16gicos de Xl [vease el § 6) muestra que todas las formulas, verdaderas juntamente con e (en todas las Interpretaciones), pueden ser deducida.s de e.

Vease el analisis ulterior en la «Digresion sobre fa demostracion».

Se examinan tambien conclusiones de los conjuntos e de otro tipo. Por ejemplo, de s pueden ser exclutdos algunos axiomas 16gicos, digamos, el «Pnncipio del tercer excluidos (B. 1, p. 3.4) para la mvestigacion formal de los prtnetpios intuicionistas. 0 puede Incluirse en B una formula supuestamente Ialsa para deducir de e la contradicci6n reduciendo sal absurdo».

Mostraremos los aspectos formales de la contradiccien:

4.2. Proposfeton. Supongamos que e contiene todas las tauiologias del tipo B. 2. p. 3.4. Entonces son equiualentes las dos propiedades de eo siguienies:

a) exists una ." formula P tal que E I- P Y E !- l P;

b} E I- Q para cualquier formula Q.

El coniunio E con tales propiedades se denomina conjunto contradictorio,

DEMOSTRACION. Es evidente que b) ;:::> a/.

Al reves, si e ~ P y 8 I- l P, entonces, agrsgando a las descripcionss de est as conclusicnes la formula lP -+ (P -r Q) que, segtin se supone, se encuentra en e, y apl icando dos veces MP

7t

(a ella y alP; a P --+ Q yaP), ohtenernos la doaeripcinn de Ia conclusion Q de e.

4.3. Una gran parte de los teoremas de Ia lOgiea consiste en demostrar las afirmaciones del tipo "e I- P" 0 "no e I- P" para los distintos lenguajes L, los ccnjuntos 8 y ( clases de) 1 as formulas P.

El resultado "e l- P" pueds ser dcmostrado mediante la descripcion de In conclusion P de z. No obstante, en casos que sean hasta cisrto grade compleics, esta resulta tan Iarga que es sust ituida pOl' instrucciones mas 0 menoscompletas para formalizar tal descripcion, Por ultimo, Ia demostraci6n "e f- P' puede no ser acompafiada en general de Ia presentacion de Ia conclusion P de 8, aunque esta sea incompleta. En esle caso eno demostramos P; sino que demostrnmos que existe la demostraci6n de P» (vease el ejemplo en el § 8 sobre las ampliaciones del lenguaje).

El resultado "no s r P" raras veces puedn establecerse par el razonamiento puraroente sintactico, pero la demostracion suole apoyarse en Ia construccion del modele, (j sea, en una interpretacion en la eual E es cierta y P, Ialsa (comparese COD la discusion del problema del continuo en el cap. III). Si "no e I- P" Y "no e ~ lP', la [ormula P se denomina fOrmula independienie de 15.

Brindemos dos resultados elementales u.tiles sobre las eonclusiones, So observa que, en comparacion con las demostraciones corrlentes, dichas ccnclusiones estan ansamblad as de ptezas muy pequeiias. EI matematico, como en botas de siete leguas, con un solo paso cubre campos enteros de conclusiones Iormales,

4.4. Lema. Supongamos que e eoniiene tautologia«. Si e ~ P yet-- Q. enionces e ~. P A Q.

72

DE!\[OSTRACION. Si Pl •... , Pm; Ql' ' ..• Qn son respect.iva monte conclusiones P y Q, entonces

1\, ' ' " Pm' Ql' .. "Qn; P -+ (Q -+ (P /\ Q}), Q .... (P A Q), P A Q

[lS la conclusion P 1\ Q. La autcpenultima Iormula es una tautologin: Ia penultuna, segun MP (Modus Ponens), se deduce de aqualla y de Pm = P; la ultima, segun MP, de In segunda y de Qn = Q.

4.5. Lema sobre la deduceion. Supongamos que 82 Ax J- Y p. es una formula cerrada, si E· U {P} r Q, enionces e ~- P_:;,.- Q.

DEMOSTRACION, Sea Ql' . , 'J Qn Ia conclusion Q de s U (Pl. Mediante la induccion por n demostraremos que existe Ia conclusion P _".. Q de e.

a) n = 1, Entonces 0 bien Q E 8, 0 bien Q = P. En el primer case P --to- Q segun MP se deduce de Q y de Ia tautologia Q -Jo- (P .... Q), en el segundo caso P -+ P es una tautologia.

b) n > 2. Supongamos que para las conclusiones de la longitud::;;;;;n - 1 el lema queda demostrado. Entonces 8 t- P -+ Qi para todas las i ~ n - 1. Luego, para Qn. = Q hay posibilidades siguientes:

hI} Q E e; h2) Q = P; La) Q se deduce, segfin MP, de Qi> Qj~ QI-+ Q; hI.) Q tiene aspecto deV xQ i pa ra j ~ n - 1.

Los casos bI) Y b2) se analizan 10 mismo que n = 1. En el caso b;J) la conclusion P ~ Q de e tleue tal aspecto:

1) conclusion P -+ Q i (suposicicn inductiva);

2) conclusion P -+ (Qf -+ Q) (suposicion inductiva) ;

3) (P -Jo- (Qi _".. Q)} -+ (P -+ Qi) -+ (P -+ Q» (tautolcgia);

13

4) (P -+ Qi) --+ (P -+ Q) (MP a (2) y (3»;

5) P -+ Q (MP a (1) y (4)).

En 10 sueesivo, tales razonamientos se realizaran de un modo mas breve, ssfialando solamente los ultimos pasos de la conclusion (aqui 3, 4 y 5}.

Por ultimo, en el caso b,.) la conclusion p -+ 'rJ xQi de e se obtiene si se agregan a la conclusion P -- QJ de e (suposiciou inductiva) las formulas

'rf;r; (P -+ Q,) (Gen);

V x (P -+ Qj) -+ (P -+- V xQj) (axioma, en virtud del caracter cerrado de P);

P --+ 'V xQl (MP aplicado a las dos formulas anteriores).

El lema queda demostrado.

Denotemos para el futuro que en los fragmentos de las conclusiones que se construveron en los lemas 4.4 y 4.5, han sido utilizadas solamente las tautologias de los tipos A. 0., A.1 y A.2 del p. 3.4.

Aduzcamos ahora las rnuestras de los axiomas espectrales,

AXIOMAS DE lGUALDAD. Sea L Ull lenguaje de Ia clase :£1 en cuyo alfaheto hay una relacion del range dos =. Esorihirernosj. = tz en vez de = (tlt2).

Si P es una formula; x, una variable y t. un termino, denotaremos por P (z, t) el resultado de la introducci6n de t en P en Ingar do cualquier parte de las entradas libres de x en P que no enlazan a t.

4.6. Proposiclon. a) Las fOrmulas

t = t; tl = t2 ~ t! = t1; tl = t:: 1\ ta = ta -r tl =t:1~ X = t -+ (P (z, x) -+ P (z, t))

74

sonlP-ciertas para cualouier interpretacion de L, en La cual. (J) (=) es una igualdad.

b) Todas las formulas del punta a) pueden ser dedueida» del con;unto AxL U {z = x 1 x variabJe} U {x = y -+ (P (x, x) -+ per, y)), P elementales}, Las formulas deesta lista, salvo AxL, se denominan axicmas de igualdad,

c) Sea ql cualquier interpretacion de Len el coniunto ll;f. para la cual son eiertos los axiomas de tgualdad. Enionces 'P. (=) es la relacton de equivalencia en M compatible con las inierpretaciones Ik todas las relaciones y operaciones de L en M. St denoiamos par c:p' fa euidente interpretaCion de L enel conjunio cocienie M' = Mlr:p (=), enionces (fI' (=) es una tgualdad; y T ,L = T !p,L.

ESBOZO DE LA DEM OSTRACI ON. a) La cp-veracidad se establece sin dificultad. Limitsmonos a la ultima formula. Sea esta Ialsa en el punta

~ E M. Entonces 1 x tl (~)= 1, I P I (§) = = 1! 1 P (z, t)1 (~) = O. La primera afirmaci6n significa que x~ = tt Pero sntonces I P 1 (s) = =1 P (z, t) I (6) segun la suposicion 2.10, en contra de la segunda y tereera igualdades,

b) Conclusion t = t : x = x (axioma de igualdad);

V x (x = x) (Gen); 'rIx (x = x) ..,.. t = t (eaxioma de especializacicn» logico); t = t (MP).

Conclusion tl = t'l, - t'l. = tl:

1) x = y ..,..U(x ~ X -+ Y = x) (axioma de igualdad para := en calidad de P);

2) Q""'* «(P -+ (Q ~ R) --)- (P -+ R)), donde P es x = y, Q as x = x, R es y = x (tautologia);

3) x=x (axioms de Igualdad);

4) (P -+ (0 -+ R)) -+ (P -+ R) (MP aplleado a (2) y (3));

5) x = y -+ y - x (MP aplicado 11 (1) y (4)). A continuacion es precise aplioar dos veces Gen, el axioms de especralizacion y MP para

75

deducir de (5) la Iormula z, = t",l -- t2= t1; Ia sustltucion de t1Por l',! y viceversa proporciona Ia deduccion t-a = tl -+ t1 = t2) Ia conjuucion de estas formulas se deduce segun el ]ema4.4; por ultimo, ]3 tautologia (t1 = t" -+ t'J = tl) 1\ 1\ (t2 =t. -+ h = t2) -+- (tl = t2 - t'}.. = t1) [untamente con MP proporciona 10 requerrdo.

La ded uccion de la tercera ycuarta formu18s del p. 4.6a se Ia dejamos a1 lector. La existencia de la conclusion de Ia cuarta formula se dsmuestra rasonando inductivamente por e1 mimero de conectivas y cuantificadores en. P; P se rspresenta en forma de lQ, Ql * Q2 0 'r/ xQ, 3 xQ; se supone que para Q, Ql' Q2 en vel. de P la conclusion ya esta construida; se acaba de construlr para P (vease Mendelson [2, pags, 87 -88]).

d) De la (j'l-veracidad do los axiomas de igualdad se deduce 18 cp-veracidad de las formulas del p. 4.6a, yaque pueden ser dsducidas. Las prtmeras tres formulas del p. 4.6, oon iarreglo ia las tres distintas variables z, y, Z.,. muestran entonces que Ia relaclcn <p (=)en M es reflexiva, simetrica y transitiva.

En efecto, sean X, Y, Z tres elementos euales-

quisra de M, siendo S EM un punta tal que z~ = X, y~ = Y, z~ = Z, sea -- la rslacion q> (=) en M. La <p-veracidad de las formulas del p. 4.611 signifiea que X -- X; X ,.." Y <=. <;::>Y -- X; X -- Y e Y .- Z => X ,_ Z.

La compatibiltded de ,_, eon Ia q-interpretacion de todas las relaciones y operaciones en ilf seg1in Ia definicion signifiea 10 siguiente.

Sea puna relacion y tp (P) s;: .M', su interpretacion. Si (Xl' ., '1 X,) E cp (P) y Xi~· X;, entonces {Xl! ., " Xi, ...• Xr) E cp (P).

Sea f una operacibn Y qJ. (I): Mf" -+ M, au interpretacion. Sicp (I) (X 11 •• 'I X r) - y y X; ,.... Xl, entouces cp (I) (Xl' .. '1 X';, ' . " X,) = Y' ,..., Y.

76

dedueir de (5) la formula tl = t2 -+ t-z = tl; Ia sustltucion de tl por t2, y vicsversa proporciona la deducciont2 = tI -+ tl = til; Ia conjuucien de sstas formulas se deduce Begun el lema 4.4; por ultimo, In tautologia (tl = t'}. ~ t, = tl) /\ 1\ (t'2, = tl -* tl = t2) ~ (tt = t'jl .- t'2, = tl) [untamente con MP proporctona 10 requerido.

La deducclon de Ia rercera y cuarta formulas del p. 4.6a sa Ia dejarnos al lector. La sxistsneia de laconcluslon de la cuarta formula se demuestra ra zona ndo inductivamente por 61 numero de conectivas y cuantlflcadores en. P; P S6 representa en forma de lQ. Ql *Ql, 0 'rf xQ. 3 xQ~ se supone que para Q, Qt. Qt, en vez de P In conclusion ya esta eonstruida; se acaba de construir para P (vease Mendelson [2, pags .. 87-881).

d) De In qJ-veracidad de los axiom as de igualdad se deduce la o-veractdad de las formulas del p. 4.6a, ya que pueden ser deducidas. Las primeras tres formulas del p. 4.6,. eon arreglo a las tres distintas variables z, y, a, muestran entonces que 18 relaciou ((l (=) en M es reilexiva, simetrien y transitiva,

En ef ecto, sean X. Y, Z tres el emen toscuales-

quiera de .M, slendo 5 E AI UD punto tal que x~= X, y~ = Y, zs = Z, sea -- la relacion qI {=} en M. La rp-veracidad de las formulas del p. 4 .. 68. signifies que X -- X; X '" Y ~. <;:::> y '" X; X -- Y e Y ,..... Z => X ,...., Z.

La c.ompatibilidad de ."-' con la o-interpretacion de todas las relaciones y operaciones en M segUn Ia definici6n signifiea 10 sigulente.

Sea puna .relacion Y ·41 (P) c Mr, su interpretacion. Si (Xl' ..• , Xr) E <p (p) y Xi,...., Xi. entonces (Xl' .•. , Xi, ... , Xr) E·qJ (P}.

Sea j una operaclou y q:> (I): MT -+ M, Btl interpretacion. Si ~ (I) (Xl' .. '1 X r) - Y y Xi ,_ X 1- entonces c.p (I) (XII' ... , Xi, .. '1 Xr) = Y' -- Y.

76

d) aziomas de dlslribuiividad: x . (y + z] = x . y + x. z;

c) axiomas de induecuin:

p (~}) A "':I x (P (x) - P (x +- 1») _.,.. 'V xl' (x), donde P es cualquier /lirmula del lenguaie.

La demostracion es trivial -y Iu dejarnos al 1 ec tor. Nota rem os so La men te qu e I a m isma "demostraclnn» de Ia veracidad de los axiomas de induccion aprovecha La induceion como ril7,()W=tmiento metalingii istico.

COMEWfARIOS. a) En el p. i.7. b - d hemos escrito axiomas corrientes del semiauillo conmutativo para red ucir las concl usiones Iormales: cualquier calculo informal que aprovocha solamenteestos axiomas puede ser transformado sin dif'lcultad en una conclusion formal de su resultado en L1 Ar

E. Mendelson [2 cap. 3] aduce un sistema de axiomas was de.bil y··luego muestra, como se deducen de el nuestras formulas. Esto ocupa 5-6 paginas de texto y, en 10 general, hace de tributo a Ia tradicion historica que S9 remonta hasta Peauo.

b) Los axiomas de induccion son un can junto numerable de 16rmulasde LIAr: se suele dscir que la escritura de la proposicion 4.7e es un esquema de aziomas.

La Iormulaclon del heche respective en las mateuraticas intuitivas as tal: «para cada propiedad de numerus enteros P, si 0 posee P y si de 10 que x posee P se deduce que x + 1 posee s, ontonces todos los numeros enteros paseen P», La «propiedad de numerus enteros» aqui es 10 mismo que el esubconjunto arbitrario de mimeros enteros».

78

No obstante, entre los medias expresivos de LlAr no hay modo que permita decir scualquier subconjunto». Tampoco hay modo de nombrar «todas las propiedades», s610 S8 puede enumerar por turno las propiedades, las euales pueden ser expresadas, mediante las formulas del Ienguaje, Recordarnos una vez mas, que son un conjunto numerable, mientras que en la interpretaci6n intuitiva se sohreentiende un continuo de propiedades. De este modo, 01 a xioma de inducci6n (armed es mas debil que e1 informal, as! como es mas debit de aquella variante suya, la cual se obtenga al sumir L, Ar en L, Set.

Axiomas especiales de la teorlo de conjuntos de Zermelo-s- Fraenlcel (vease la descripci6n V en el ependice al cap. II)

4.8. Proposteton. Las formulas que vienen a conttnuaci6n son ciertas en la interpretacion esuin'dar del lenguaje Ll Set en el unioersa de von Neumann V:

a) axioma del coniunto vado: "Ix l (x E 0);

b) axioma de La extension:

'V z (z E x - z E y) -- x = y; c) axioma del par:

"U V It) 3 x V z(z E x - z = u V Z = W)i d) axioma de la suma:

V x 3 y 'V u (3 Z (u E z 1\ z E x) _.__ u E y):

e) azioma de la potencia: 'V x 3 y V z (z S x - z E y),

donde z ~ x es el regisiro abreoiado de La formula 'V u (u E z -+ U Ex);

79

f) azioma de la regularidad:

\f x ( l x = 0 - 3 y (y E x 1\ y n z = 0)) , dande y n;r;. = 0 es el regisiro abreuiado para l3z (z E Y 1\ z Ex).

DEMOSTRACION Y EXPUCI\CIONES. Esta es una Iista incomplata de. axiornas de Zermelo - Fraenkel, los axiomas mas finos de infinidad, sustitucion y de eleccion so dtscutiran en e1 punto siguiente.

a) Las demostracloues de veracidad deheran, natural mente, consistir ell el calculo de las funclones I I segun las reglas descritas en los puntas 2.4 y 2.5. Vcrifiquemos de este modo, digamos, la veracidad del axioms de la extension. Sea ; cualquier punto de la clase de interpretacion, X = x~, Y == y~. Entonces tencmos que astablecer que

I V z (z Ex ........ z E y) 1 (~) = I x = y I (;), es decir que

min(IZEXIIZEYI+

ZEV

+(1~ IZ EX!) (1-IZ EY1)) = IX = Y!,

donde escribimos I Z E X I en vez de I z E x I (s') con z;' = Z, X6' = X, etc. Pero la parte izquierda es igual a 1 cuando y s610 cuando para cada Z E V 0 bien simultaneamente Z E X Y Z E Y, o bien simultaneamente Z ~ X y Z ~ y, es deoir, cuando X = Y.

Generalizando mas, al sustituir aqui V por cualquier suhclase M ~ V y at Iimitar La interpretacion estandar de L1 Set sabre }11, hallarnos en el mismo calculo: el axioma de la extension is cierto en 1'11, si y solo si para clJ,ulesquip.ra elementos X, Y E!v[ tenemos X = Y ¢::> X n M =

80

= y n _~l, es deeir I si cada elemenio de j}j se determine uniuocamente por aquellos elementos suyos que se encuentran en iVI.

De este resultado haremos uso mas tarde. Calculos analogos para todos los demas axiomas han side realizados sistematicamente en el cap. I II en una situaci6n mu cho mas dificil. Por eso a continuacion nos Iimitaremos a su traduccion al argot, 10 mismo que en el cap. I, y a las expltcaciones conoernisntss a Is posibilidad de su realtsacion en V.

b) El axioms del conjunto vacio no necesita comsntarios. S610 notemos que, aJ interpretal' L1 Set en In subclass M ~ V, S8 podri a interpretar Ill. constante 0 par cualquier elemento de X EM que tenga In propiedad X n M = 0 sin alterar Ill. veracidad de este axioma.

c) EI axioms del par es cierto, porque si U, lV EVa. antonces {U, W} E tp (Va) = "Va+l, as! que los pares se encuen tran en V.

d) El axioma de la suma as cierto, porque si X E V, sntonces e1 coniunto Y = U Z tambien

ZEX

se oncuentra en V. En verdad, si X E Va+1 =

= f} (V Cl), entonces los elementos de X son subconjuntos de Va Y su reunion tambien se sncuentra en Va+1•

e) EI axioms de Ia potencia as cierto, porque si X E V, entonces f} (X) E V. En efecto, si X E Va' entonces X c: V IX y, ]lor 10 tanto, ~ (X) c f} (Va:) = Va+1l asi que ~(X) E Va+1!'

f) EI axioma de la regularidad es cierto, porque cualquier coniunto no vacio X E V tiene una Interseceton vacia con cierto elemento suyo , y en tal aspecto el mismo esta dsmostrado en el apendice para el cap. II del «Universe de von Neumann».

4.9. Los axiomas dellenguaje L, Set recogidos en sl p. 4.8 estan unidos por una propiedad comfin:

6-01152

81

en la Interpretacion estandar, de su modelo mas simple sirve exac.tamente la reunion 6)0 de los

00

prim eros pisos de 11 W(l = U Vn del universo

n=O

de von Neumann. Con otras palabras, este es un conjunto de conjuntos transitivamente Iinitos X E ll, tales que si X nE X n -1 E . . . E X 0 = X, entonces todos los X i son Iinitos.

V roo es un mundo seguro de la teoria coord inatoria y Ia teoria de los mimeros; son uecesarios otros principios, nuevos, para salir Iuera de sus Iimites. Son dos: til axioms de la inflnidad y el esquema de axiomas de la sustituci6n.

a) Aztoma de La tnfinuiad:

3x ( &. E x A 'fly (y E x -- {y} Ex)).

Aqui {y} Exes una abreviatura para. 3z (z . = {Y, y} A z Ex), Ja abrsviatura z = {y, y} viene explicada en e1 p. 3.7 del cap, I. Este axioma nos hate agregar a V Q) algtin conjunto que contenga 105 elementos ,&, f~}, {{&}}, . , . (en cantidad numerable). Despnes, para asegurar la veracidad del axioms de la potencia en su variante substancial habra que agregar iP (X), JP2 (X), .•. , saliendo desesperadamente fuera de los limites de los conjuntos finitos, numerahles, continuos . . .

Es asombroso que en la variante formal de 1a teoria de conjuntos eso no es asi, y nosotros siempre pcdemos limitarnos a los submodelos numerabies transitivos de V. Esa importante circuns .. tancia se discutira detalladamente a ccntinuacion, en el § 7.

b) Esquema de axiomas de la sustitud6n. Intreduzcamos Ia siguiente escritura abreviada comoda (en eualquier lenguaje de la class 231 COD

82

igualdad): 3 lyP (y), Ia cual signi1ica 3yP (y) 1\ "Ix Vy (P (.t) A P (y) -+- x = y).

De este modo, asta formula se lee sexiste un objeto unico y con 1a propiedad de P», si se sobreentiende que = se interpreta como igualdad.

Sian P entran libremente otras variables, a excepeion de y, 1a veractdad de la formula 3!yP (y) slgnifica que P prefija y como una «funeion Impliclta» de estas dermis variables.

Ahora podemos escribir los axiomas de sustitucion. A continuacien van distinguidas en la formula P todas las variables que integran Iibremente P:'

Vz1· .. 'r/zn 'Vu ('r/x (x E u -?- 31 yP (z, Y, Zt, . , " zn)) -+- .3w 'fly (y E w ~ 3x (x E u 1\

1\ P (x, v. ZIt· .•• Zn))))·

La premisa se lee asi: «P prefija y como Iuncion de x E u para cualesquiera que sean los valores de los parametres de Zl' .• .• Zn». conclusion: «la imagen de cualquter conjunto u con respecto a esta funci6n es oierto conjunto w».

Para las necesidades de la teoria formal es util notar que de este axioma y los axiomas de la igualdad pueden ser dedueidas las tal llamadas formulas de la ... distincion:

VZ1 •.• 'fIzn. Vx 3y (u E Y .._ u E x A 1\ P (u, ZI' .• 'I zn)).

es decir I (lsi una clase de conjuntos u que poseen la propiedad de P se interseca eon e1 conjunto e, se obtiene un coujunto».

El axioms de la sustitucion exige un axamen muy minucioso. Sale fuera de los limites de las herramientas operacionales corrientes (y por eso

83

eonsideradas como intuitivamente evidentes) del top6logo y analista. En verdad, este axioma afirrna que, d igamos, eualquisr ordinal ex no puede ser «extsndido. demasiado lejos par medio de una Iuncion [: independientemente de como S9 escoja j, se hallara un ordinal ~ tal que todos los valores de f (V). y ~ ex se encontraran en V~, as decir, la infinidad del universe V es mucho mas grande que la de cualquiera de su piso V IX'

Incluso si se acepta este axioms, quedan intuitivaments iuconcebibles e insolubles, con ayuda de el y de los demas axiomas, las cuestiones muy proximas a este segun al estilo. Par ejempJo iex.isten a no los tal llamados cardinales inaccesib les 'V?

Una de las propiedades del cardinal innecesible V es tal: si f es una Iuncion de V 0; en V l' (can a. < < y), entonces el conjunto de sus va lares es elemento de V'V' En particular, hay un «limite superior» Iuera del cual no pueden ser extendidos los ordinales que no superen a y.

lExisten tales iufinidades 0 no?

Las reflexiones sobre estos y ssmejantes pro~ hlemas de la infinidad llevaron a much os especialist as de los fundamentos de las matamaticas a la eonviccion de que el 1enguaje de Ia teoria de conjuntos del tipo Ll Set y uno u otro sistema de axiomas en Bl son 18 [mica realidad, con la cual se ha de trabajar, y que las tentativas de atribuir sentido al universo V 0 a modelos analogos en principia estan condenadas a sufrir fracaso. En particular, e1 conjunto de formulas verdaderas en Ia interpretacion estandar de L1 Set no esta definido, y se puede hablar solamente de f6rmulas que se dedueen de los axiomas,

Por una serie de causas no a.ceptaremos completamente este punta de vista. La mas simple consists en 18 sensacien de que ellenguaje sin inter-

84

pretacion no s610 esta pri v ado de su j ustiflcacion interior, sino que tampoco puede ser usado. Hasta al «juego formal» con los simholos jugamos bien, cuando nos guiamos de las representaciones intuit ivas del sentido de estes simbolos, E1 1enguaje (junto con el mundo exterior) ayuda a ordenar y prectsar tales representaciones 10 cual , por su parte, hace cambtar ol l snguaje 0 volver a tasar las construcciones Iingii ist.icas anteriores. Psro en ningiin instante podernos considerar que hemos alca uzado In claridad total.

La autorrestricci6n sucesiva merece comprension. Sin embargo, e1 ascetismo intelectual (al igual que todos los demas tipos de ascetismo) no puede ser destino de muchos,

c) Axioma de la eleccion:

'fix (IX = 0"""'*" 3y {"yes Iuncion con do-

minio de definicion de x" /\ 't:/u, (u E x /\ IU = = 0 -+- 3w (w E u 1\ U(u, w) E y"}))),

as decir, y elige un elsrnento de cada elemento no vacio U E z,

La coufianza en la veracidad de este axtoma en V par 10 menos parece ser tan motivada Como la fe en la existencia del propio V. En e1 transcurso del medio siglo pasado Ia misma se ha hecho habitual para cualquier matsmatico trabajador, y las discusiones tempestuosas en torno de ella a principios del siglo casi no se entienden actualmente, Remitimos al lector interesado a] libro de A. Fraenkel e Y. Bar-Hillel [t7, cap. Ill.

4.10. Prepiedades eomunes de los axlomas.

A pesar de toda la diversidad de las representaclones relacionadas con los axiomas, cada conjunto de axiomas eon los Ienguajas de Xl descrito por nosotros (tautologias: Ax L; axiomas especiales en L1 Ar y L1 Set) posee las siguientes caracteristicas sintacticas no Iormales:

85

a) ss puede indicar el algoritmo que reeonoce por Ia expresion dada, 8i as un axioma (comparense el anal isis sintactico en el § t y las verifieaciones del caracter tautologico en el p. 3.4);

b) se puede indicar el mimero finito de las reglas de engendro de axiomas,

Claro esta que a priori la propiedad b) es menos restrtctiva que a). En efecto, el algoritmo reconocedar puede ser convertido en la regla de engendro: ecoptense seguidamente en orden Iexicograftco todas las expresiones y dejense aquellas, para las cuales el algoritmo proporciona una respuesta positive».

En realidad, es cosa natural considerar que la propiedad a) dsbera ser inherente a los axiomas, y b), a las formulas que pueden ser deducidas, cualqutera que sea la descripcidn explfcita de estas y aquellos que se adopte en el lenguaje concreto. En el cap. III estas representaciones intuitivas saran formuladas en forma de exact as definiciones y se mostrara que b) es mucho mas debi1 que a). Comparese tamhien la discusion en el p. 11.6c de este capitulo.

Dlgresi6n sobre la demostrac16n

1. La demostraci6n llega a ser tal 5610 como resultado del acto social de «aceptaeion de la dsmostracion» ,

Esto se refiere a las matematicas en el mismo grado como a la Iisica, lingiiistica 0 biologia, La svolucion de los criterios reconocidos de la demostrabilidad es un tema casi no investigado en la historia de la ciencia, Sin embargo, desde la epoca de Euclides queda invariable laestructura ideal de la demostraci6n matematica de la «verdad no evidsnte»: el paso a ella de Ias premisas

136

evidentes oestablecidas anteriormente por medio de una serie de inferencias elernentales sevidentemente Iegales» y explicltaments expresadas,

De este modo, Ia deducclou como metodo universalroente cieutifioo es un metoda de las matematicas par excellence. (~La induccion matematica» se remonta explicttamenta hasta Ia misma idea. EI principia de induccion de Peano postula el permiso de escribir solamente los pasos primera y general de la demostrac.i6n y, de este modo, es de hecho el primer principle ruatematico. Esto se oscurece debido a la concerneneia traditional del axioma de Peano a los especiales (p. 4.7e), pero, como quiera que sea, sste axioma pertenece a los arquetipos Iundamentales del pensamiento matematico),

Cuanto mas largoes el razonamiento deductiVO,. tanto. mas rigidas son las exigencies referentes al caracter explicrto y grado de normalization de sus eoroponentes elemsntales. En resumidas cuentas, Is canridad de datos Iniciales es tan pequefia en las matsmat.ioas Jormales que Ia inobservancia de las reglas de higiene en las conclusiones largas conduce a la desintegrac.i6n del sistema, si no se 10 corrige por fuera. Enel easo de induccton, al raves, Iasconcluslones comparativamente cortas dsscansan sobre un material inicial vasto: la concepcion darwinian a de la evoluci6n se explica a los escolares, pero apenas bastaria una vida para apreciar la persuasion de sus demostraclones. Una situacion analoga se observa en 18 Ilnguistica comparada al reconstruir los hechos protolinguisucos. Por eso aqui no pueden ser tan rigidas las eraglas de dsduccion» a pesar de Ia critica de los j6venes gramatfcos.

2. Las opinionss expuestas arriba concuerdan COil 10 queel concepto de conclusion formal en los Isnguajes de :£1 es una buena aproximacien

87

a la idea sabre una dsmostracion matamatica ideal. Por eso es mas aleceronador analizar las diferencias entre las conclusiones y nuestrcs argumentos cotidianos.

a) Coniiabiluiad de los prtncipios. No solo las matematicas inculcadas en los axiomas especiales de 1..1 Set y L, Ar, ni siquiera la I6gica de los lenguajes de :tl estan reconocidas universalmenteo En particular, despues de Brouwer se impugns el principio del tercer excluido. Desde estas posiclones extremadamente criticas nuestras «demostraciones», en el mejor de los casos, infieren irreprochablemente de la mentira el .disparate.

Un matematioo no puede permitirse ser totalmente sordo a esta crittea; al adsntrarse en ella se debe por 10 menos tener conciencia de que existen objetivamente distintos sgrados de la demostrabiltdadi de las demostraciones.

b) N iveles de la demostrabilidad. Cada demostracion propuesta se aprueba a la aceptabilidad por los matematicos, a veces de varias generaciones. En estc caso se somete a precision Ia propia demostracion y su resultado. En Ia mayoria de los casos la demostraci6n es un esquema mas 0 menos breve de la conclusion formal en el lenguaje adecuado. No obstante, como ya se ha indicado, a veces la afirmaci6n P se estahlece por medio de Ia demostraci6n de que Ia demostracion P existe. Esa [erarquia de demostraciones de la existsncia de dsrnostraeiones puede ser muy alta. Nosotros Ia qnitamos con ayuda de los pr incipios 16gicos superiores 0 de la teoria de conjuntos, con los cuales, sin embargo, no as obligatorio ponerse de acuerdo. Las obras de las matematicas constructivas ahundan en afirmacionss de tipo: «es imposible que no existe un algoritmo que calcule XI> aIli, donde el maternatico clasieo dijera simplemenLe «X exlste» 0 por

8S

10 menos «x existe y puede ser calculado con eficiencia».

c) Errores. Las pecultaridades de la psiquis humana hacen que las conclusiones formales practicamente no se dejan comprobar, hasta si oonsentimos que esto es un tipo de demostracion ideaL Dos circunstancias aotuan perniciosamente en e1 mismo sentido: las conclusiones formales son mucho mas largas que los textos en argot ~ la velocidad de su Iectura consciente por 01 hombre es mucho mas baja.

No son raros los casos, cuando un solo teorema se demuestra en cinco, quince y hasta cincuenta paginas. Las demostraciones de dos hip6tesis de Burnside de la teoria de los grupos finitos ocupan cada una cerea de quinientas psgmas. Es imposible irnagmarse la longitud de las ('.QDclusiones formales.

Por eso, la falta de errores en e1 trabajo matematico (si no han sido descubiertos), al igual que en las demas ciencias naturales, a menudo se establece par los datos Indirectos: tiene importancia Ia conformidad con las espsranzas generales, el uso de argumentos analogos en otros trahajos, el examen «can el microscopiee de troeos aislados de Ia demostracion, hasta el credito del autor; en una palabra, Ia capacidad de reproduccion en el sentido lata de la palahra. Las dsmostraetones «incomprensiblesa puedsn des empenal' un papel muy utilI estimulando las busquedas de razonamientos mas aceesibles.

En los ultimos decenios aparecio un medio muy potenta para sacar ccnclustones formales largas: se trata del ordenador, A primera vista esto puede cambiar bruscamente el statu de la conclusion formal y hacer realizable el ideal leibniziano de Ia verlficacion meciinica de Ia

veracidad, En In realidad el asunto as mucho menos triv ial.

Aduzcamos primeramente dQS opiniones competsntos al respecto que pertenccen a C. L. Siegel ya H, P. F. Swinnerton-Dyer [32, 33}' Los dos expresaron su parecer sabre el tratamiento a msqu: na de los problsmasconcretos de la teoria de los numeros.

3. El nivcL actual de nuestros conocimientos sohre el gran teorerna de Fermat es tal. Sea p un mimero prirno. Este mirnero se denomina regular, sf no divide el numerador de ninguno de los numerus de Bernoulli

1 1

B2=Er' B4= -30 ' ... , iJp-,'J'

Para los indices regulares p el teorema de Fermat rue demostrado por Kummer. Para los p irrsgulares ha y una jerarquia de crtterios de veracidad de Is afirmaolon de Fermat que se redueen a 1a verificacion de la ausencia de algunas divisibilidades; si estas tiensn lugar, hay que probar otras divisihilidades, etc. La verificacidn de los criterios para cada p exige un gran calculo en el ordenador; segun el informs de 1955, ella fue realizada con exito para todos los p < 4002 [32] .,

Denotemos eon v (x) la razon del mimsro de los ~x irregulares, primos al mimero de los regulates. Kummer supuso que [) (x) -+- 1/2 para x_,... 00. Siegel 134] considera mas verosimil el

valor del limite lie - 1, alega argumentos probabilisticcs a BU Javor y ]0 compara eon los datos de Selfridge - Nicol -- Vandiver, cuya

• Hasta ahora Con ayuda del ordenador e1 teorsma de Fermat esta demostrado para todos los P < 125000. (N()ta de la lledacci6n.)

90

discusi6n termina con una frase inesperada: j«Adem.is, es necesario tornar en conslderacien que los valores numericos arriba cttados de la Iuncion v (x) han sido ohtanidos con ayuda de ordenedores y por eso, hablando estrictamente, no pueden ser considerados por demostrados»!

4. EI punta de vista de Siegel puede ser explieado por la reaccion natural a 1a inlormachin obtenida de segunda rnano. A contlnuacien vienen sxtractos extensos del articulo de un matematico profesional y programador perito (331 dedicado al problema siguiente.

Sean L1, L2, L3 tres formas lineales homogeneas procedentes de tres variables con coeficientes reales y el determinante fl. Supongamos que lacota inferior I L1L"J,Ls I sobre puntas enteros no nulos (salvo el cornienzo)es igual a 1. lQue se puede decir de tales valores de D.?

EI problema para dos Iormas de dos variables en sumo grado ha sido resuelto por A. A. Markov: los valores de !'1 < 3 constituyen unconjunto

numerable {V9 - 4/n2 I n = 1,2,5, 13,29, ... }. Aqu! n recorre la sucesion calculable de los mimeros enteros que se describe explicitamente.

Para tres Iorrnas Davenport damostrf (1943) que !1. --- 7, 0 Il = 9, a A> 9,1. H. P. F. Swinnerton-Dyer celeula en el articulo citado [331 todOS.10Ef valores 4e L\ -< 17 suponiendo que hay un mimero finito de estos y brlnda su Iista: el

tercero es igual a Vi48, el ultimo (d{~cimoc.tavo), a ]12597/9. Discutlcndo sste resultado, aduce un testimonio interesante: {(Sf algun teorema ha sido demostrado COD ayuda del ordenador, resulta que es imposible formular su demostracien de modo que satisfaga el requisito corriente: darle 1a posfhilidad al lector bastanto paciente a que la -estudie y se cerciore de su correccion.

91

Hasta la relmpresion de todos los programas y datos de entrada (en nuestro caso eUos ocuparian unas cuarenta paginas de lectura bastante Iastidiosa) no puede garantizar que durante e1 calculo real no hayan sido perforadas 0 oaleuladas erroneamente las fichas. Adsmas, cada ordenador contemporanso tiene vicios latentes en los rincones ciegos de los programas y de Ia electrenica (que tan raramente acarrean errares que durante alios quedan desapercibidos] y cualquier ordenador estft expuesto a faHos. A pesar de ser muy raros tales srrores, algunos de ellos podian tener lugar en el curso de 13.5 computaciones, de los cuales nos referimos en e.ste articulo».

Los argumentos positivos tambien son muy curiosos:

«No obstante, la esencia de nuestros calculos consiste en Ia btisqueda de nada mas que unas cuantas agujas en un almiar de hano de seis dimensiones, y casi toda la busqueda se realisa en las partes del almiar, donde no hay agujas, Por eso los err ores en estes dominies no influiran en el resu1tado final... ereo que Ia Iista de los discriminantes tl ~ 17 esta completa, y es inereible que hayamos omitido una cantidad infinitamente grande de valores tolerables ~17~.

Conclusion: «No obstante, e1 unico metoda de eomprobar 98tOS resultados (5i 10 merecen) es atacerlos independlentemente, habiendo eserito otro programs para otro ordenador. Preeisamente asi es Ia situacldn en la mayoria de las ciencias experimentales».

Notemos que Ia eluboracion y, en cierto grado, almacenamiento de grandes fondos de informacion operativa en general, fuera del cerebro humano, lIeva a los problemas sociales, de los cuales se da euenta cada vez mas claramente y que salen lejos Iuera de los limites de las cuestiones de

92

certeza de las conclusiones matematicns.

5. Por fin, citaremos la impresion producida por las demostractones mecanicas, hasta euando se realizan a mano, la cual tuvieron que expertmentar muchos.

Despues de formular una cierta proposicion de qu e "la Iuncion T W.ll~ e ha sido definida correctamente", el fuerte matematlco D. Mumford que trabaja activamente, escribe [35, pag. 230]: «Est a proposici6n se establece eon ayuda de calculos tremendamente Iargas, aunque completemente simples. Efectuandolos hasta el final y con todos los detalles gaste varias horas, pero no Jlegue a ser mas inteligente, s610 me cerci ore de la correcci6n de la definicion. Por eso omitire aqui los detalles».

Moraleja: una buena demostracion es un razonamiento que nos hate mas lnteligente.

S. Ta\ltologfas y algebras booleanas

5.1. Propesleton. Se puede setialar una lista finita de tautologies btisicas =polinomio« l6gicos de ires argumentos P! Q, R eon la propiedad stguienie,

Sean L cualquier lenguaie de La. clase :£1' iF, ei coniunto de todas las formulas de L, que se obtienen. de las tauiotogias btistcas sustituyendo P, Q, R por toda clase de formulas del lenguaje. Enionces toda tautologia en L puede ser deducida de !P empleando solamente la regla MP.

La elsccien de las tautologias basicas de ningun modo es univoca. Nuestra lista se compondra de las tautologias A.O, A.i, A.2, A.3, B.t, B.2 del p. 3.4 y de las tautologias que vienen a continuaeidn:

C.t. "l (P -+ -, Q) --+ (P A Q), (P 1\ Q)-+

-+ -, (P -+ ., Q);

93

C.2. (I P -+ Q) -)0- (P V Q), (P V Q)-+

--+ (I P --+ Q);

C.3. P -+ (-, Q ~ J (P -+ Q)); C_4. (P -+ Q) -+ ((IP -+ Q) -+ Q)j C_5. (I P -+ I Q) -+ (Q --+ P)j

C_6. (P -+- Q) 1\ (Q -+- P) -+- (P .- Q); C_7. -, P A Q _"._ I(P -+- Q).

Economizamos no en 1a dimension de la lista basioa, sino en Ia Iongitud de Ia demostracion de Is proposicion 5.1, por eso 1a lista A.O - C.7 no es la mas Carta. Para la logica de :£ 1 esto no es essncial: 8610 para las 16gicas modificadas del tipo intuicionista se requiere un analisis mas cautsloso.

DEMOSTRACION. Sea 8 el conjunto finito de las formulas de L; P, el polinomio Iogico [con representaci6n fija) sobre e. Examinemos la aplicacidn v: I;; -+- {O, 1} y 10 continuemos sobre P par las mismas formulas, las cuales definian en el p. 2.3 la Iuncion de veracidad II. Supongamos que

{ P, S1 v (P) = 1,

p'<'=

-, P! si v (P) = O.

5.2. Lema principal. Sea SU = {Qv I Q E s}, Enionces para eualquier l) ienemos: ~ U t" r- po (con La ayuda de MP).

EI lema es la formalizacien de la idea siguienteo Es natural demostrar la proposici6n 5.1 razonando por inducci6n a 10 largo de la tautologia, pero las partes de la tautologia pueden no ser tautologies. La operacion que traslada P en P" hace forzadamente «v-cierta» cualquier formula y permite realisar la induccien.

5.3. DEz..mSTRACION de 5.1 con la ayuda del lema principal. Sea Puna tautologia y P" = P para todas las v (las notaciones son las mismas), Supongamos que E. = {PlT ... , P,}.

Segun et lema principal s: U {P~, .. " pn r ~ P con la ayuda de :.\-1P para cualquler v.

Mostremos que entonces .F U {Pr, 0 •• , P~-l} ~

r- Peon Ia ayuda de MP. La inducclon hacla abajo por r proporciona 10 requerido (Ia suposicion de que P as un poLinomio legico de PI, 0 • 0 .• 0, P, no sa utiliza en la transition induct.iva].

EI lema de Ia deducciou 4.5 muestra que .IF U {pr, .. 0, P~-l} I-- (P~ --+ P) con Ia ayuda de MP: es necesario recurrir a su demostracron y cerciorarse de que en Ia dcducclon part.icrpan solo tautologias de /F y MP, porque Gen no ha parttcipado en Ia deduccion de P.

Por cuanto para cualquier v existe v' que coincide con v sobre PI' ... , Pr-t j pero que se difereneia sabre P 1'1 tenemos: P r ~ p y -, P r -- P se deducen de 5" U {Pi, ... , p~-J con la ayuda de MP. Por otra parte, la tautologia C.4: (P"l'" -+ P) ~ ((.., P r _".. P)-+ P se encuentra en §. Aplicando dos veces MP, deducimos P.

5.4. DEMOSTRACION DEL LEMA PRINCIPAL.

Proeedamos por inducc.i6n seglinel mimero de conectivas en la representacion P en forma de un polinomio l6gico sobre 8. Si no existen, as decir P E 8, as evidente la afirmacien, En caso contrarlo P tiene e1 aspecto de ..., P 0 Ql * Q2' doude * es una de las conectivas binarias.

a) Caso P = , Q. Si v (Q) = 0, entonces QJ] = .., Q = P =.pTJo Lo que Ql) = PI) puede ser deducida de IF U eV as una suposicion induetiva. Pero si u (Q) = 1, entonces QU = Q, P" = = I ..., Q. Aquf Q se deduce de !!F Uf'}l por Ia ' suposicton inductiva, luego Ia tautologia de /F:

Q -r ..., "1 Q y MP proporcionan la deduccloa de r:

b) Cas« P =Ql * Qt. Primeramente tabulemos, para distintascombinaciones de * y v (Ql)' v (Qt), las formulas, cuyas deducciones

95

existen segun In suposicion inductiva, y las Iormulas que hall de ser deduculas.

En las columuas para /\ I V se indican tales formulas, de las cuales, empleando MP, con ayuda de las tautologias de /; (tautologias B.1, B.2 del p. 3.4), se deducen (Ql A Q:!)" Y (Ql V Q2Y', respectivamente.

«Ded uctividadi en los comentarios para 1" tabla significa «deductividad de 7- y del pal' de formulas de la prirnera columna con ayuda de MPi).

DEDUCCION DE LAS FORMULAS i-Hi (los numeros de las formulas se dan en la tabla). He aqui la consideration mas simple: si P puede ser 'deducida, entonces para cualquier Q Ia formula Q --+- P tambien puede ser deducida (tautologia A . .1 y MP). Esto proporciona inmedratamente la deductividad de las formulas 2, 4, 10 y 12. Despuss de quitar en Ia columna 1\ las negaciones dobles COil ayuda de la tautologia de B.1 y ~lP, obtendremos la deductividad de las formulas 5 y 7. La dsduccion de las formulas 4 en el ultimo renglon poria simetria proporciona Ia deduccion Q", --+- Q1; el Iema 4.4. y 1a tautologia C.6 proporcionan la deduccion de las formulas 16 desdc Q1 _.. Q2 y Q", -+ Q1'

1 se deduce de -, Q'/. --+- .., Ql Y C.5 por media de MP. Segun la shnetria se deduce Qz --+- Qf Y luego 13 al igual que 16.

3 sa deduce de C.3: Ql -+ (.., Q2 -)- 'I (Ql -+ Q2)) y de las conclusiones dadas empleando dos veces MP.

6 se deduce de B.2: .., Ql -+- (01 -+- "l Q2) y de las eonclusioues dadas empleando MP, B'1 y MP.

8 se deduce de C.3: Ql -+ (I I Q2 -+ I (Ql -+ --+- .., (Ql --+- -, QIl)) y de las conclusiones dadas empleando MP, aplicandu 8.1 a I IQ2 Y empleando de nuevo MP.

96

I -- -
.. ..
0 Co
o. t t ..
c- l' y o-
+ t ~ - l
t ~ c-
I ._"
a- I r Co
~, ..::;- .. '? ~
-e-- -e-e - ~
--- _.-..
C4
c-
t .. <'I ~
c- O 0
<S t t ;..
> I
... r ... ... tS
c.. ._.. c- O
- I 1- r r
C;
0) -' .,.; N
.... ..... .....
._ ---
0::: - ....... ..--. -----
'" 00 .. '"
I:l 0- C>- O '"
~ 0-
r r r r
e t t
'" t t
(..1 ... ... ..
c' 9: c- ~
._ ~
r r r-
r r r I
L(l :!5 !- W
---
,...._,
..
0
Oi co t ..
c:>- c- o
t t ..., t
t ~
... .. r ...
0 c- O'
..,.. ci :f; . ..r
'" eo
'" 0" '" ..
~ c- c- '"
Om r e-
,-~ I
"'", ~
2«1 ,:; c- ,:;. :.
"" Co a,.
~ I 0
:.3 r
«'o) .:1- 0 - '...-' ....
(I b) L.I 0 0 .... .... 7-01152

9 se deduce de. C.3: ..., Q1 ""+ (I Q2 -+ ..., (i Ql-+ "-+ Q2)) empleando dos veces MP.

11 se deduce de B.2: -, -, Ql-+ (-' Q1 -+ Q2) cambiando ..,., Ql por Ql segun B.1 y MP,

14 se deduce de C,.7:.' Ql 1\ Q2 -+ 'l (Ql - Q2)

con ayuda del lerna 4.4 y MP.

15 se deduce de forma analoga a 14., La proposici6n 5,1 queda demostrada,

5.5. 'I'autologias y probabiIidad ,. Las tautologias sonenunciados que son ciertas independientemente de 18 veracidad 0 Ialsedad do sus «partes integrantes», Esta afirmaci6n se conserva Incluso si se confieren a los elementos de Ia tautologia valores prohahilist.icos de veracidad II P II en el 4lgebra de conjuntos medibles de algun espacio prohab ilist ico.

Por ejemplo: Ia tautologia R V S V .., I. R V .., S -<lOra II ueve, ora nieva; ora SI, 0 ra n 0»es una pred icci6n fided igna del tiempo, a pesar de la extremada complejidad del espacio probabilistico meteorologico.

Es c6modo formular el resuItado exacto en terminos de las algebras booleanas,

5.6. Algebras booleanas. El algebra bocleana B es un conjunto con operacion ' del Tango 1 y dOB operaciones V! A. del fango 2, asi como con dOB elementos d istinguidos 0, 1 que satisfacen los axiomas signientes:

a) (a')' = a para todas a E B;

b) A., V son asociativas y conmutativas;

c) A, V son distrfbutivas una respecto a otra;

d) (a V b)' --- a' 1\ r. (a 1\ by -- a' V b';

e) a V a = a /\ a ,-, a;

f) 1 1\ a = a; 0 V a = IJ.

Ejemplos. a) B es el conjunto de todas las partes del conjunto Ill, I es el complemento, /\ as la iuterseccion, V es 13 reunion, 0 es el subeonjunto vacio, 1 es todos los M.

Sign up to vote on this title
UsefulNot useful