PUCE

Razonamiento lógico
Nombre: Isabel Herrera
Curso: 2do semestre 2

El acertijo MU

Para empezar este ensayo tiene información recopilada del libro escrito por
Douglas R. Hofstadter. El capítulo que se tratara, se llama “El acertijo MU”. El
objetivo de este capítulo es provocar curiosidad al seguir un teorema.

La cadena del acertijo se empieza “MI” para terminar reproduciendo el “MU”.

Al seguir reglas establecidas para resolver el acertijo se busca que este sistema formal se
convierta en un juego buscando la respuesta de forma metódica pero divertida.

El sistema se conforma por tres letras y al darle una serie de cadenas de estas y
por medio de las reglas se podrá resolver. Aquí el autor hace énfasis en que una
maquina grabaría las reglas para seguirlas pero la mente humana las razona analiza y
busca más formas de llegar a la respuesta por medio de axiomas que van apareciendo.

Un brinco del sistema en una forma fácil de explicarlo es detener la acción que
se estaba haciendo para empezar con otra y se debía mantener dentro del sistema para
poder ser resuelto, pero aun así se terminaría saliendo.

En conclusión un teorema es un sistema formal. Porque un sistema formal

consiste en tener elementos. Un teorema tiene axiomas que son los elementos
 Significado y forma en matemática

En el siguiente ensayo se trata el segundo capítulo del libro Gödel, Escher, Bach:
una eterna trenza dorada, “Significado y forma en matemática”, dando a conocer la
noción de los sistemas formales para los matemáticos y lógicos.

Se profundiza más en la clase de axiomas si tienen una cadena con una

caracterización completa o solo una fácil de romper, mal interpretar. En teorema
“pq”, el autor confirma que solo acepta axiomas que satisfagan la adición a este.

Habla de dos procesamientos de arriba – abajo y de abajo – arriba. Para

esclarecer un poco el entendimiento de cada teorema, haciendo que el primer
mencionado sea para la adición y el segundo de reducción para llegar al término
deseado.

Estos teoremas también tienen que ser significativos o no relacionando con la

asociación isomórfica entre este y la realidad. Derribando el significado en pasivo o
activo, añadiendo que para el sistema formal debe ser pasivo para crear nuevos
teoremas.

Entonces hay sistemas formales y reales que se forman por parte de matemáticos
que los ayudan a entender la clase de números o crean nuevas ciencias que se deslinda
desde la matemática pes esta tiene un sistema formal. El teorema de Euclides es uno
estos.
 Figura y campo

En este momento se hablara del tercer capítulo “Figura y campo” del autor
Douglas R. Hofstadter. La idea de que los conceptos pueden ser capturados por la sola
acción de manipulaciones tipográficas despierta la curiosidad (Hofsatdter, 1979). Es con
lo empieza el capítulo dando relevancia los conceptos.

Nos explicara constantemente reglas y esquemas para observar cuales teoremas

tiene huecos que se les puede llenar con una figura para formar algo más complejo y
legible. Existen varias relaciones de figuras y campos.

Los conjuntos existen en la relación figura y fondo estos son recursivamente

enumerarles y recursivos. A pesar de eso no había siempre un significado en estos
conjuntos lo que puede haber espacios negativos como positivos, lo que se presenta casi
siempre en el arte.

Así como existe una representación entre figura y campo, también existe figura y
no campo en donde se encuentran los números primos mencionados en el capítulo 2. En
las otras relaciones ya sea en arte, se observa que existe divisibilidad.

Entonces se concluye que toda figura es una forma, porque una figura esta
complementada de una forma y la envuelve en ella, para seguidamente darle un
significado, que en ocasiones deja de lado el campo.
 Coherencia, completitud y geometría

Del libro Gödel, Escher, Bach: una eterna trenza dorada se realizara el resumen
de su cuarto capítulo “Coherencia, completitud y geometría” tomando en cuenta los
isomorfismos para la significación ya sea implícita o explícita de un teorema.

Para empezar, existen isomorfismos en el espacio en general. Existen

significados implícitos del contracrostipunto y una correlación con el teorema de
Gödel por parte de los isomorfismos. Teniendo en cuenta que la matemática ayuda
al arte, esta no es la excepción, se puede ver isomorfismos hasta en la música.

