Logica Y Algoritmos

,
REVISTA DE LIBROS
KORFHAGE,ROBERT: Lgica y Algoritmos.
Con aplicaciones
a las ciencias de la computacin e informacin. Mxico,

Limusa-Winley, 1970, 222 pp.
El presente libro aborda
bliografa de las ciencias de
accesible, a estudiosos
no
lgica constructiva
y de la
una importante
tarea dentro de la bila computacin,
ya que pretende hacer
especializados,
grandes parcelas de la
teora de conjuntos.
En su totalidad
podramos calificado de pedaggico-intuitivo,
aunque a veces (por ejemplo en el captulo 2) efecta un desarrollo
que no resulta ser ninguna de las dos cosas. En el mismo sentido
diremos que grandes partes de la obra que se comenta se hallan salpicadas de alusiones interesantes -a las paradojas de conjuntos, cap. 1,
p. 14; a la denominacin
de funcin por Leibniz, Apndice, p. 178;
Y al uso del sistema numrico binario por los antiguos matemticos
chinos, p. 178- que le conceden cierto dinamismo.
En el captulo 1, titulado "Conjuntos,
relaciones y mapeos".
ofrece en una apretada presentacin,
los conceptos bsicos de la
teora de conjuntos,
primero de forma intuitiva y a continuacin
desarrollndolos
en un sistema algebraico. N o nos parece afortunada la denominacin
del traductor "combinacin
de conjuntos" para
designar la definicin de las operaciones elementales -unin,
interseccin, diferencia simtrica-,
del mismo modo que en la aritmtica
al conjunto de las operaciones elementales no se les denomina globalmente "combinaciones
de nmeros".
En el captulo 2 presenta el autor un lgebra booleana al modo
de la mayora de los tratadistas, definiendo a continuacin
recursivamente las funciones booleanas para obtener una forma cannica
de las mismas. Habra que subrayar que en el libro, que contiene
una amplia bibliografa, y referencias a la misma, en este captulo
no se cita ni a Gdel ni a Kleene. Adems, contiene la descripcin
de los mapas de Karnaugh aunque no su desarrollo completo, los
mtodos de simplificacin de Quine y McKluskey y la aplicacin a,
modelos fsicos -circuitos
de distribucindel lgebra booleana.
En el captulo 3 el autor presenta la lgica de enunciados, donde
incluye los teoremas de deduccin y completud del clculo. En este
135
- - -
--
136
Revista de libros
captulo se atiende tanto el aspecto sintctico -axiomatizacin

y
derivacin-,
como el semntico -consecuencia
lgica y equivalencia-;
y se le aade entre otras cosas la descripcin de la notacin de Lukasiewicz y del rbol de una frmula, ambos tpicos de
especial inters en el tratamiento
de computadores.
En el captulo cuarto, se presenta
brevemente
la nocin de
n-tuplo ordenado de bits o vector binario con las operaciones aritmticas usuales, y una referencia a la codificacin, nocin importante
con vistas al almacenamiento
de la informacin
en las mquinas
electrnicas.
A travs de estos captulos que hemos comentado,
el autor
logra escalonar adecuadamente
una coleccin de conceptos anlogos
-operaciones
con conjuntos, operaciones booleanas, clculo de conectivasque llevan por buen camino al lector en una tarea tan
importante
como es establecer,
en su apreciacin,
las relaciones
entre varias reas de la lgica y las matemticas.
En el captulo cinco, parte primeramente
de una definicin intuitiva de algoritmo y de la descripcin de diagramas de flujo, para
despus descender a un estudio corto, pero sistemtico de dos conceptos no intuitivos de algoritmo -algoritmos
de Markov y mquinas de Turing
; finaliza con la presentacin
del lenguaje de
programacin
MAD (Michigan Algorthm
Decoder). Subrayaremos
la ausencia en este captulo de cualquier comentario
sobre funciones recursivas, de crucial inters tanto para la teora de algortmos
en s, como para el hardware y software de los computadores.
En el captulo seis, se desarrolla un clculo de predicados
de
primer orden, que contiene adems de los tpicos fundamentales
-simbologa,
validez, satisfacibilidad,
forma normal prenex-,
un
sistema axiomtico, p. 163. En el captulo se hacen referencias al
problema de la indecidibilidad
y, adems, incluye una versin divulgatora del teorema de deduccin.
En el captulo siete, se presenta de manera sucinta la nocin
de "sistema cannico de Post", a nuestro juicio demasiado alejado
espacialmente
de los restantes
conceptos formalizadores
de la nocin de algoritmo. En la presentacin
no se hace ninguna alusin
a la equivalencia entre estos conceptos y por otra parte no queda,
como en la mayora de los libros de lingstica, lo suficientemente
subrayada la importancia
de Post para la lingstica matemtica. S
se destaca en cambio la importancia
de los Sistemas Cannicos
para los lenguajes formales en general.
,1
'1 '
El libro se cierra con un breve pero bien trazado

