6 Bases Epistemologicas Ok

79
BASES EPISTEMOLGICAS
DE LOS LENGUAJES DE LAS MQUINAS LGICAS
MAGDALENA PRADILLA RUEDA
DE LOS LENGUAJES DE LAS
MQUINAS LGICAS
MAGDALENA PRADILLA RUEDA*
RESUMEN
El planteamiento de las mquinas lgicas por los matemticos y lgicos de los aos
30, como solucin al requerimiento de procedimientos de clculo efectivo, mecni-
co, tienen como base de representacin el cerebro, el pensamiento o facultades de
pensar o calcular. Esta representacin necesita de una formalizacin y simbolizacin,
que se realiza por medio de formas de representacin, cuya prioridad est dada por
los Lenguajes.
Estos Lenguajes han seguido una importante evolucin desde las incipientes formas
de lenguaje del inicio hasta los lenguajes sofisticados de las mquinas fsicas actua-
les. En general sus caractersticas se enfocan en la precisin, no ambigedad, no
polivalencia y la referencialidad, lo que conlleva a buscar sus bases epistemolgicas
en los aportes realizados en el nacimiento de la Lgica Matemtica.
P PP PPalabras clave: alabras clave: alabras clave: alabras clave: alabras clave: lenguajes formales, lgica matemtica, epistemologa de la infor-
mtica.
ABSTRACT
The approach of logical machines by 30s logicians and mathematicians, as a solution
to the requirement procedures effective calculus, mechanical, are based on
representation of the brain, or thinking and calculation activities. This representation
requires a formalization and symbolizing which takes place through forms of
representation, that priority is given in the languages.
These languages are fully accurate, unambiguous, not multi values features that take
to search its epistemological basis the contributions produced at the birth Mathematical
Logic.
K KK KKeywords: eywords: eywords: eywords: eywords: formal languages, mathematical logic, informatics epistemology.
INTRODUCCIN
Hablar de Lenguaje, en general, conlleva a preguntarse sobre los procesos
del pensamiento. Hablar de Lenguaje, en particular, de las mquinas lgicas, con-
duce a preguntarse sobre la posibilidad del pensar de estas mquinas. Quisi-
ramos, en primer lugar, evocar los momentos centrales del nacimiento de la
* Doctor en Informtica y Matemticas Aplicadas a Ciencias Sociales, Universidad de Grenoble (Francia),
1983. Tesis: Bsqueda de Descriptores en Indexacin Automtica; Doctor en Filosofa, Universidad Paris
1- Panthon Sorbonne, 2008. Tesis: Hacia una Epistemologa de la Teora Informtica. Actualmente
Investigadora en el Centro de Investigaciones de la Corporacin Universitaria Republicana.
80
REVISTA INGENIERA, MATEMTICAS Y CIENCIAS DE LA INFORMACIN
pregunta sobre esta posibilidad, su entorno y los elementos que la
contextualizan, donde es la problemtica de la representacin que est en el
centro de la reflexin.
En sus inicios se plantea como soporte o modelo de representacin el orga-
nismo (cerebro, funcin de pensar...), donde la pregunta se traslada a las for-
mas de representacin, tanto en planteamientos como los de A. Turing como
los de S. Kleene. Las propuesta de formalizacin y simbolizacin de estos pri-
meros aos, sealan a los lenguajes como una forma prioritaria de representa-
cin. El anlisis de estas propuestas presentan reflexiones sobre las relaciones
entre los elementos de la representacin: objeto de representacin y lo representado,
que permite situarnos en el ncleo de los lenguajes formales y sus bases lgicas y
epistemolgicas, en el nacimiento de la Lgica Matemtica de finales del s. XIX.
REPRESENTACIN DE LAS MQUINAS LGICAS
Es conocido que las ciencias en general y la matemtica en particular son
creadoras de formas, de manera que en este ltimo caso, se tienen formas de
diversas clases: estructuras, modelos, formulas, lenguajes, diagramas, esque-
mas e igualmente las formas geomtricas, como figuras y representaciones
grficas. As, el quehacer matemtico es en primera instancia una puesta en
forma, lo que conlleva a la representacin, simbolizacin, formalizacin,
modelizacin..., en donde la matemtica es esencialmente morfologa o ciencia
de las formas. En segunda instancia, este quehacer se refiere al clculo que
puede ser numrico, algebraico, formal... Esto nos lleva a decir que la produc-
cin matemtica se puede presentar como clculos, algoritmos o como crea-
cin de formas.
En este sentido, lo que llama nuestra atencin para la argumentacin, es la
puesta en forma a partir de la representacin. As, al hablar de las mquinas
lgicas, nos estamos refiriendo a mquinas abstractas que no tienen todava un
elemento fsico o material y que en s mismas, en algunos casos, son la repre-
sentacin de un modelo fsico, llamado cerebro o red nerviosa.
El ncleo de esta representacin, lo podemos observar al situarnos en el
contexto de los ejes de la teorizacin de las mquinas lgicas o abstractas
1
.
Este contexto podra pensarse, segn MINSKY, M.L. (1967), en su obra
Computation: Finite and Infinite Machines, como si estuviramos
1 Se llaman mquinas lgicas porque responden a las modelizaciones de los procedimientos de clculo,
sin tener en cuenta su parte material o fsica.
81
sumergidos en una nueva revolucin tecnolgica concernida por la mecaniza-
cin de los procesos intelectuales
Esta mecanizacin de procesos intelectuales conducen a preguntarse sobre
la manera de pensar y cmo se piensa, e igualmente sobre la manera de calcu-
lar y cmo se calcula y a su vez a: cmo se representan formalmente estos
procesos? De esta manera, vamos a responder a estos interrogantes, aproxi-
mndonos de un lado, a la problemtica planteada, por Alan Turing, sobre los
diferentes elementos, funciones y aplicaciones que ellos pueden realizar y sus
representaciones, primero en su estudio de 1936 (TURING, A. 1937) y luego
con la pregunta sobre las mquinas que piensan, planteada en 1950 (TURING,
A. 1950 p. 266)
2
. De otro lado, nos aproximamos a la problemtica sobre la
representacin de autmatas, cuyo punto de referencia es un artculo de Kleene
Representation of Events in Nerve Nets and Finitude Automat (KLEENE, S.
1956)
3
y sus revisiones posteriores.
Propuestas de Turing
Turing va a presentarnos una mquina lgica, la mquina de Turing, como
modelo de la funcin de calcular, en el artculo de 1936, con su formalizacin y
simbolizacin requeridas. Su objetivo es la realizacin de clculos caracteri-
zando lo que l llama las funciones y nmeros calculables (LASSEGUE, J. 1998
pp. 18-19)
4
. El presenta la existencia de esta mquina que imita una facultad
particular del espritu y que constituye entonces el modelo de clculo en este
caso particular (TURING, A. 1937, pp. 51, 77-84) del espritu
5
. El modelo de
2 Pienso, sin embargo, que al final del siglo (XX), el uso de las palabras y la opinin general educada
habrn evolucionado tanto que se podr hablar de las mquinas pensantes sin que nadie contradiga
esto.
3 FALTA INFORMACIN DE ESTA NOTA
4 Calculable es el resultado de una operacin que conduce a la determinacin exacta de un nmero. Una
funcin se llama calculable si su valor para cada nmero calculable en el conjunto de partida es un
nmero calculable. Una de las tareas capitales de la investigacin matemtica consiste en encontrar el
medio de aproximar por medio del clculo un cierto nmero de funciones, esto es lo que se llama el
Anlisis Numrico: se trata de encontrar mtodos algortmicos que permitan encontrar los elementos
caractersticos que hacen posible el clculo aproximado de la funcin estudiada. Por ejemplo la funcin
x definido sobre el conjunto de los nmeros reales que a todo x en el conjunto de los nmeros naturales
haga corresponder la raz x, descrita a cualquier nivel de aproximacin decidido con anterioridad, es
una funcin calculable porque siempre es posible exhibir el resultado nico de la puesta en corresponden-
cia entre x y x.
5 Un hombre que calcula el valor de un nmero real puede compararse a una mquina susceptible de
encontrar un nmero finito de estados q1, q2, , qr, que se pueden llamar m- configuraciones [...] el
comportamiento de este hombre que calcula est determinado a cada instante por los smbolos que
observa y por su estado de espritu de cada momento.
82
clculo de las mquinas de Turing es puramente determinista: el describe esta-
dos discretos. Estos son definidos como acciones o funciones determinadas y
finitas en un perodo de tiempo, identificados al funcionamiento de una perso-
na que calcula y acta siguiendo los estados del espritu. Cada estado deter-
mina el siguiente estado, de manera que es necesario finalizar un estado para
seguir con el otro, es decir un desarrollo de forma secuencial.
La mquina se aplica por medio de un programa finito (control finito), que
puede manipular una lista lineal de casillas, llamada banda, por una cabeza
de acceso (cursor) y cuyo objeto es el desarrollo de cualquier clculo, con ello
Turing quiere caracterizar los nmeros calculables.
En este sentido, los componentes previstos de la mquina lgica son muy
simples:
una banda, cuyo lado izquierdo es limitado pero el lado derecho es infi-
nito. La banda esta dividida en casillas de la misma talla; las funciones
pueden realizarse sobre la banda y son: escribir, leer y memorizar las
etapas intermedias de un clculo.
un conjunto finito de smbolos, por ejemplo: 0, 1 (nmeros); s (separar
expresiones); d (principio de la banda); f (fin del clculo).
una cabeza de escritura y de lectura, que se desplaza sobre la banda.
un conjunto finito de estados: estos estados permiten distinguir varios
comportamientos posibles (el principio, la parada, la lectura, la supre-
sin, la adicin, ..., etc.)
un conjunto finito de instrucciones.
Turing va ms alla de este caso particular de mquina y generaliza su argu-
mento: su mquina podra imitar todas las mquinas. As, el plantea la existen-
cia de una mquina de Turing universal capaz de imitar, de reproducir, de simular
el comportamiento de cualquier otra mquina de Turing. Es necesario, enton-
ces, de escribir sobre la banda un smbolo (conjunto de marcas) que codifica
una tabla de funcionamiento de la mquina que se va a imitar. Esta mquina
universal constituye entonces el modelo de los modelos y en consecuencia
es el modelo del espritu si se define el espritu como el modelo de la facul-
tad de modelizar. En este caso, modelizar es simular o reproducir en la mqui-
na el funcionamiento de la persona que calcula como una actividad de
conocimiento. Es decir que con esta mquina se est representando la capaci-
dad de calcular de cualquier persona.
83
Con esta mquina universal, Turing caracteriza lo que se llamara una funcin
recursiva parcial universal.
Por otro lado, Turing, con la pregunta: las mquinas pueden pensar?, en
1950, propone reemplazar esta pregunta por otro problema, el del juego de la
imitacin (TURING, A. 1950 p. 265) Este se juega a tres, un hombre, una
mujer y uno que interroga. Este debe hacer preguntas bajo condiciones bien
precisas, de manera que se pueda distinguir el hombre de la mujer. La nueva
pregunta de Turing es: qu pasa si una mquina toma el lugar del hombre en
el juego?. A lo que responde: el que interroga (mquina en este caso) se equi-
voca igualmente que cuando el juego se desarrolla entre un hombre y una
mujer. Si una mquina puede imitar el que interroga, entonces, se puede ha-
blar de mquinas que piensan. Turing va ms lejos, en su experimento y examina
de cerca la posibilidad de que las mquinas aprendan y concluye as:
se puede esperar que las mquinas competirn finalmente con el hombre en los
campos puramente intelectuales
6
;
De esta manera, se puede plantear la mquina lgica como modelo que pien-
sa. Pensar es entonces para Turing imitar; aqu el presenta el pensamiento
de las mquinas en trminos epistemolgicos porque el pensamiento no puede
tomar cuerpo sino al interior del campo del conocimiento.
Si el pensamiento no se identifica sino en y por sus productos, hay que abando-
nar la idea que uno pueda aprehenderlo a priori, habra que aceptar concebirlo
como una constatacin, como el fruto de una inferenciaEl pensamiento es
actualmente presentado como generador de lgicas, no como encerrado en una de
ellas..., la ciberntica de los annos cuarenta adopta como paradigma la mquina
de Turing, como medida de cualquier caracterstica que determina el control del
pensamiento por l mismo
7
.
Planteamientos de Kleene y sus revisiones
Teoremas de Kleene
La base de nuestro planteamiento son dos de los teoremas presentados por
Kleene, en el artculo anunciado y sus revisiones realizadas por los comenta-
6 De esta manera en los aos 1960, se encuentran los promotores de la Inteligencia Artificial, a partir de las
propuesta de Turing.
7 Sciences Cognitives. Textes Fondateurs (1943-1950). pp. xxxi-xxxii.
84
ristas de ste
8
. Estos dos teoremas consideran dos maneras de concebir una
mquina finita: una compuesta (segn sus componentes) y la otra global (gene-
ral). En el primer teorema, Kleene considera un organismo descrito por sus
componentes y en la segunda, el define un autmata
9
a partir de un nmero
finito de estados globales (funciones o comportamientos).
Su argumentacin se basa en la representacin de un organismo y un aut-
mata que recibe un estmulo y que efecta ciertas acciones, algunas de ellas son
consideradas como respuestas a un estmulo, si ste se produce. Estas acciones
son representadas por un estado del organismo o del autmata, y el problema
est en definir qu tipo de estmulo o de evento
10
puede ser representado por
el estado del organismo o del autmata.
Particularmente, Kleene se interesa en los eventos que surgen en las redes
nerviosas y en los autmatas finitos. El plantea este tipo de redes como ilustra-
cin de la teora general de autmatas, incluyendo robots, computadores u
otros. En el primer caso, introduce la nocin de evento representado por una red
nerviosa y en el segundo evento representado por un autmata finito.
Particularmente, en la primera parte, Kleene retoma las redes nerviosas
introducidas por McCulloch y Pitts en 1943
11
. Estas redes estn constituidas
por un nmero finito de neuronas ligadas entre ellas. Existen dos clases de
neuronas: aquellas que tienen una funcin de entrada y aquellas que tienen un
rol interno (que conforman los componentes del organismo). Cada neurona
tiene dos terminaciones estimulada o inhibida, y en cada instante, esta encendi-
da o apagada
12
. Kleene formaliza esta nocin asociando la neurona a una for-
mula lgica, el presenta P(t) para la neurona P encendida en el tiempo t,
utilizando smbolos lgicos; as los componentes de una red de neuronas pue-
den ser una red de conjuncin, de disyuncin o de iteraccin.
8 Vamos a retomar la argumentacin de Evelyn BARBIN, en su artculo : Les deux faces des thormes
de Kleene et la question des machines. En: Calculs et formes: Ouvrage collectif coordonn par Jacqueline
Boniface. Paris, Ellipses Editions Marketing, 2003.
9 Autmata entendido como una mquina de estados finitos.
10 Evento entendido particularmente como una propiedad de la entrada a una red nerviosa o a un autmata
finito y generalmente como lo que puede representar un organismo o un autmata.
11 McCULLOCH, W. S. Une comparaison entre les machines a calculer et le cerveau en Les machines
a penser, Colloque 1951. CNRS, Paris, 1953. pp. 425- 443: Los rels del sistema nervioso se llaman
neuronas. Se trata de clulas vivas que presentan un cierto nmero de propiedades con la capacidad de
graduaciones finitas; una de estas propiedades es crucial en lo que concierne la transmisin de los signos,
la que transmite todo o nada. Esta propiedad es la que posibilita la elaboracin de un clculo que se
puede aplicar a todas las redes de rels, utilizando as las respuestas de todo o nada.
12 Ms precisamente una neurona se alumbra al tiempo t si al menos un cierto nmero de terminaciones
inhibidas vienen de neuronas alumbradas al tiempo t-1.
85
Un evento se define por un periodo de tiempo fijo y puede ser expresado
por una formula booleana y representa una red nerviosa si su aparicin en el
momento p provoca el encendido de una cierta neurona interna en el momento
p+1. La representacin de la nocin se realiza bajo la forma de tablas y de
grficos para los componentes iteractivos.
En la segunda parte, para definir la nocin de autmata finito, Kleene con-
sidera el tiempo como sucesin de momentos discretos. Un autmata se constru-
ye con un nmero finito de clulas que son clulas de entrada o internas, y que
tienen tambien dos estados posibles, 0 y 1. El estado de cada clula interna en
el tiempo t, (t>1), se determina por los estados de las otras clulas en el tiempo
t-1, porque los razonamientos se hacen sobre el conjunto global de los estados
de las clulas del autmata finito. Kleene define un estado completo del aut-
mata como constituido de los k estados de las clulas de entrada N
1
.N
k
(esta-
do externo completo) y de m estados de las clulas internas M
l
M
m
(estado
interno completo).
Kleene introduce la nocin de eventos regulares como aquellos representados
por los autmatas finitos. Esta nocin de regularidad se funda en el comporta-
miento global del autmata finito De la misma manera, el senala el aspecto
finito del nmero de clulas y de estados completos que intervienen en su
argumentacin.
Con este tipo de representacin propuesta por Kleene, se pueden conside-
rar varios aspectos:
La diferencia entre la representacin de las redes neuronales y los aut-
matas: presenta una primera formalizacin basada en las neuronas sim-
ples para ir hacia las redes de neuronas en general. Con la representacin
basada en los autmatas, el hace un salto hacia una mquina, es decir
hacia una formalizacin mecnica. Se encuentra aqu, un primier esbozo
de la relacin entre un organismo vivo y un autmata.
La definicin de evento como el objeto de la representacin, que bajo este
ngulo particular es una propiedad de la entrada de una red nerviosa o de
un autmata y por generalizacin, el evento representa el funcionamiento
general de la red o del autmata. De esta manera, este evento se aproxi-
ma de aquello que se puede llamar un procedimiento de clculo efectivo, con
sus caractersticas de temporalidad (periodo de tiempo), su formalizacin
y expresin por medio de una formula lgica booleana. El perodo de
tiempo es fijo en el caso de un organismo y, en caso del autmata, el
tiempo es una sucesin de momentos discretos que imparten una regula-
ridad sobre el comportamiento global del autmata finito.
86
De la misma manera, Kleene subraya el aspecto finito del nmero de
clulas, de estados y estados completos que intervienen en su
argumentacin.
Esto implica, que a partir del evento se pueda pensar en una forma de
analoga entre los organismos y los autmatas, porque los dos tienen
como origen de su representacin la actividad de una neurona y se re-
presentan por el evento y su definicin temporal.
Los diferentes medios o herramientas utilizadas para representar el or-
ganismo y el autmata, pueden clasificarse en dos tipos: las formas sim-
blicas (grficos y tablas) y las formas numricas a partir de las formas
binarias.
La definicin de componentes de los organismos o autmatas, entre las
cuales se tienen las neuronas o clulas que aseguran las funciones sugeri-
das por Kleene: es el punto de partida fsico o material que realizan las
funciones de estmulo e inhibicin de la clula.
Estos aspectos de la representacin planteados por Kleene, nos dan algu-
nos elementos primarios sobre el funcionamiento de una mquina lgica, como:
el procedimiento dinmico que incluye la temporalidad y representa la mqui-
na y el organismo; las diferentes formas de representacin, para las dos enti-
dades: las simblicas (grficos y tablas) y las numricas (binarias); y un esbozo
de componentes fsicos como las clulas que realizan las funciones de los orga-
nismos.
Teoremas de Kleene revisados (1956-1960)
Un grupo de lgicos y matemticos posteriormente, entre 1956 y 1960,
retoman los teoremas de Kleene, simplificndolos, formalizandndolos y dn-
doles nuevas perspectivas para el estudio de una mquina o de un autmata
(BARBIN, E. 2003) Ellos precisan los elementos formales de las mquinas, as:
Copi, Elgot et Wright (1958 p. 181-196), utilizan las redes lgicas de Burks
et Wright, quienes haban mostrado que la lgica simblica con dos va-
lores puede ser empleada para caracterizar el comportamiento de los
circuitos de calculadores digitales electrnicos, impartindoles un fun-
damento formal y riguroso. A su vez, Copi, Elgot et Wright, represen-
tan por medio de grficos, estos comportamientos para tres estados: la
entrada, la salida y el estado completo, en perodos consecutivos de
tiempo. Al contrario de Kleene, ellos distinguen entre un evento y sus
expresiones, para lo cual definen un lenguaje, su alfabeto y sus formulas
definidas por induccin, as mismo que los procedimientos efectivos para
87
encontrar las expresiones correspondientes a una red. Igualmente se re-
presentan por medio de grficos los elementos de las redes (flechas y
crculos marcados con operadores que facilitan la lectura de una red).
Vemos, aqu la importancia de la diferencia entre la independencia de la
mquina y sus expresiones, es decir los medios o formas de represen-
tacin simblicas de lenguaje con un alfabeto bien definido y los graficos,
que pueden semejarse a los posteriores lenguajes de programacin y
organigramas. Nos encontramos, entonces, con la simbolizacin y
formalizacin de las formas o herramientas de representacin.
Moore (1956 pp. 129-153), distingue dos clases de experiencias de natu-
raleza conceptual: aquella que introduce en la mquina secuencial una
cadena de smbolos de entrada y aquella que recibe una cadena de sm-
bolos de salida. La mquina secuencial est concernida por cadenas de
smbolos, su comportamiento es estrictamente determinista, en el senti-
do que el estado actual depende nicamente de la entrada y estado pre-
cedente, y la salida actual depende de este estado. As, una entrada es
una simple cadena de 0 y 1, pensada sin referencia al tiempo, tanto para
Moore como para Kleene una entrada es un evento (o propiedad) que se
produce en un perodo de tiempo, representado por una tabla
dimensionada para este perodo. Moore considera las mquinas como
cajas negras descritas en trminos de entradas y salidas, sin que ninguna
construccin interna se conozca.
As mismo, Moore representa las mquinas por medio de tablas y grficos
(diagramas de transicin de entradas y salidas).
Vemos aqu, una simplificacin de la mquina (caja negra), lo mismo que la
simbolizavin y formalizacin de las formas de representacin, como son los
grficos y las tablas, as que las entradas y las salidas como cadenas de 0 y 1.
Rabin, M. O. y Scott, D. (1959 pp. 114-125), dan una versin algebrica en
el artculo Los autmatas finitos y sus problemas de decisin
13
. La
estructura interna del autmata (mquina) debe ser determinado por
los estados estables en tiempos discretos. El conjunto de estados defi-
nidos por un autmata est formalizado completamente y matematizado
algebricamente. Ellos consideran las mquinas con un nmero finito de
estados, que permite realizar un procedimiento efectivo finito para com-
88
parar dos autmatas, permitiendo de esta manera, determinar su equi-
valencia.
McNaughton, R y Yamada, U (1960 pp. 39-47), en el estudio llamado:
Expresiones regulares y grafo de estados para autmatas, traducen el
grafo de estados que describe un autmata, en un lenguaje especfico del
autmata. Este lenguaje presenta una descripcin formalizada similar a
la escritura tradicional de izquierda a derecha, la cual facilita su utiliza-
cin, sin muchos clculos o reflexiones excesivas. Este enfoque tiene un
parecido a la introduccin posterior de los lenguajes de programacin, ms
fciles para el usuario que los lenguajes de mquina (en 0 y 1), y de
aquella de los organigramas que representan grficamente los progra-
mas del usuario.
En su desarrollo, McNaughton y Yamada identifican objetos con escritos: as
un autmata no se representa aqu por un grafo, l es descrito por un grafo, y
una expresin no expresa lo que hace un autmata, sino lo que describe un
autmata. Se trata, entonces de encontrar procedimientos que permitan tradu-
cir una descripcin grfica en una descripcin en lenguaje, y viceversa. Ellos se
preocupan ms por las expresiones de la representacin de las mquinas que
por la representacin misma, de ah la importancia dada a las formas de repre-
sentacin: los lenguajes y los grafos, es decir la simbolizacin y la formalizacin.
Al partir de los presupuestos de la representacin de funciones de calcular
o pensar en las mquinas lgicas, tanto por Turing, como posteriormente por
Kleene y sus comentaristas, vemos un esbozo de los diferentes elementos que
representan estas mquinas, tanto en los procedimientos de clculo que inclu-
yen la temporalidad, las formas de representacin simblica (lenguajes, grfi-
cos y tablas) y las formas de representacin numricas (binarias). Igualmente,
se abre la posibilidad de las mquinas fsicas, con el planteamiento de compo-
nentes elementales, fsicos, de los organismos (clulas) y de los autmatas.
Lo que llama la atencin, en estos presupuestos, es la importancia dada a la
puesta en forma de la representacin, es decir de las formas de representacin
basadas en los lenguajes y los procedimientos, lo que ampla la manera de
realizar clculos, no solo de manera numrica (que aqu es binaria) sino simb-
lica, por lo cual el lenguaje va a tomar el punto central en el desarrollo de estas
mquinas lgicas, convertidas posteriormente en mquinas fsicas.
Igualmente, estos presupuestos, nos conducen a presentar desde el punto
de vista epistemolgico, reflexiones suscitadas entre la aproximacin cerebro-
mquina... y la importancia dada al lenguaje en este aproximacin, por lgicos,
neurofisilogos y matemticos, de esos momentos.
89
ANALOGAS EPISTEMOLGICAS CEREBRO-MQUINAS-LENGUAJES
Relaciones cerebro-mquinas
La representacin de una red nerviosa, que recibe un estmulo y que efec-
ta acciones, representada en un evento o estado de un organismo o mquina
(autmata) o igualmente, la representacin por medio de una mquina lgica de
Turing, de funciones realizadas por una persona que calcula, nos plantea una
problemtica presentada por la relacin organismo-autmata o de una for-
ma ms general cuerpo-mquina.
Vemos, por ejemplo, cmo en el caso de la representacin de una red de
neuronas, estamos concernidos por preguntas localizadas en el mbito del ce-
rebro especficamente, es decir que el cuerpo es cerebro fsiolgico; al contra-
rio, si la representacin contiene el funcionamiento del cuerpo en general,
estamos concernidos por los estados de espritu de la persona que calcula
(Turing) y si se trata de representar el pensamiento, estamos concernidos
por una particularidad de estos estados de espritu
14
.
De esta manera, los fisiologistas especialistas del cerebro que se sirven
de redes electrnicas semejantes a las redes nerviosas, se preguntan si el cere-
bro funciona como una mquina que calcula (SHANNON, C. E. - McCARTHY,
J. 1956)
15
: estamos en el caso de la mquina como modelo del cerebro. As
mismo, si las mquinas pueden realizar ciertas funciones que se asemejan a las
funciones realizadas por una persona que calcula, la mquina puede ser un
modelo de la funcin de calcular. Si las capacidades de las mquinas que
calculan son de ms en ms grandes, nos podemos preguntar si una mquina
puede imitar el cerebro en el momento que se piensa, en este caso, la mquina
es entonces el modelo de un cerebro que piensa.
En este sentido, se tienen principalmente las investigaciones de McCulloch
y Pitts (1943 pp. 115-133) que conciernen la estructura interna del cerebro y la
mquina
16
y quieren asimilar el cerebro a una mquina lgica, que puede ser
considerada, tanto en su estructura como en su comportamiento, como una
idealizacin de la anatoma y de la fisiologa del cerebro, dotada de todas las
14 Estas son definiciones que corresponden especficamente a las necesidades de los desarrollos tericos de
los lgicos y neurofisilogos, pero que muestran la dificultad que existe en definir y delimitar rigurosa-
mente los conceptos como el cerebro, el espritu, el pensamiento y el cuerpo en general
15 Ellos nos indican que el sistema nervioso frecuentemente comparado con un intercambiador telefnico o
mquina de clculo dirige los datos sensoriales y motrices.
90
facultades atribuidas al espiritu. Esto constituye un avance definitivo, porque
no es solamente el cerebro en su estructura (cerebro material) pero tambien el
cerebro en su funcin (el espritu), que se puede asimilar a un mecanismo lgico.
El ncleo epistemolgico de estos planteamientos, se enfoca en el estatuto
de una mquina, en donde las mquinas hechas a mano no son cerebros pero
los cerebros son una variedad mal entendida de mquinas lgicas. Por esto al
relacionar el mundo neurofisiolgico y aquel del espritu, no se trata aqu de
humanizar la mquina pero de mecanizar lo humano en su conjunto (DUPUY,
J. P. p. 41).
Relacin mquina-lenguaje
As mismo, sabiendo que la representacin del cerebro, la funcin de calcu-
lar o la funcin de pensar, concierne prioritariamente las formas de represen-
tacin simblica, como el lenguaje, lgicos como Putnam, van a referirse
notablemente a este tipo de representacin. El se sita primero, en la proble-
mtica cerebro-espritu, para luego referirse a la problemtica cuerpo-mqui-
na y concluye con la relacin lenguaje-mquina. Quiere mostrar que las preguntas
sobre este tema son completamente de carcter del lenguaje y de la lgica. En
su estudio Minds and machines de 1960 (PUTNAM 1960 pp. 110-134), el
senala la posibilidad o no de identificar los eventos mentales y los eventos
fsicos. Putnam pretende mostrar que es posible un equivalente lgico. El lo
examina, en relacin a una mquina de Turing generalizada, considerada a la
vez como una mquina lgica (constituda de estados) y como una mquina
material (constituda de circuitos, lmparas...).
Putnam, en su argumentacin va a asimilar los estados lgicos de la mqui-
na lgica a los estados mentales del humano, y los estados estructurales de la
mquina material a los estados fsicos del humano (identidad cuerpo-mqui-
na). La identidad cuerpo-espritu, que necesita identificar los estados menta-
les con los estados fsicos, puede identificar, a su vez, los estados lgicos con
los estados estructurales o materiales de la mquina, los cuales segn la argu-
mentacin de Putnam, no se pueden identificar y frases como: el estado men-
tal y es idntico al estado cerebral j no son verdaderas y no pueden ser
utilizadas actualmente para expresar una identificacin terica, porque ningu-
na identificacin semejante se ha realizado. Para l, es necesario utilizar pre-
condiciones para esta identificacin terica.
As, si el problema cuerpo-espritu es anlogo al problema de la relacin
entre los estados mentales y lgicos, pero no idnticos, la solucin presen-
tada por Putnam es una analoga entre el lenguaje mquina y el lenguaje del
humano.
91
LENGUAJES COMO FORMAS DE REPRESENTACIN
Siguiendo los lineamientos anteriores sobre la representacin de las mqui-
nas lgicas, podemos plantear que las formas de representacin simblicas por
naturaleza son los Lenguajes.
Se ha visto que las instrucciones del procedimiento de clculo, que repre-
sentan las configuraciones de una mquina de Turing son claras, precisas, sen-
cillas y sin ambiguedades pues ellas van a mecanizarse. Para Kleene, tanto los
eventos o procedimientos, las tablas y los grafismos son igualmente precisas y
adems, en la mayora de lo comentaristas de Kleene vemos que tienen una
preocupacin, sobre la puesta en forma de sus descripciones, procedimientos
y clculos, donde en algunos se presenta claramente los elementos del lengua-
je. Igualmente, a partir de los desarrollos ulteriores de los autmatas, se crea
una independencia entre la mquina y la forma de representarla y la importan-
cia y desarrollo gira hacia las formas de representacin en s mismas y no en la
representacin de la mquina en s misma.
La pregunta que nos compete, en este caso sera: cmo definir los lengua-
jes aceptados por las mquinas lgicas? En ese sentido, describir los procedi-
mientos de clculo en lenguaje ordinario, sin rigor particular, corre el riesgo
de presentar interpretaciones que dependen de los observadores y por lo tan-
to las instrucciones pueden ser entendibles de diferentes maneras, es decir
como expresiones multivalentes
17
. Por otro lado, desde la tradicin de Turing,
sabemos que el desarrollo de las formas de representacin de lenguaje requie-
re la relacin del clculo con el procedimiento de clculo efectivo, es decir no
solamente desde el punto de vista de la posibilidad de realizar el clculo sino
de las condiciones prcticas de su realizacin. Es decir que el lenguaje requeri-
do es un lenguaje formalizado (lenguaje formal) para que sea admisible por una
mquina lgica.
Lenguajes formales
Estos lenguajes, estan en la lnea de la lgica matemtica, su estructuracin
tiene como base un conjunto de smbolos de un lado y un conjunto de reglas de
17 WATIER, Guillaume. Le calcul confi aux machines. Paris, Ellipses Editions Marketing: Para no
correr ese riesgo, Church et Turing proponen formular las instrucciones en un lenguaje especfico que
fuera entendido por una mquina-intrprete. Esto necesitaba que tal mquina existiera!, lo cual requera
contar con las herramientas mnimas (el lenguaje con reglas y la mquina intrprete), que pudiera
escribir cualquier procedimiento. En ese sentido, Church desarroll un formalismo matemtico llamado
lambda-calcul y al mismo tiempo Turing invent su mquina de Turing. p. 29.
92
formacin y de transformacin, de otro. La funcin de las reglas es la manipu-
lacin de los smbolos independientemente de cualquier contenido, durante
una temporalidad discrecional del procedimiento de clculo y no de una tem-
poralidad contingente de las cosas de la realidad.
De esta manera, las reglas permiten reconocer la estructura del lenguaje,
definiendo:
Las cadenas de palabras que son expresiones bien definidas o correctas
del lenguajes, lo que se llama la sintaxis del lenguaje.
Las cadenas de palabras que son expresiones significativas del lenguaje,
lo que se llama la semntica del lenguaje.
Los smbolos del lenguaje son de diferentes tipos:
Alfabeto: se trata del conjunto finito de smbolos de base bien
definidos, compuestos de: letras, nmeros, valores, operadores,
signos de puntuacinetc. sobre este alfabeto, por medio de las
reglas de transformacin, se constituyen las expresiones bien
definidas.
Datos: corresponden a diferentes tipos: entero, real, complejo, cade-
nas, objeto.
Constantes y variables.
Expresiones definidas.
En general se pueden presentar las caractersticas de la dinmica de este
lenguaje como:
denotacional o referencial: cada signo designa, denota o hace referencia a
un objeto dentro de la memoria de la mquina lgica. En el caso de la
mquina de Turing, el signo en la casilla de la banda que es modificado o
borrado.
inferencial: se refiere a la existencia de reglas de inferencia aplicadas a
los signos del alfabeto que producen conclusiones que pueden ser
interpretadas.
verificacional: se refiere a la verificacin de las expresiones o instruccio-
nes del lenguaje como expresiones bien definidas y verdaderas.
93
BASES LGICAS Y TERICAS DE LOS LENGUAJES
Sabemos que el desarrollo de las mquinas lgicas y el esbozo de sus lengua-
jes se desarrollan hacia los annos 1936, pero las bases fundacionales de estos
lenguajes se presentan desde finales del siglo XIX, con el renacer de la lgica
matemtica que en principio se encarga, de manera privilegiada, de la proble-
mtica relativa a los Fundamentos de Matemticas, encargada de fumentar las
Matemticas sobre un soporte seguro
18
. Esta lnea se ve representada por Frege
y Russell, conocido como logicista, porque fundamentan las matemticas en la
lgica y consideran la lgica como lenguaje. Se encuentran una lnea que compite
con los logicistas a saber: el Programa de Hilbert, que representa la primera for-
ma histrica de la Teora de la Demostracin.
Lgica como lenguaje
Segn esta lnea, el universo, al cual se refieren los enunciados y por conse-
cuencia aquel en el cual estos enunciados pueden ser verificados como verdade-
ros o falsos es nico y no sera otro que el mundo real, la totalidad de aquello que
es (incluye las entidades lgico-matemticas). De aqu, la creencia en la unici-
dad y unidad del lenguaje. Como consecuencia de esta tesis se excluyen las
consideraciones metalinguisticas o metatericas en Lgica, no se puede salir
del universo de la lgica para dar explicaciones de las propiedades en otro
lenguaje, porque la Lgica es lo verdadero y el fundamento ltimo del enun-
ciado que se cuestiona.
Esta tradicin se consolida, en primera instancia, con Gottlob Frege (1848-
1925)
19
, en la Begriffsschrift (1884) (FREGE 1999), con esta obra se libera la lgi-
ca de las Matemticas, pero al mismo tiempo prepara una interrelacin profunda
entre las dos ciencias. El sienta las bases de la semntica lgica y su preocupa-
cin es la ciencia, en la cual la lgica es prioritaria. Pretende un ideal matem-
tico cientfico, post-euclidiano, en el que se expliciten los principios propiamente
matemticos, que dan a la ciencia su contenido, pero tambien los principios
lgicos que aseguran su estructura formal.
Frege tiene una concepcin verdaderamente moderna de la lgica (cuan-
tificacin, axiomatizacin), pretende que las nociones lgicas fundamenten e
introduzcan las nociones matemticas (por ejemplo: el nmero es definido en
trminos de relaciones biunvocas entre los elementos de dos clases y estima
18 BLANCH, Robert-DUBUCS, Jacques, 1996.
94
que los axiomas de la aritmtica pueden ser extraidos de las leyes lgicas
fundamentales).
De esta manera, el propone una lengua formularia o lengua perfecta, est carac-
terizada por la precisin de los trminos que tienen como objeto la definicin
explcita y el empleo unvoco de signos; ste mismo determinado por reglas y
operaciones explcitas y a partir de stas las proposiciones pueden ser deriva-
das. La lengua perfecta es artificial y simblica: la ideografa, que es a la vez clcu-
lo para la Aritmtica y una Lengua Caracterstica o expresion de un pensamiento
con smbolos, se compromete de esta manera con la formalizacin. Frege re-
chaza el anlisis del contenido conceptual de las formulas y no retiene sino las
relaciones lgicas que existen entre sus elementos. Con este desarrollo, el bus-
caba quitar cualquier laguna (luckenlos) en la cadena de deduccin, sabiendo
que el gran obstculo para alcanzar su objetivo es la inadecuacin del lenguaje.
El sabe que muchas de las nociones lgicas sobre las cuales se apoya exigen
ser analizadas y va a hacer precisiones importantes para la adecuacin del
lenguaje, de donde se tienen tres artculos de 1891 y 1892, sobre Funcin y
Concepto, Concepto y Objeto y Sinn und Bedetung (Sentido y Referencia). En este
ltimo, se interroga sobre la verdadera connotacin de la relacin de identidad:
si A es idntica a B: (A=B), de qu estamos hablando? El signo representa dos
aspectos: lo que significa o lo referido (objeto extralinguistico), lo cual presen-
ta una apora en la identidad y el va a incluir entonces el elemento del sinn
(sentido) que va a aclarar la relacin de identidad.
Frege se enfoca, igualmente, hacia la nocin de un clculo lgico, por medio
de la ideografa, la cual debe asegurar tambien la verificacin de la secuencia
de los enunciados que respondan a las reglas de la lgica deductiva. El se
interesa por el componente lgico del pensamiento, slo la verdad importa al
lgico y, en el orden del pensamiento formal, sta se sustenta sobre la validez
de una demostracin.
Los herederos directos de Frege son B. Russell y Ludwig Wittgenstein.
Russell (1872-1970), emprende su programa logicista con su obra: Principa
Mathematica, 1910-1913, donde sus anlisis sobrepasan el dominio nico de las
matemticas y de la lgica, interesndose en la ciencia (a partir de la teora
nomolgica); esta obra se tiene como la Biblia de la nueva lgica. Posterior-
mente va a desarrollar dos de las teoras importantes en lgica contempornea
y el desarrollo de lenguajes: la Teora de Tipos y la Teora de las Descripciones
Definidas. En la Teora de Tipos, Russell va a hacer uno de los aportes mas signi-
ficativos para el desarrollo de los lenguajes, que soluciona, en parte, el proble-
ma de la autoreferencia, la reflexibilidad y la indecibilidad. As, los tipos
95
presentan dos aspectos: a- para hablar o definir los objetos extralingusticos,
es necesario un lenguaje de tipo cero, que es el lenguaje referencial; b- para hablar
o definir este lenguaje de tipo cero, es necesario un lenguaje de tipo 1, tipo 2, tipo
3... etc. Con este planteamiento, no se podran incluir en un conjunto E el nom-
bre que permite designar este conjunto y el criterio o trmino que lo identifica,
de forma que un nombre que designa los objetos, no sea utilizado para desig-
narse l mismo como parte de estos objetos. De esta manera, se diferencia el
conjunto E del trmino que permite identificar este conjunto, con el fin de no
perder la distincin entre niveles lgicos.
De su lado, Ludwig Wittgenstein (1889-1951), pretende elaborar una Teora
del Lenguaje a priori y se pregunta sobre las condiciones de posibilidad y vali-
dez de un lenguaje. El presenta los lmites del lenguaje al marcar las fronteras
de lo decible y lo indecible, lo que determina a su vez los lmites del sentido y sin
sentido en un lenguaje estructurado correctamente. Su obra, Tractatus Logicus
Philosophicus (WITTGENSTEIN 1993) contiene los conceptos previos para el
planteamiento de un lenguaje ideal. Las caractersticas exigibles para este leguaje
son: a- explcito: provisto de una notacin material donde el sentido de la propo-
sicin es visiblemente expresada y transparente; b- unvoco: sin ambigedad, ni
polivalente que pueden llevar a la confusin y la indecisin: a cada nombre
corresponde un objeto; c- funcionable: es el complemento operativo de la exi-
gencia precedente: a todo signo corresponde una funcin; d- distincin de nive-
les lgicos: debe ser claro si se habla de lo real (de los hechos) o un nivel del
lenguaje (proposiciones, nombres,). Esta precisin del lenguaje evita la con-
fusin de los tipos o categoras. Es necesario distinguer el nombre propio de
los predicados: el nombre propio designa un objeto (referencia extralinguistica)
que pertenece al lenguaje de los objetos (realidad extralingstica). El trmino
predicado describe una clase de objetos y pertenece a una nivel conceptual. Lo
que designa un predicado no es un objeto extralinguistico sino una construc-
cin lingstica (clase).
Wittgenstein va a plantear tres ejes complementarios de estructuracin del
lenguaje: proposicional, analtico y representacional. Con estos ejes, l presenta dos
perspectivas del lenguaje, de un lado, la base para la realizacin de las expre-
siones del lenguajes (proposicional y analtico), y del otro lado, la base para la
creacin de la relacin entre el lenguaje y lo real (representacional).
As mismo, desarrolla con el grupo de Cambridge, la concepcin del Atomismo
Lgico, visto como una tentativa de concepcin del mundo que va a dar luz a los
sistemas lgicos, precisando la diferencia entre aquello que es dado y aquello
que se infiere. En este sentido, aclara la definicin del objeto de conocimiento,
ya que ste pertenece a los hechos en s mismos y el hecho se expresa por
medio de la proposicin, a la cual se le puede conferir su estatuto de veracidad.
96
Programa de Hilbert: Teora de la demostracin
En la perspectiva fundacionista, Hilbert presenta la necesidad de sentar las
bases de las teoras matemticas en una prueba de coherencia: se trata de pro-
bar que el uso regular de las inferencias lgicas no podan conducir, a partir de
axiomas, a demostrar a la vez un enunciado y su negacin. El da una prueba
sintctica, directa de la imposibilidad de deducir de estos axiomas un enuncia-
do y su negacin, a la vez; y no una prueba semntica, en la cual se va a demos-
trar que los axiomas de la aritmtica son simultneamente validos en algunas
interpretaciones. En este objetivo, se hace abstraccin de toda significacin atri-
buida a las frmulas de la Aritmtica, considerndolas como concatenaciones
de smbolos en las cuales solo importan las caractersticas morfolgicas. Es as
que se ve la extrema importancia que da Hilbert al problema de la Decisin
(Entscheindungsproblem), es decir a determinar mecnicamente si una formula
es o no un teorema de un sistema formal dado, como caracterstica fundamen-
tal de la Teora de la Demostracin.
De esta manera, si se presentaron desarrollos positivos con respecto a la
teora, igualmente se presentaron otros negativos. En este sentido negativo,
se encuentran los resultados conocidos de Turing-Church (1936): no hay pro-
cedimientos mecnicos de decisin ni para la lgica de primer orden, ni para la
Aritmtica entera; Godel y su prueba de la incompletud en la cual exhibe un
enunciado verdadero pero no demostrable en la Aritmtica de Peano, supues-
ta coherente y con esta prueba se hace distincin entre la verdad y la prueba,
as mismo que la prueba negativa de Post. Hacia los annos 1920, Hilbert reco-
noce que la prueba de coherencia que busca no es absoluta en sentido estricto.
Desde el punto de vista prctico, para el desarrollo de su teora, va a pro-
poner: la formalizacin rigurosa de un sistema deductivo, de signos que son
vacios de cualquier contenido y de un conjunto de axiomas que sirven de base
al sistema deductivo; la definicin del lenguaje metamatemtico que no pertene-
ce al sistema, pero sus aserciones se refieren a los signos que figuran en el
sistema; y la utilizacin de procedimientos finitistas de clculo.
CONCLUSIONES
Si es claro que la representacin de las mquinas lgicas se inician con el
modelo de la funcion de calcular y pensar, o cerebro, redes neuronales u orga-
nismo en general, es decir que hay una representacin directa con el objeto
representado, se representa directamente y sus formas de representacin se
basan en lenguajes incipientes pero con lineamientos formales, cuyas bases
fundacionales se presentan en el renacer de la Lgica Matemtica, ligados pri-
97
mordialmente sobre el fundamento referencial y verificacionista (con referen-
cia al mundo de los hechos). El desarrollo posterior de los de lenguajes de
computacin dejan su caracterstica primaria de representacin (objeto de re-
presentacin), para centrarse sobre su estructuracin y abstraccin propia, crean-
do lenguajes mucho mas pertinentes para los requerimientos del desarrollo de
la parte fsica, material y electromagntica de las mquinas de calcular o de
computacin producidas posteriormente. Es decir que han seguido un desa-
rrollo sin seguir el rigor de una representacin de un hecho real (cerebro, por
ejemplo) y por el contrario su centro de inters est situado en una gran
tecnicidad, indispensable para su inteligibilidad y pertinencia.
Sin embargo, el desarrollo de los lenguajes requiere una ampliacin conti-
nua de las formalizaciones, precisiones y abstracciones y surgen nociones que
complementan las caractersticas de las mquinas lgicas, actualmente fsicas,
tales como la complejidad, informacin, evaluacin, aletoriedad, lo que hace
que se investiguen nuevas formas de representacin, de lenguajes y de mode-
los de clculo. En consecuencia, el centro de representacin gira una vez ms
sobre elementos de la naturaleza, como la biologa, la fsica y el cerebro. En
este caso las formas de representacin y modelos de clculo que resultan son
mucho ms sofisticadas, abstractas, formalizadas, de acuerdo a los nuevos
objetos de representacin y condiciones tcnicas.
BIBLIOGRAFA
BLANCH, Robert-DUBUCS, Jacques. La Logique et son histoire, Paris, Armand
Colin. (Collection U, srie Philosophie), 1996.
BARBIN, Evelyn. Les deux faces des thormes de Kleene et la question des machines.
En: Calculs et formes: Ouvrage collectif coordonn par Jacqueline Boniface. Paris,
Ellipses Editions Marketing, 2003;24-51.
COPI, IM, ELGOT, CC, WRIGHT, JB. Realization of events by logical nets. Journal of
the Association for Computing Machinery 1958;5(2).
DUPUY, JP. Aux Origines des Sciences Cognitives. Paris, Editions La Dcouverte.
FREGE, G. Idographie. traduction, prface, notes et index par Corine Besson.
Postface de J. Barnes. Paris, Librarie Philosophique J. Vrin, 1999.
KLEENE, SC. Representation of events en nerve nets and finitude automata. En:
Automata Studies, Shannon, C.E. et McCarthy, d., Princeton University Press,
Princeton, 1956.
LASSEGUE, J. Turing. Paris, Ed. Les Belles Lettres, 1998.
98
McCULLOCH, WS. Une comparaison entre les machines a calculer et le cerveau en
Les machines a penser, Colloque 1951. CNRS, Paris, 1953.
. et PITTS, W. A logical calculus of the ideas immanent in nervous
activity. Bulletin of Mathematical Biophysics, 1943;(5).
McNAUGHTON, R, YAMADA, H. Regular Expressions and state graphs for
automata. Transactions of the I. R. E. Professional Group on Electronic Computers,
vol. EC- 9, no. 1, Mars 1960.
MINSKY, ML. Computation: Finite and Infinite Machines. Prentice Hall, Englewood
Cliffs, New Jersey, 1967.
MOORE, EF. Gedanken-Experiments on sequential machines, dans Automate
Studies Shannon C. E. et McCarthy, d. Princeton, Princeton University Press,
1956.
PUTNAM, H. Minds and machines, Dimensions of Mind: A symposium, Sydney
Hook, ed., New York, University Press, New York, 1960. Trad. Franaise, Pense
et Machine, Anderson A.R., d., Editions du Champ Vallon, Seyssel, 1983.
RABIN, MO, SCOTT, D. Finite automata and their decision problems . IBM, Journal
of Research and Development, april 1959;3(2).
SHANNON, CE, McCARTHY, J. Automata Studies, Princeton, University Press,
Princeton, 1956.
TURING, AM. 1937. On Computable Numbers, with Application to the Entscheidungs
problem. Publicado en: Proceedings of the London Mathematical Society, 1937.
Thorie des nombres calculables, suivie dune application au problme de la
dcision . Traduit de langlais et annot par Julien Basch. Dans La Machine de
Turing. Paris, Editions du Seuil, 1995.
. 1950. Computing Machinery and Intelligence, Mind, vol. 59, no. 236,
1950. Trad. Franaise dans: Sciences Cognitives. Textes Fondateurs (1943-1950).
Paris, PUF, 1995;265.
WATIER, Guillaume. Le calcul confi aux machines. Paris, Ellipses Editions Mar-
keting.
WITTGENSTEIN, L. Tractatus Logico-Philosophicus, trad. de G.G. Granger,
Gallimard, 1993. Tractatus Logico-Philosophicus, suivi de Investigations
Philosophiques , trad. de lallemand par Pierre Klossowski. Paris, Gallimard,
1961.

6 Bases Epistemologicas Ok

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

6 Bases Epistemologicas Ok

Diunggah oleh

Hak Cipta:

Format Tersedia

79

Anda mungkin juga menyukai