Filosofa y Sper Computacin

La Filosofa goza de una vibrante simbiosis con la computacin; este volumen en s es prueba de ello. Que se sabe sobre la "SUPER COMPUTACION", es un procesamiento de informacin mas poderoso de lo que puede ser reunido por una mera Maquina de Turing? En mi opinin estamos al borde de la interaccin explosiva entre la filosofa y dicho proceso. Te invitamos a ayudarnos a lo largo del camino, este capitulo describe una conexin de 6 puntos entre la filosofa y sper computacin, una conexin mucho mejor de la que usted y otros puedan forjar para el desarrollo del futuro. Mi propsito no se familiariza con formalismos subyacentes: este capitulo puede jugar el rol de un tutorial autnomo que permite acomodarte dentro del mundo de la sper computacin, sper maquinas y sper mentes. Mi plan es el siguiente. Primero fijar el concepto de computacin ordinaria a travs de una revisin de maquinas de Turing y lgica de primer orden. Entonces puedo mostrar y clasificar una conexin de 6 puntos entre filosofa y computacin ordinaria. Despus, explicare el significado de sper computacin con ayuda de un (suave) examen.

Ya teniendo una distincin firme entre los dos tipos de computacin, explicare que la ejecucin en paralelo de la conexin de 6 puntos mostrada con anterioridad es una nueva de 6 puntos entre la filosofa y la sper computacin. Terminare por invitarlos a competir contra m en un pequeo juego que implica el tema de sper computacin. Formalismos Subyacentes Entonces, que es una Maquina de Turing? Una MT incluye una cinta infinita en ambos sentidos dividido en cuadrados, de lectura/escritura de cabecera para escribir y borrar smbolos (desde algn finito, alfabeto fijo) dentro y fuera de esta cinta, y una unidad de control finito que en

cualquier paso esta en un estado particular de entre un numero finito de estados posibles. La MT invariablemente se combina con un conjunto de instrucciones (un "programa") decirle a la maquina que hacer, dependiendo de que estado es y lo que (si se diera el caso) se escribe en la plaza actualmente explorado por la cabecera. Hay muchas maneras para programar Maquinas de Turing. Una manera es el enfoque de flujo grafico, el cual es usado en la Figura 1. Esta Maquina de Turing, denominada "Gordon's 19 in 186", para es iniciar diseada en 0, y infinita y despus 19 1's. (Lo maquina relevante

llenar la cinta producir, de 186 pasos, que cumple esta es

para una pregunta en el cuestionario que viene).

Vamos a simular un segmento inicial de la computacin de la Maquina de Turing de Gordon, la designamos Maquina G, de modo que estamos seguros de los conceptos involucrados. El alfabeto usado es simple {0,1}. El estado inicial de G es 1 (representado por el nodo denominado 1), y en un principio asumiremos que la cinta es exclusivamente llenada de ceros 0. Lo primero que G hace es revisar que smbolos se encuentran bajo la lectura/escritura de la cabecera. En este caso, inicialmente encuentra un 0, por lo que el arco marcado con (0, R) es tomado por el nodo 1, lo que significa que la cabeza se mueve un cuadrado a la derecha y la mquina entra en el estado 6. En este punto, ya que se encontr otro 0 debajo de la cabecera, el 0 se cambia a 1, y la maquina vuelve a entrar en el estado 1. Ahora se encuentra a 1, y por lo tanto toma el arco denominado (1, R) al estado 2 (es decir, la mquina mueve la cabecera una

casilla a la derecha, y luego pasa al estado 2), etc. La actividad de la mquina puede ser perfectamente capturada por un catlogo de sus configuraciones de principio a fin (Figura 2). Una secuencia de tales configuraciones, donde cada uno tambin incluye un registro de qu estado el MT se encontr, es un cmputo. "Mundo real" de la computacin, por ejemplo lo hace el ordenador personal cuando, dice, graficar el rendimiento de su cartera de stock, es un proceso a travs del tiempo que corresponde a un computo de la MT. Vamos a llamar a este tipo de computacin (computacin MT y computacin que es paralelo en el "mundo real") computacin ordinaria. Si este es tu primer contacto con las Maquinas de Turing, sin duda, se ver afectado por la forma primitiva y sin pretensiones de las MTs. Pero lo sorprendente es que la MT aparentemente captura a la computacin ordinaria en todas sus formas. Ms precisamente, lo que se puede lograr por medio de un algoritmo, por medio de un super-ordenador programado, a travs de una red (estndar) neural, un autmata celular, etc - lo que puede llevar a cabo por cualquiera de estos puede ser aparentemente realizada por una MT (Este punto de vista acerca de la generalizacin de memorias de traduccin se manifiesta en lo que se conoce como la Tesis de Church-Turing, la cual consideramos a continuacin). Por otra parte, se sabe que la adicin de capacidades a nuestras Maquinas de Turing no les da ningn poder adicional. Por ejemplo, si le damos una MT dos cintas en vez de una, nada de lo que era imposible para la mquina de una sola cinta se convierte en factible para la MT de dos cintas.