trico de los tpicos estudiados y con una coleccin
---
recorrido hisde soluciones
Revista de libros
137
casi exhaustiva, de la gran cantidad de ejercicios importantes que

contiene.
En general, el libro logra cumplir el propsito del autor en la
mayora de sus partes; y su edicin en castellano nos parece acertadsima ya que llena un hueco en el escaso campo bibliogrfico
sobre la materia.
Julia Blasco
J.
BARKLEY ROSSER:
Simplified
1ndependence
Pro Of s .
Boolean valued models of set theory. New York and

London: Academic Press, 1969, xi + 217 pp.
J.
Barkley Rosser es, sin duda, uno de los grandes lgicos de

nuestro tiempo. Su labor ha estado ntimamente
ligada a la teora
de modelos, donde su poderosa imaginacin creadora, aunada a su
perfecto dominio del instrumental
lgico y matemtico, le ha conducido a obtener notables resultados. Baste recordar a este respecto
los contenidos en sus diversos trabajos sobre las "New Foundations"
de W. V. O. Quine. 1
La presente obra constituye el primer intento de sistematizacin
en la teora de modelos de valores booleanos (boolean valued model)o
Antes de ella slo haba trabajos, debidos principalmente
a Solovay
y D. Scott, a los que, dado su carcter indito, era sumamente difcil acceder. Por otra parte en ellos el objeto de atencin era ms
el modelo que sus posibles aplicaciones, en particular la referente
a una prueba de la independencia del Axioma de Eleccin (abreviado
en lo sucesivo por AE) y de la Hiptesis Generalizada del Continuo
(abreviado en lo sucesivo por HGC) que complementase
la labor
de K. G6del, 1940. 2
Ya exista ciertamente
una prueba de independencia
tal, la de
Cohen; 3 pero el mtodo por l empleado -el

to)--
iba revestido
I Roser,
"forcing" (forzamien-
de una carga de complejidad
que dificultaba
J. B. "On the consistency of Quine's New Foundation
for mathematical
logic", JSL, vol. 4 (1939), pgs. 15-24.
"The Burali-Forti paradox", JSL. vol. 7 (1947), pgs. 1-17.
"The axiom of infinity in Quine's New Foundations",
JSL, vol. 17 (1952), pgs. 238-242.
Wang, H. "Non-standard
models for formal logics",
JSL, vol. 15 (1950), pgs. 115-129.
2 G6del, K. The consistency o{ the axiom o{ choice... Princeton
Univ. Press, 1940.
3
York:
--
Cohen, P. J. Set theory and the continuum hypothesis. New

W. A. Benjamin lnc., 1966.

Logica Y Algoritmos

Cargado por

Copyright:

Formatos disponibles

Logica Y Algoritmos

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica Y Algoritmos

Cargado por

Copyright:

Formatos disponibles

,

a las ciencias de la computacin e informacin. Mxico,

captulo se atiende tanto el aspecto sintctico -axiomatizacin

El libro se cierra con un breve pero bien trazado

recorrido hisde soluciones

casi exhaustiva, de la gran cantidad de ejercicios importantes que

Boolean valued models of set theory. New York and

Barkley Rosser es, sin duda, uno de los grandes lgicos de

Cohen; 3 pero el mtodo por l empleado -el

de una carga de complejidad

J. B. "On the consistency of Quine's New Foundation

Cohen, P. J. Set theory and the continuum hypothesis. New

También podría gustarte