Calificación: 10/10
Leer más en Amazon
Lee gratis mi colección de más de 250 resúmenes de libros
Pensamientos de alto nivel
Este libro estiró mi mente más que casi cualquier otro libro que haya leído. Es difícil en algunas partes, es largo, pero saldrás pensando en el cerebro, la mente, la inteligencia y la IA de una manera completamente nueva.
Resumen en español
Introducción: una oferta musical-lógica
En la Ofrenda Musical , Bach incluye inscripciones cuyas primeras letras se combinan para deletrear “RICERCAR”, y palabra italiana que significa “buscar”
La Ofrenda tiene una fuga de tres partes, una fuga de seis partes, diez cánones y una sonata en trío.
Cánones: en un canon, un solo tema se juega contra sí mismo. Como Row Row Row Your Boat. En el canon básico, la primera voz ingresa y, después de un período, la segunda voz ingresa al mismo comienzo que la primera, superponiéndose una encima de la otra. También hay cánones más complicados, donde la segunda voz también puede entrar en un tono diferente.
Fuga: una fuga es como un canon, ya que se basa en un tema que se reproduce en diferentes voces, pero la notación es mucho menos rígida y puedes jugar más con ella.
Bach creó un “canon en constante aumento”, en el que termina y se reinicia inmediatamente, pero una nota hacia arriba. La transición es perfecta y permite que siga aumentando para siempre. Este es el primer ejemplo en el libro de un “bucle extraño”, un bucle en el que al movernos a través de él, inesperadamente nos encontramos de nuevo donde comenzamos. Como en las famosas pinturas de Escher como la escalera infinita.
Paradoja de Epiménides: Otra forma de bucle extraño, contenida en declaraciones como “Esta declaración es falsa”. Es un “bucle extraño de un paso”.
Incompletitud de Gödel:
- El teorema de incompletitud de Gödel trata con bucles extraños, afirmando que cualquier intento de que una teoría de números se defina a sí misma fracasará. “Todas las formulaciones axiomáticas consistentes de la teoría de números incluyen proposiciones indecidibles”.
- La oración de Godel G podría escribirse mejor como “Esta declaración de la teoría de números no tiene ninguna prueba en el sistema de Principia Mathematica “.
- La conclusión real es que el sistema está incompleto, hay declaraciones verdaderas que sus métodos de prueba son demasiado débiles para demostrar.
Paradoja de Russell: la mayoría de los conjuntos no son miembros de sí mismos. Por ejemplo, el conjunto de todas las morsas no es en sí mismo una morsa. O se tragan a sí mismos, como el conjunto de todas las cosas que no son Juana de Arco. Por lo tanto, los conjuntos pueden ser procesados o auto-tragados, pero podemos definir un conjunto como El conjunto de todos los juegos del molino que no deben ser auto-tragables ni auto-tragados. El culpable de estas paradojas es la autorreferencia, o un extraño bucle . Como en el par de declaraciones “La siguiente oración es falsa”. “La oración anterior es verdadera”.
Para deshacerse de bucles extraños, debe deshacerse de la autorreferencia. Pero un sistema completo requiere una autorreferencia, por lo tanto, bucles extraños.
I: El rompecabezas de Mu
Requisito de formalidad : No debe hacer nada fuera de las reglas del sistema.
En los sistemas formales, los teoremas se producen simplemente de acuerdo con ciertas reglas del sistema. Estas se llaman las “reglas de producción”. Un teorema “libre” que sabemos que es cierto es un “axioma” del sistema. Una “derivación” es una explicación explícita, línea por línea, de cómo llegar a un teorema de acuerdo con las reglas formales del sistema.
Una gran diferencia entre las máquinas y los humanos es que es posible programar una máquina para que realice una tarea de rutina, sin notar un orden superior en lo que está haciendo. Los humanos siempre reconocerán estos patrones cuando sean lo suficientemente obvios. Un automóvil nunca captará la idea de que se supone que debe evitar a otros automóviles.
Saltar del sistema: una propiedad de la inteligencia es que puede “saltar” del sistema en el que se encuentra, por ejemplo, al darse cuenta de que está repitiendo el número “1” cada vez que presiona la calculadora. Todos percibimos los sistemas en diferentes niveles y podemos intentar convencer a otros de que están operando dentro de sistemas a los que son ciegos pero que observamos. (Juegos finitos / infinitos)
Es necesario distinguir entre operar dentro del sistema y hacer observaciones o declaraciones sobre el sistema . Este es el M-Mode (modo mecánico) y el I-Mode (modo inteligente).
II: Significado y forma en matemáticas
Problema filosófico: ¿las palabras y el lenguaje siguen reglas formales o no?
Isomorfismo: una transformación que preserva la información. Se aplica cuando se pueden mapear dos estructuras complejas entre sí, de tal manera que a cada parte de una estructura hay una parte correspondiente en la otra estructura correspondiente, donde las dos partes juegan roles similares en sus respectivas estructuras.
La percepción de un isomorfismo entre dos estructuras conocidas es un avance en el conocimiento y la fuente de creación de significados en la mente de las personas.
III: Figura y suelo
Los artistas distinguen entre “figura y fondo”. Por lo general, la figura es el foco, pero a veces habrá más significado oculto en el fondo.
“Existen sistemas formales cuyo espacio negativo (conjunto de no teoremas) no es el espacio positivo (conjunto de teoremas) de ningún sistema formal”.
Contracrostipunctus
En este diálogo, están discutiendo el disco de Tortoise que rompió el tocadiscos de Crab al reproducir un sonido que lo desarmó.
El elemento inteligente aquí es cómo hay un significado “por encima” de las discusiones. Las primeras letras de las diferentes líneas del diálogo deletrean una oración que es en sí misma autorreferencial.
IV: Coherencia, integridad y geometría
Hay más significado que lo obvio. Las personas atribuyen un significado inherente a las palabras, cuando su contexto es igualmente importante. O podría atribuir el “sonido” como un elemento necesario de una colisión entre dos objetos, pero no habría sonido si chocaran en el vacío. El ruido requiere un cierto medio.
En el diálogo, la Tortuga está diciendo que no puede haber un tocadiscos lo suficientemente fuerte como para resistir la capacidad de cualquier disco de vibrar a un ritmo que lo destruya.
Coherencia: cuando cada teorema, tras la interpretación, resulta verdadero (en algún mundo imaginable).
Completitud: Cuando todos los enunciados que son verdaderos (en algún mundo imaginable) y que pueden expresarse como cadenas bien formadas del sistema, son teoremas.
Pequeño laberinto armónico
En este diálogo, Tortuga y Aquiles terminan siendo secuestrados en un globo de aire caliente fuera de la noria. Llegan a la “guarida” de su captor y terminan entrando en un libro que tiene sobre Aquiles y la tortuga, en el que encuentran una pintura de Escher. Luego dan un paso más hacia la pintura de cocodrilo. Luego hay un genio que puede conceder deseos, pero tiene que preguntar “en la cadena” si puede conceder un meta deseo. Luego bajan un piso más al laberinto. Finalmente, vuelven a subir varios niveles, pero aún no han “salido” de la casa de su captor, a pesar del final de la historia.
V: Estructuras y procesos recursivos
Empujar significa suspender la operación de lo que está haciendo actualmente y asumir una nueva tarea. Se dice que esta nueva tarea está “en un nivel inferior” que la tarea anterior. Hacer estallar es volver a la tarea anterior que estaba haciendo.
En una definición recursiva, siempre hay un “fondo”, una salida. Pero en las definiciones circulares continúa para siempre.
Ley de Hofstadter: siempre se tarda más de lo esperado, incluso si se tiene en cuenta la ley de Hofstadter.
Canon por aumento interválico
En este diálogo, discuten cómo modificar una melodía para obtener melodías diferentes pero con la misma proporción de cambios de nota, por ejemplo, -1, +3, -1 y -3, +10, -3
VI: La ubicación del significado
Puede pensar en un registro como portador de información y en el tocadiscos como un revelador de información . Alternativamente, una molécula de ADN es un conjunto de información (genotipo) que se convierte en un organismo físico (fenotipo).
¿Puede un texto tener suficiente lógica interna para que su significado se restaure por completo cuando la inteligencia entra en contacto con él? ¿O debe haber siempre algún elemento del revelador de información que le dé significado?
Podemos decir que el significado es parte de un objeto en la medida en que actúa sobre la inteligencia de una manera predecible.
Tres capas para cada mensaje : podemos decir que un mensaje tiene tres capas: el marco , el mensaje interno y el mensaje externo .
- Comprender el mensaje interno es comprender el mensaje que pretende el remitente.
- Comprender el marco es reconocer que existe la necesidad de un mecanismo de decodificación.
- Comprender el mensaje externo es construir, o saber cómo construir, el mecanismo de decodificación adecuado para el mensaje.
- Considere una botella en una playa: el marco se encuentra cuando levanta la botella y ve que contiene un mensaje. Luego, cuando lo abres y ves que hay un idioma en él, has encontrado el mensaje externo, la necesidad de decodificarlo (es posible que también necesites averiguar qué idioma decodificar reconociendo el idioma), y luego puedes averiguar el mensaje interior, lo que quería decir.
Existe una trampa infinita potencial: creer que necesitas un mensaje más amplio para comprender el mensaje incluido, como necesitar una regla para comprender la regla.
Fantasía cromática y pelea
Este es el diálogo en el que la tortuga insiste en desafiar las cosas que Aquiles repite y que la tortuga acaba de decir, por ejemplo, “Mi caparazón es verde”.
VII: El cálculo proposicional
Este capítulo comienza describiendo la mayoría de las reglas de la lógica, poniéndolas en una nueva estructura que DH llama “TNT”.
Cangrejo cangrejo
En este canon, Aquiles y la Tortuga están teniendo una conversación en la que Cangrejo los interrumpe, después de lo cual repiten sus declaraciones en orden inverso cambiando las reglas (básicamente, un palíndromo conversacional).
VIII: Teoría de los números tipográficos
Esto amplía las explicaciones de TNT, incorporando más elementos de lógica y matemáticas.
“Cualquier sistema que sea lo suficientemente fuerte como para demostrar la consistencia de TNT es al menos tan fuerte como el propio TNT”. Entonces, la circularidad es inevitable.
Una ofrenda de Mu
Esta es la discusión de Koans y cadenas zen. Discute cómo los koans pueden permitir que el practicante “salga” de la realidad lógica normal.
IX: Mumon y Godel
El monje Mumon recopiló 48 koans con poemas y breves comentarios que los acompañaron.
Una explicación concisa de la iluminación: trascender el dualismo.
Tan pronto como percibes un objeto, trazas una línea entre él y el resto del mundo. Divides el mundo, artificialmente, en partes y por lo tanto pierdes el Camino.
El zen lucha por el ismo , una anti-filosofía, una forma de ser sin pensar. Es nuestro destino, como seres superiores, tener que luchar por el ismo sin poder alcanzarlo nunca por completo.
Las pinturas de Escher al hacernos preguntar “¿son esos pájaros? o aviones? o ranas? hacernos dar un paso hacia el ismo, reconociendo el absurdo inherente de que no son nada en absoluto.
No existe un mensaje no codificado, solo un mensaje escrito en un código más familiar.
Preludio…
Este es un diálogo autorreferencial en el que han construido una pieza de Bach perdida de la nada, derivándola utilizando matemáticas. Se trata de cómo hay diferentes “modos” que podemos considerar algo (como una pintura de Escher, una fuga o el diálogo en sí).
X: Niveles de descripción y sistemas informáticos
La inteligencia depende de la capacidad de crear descripciones de alto nivel de matrices complejas, como tableros de ajedrez, páginas impresas o pinturas.
Puede “arrancar” un idioma adquiriendo lo suficiente para seguir aprendiendo más. Ese es un cierto punto de inflexión más allá del cual ya no es necesario “salir” del idioma para seguir creciendo en el idioma.
No es necesario saber todo sobre los quarks para comprender las moléculas que los componen.
Hay ciertos epifenómenos, consecuencias del sistema que no están contenidas en el sistema. En ninguna parte de su cuerpo está codificado el número “9.3” si puede correr 100 yardas en 9.3 segundos. De manera similar, en el juego Go, la regla de los “dos ojos” no está codificada en las reglas de ninguna parte, es una consecuencia de las otras reglas.
Quizás la mente pueda entenderse sin comprender los niveles inferiores de los que depende y no depende. ¿Es la conciencia un epifenómeno? ¿O tienes que bajar al nivel de la célula nerviosa para comprender la mente?
… Hormiga Fuga
El oso hormiguero está en buenos términos con las colonias de hormigas, pero no con hormigas específicas, ya que come hormigas, pero al hacerlo ayuda a las colonias.
La tía Hillary está formada por hormigas, las hormigas individuales no tienen pensamientos ni inteligencia, pero se combinan en un sistema inteligente. Así como no es necesario que cada neurona individual sea inteligente para crear un ser inteligente.
Podría pensar en su cerebro como una colonia de hormigas.
Hay piezas emergentes de un sistema. No lee cada letra individual y luego las junta en palabras, puede leer palabras completas a la vez, a pesar de que las letras compuestas no tienen un significado inherente.
XI: Cerebros y pensamientos
Existe un “cálculo del pensamiento” en el que los conceptos pueden fusionarse y dividirse repentinamente, como cuando descubres que la persona que está a tu lado en el baño también es tu amigo del gimnasio. Se dice que es intensional en lugar de extensional , lo que significa que las descripciones pueden flotar sin estar ancladas a objetos específicos. La intensionalidad del pensamiento le da su flexibilidad, nos permite imaginar nuevos mundos y combinar y triturar descripciones.
Una sola neurona solo puede responder disparando o no disparando.
Los símbolos comprenden grupos más grandes de neuronas que se activan de cierta manera, es un nivel superior.
Hay dos desafíos: uno es explicar cómo el tráfico de bajo nivel de disparos de neuronas da lugar al tráfico de alto nivel de activación de símbolos. El otro es explicar el tráfico de alto nivel de activación de símbolos en sus propios términos, para hacer una teoría que no hable de los eventos neuronales de bajo nivel. Si esto último es posible, entonces la inteligencia se puede realizar en hardware no cerebral .
Si imagina un automóvil patinando en una montaña, imaginará la montaña como más grande que el automóvil, pero lo más probable es que nunca haya establecido explícitamente esa comparación. Más bien, ocurre de forma natural a partir de los símbolos almacenados de automóviles y montañas, sin que se declare explícitamente. El conocimiento no se almacena explícitamente, sino implícitamente, de manera dispersa, en lugar de como un paquete local de información. Los hechos simples, como los tamaños relativos de los objetos, deben ensamblarse en lugar de simplemente recuperarse.
Suite Inglés Francés Alemán
Este diálogo contiene el poema “Jabberwocky” en tres idiomas diferentes, notable porque el poema es en su mayoría un galimatías y ese galimatías no se puede traducir tan bien.
XII: Mentes y pensamientos
Seguramente no habrá isomorfismos a nivel neural, pero ¿podría haberlos a nivel de símbolo? ¿Podríamos mapear parte de una mente en otra? Claramente no del todo, ya que si lo hiciera, habría dos humanos con pensamientos idénticos. Incluso dentro de ti, tu cerebro cambia, imagina mirar algo que escribiste incluso hace unos meses.
Los símbolos entre personas con el mismo idioma nativo probablemente serán similares, pero ¿cómo cambia eso en los nuevos idiomas?
Todos somos paquetes de contradicciones, y esa es una función natural de nuestro cerebro, ser capaz de contener las contradicciones cómodamente.
Aria con diversas variaciones
Aquí introducen las diagonales, primero hablan sobre el propio DH y hacen alusiones para terminar la discusión antes de que termine la discusión escrita.
XIII: BlooP, FlooP y GlooP
Si tiene una formalización suficientemente poderosa de la teoría de números, entonces el método de Godel es aplicable y su sistema está incompleto. Pero si su sistema no es lo suficientemente poderoso, entonces su sistema está incompleto.
No voy a mentir, me perdí un poco en esta sección y no sentí que terminara siendo necesario comprender las conclusiones de alto nivel del libro.
Aire en la cuerda de G
Este diálogo es el de “produce falsedades”, en el que se discuten enunciados autorreferenciales que son autodestructivos (Epiménides Paradoja).
“Es un fragmento de oración” es un fragmento de oración.
XIV: Sobre las propuestas formalmente indecidibles de TNT y sistemas relacionados
Una vez más, muy pesado en matemáticas y lógica y no terminé necesitando los puntos centrales tanto que sentía. O tal vez simplemente no me concentré en ellos lo suficientemente profundo.
Cumpleaños Cantatatata….
La Tortuga insiste en que Aquiles demuestre con mayor certeza que es su cumpleaños, “¿cómo puedo confiar en que puedo confiar en ti?” y así.
XV: Saltar del sistema
Algunos argumentan que el teorema de Godel prueba que el mecanismo es falso, que las mentes no se pueden explicar como máquinas.
El argumento masculino y femenino : “Puedo ver tu cara, que es algo que no puedes hacer”, “¡Pero puedo ver tu cara, lo cual no puedes hacer!” “Sí, pero eres una mujer: lo ves, no lo ves realmente … lo que las mujeres hacen y llaman” ver “no es lo que hacemos los hombres”.
Un programa no puede saltar de sí mismo. No importa cuánto gire y gire, sigue siguiendo las reglas inherentes a sí mismo. Incluyéndonos a nosotros. Hay una diferencia entre “vernos” a nosotros mismos y “trascendernos” a nosotros mismos. Pero no puedes salir de ti mismo y estar fuera de ti mismo.
En zen podemos ver esta idea de auto-trascendencia. El koan te ayuda a “salir” y romper las reglas del pensamiento que normalmente te limitan.
Pensamientos edificantes de un fumador de tabaco
Este es el diálogo con las pinturas surrealistas con las que el Cangrejo sigue interactuando mientras habla con Aquiles.
XVI: Autorreflexión y autorrepresentación
Es un desafío hacer una oración autorreferencial sin decir “esta oración”. Sin embargo, puede evitarlo: “La oración” la oración contiene cinco palabras “contiene cinco palabras”.
Self-Rep: objeto o entidad que se reproduce a sí mismo.
Autorreflexión: objeto o entidad autorreferencial.
Una proteína es fabricada por un ribosoma de acuerdo con el modelo que lleva el ADN al ARN. Pero el ribosoma no conoce el código genético, está contenido en el ADN. El ADN envía largas cadenas de ARN mensajero a los ribosomas en el citoplasma, y los ribosomas utilizan las “tarjetas” del ARNt que cuelgan para construir proteínas, aminoácido por aminoácido.
Teorema de incompletitud y ADN : siempre es posible diseñar una hebra de ADN que, si se inyecta en una célula, al ser transcrita, provocaría la fabricación de proteínas que destruirían la célula (o el ADN) y, por lo tanto, daría como resultado la no reproducción de ese ADN.
El Magnificrab, de hecho
Este es el diálogo donde el cangrejo puede reproducir declaraciones matemáticas como música, pero solo suenan bien si son ciertas.
XVII: Church, Turing, Tarski y otros
Una de las principales tesis del libro: cada aspecto del pensamiento puede verse como una descripción de alto nivel de un sistema que, en un nivel bajo, se rige por reglas simples, incluso formales .
Se podría decir que el cerebro no exhibe un “proceso” más asombroso que el estómago. No hay un nivel superior mágico, simplemente sigue las reglas programadas.
SHRDLU, juguete del diseño del hombre
En este diálogo, el personaje Eta Oin le dice al programa SHRDLU que manipule bloques dentro de una simulación por computadora.
XVIII: Inteligencia artificial: retrospectivas
La prueba de Turing imagina una computadora y una persona en otra habitación, con usted haciéndoles preguntas tratando de averiguar cuál es el humano y cuál la computadora. Si no puede decirlo, entonces la computadora debe estar consciente.
Una objeción podría ser que supone demasiado desafío para la máquina. ¡No es como si un hombre pudiera imitar con éxito una computadora!
Teorema de Tesler : “IA es todo lo que aún no se ha hecho”.
Cuando un auto tiene “lávame” dibujado en la parte trasera, ¿quién es este “yo”? ¿Habla realmente el coche? ¿Es el escritor? ¿Es la frase misma? El polvo?
La mayoría de los problemas existen en un “espacio de problemas” y ser capaz de dar un paso atrás y considerar el espacio en el que ha puesto el problema es una función central de la inteligencia. Si su perro sigue ladrando a la cerca, sin considerar nunca huir un poco del hueso para acercarse a él a través de una puerta, nunca lo obtendrá. Tiene que reconsiderar el problema del espacio.
La representación del conocimiento es el quid de la IA. El conocimiento no viene en oraciones como “paquetes”, es más abstracto.
Contrafactus
Este diálogo tiene el partido de fútbol y la televisión que les permite ver situaciones contrafácticas.
XIX: Inteligencia artificial: perspectivas
En el pensamiento cotidiano, estamos imaginando versiones ligeramente diferentes de situaciones que sucedieron. Aquellas en las que dejamos que algunas características permanezcan iguales y otras “se deslicen” para crear una nueva realidad.
Los símbolos interactúan a través de la fisión y la fusión. La fisión es donde se separan gradualmente en múltiples símbolos nuevos. Fusion es donde se unen para crear meta símbolos más grandes.
Todos tenemos “esqueletos conceptuales” para diferentes frases, como vicepresidente y neumáticos de repuesto, pero podemos fusionarlos de formas interesantes en respuesta a declaraciones como “El vicepresidente es el neumático de repuesto del automóvil del gobierno”.
Los programas pueden captar patrones en algunas áreas, pero no en otras, mientras que los humanos siempre captarán patrones que aparecen en su entorno sin buscarlos explícitamente. Simplemente nos aparecen.
DH da algunas especulaciones al final de este capítulo, incluyendo que un programa de computadora escribirá música hermosa, las emociones no serán codificadas explícitamente en una máquina, los programas de ajedrez no serán exclusivamente jugadores de ajedrez (y por lo tanto podrían negarse a jugar al ajedrez), y que los programas de IA pueden no volverse súper inteligentes.
Canon perezoso
En este diálogo, la música y el piano están al revés, creando una sensación extraña en el sonido.
XX: bucles extraños o jerarquías enredadas
¿De dónde viene tu sensación de tener un testamento? Probablemente dirá que proviene de su cerebro, una pieza de hardware que no diseñó ni eligió. No eres un “objeto autoprogramado”, pero aún tienes un sentido de los deseos y eso surge del sustrato físico de tu mentalidad.
¿Las palabras y los pensamientos siguen reglas formales? Sí, si baja al nivel más bajo, el hardware, para encontrar las reglas.
Ciertos conjuntos de reglas son inviolables, no se pueden cambiar.
El autor Z podría tener el autor E en una historia, quién tiene el autor T en una historia, quién tiene el autor Z en una historia … ¡pero solo si hay un cuarto autor, el autor H, que los tiene todos en su propia historia! Son el bucle extraño, o jerarquía enredada, pero H está fuera de él.
Nos sentimos autoprogramados, pero no tenemos acceso a nuestros niveles inferiores.
Una vez que comience a cuestionar su propia cordura, puede quedar atrapado en un vórtice cada vez más apretado de profecías autocumplidas.
La muerte, la inexistencia personal, es incomprensible. Cuando intentas imaginar tu inexistencia tienes que intentar saltar fuera de ti mismo. Si bien puede imaginar que ha salido de sí mismo, en realidad no lo ha hecho, es imposible, por lo que la mayoría de nosotros simplemente barremos todo el desastre debajo de la alfombra.
Cuando ves la pintura de la tubería en la pintura de la tubería, piensas que la tubería que está en un nivel “más alto” es “más real”, pero eso es absurdo, son igualmente falsos ya que ambos están en la pintura que estás mirando. . Sin embargo, todavía nos sentimos atraídos por la jerarquía de la realidad.
El paso a nivel constante es lo que crea nuestro sentido del yo, será necesario poder deslizarnos entre múltiples niveles cómodamente para comprender la riqueza total del sistema mente-cerebro.
Lo que nos hace llamar a un sistema un “hacedor de elecciones” es si podemos identificarnos con una descripción de alto nivel del proceso que tiene lugar cuando se ejecuta el programa. En un nivel bajo (lenguaje de máquina), el programa se parece a cualquier otro programa, en un nivel alto (fragmentado), pueden surgir cualidades como “voluntad”, “intuición”, “creatividad” y “conciencia”.
Es probable que la autorreferencia y la locura sean fundamentales para comprender las mentes y desarrollar la IA.
Nosotros, desde fuera, podemos saber que la imagen de la galería impresa está incompleta de una manera que el hombre que aparece en ella nunca podrá saber. Podemos salir y ver el agujero en el sistema, que él nunca podrá observar.
El canon en constante aumento de Bach da la forma musical de un extraño bucle, que continúa para siempre.