Ahora, se escribe

para indicar que la mquina de Turing

va de entrada

travs de un clculo, dirigida por el Programa

(especificado, por ejemplo, por un flujo grfico halt

como el que se muestra en la Figura 1), que nunca se detiene. Escribimos cuando , dirigida por

, va de entrada "u" toa clculo que hace detenerse. Tambin

podemos suprimir harmelessly mencin de los insumos y hablar slo mquinas detener o no detener simpliciter. Escribimos hace algn trabajo, y se detiene, dejando para indicar que el par y toma de entrada ,

como salida de la cinta. Esto nos permite decir que

ciertas funciones son Turing-computable: por ejemplo, la funcin factorial, es Turingcomputable porque hay un par , de tal manera que:

El siguiente concepto que necesitamos es enumerabilidad: una serie

es Turing-enumerable ,y

si acaso existe alguna MT que tarde o temprano se imprime todos los miembros de la

nada ms. Un mtodo importante para establecer que toda la cadena construida a partir de un alfabeto finito fijo es numerable, es reunir una lista por orden lexicogrfico. La

idea es muy simple: una primera lista de las cadenas de caracteres en una longitud segn el diccionario de hacer el pedido, entonces las cadenas de dos caracteres de tamao de diccionario ordenar, a continuacin, los tres caracteres de longitud, y as sucesivamente, ad infinitum. Dado el alfabeto , un orden lexicogrfico se vera as:

En este punto se debe hacer una pausa para verificar que nuestro pequeo conjunto

los nmeros naturales, los nmeros pares naturales, y, por ejemplo, los nmeros enteros positivos y negativos son Turing-enumerable. Con el fin de ahorrarnos tiempo en especificar un grfico como el que se muestra en la Figura 1, ser suficiente si se puede montar el comienzo de una lista que se rige por un patrn que se asegura de que tarde o temprano todos los miembros de su conjunto de destino ser un "xito ". Tambin nos gustan nuestras mquinas de Turing para poder decidir ciertas cuestiones: que nos d de nuevo un "s" o un "no" despus de algn clculo ordinario se ha completado. Por ejemplo, podramos desear una MT que decirnos sitos haya introducido un nmero natural "n" es par. As que vamos a permitir que nuestras mquinas de Turing Y el smbolo ("s") y N ("no"). Esto nos permite decir que ciertos conjuntos son Turing-decidible. Por ejemplo, el conjunto es Turing-decidible porque hay un MT que, cuando se le da un nmero arbitrario "k" como entrada, se detiene con una Y si y slo si . Enumerabilidad y decidibilidad

estn relacionados de varias maneras, una de las cuales se pueden expresar en un teorema que pueda ser de ayuda para usted en el cuestionario que viene, a saber. T Si un conjunto A es Turing-decidible, entonces hay algn MT que lexicogrficamente puede ordenar A. Tambin es til si tenemos una forma de codificar las mquinas de Turing como nmeros. Un mtodo comn para este regimiento es dejar que es el nmero de Gdel de pait MT M y

P. programa, no es necesario que tou conocer los entresijos del esquema de numeracin de Gdel. Es suficiente si se entiende que este esquema nos permite, y las mquinas de Turing s mismos, para codificar las mquinas de Turing como nmeros naturales (que luego pueden ser procesados como cualquier otro nmero), y para decodificar tambin estos nmeros, es decir, especificar (por ejemplo, mediante la generacin de un grfico como el que se muestra en la Figura 1) las mquinas de Turing que tales nmeros representan.