El autor cuenta un poco de la historia de la geometría, tomando a Euclides como

el fundador donde su obra, su arquitectura. A pesar de considerar su perfección,
Saccheri lo quiso perfeccionar más. Sus términos indefinidos empiezan cuando se niega
el quito postulado de “pq”.

Se menciona también las interpretaciones múltiples que pueden existir a partir de

un sistema formal, que es aquel que llega mediante un proceso y que a veces se llega a
negar la existencia un sistema.

Ya que existen varios teoremas y sistemas, la matemática ya no se le puede ver

solo como números y principios porque la matemática se llega a transformar en un
sistema formal dentro de otro.
 Estructuras y procesos recursivos

El capítulo 5 del autor Douglas R. Hofstadter llamado “Estructuras y procesos

recursivos” donde se pondrá más énfasis en la recursividad, incrustaciones y variaciones
de incrustaciones es decir el aumento y disminución de axiomas en un teorema,
postergando la actividad de la acción.

La recursividad se puede dar por el almacenamiento de pilas o stack para que se

pueda construir un contexto para evitar la confusión u olvido de significado de estas.
Esto ocurre con la música ya que se van implantado cada vez más tonalidades.

Una parte importante de la recursividad es el lenguaje. Porque el lenguaje

está compuesto por varias pilas, a esta se las considera gramática. Además de la
misma en la escritura donde las pilas pueden ser el adjetivo, el artículo o el
sustantivo mismo.

Se habla del saneamiento y heterarquía siempre existe la negación de la

autorreferencia a un término, entonces se buscará la manera satisfacer la curiosidad por
saber el significado adecuado de la palabra.

Existe la recursividad y enumeración ya que el conjunto de pilas siempre van

creciendo y se van creando más, dependiendo de secundarias. Pero se reconoce a esta
recursividad con esta estructura como uno de los elementos de la inteligencia.
 La localización de la significación

Este ensayo será sobre el capítulo “La localización de la significación” que se

encuentra el libro “Gödel, Escher, Bach: Una eterna trenza dorada”. La pregunta de
porque las cosas no siempre son lo que se dice que son.

Para conocer sobre este hecho se necesita portadores y reveladores de

información, mediante un proceso se debe llegar a concluir con la verdad. Se puede
observar esto en la biología con el genotipo y fenotipo, este último seria el portador
pero un análisis completo revelaría que el genotipo puede ser diferente a lo que se
define.

Un nivel de compresión de un mensaje es universal. Porque todo científico,

filósofo busca el encontrar la significación aunque no haya podido descifrar. El
descifrar un mensaje de compresión porque al ser universal también universales
puntos de vista.

Aun así se han logrado descifrar mensajes escritos en tres niveles de lenguaje
que expresa el autor. Al primero lo denomina marco y esto el contexto que rodea al
mensaje, el segundo es el sonido y el tercero la interpretación de dicho sistema,
interpretando el idioma.

La pregunta sería si el ADN es un mensaje universal. Observando el exterior de

la cadena no se puede ver el genotipo.
 El cálculo proporcional

Este ensayo será del capítulo “El cálculo proporcional” escrito por Douglas R.
Hofstadter. Donde mencionara lo que se mencionó en una de sus diálogos, donde
Aquiles no pudo hacer que la tortuga acepte, aquí se explicara mediante palabras y no
símbolos.

Se menciona las reglas de la inferencia que en un teorema se deben aplicar a los

axiomas, para saber si tienen un significado diferente. Se puede agregar la regla de la
fantasía, donde se pueden inferir cosas totalmente diferentes a lo que se quiere decir,
solo se deja llevar por la imaginación.

La interpretación de símbolos puede ser diferente en varias maneras, sobre todo

en el lenguaje. El autor pone como ejemplo al átomo que por medio de las oraciones
puede llegar a significar lo mismo de cualquier manera, a mi manera se debe a que es un
término científico y con derivación.

Una derivación formal es más extensa que una demostración natural. Se

debe a que la derivación formal es ver los axiomas de un teorema y la
demostración es una comprobación. Pueden cambiar niveles de extensión
dependiendo de quien los trabaje.

En conclusión los símbolos pueden ser interpretados de distintas formas, por

distintas personas cambiando el significado.