Ahora, para una visin rpida de lgica de primer orden: Dada y el alfabeto (de variables x, y, ..., constantes c1.c2, ..., n-aria relacin smbolos R, G, ..., funtores f1, f2, ..., cuantificadores , y los familiares veritativo-funcionales conectivas (- de "no", "si - entonces -", por "o", por "y", para el

para "- si y slo si -") se usa reglas estndar de formacin (por ejemplo, si es una frmula bien formada tambin.)

son frmulas bien formadas, entonces

para construir "atmico" frmulas y los ms complicados "moleculares ". Establece las frmulas de estas frmulas (digamos ejemplo, el modus ponens: de frmulas (por ejemplo y ), teniendo en cuenta ciertas reglas de inferencia (por para inferir ), pueden conducir al individuo lgica de

); tal situacin se expresa en los meta-expresiones como

primer orden, como todos los sistemas lgicos, incluye un lado semntico que sistemticamente da sentido a las frmulas involucradas en la lgica de primer orden, las frmulas dicen que es verdadera (o falsa) en una interpretacin . (Esto es a menudo deca: "me satisface, o modelos , a menudo escrito como

"). Por ejemplo, la frmula

podra significar, en el R interpretacin estndar de la aritmtica , que para cada nmero natural "n", hay un nmero natural "m" de tal manera que m> n. En este caso, el dominio de R es , los nmeros naturales, y g es la relacin binaria conjunto de pares ordenados (i, j), donde i, j , es decir,> es un

y la" i "es mayor que" j "frmulas que son para indicar

verdaderas en todas las interpretaciones se dice que son vlidos;. Escribimos que es vlido.

estas

alturas,

puedo

escucharlos

preguntndose

Pero

todo

esto

es

impresionantemente abstracto!

Acaso no hay una manera de hacer que la sper-

computacin sea ms concreta? En realidad s la hay: es posible crear un panorama ms estructurado, y por lo tanto ms concreto, al menos en el extremo inferior - JA (Jerarqua Aritmtica). 0 y 1 ya se han visto de manera estructurada. Cmo entonces podramos

hacer que 1 (la primera parada en JA pida una supercomputacin abierta) sea vista de manera ordenada en procedimientos? Kugel [1986] acertadamente ha llamado a los procedimientos 1, procedimientos sin interrupciones; y as es como funcionan fundamentalmente. Digamos que R es un predicado totalmente calculable, (un supuesto crucial para lo siguiente); entonces hay algn programa P, que cuando se hace correr en un TM (Mquina de Turing), elige R. Ahora, considera un predicado correspondiente G= 1 , como se muestra.

G(x) implica que yR(x, y)

Aqu tenemos a un procedimiento sin interrupciones P (no es un programa; pero tengan en cuenta que nosotros contamos la ltima salida de P , si existe una, como si fuera su resultado) para resolver G, en el sentido de que una Y es el resultado si G(x): Recibe x como entrada. Inmediatamente imprime Y. Calcula, llamando repetidamente a P, R(x, 1), R(x, 2),, en busca de una N. Si N se encuentra, borra Y, y deja como resultado indefinido.
+

Si lo piensan por un minuto, van a ver cmo este truco puede usarse para realizar los procedimientos de ensayo y error, los cuales resuelven el problema de interrupciones, es decir, deciden el predicado H. Luego, inmediatamente debera imprimir N, y luego si, durante la simulacin, se presenta una interrupcin, N sera reemplazada por Y. Si consideramos la respuesta dada en el lmite para que sea la salida definitiva, el problema

de interrupciones colapsara. [Computacin en el lmite se present primero por Gold, 1965 y Putnam, 1965].

La entrada a la supercomputacin describe y ha usado un sabor digital. Es posible crear y abrir una puerta anloga para el mismo paraso. La manera ms fcil de hacerlo es a travs del llamado Mapa de Cambio Analgico, que se puede describir, con moderada precisin, muy rpido: Comenzar invocando algn alfabeto finito E, y luego considerar el conjunto de secuencia de puntos E que se puede construir basado en este alfabeto. (Si E es (0,1), entonces 00011.11010101 E. Si E incluye todos los dgitos del 0-9, entonces E). Dicha secuencia slo puede contener un punto, pero -y aqu empieza el truco- una

secuencia puede ser finita, infinita en un lado, o infinita en ambos lados. (x = 3.14 sera infinito de un lado, del lado derecho). Un mapa de cambio, estndar Sk: E E cambia el punto k espacios , donde valores negativos indican un cambio hacia la izquierda, y los positivos un cambio hacia la derecha. En el cambio anlogo una subcadena de puntos se substituye por otra subcadena de igual longitud, de acuerdo a la funcin G; luego est nueva secuencia es desplazada un nmero entero de espacios a la izquierda o derecha de acuerdo a una funcin F. Si permitimos que el rango de G incluya cadenas de longitud infinita, entonces la evolucin de una secuencia de puntos inicial a un punto fijo (una secuencia que ya no cambia, cosa que pasa cuando F = 0, y a no cambia en funcin de G) no puede ser simulada por una Mquina de Turing (TM): una vez ms hemos ido ms all del Lmite de Turing. (Si el rango de G se define para incluir slo cadenas finitas, entonces obtenemos el Mapa de Cambio Generalizado, el cual es computacionalmente equivalente a la Mquina de Turing).

Filosofa y Sper-Computacin Anteriormente, di un listado de seis puntos de asociacin entre la filosofa y la computacin comn. Me parece interesante ver esa lista transformada en otra lista nueva, la cual describa la interaccin entre la filosofa y la computacin extraordinaria, descrita en la seccin anterior. Esta nueva lista puede ser categorizada a travs de la Tabla 1: solamente cambia cada iteracin de (Oi) por (Si), 1 i 6. Aqu est:

(S1) Pollock y el correcto razonamiento de OSCAR. Pollocks [1995] OSCAR est diseado de tal manera, que se actualiza constantemente, dado que cree en la respuesta a las alzas y cadas de los argumentos dados, como soporte a lo que el candidato cree. Qu es lo que constituye un correcto razonamiento en tal esquema? Pollock [1995] observa eso porque la respuesta a (Q7) es No, eso es, porque una Mquina de Turing con un programa comn no puede decidir teoremas sobre lgica de primer orden, responder a esta pregunta es bastante difcil. l ingeniosamente acude a la sper computacin por ayuda: la idea bsica es que el razonamiento de OSCAR es correcto cuando genera conjuntos sucesivos de creencias que se aproximen a la situacin epistemolgica ideal en el lmite. La idea de Pollock es influyente, y est lista para considerarla atentamente.

(S2) Funcionalidad de Mquinas de Suplantacin con Modelos Mentales de las Sper-Mquinas Aunque, la visin de Pollock sobre la sper-computacin no implica que actualmente los humanos lleven a cabo la sper-computacin, en cambio, otros [Kugel, 1986; Bringsjord, 1992, 1994; Bringsjord & Zenzen, adelantndose a ello] han dicho que en realidad, hay sper-mentes: seres humanos capaces de resolver el problema de

interrupciones, por ejemplo. Ms acerca de esto, luego, en relacin con (Q8) de nuestro cuestionario anterior.

(S3) Verificacin del Sistema Operativo. A pesar de que Fetzer puso su atencin en la verificacin de programas, alguien interesado en sper-computacin pudo cambiar su atencin hacia el intento de modelar, y como consecuencia, monitorear un sistema operativo para computadoras multiusuario. Aquellos sistemas corren en un proceso en marcha, que nunca termina, y por lo tanto, requieren modelos ms sofisticados que aquellos usados en la verificacin de programas. Una vez que un modelo sofisticado est en la tabla, ah aparece una oportunidad para el filsofo de tratar de asegurar que tales sistemas operativos funcionarn de manera deseada o no. Aquellos lectores interesados en investigar este tema, pueden comenzar su aventura debajo, cuando jueguen contra m en uno de los juegos infinitos de McNaughton [1993], los cuales son modelos infinitos posibles para la computacin multiusuario.

(S4) Sper-computacin y la Web. Hasta ahora nadie le ha tomado importancia al poder de la web, en el sentido de proveer a los estudiantes y escolares, los cuales comprenden de manera casi instantnea, el acceso al material sobre la sper-computacin y las sper-mentes. La oportunidad es grandiosa. 9

(S5) El proceso de pensar matemticamente y las Sper-Mquinas. Roger Penrose [1989, 1994] y otros [por ejemplo, Bringsjord, 1997b] han discutido si la manera de pensar de los matemticos comprometidos en dar teoremas involucra sper-computacin. Estn en lo correcto? Este asunto est lejos de aclararse. Un punto para empezar a intentar llegar hacia la solucin es buscar de manera cuidadosa insuficiencias graves en el uso

de la computacin comn en los demostradores de teoremas automatizados ~ Vea (O5).

(S6) Qu es sper-computacin? Como seal anteriormente, todava no tenemos una respuesta filosficamente satisfactoria a la pregunta: Qu es la computacin (comn)? a pesar de que la matemtica en cuestin es bastante madura. De igual manera, nosotros no entendemos la sper-computacin, a pesar de lo que las matemticas puedan indicar (como por ejemplo, lo que se present anteriormente en relacin a la Jerarqua Aritmtica). Aqu las oportunidades para los filsofos son abundantes. Podramos construir una mquina de ensayo y error? Si no se pudieran construir, suceden de manera natural en el mundo fsico?
10

Una pregunta filosfica

relacionada con ello, recientemente intensificada con la llegada de los Mapas de Cambio Analgico [visitado anteriormente; Siegelmann, 1995] y la clase similar de las caticas Redes Neuronales Analgicas [Siegelmann, 1995; Siegelmann & Sontag, 1994] es: Cul es la diferencia entre la sper-computacin analgica y la sper-computacin digital?

Echemos un vistazo, con ms detalle en (S2) y luego terminen jugando el juego que promete. Como dije anteriormente, no creo que la Tesis de Church Turing (CTT), sea cierta. Mi argumento en contra de ello, inicia con el esquema de mi argumento que debera ser entendible para lectores que asimilaron la presentacin anterior sobre Jerarqua Aritmtica. El esquema es como sigue a continuacin.

Esquema S

(1) Si A 1

o (A 0), entonces existe un programa P, el cual invierte

programas para decidir los miembros de A, con el fin de producir programas para enumerar los miembros de A. (2) No hay ningn programa P, el cual invierta programas para decidir los miembros de A, ni para producir programas para enumerar los miembros de A. (3) A

o (A

0).

(Por modus tollens, en latn, modo que

negando niega) (4) A JA (5) A 1 (o como arriba, en la JA) (JA: Jerarqua Aritmtica)

(Silogismo disyuntivo en la JA)

(6) A es acertadamente decidible. (7) CTT es falso. El esquema S, no es fcil de descartar: La premisa (1) es un teorema, y uno simple.
11

Las

lneas (3) y (5) son simplemente conclusiones intermedias; (7) en efecto, proviene de la (5) y la (6), dado que estas dos proposiciones son contraejemplos de la parte del slo si de la Teora de Church y Turing (CTT); y las otras dos inferencias son inatacables. Todo se reduce a (2), (4) y (6). Si el esquema S es inicializado definiendo a la variable A dentro de lR, los reales, el asunto sera slo (6), dado que (2) es cierto para cualquier conjunto no decidible (de los cuales, lR es uno; recuerde nuestro cuestionario anterior), y existe una tcnica para construir lR a partir de los lN (Cortes de Dedekind), la cual constituye una prueba del (4). Por supuesto, es dudoso que lR sea efectivamente decidible. Un mejor candidato para A en el esquema, me parece a m, es el conjunto de todas las historias interesantes, un conjunto mencionado

en la ltima pregunta (Q8) en el cuestionario anterior. Por qu? Porque no creo que sea racional creer que la habilidad de decidir si una historia es interesante pueda ser transformada por algn programa en una habilidad que produzca toda clase de historias interesantes. Tal vez pueda juzgar si El rey Lear y Otelo es interesante o no (lo cual hago), pero Dios sabe que no soy Shakespeare! 12. Ahora, pueda ser que est errado que la Tesis de Church y Turing sea falsa, y equivocado tambin en que t eres una sper-mente que funciona ms all del lmite de Turing. Pero si t s eres una sper-mente, tal vez seas capaz de jugar un pequeo juego conmigo. Pero no un juego como el ajedrez, fjate: el ajedrez, es despus de todo, un juego que tiene un final, un juego manejado bastante bien por la computacin comn. (Como Gary Kasparov puede dar fe. Vea Bringsjord [1997a] para un discusin de Azul Profundo versus Kasparov) Estoy hablando de un juego infinito de la clase que se alude en (S3); aqu podemos ver cmo funciona.

b1

r1

b3

r3

b2

r2

Figura 3

Va a necesitar un marcador de lugar (una moneda servira muy bien), y el grfico de flujos mostrado en la Figura 3 (a travs del cual va a deslizar la moneda. Yo ser negro, y t sers rojo. Tenga en cuenta que los nodos en el grfico de la Figura 3 est dividido por la mitad: tres nodos son rojos (r); y tres son nodos negros (b). Si la moneda est en un nodo r, es tu turno como rojo, de mover la moneda. Y si la moneda est en un nodo b, es mi turno. As es cmo el juego avanza. De manera aleatoria ponemos la moneda en uno de los nodos, y luego nos turnamos para deslizar la moneda entre nodo y nodo, asegurndonos que cada movimiento sea de acuerdo a la flecha que los conecta. Entonces, si la moneda est inicialmente encima de r1, sera tu turno de mover la moneda, y tus opciones seran b1 y b2. Si deslizas la moneda hacia b2, mi nica opcin sera r3, etc. Ahora, aqu la cosa, nos vamos a hacer turnos de ida y de vuelta durante una cantidad infinita de tiempo. A estas alturas, podras estar quejndote de que eres un simple mortal, quisiera que asumas por el bien del juego, que nosotros, como sper-mquinas, podemos de hecho, tomar turnos para siempre. Ok, ahora mira los nodos b1 y r1, son de doble crculo; esto es porque stos dos nodos, son los nodos ganadores. Yo gano, como negro, si y slo si, cualquiera de los dos, r1 y b1, ambos son visitados un nmero finito de veces solamente, o los dos son visitados de manera infinita de vez en cuando. T, rojo, ganas, si y slo si uno de estos dos nodos es visitado de manera infinita de vez en cuando y el otro de manera finita de vez en cuando tambin. Entendiste? Incluso sper-mentes podran necesitar meditar por un minuto o dos en lo que acabo de decir. Ok, ahora: Cul es tu estrategia? ~ Cul es tu mejor estrategia? ~ Cul es mi mejor estrategia? Si los dos damos lo mejor de nosotros, quin ganara? ~ Y suponiendo que jugamos slo por un periodo finito de tiempo, cmo un rbitro podra predecir un ganador? 13.

NOTAS

1 El lector que busque informacin en este hecho y en las Mquinas de Turing (u otro autmata equivalente) y lgica de primer orden, en general pueden consultar siete libros que encuentro tiles: Para una amplia cobertura del material bsico, vea: Lewis y Papadimitriou [1981], Ebbinghaus, Flum [1984], Boolos y Jeffrey [1980], y Hopcroft y Ullmann [1979]. Para una buena discusin comprensiva de teora de clculo que incluye una breve cobertura de incalculabilidad, incluyendo la jerarqua aritmtica (J.A.) vea Davis [1994], Partee [1990] contiene una muy buena discusin de la jerarqua de Chomsky. Y, por supuesto, siempre est el clsico Rogers [1967]. 2 Las respuestas son simplemente 1, 2, 3, 6; 0, 1, 2, 3, 4, 5, 6, ; 0, 2, 4, 6, 8, 10, ; 1, -1, 2, -2, 3, -3, 3 Ebbinghaus [1984], detalla un esquema numeral de Godel que ser particularmente relevante para aquellos que se familiarizan con programas computacionales. 4 La abreviatura habitual de si y slo si. 5 En mi opinin, una buena manera de aprender lgica de primer orden es a travs del curso Hiper prueba [Barwise y Etchemendy, 1994]. Un interesante nmero de problemas de Hiper prueba, est disponible en mi web site, la direccin URL es:

http://www.rpi.edu/~brings/logarg.html. 6 Tal vez vea a este hombre en el espejo, y no me d cuenta al comienzo, como opino acerca de la libre expresin en su aspecto, que soy yo al que estoy mirando.

REFERENCIAS Barwise, Jon y Jhon Etchemendy (1994) Hiper prueba, Stanford, California: Publicaciones CSLI

Boolos, George y Richard Jeffrey (1989) Calculabilidad y Lgica, Cambridge: Prensa de la Universidad de Cambridge

Bringsjord, Selmer. (1992) Lo que los robots pueden y no pueden ser, Dordrecht, Pases Bajos: Kluwer

Bringsjord, Selmer. (1994a) Computacin, entre otras cosas, est debajo de nosotros, Mentes y Mquinas 4: 469-488

Bringsjord, Selmer. (1994b) La tesis de Church contra Medelson, es improbable o peor, podra ser falsa, Reuniones anuales de la divisin oriental de la Asociacin Americana de Filosofa. Atlanta, Georgia, 30 de Diciembre.

Bringsjord, Selmer. (1997a) El ajedrez no es lo suficientemente difcil: Mejores juegos para la competencia de mquinas mentales proyecto presentado en la reunin anual de la Asociacin Americana de Inteligencia Artificial. Providencia, Rhode Island, Julio de 1997.

Bringsjord, Selmer. (1997b) Un argumento para la incalculabilidad de conocimientos matemticos no calculables en el sistema de datos electrnicos de Paul Feltovich, Ken Ford, y Robert Hoffman. Experiencia en Contexto, Parque Menlo, California: Prensa de la Asociacin para el Adelanto de la Inteligencia Artificial.