Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Conocimiento
Deie que un estado distinguido por la distincion sea marcado por una marca de distincion.
Deie que tal estado sea conocido por la marca.
6
Llame a ese estado el estado marcado.
Forma
Llame al espacio dividido por cualquier distincion. iunto con el contexto entero del espacio.
la Iorma de la distincion.
Llame a la Iorma de esta primera distincion la Iorma.
Nombre
Sea una Iorma distinta de la Iorma.
Permita que la marca de distincion sea copiada Iuera de la Iorma. dentro de otra Iorma.
Llame a cualquier copia de la marca. una division de la marca.
Permita que cualquier division de la marca sea llamada con el nombre de un estado
marcado.
Deie que el nombre indique el estado.
Arreglo
Llame a la Iorma de un coniunto de divisiones consideradas una respecto de otra (es decir.
considerada en la misma Iorma). un arreglo.
Expresin
Llame a cualquier arreglo eIectuado como indicador. una expresion.
Valor
Llame al estado indicado por una expresion. el valor de la expresion.
7
Equivalencia
Llame a las expresiones del mismo valor. equivalentes.
Permita que un signo
de equivalencia sea escrito entre expresiones equivalentes.
Ahora. por el axioma 1.
Llame a esto la Iorma de la condensacion.
Instruccin
Llame al estado no marcado con la marca. el estado no marcado.
Permita que cada marca una el espacio en el cual es copiada. Es decir. permita que cada
marca sea una distincion de si misma.
Llame al lugar concavo de la marca. su interior.
Permita que cualquier marca sea una instruccion para cruzar el limite de la primera
distincion.
Permita que el cruce sea desde el estado indicado hacia el interior de la marca.
Permita que el cruce sea hacia el estado indicado por la marca.
Permita que el espacio sin marca sea indicado como el espacio no marcado.
8
Ahora. por el axioma 2.
Llame a esto la Iorma de la cancelacion.
Ecuacin
Llame a una indicacion de expresiones equivalentes. una ecuacion.
Ecuacin primitiva
Llame a la Iorma de condensacion una ecuacion primitiva.
Llame a la Iorma de cancelacion una ecuacion primitiva.
Permita que no exista ninguna otra ecuacion primitiva.
Expresin simple
Note que hay tres Iormas de arreglo. . .
y tambien la ausencia de Iorma
tomadas de las ecuaciones primitivas. son todas. por convencion. expresiones.
Llame a cualquier expresion consistente de una marca vacia. simple.
Llame a cualquier expresion consistente de un espacio vacio. simple.
Permita que no existe otra expresion simple.
Operacin
Ahora vemos que si un estado puede ser indicado usando una marca como nombre. puede
ser indicada usando la marca como una instruccion suieta a convencion. Cualquier marca
9
puede ser tomada. por lo tanto. como instruccion para la operacion de una intencion. y
puede darse a si misma un nombre
Cruce
Para indicar lo que la intencion indica.
Relacin
Habiendo decidido que la Iorma de cada marca llamada cruce es un continente perIecto.
hemos permitido solo un tipo de relacion entre cruces: la continencia.
Permita que el intento de esta relacion sea restringida. de modo que se pueda sealar que un
cruce contiene lo que esta en su interior y no contiene lo que no esta en su interior.
Profundidad
En un arreglo a puesto en un espacio s. llame al numero n de cruces que deben ser hechos
para alcanzar un espacio s
n
desde s. la proIundidad de s
n
con respecto a s.
Llame al espacio alcanzado por el mas alto numero de entradas desde s. el espacio mas
proIundo en a.
Llame al espacio alcanzado por ninguna entrada desde s. el espacio menos proIundo de a.
De este modo.
s
0
s
Permita que cualquier cruce situado en cualquier espacio c sea designado como contenido
en c.
10
Permita que un cruce situado en el espacio menos proIundo en c sea designado como baio.
o cubierto por c.
Cruce no escrito
Suponga que cualquier
!
esta rodeado de un cruce no escrito.
Llame a los cruces situados baio cualquier cruce escritos o no escritos. los cruces
ocupados por el espacio menos proIundo en
Espacio ocupado
Permita que cualquier espacio
B
b c
21
Nuestra escritura tendra que ser grande para ser legible desde otro planeta. Suponga que
dibuiamos el circulo exterior cerca del Ecuador. y los que contienen b y c mas cerca de las
costas de Australia y de las Islas del sur de Nueva Zelanda. respectivamente.
Asi es como aparecera la expresion en el hemisIerio norte. digamos Londres. Pero
viaiemos.
Arribando a Ciudad de Cabo. veremos
Navegando hacia Melbourne. veremos
Y viaiando desde ahi a Christchurch. veremos
b c a
a c
b a
22
Estas cuatro expresiones son distintas y no equivalentes. De este modo. es evidente que no
es suIiciente solamente escribir una expresion y esperar que sea entendida. Debemos
tambien indicar el lugar desde donde se supone que se situara el observador en relacion a la
expresion. Escribiendolo en un plano no aparece ambigedad. porque tendemos a ver la
expresion desde el exterior de la construccion mas amplia. Cuando se escribe en la
superIicie de una esIera. no hay manera de decir cual de las construcciones es la exterior.
En tal caso. para construir una expresion signiIicativa. debemos sumar al indicador el lugar
desde el cual el observador esta invitado a observar.
Consideremos por un momento el mundo tal como lo describe un Iisico. Consiste en un
numero de particulas Iundamentales. las cuales si son lanzadas a traves de su propio
espacio. aparecen como ondas. y de este modo las consideramos viaiando por el espacio a
una velocidad estandar. Todo ello aparece enmarcado en ciertas leyes naturales que indican
la Iorma de sus relaciones.
Ahora el Iisico. que describe estas relaciones. esta construido por ellas. En pocas palabras.
esta hecho de la articulacion de las particulas que describe; ni mas ni menos. y obedece a
aquellas leyes que el ha estudiado hasta encontrarlas y registrarlas.
De este modo. no podemos escapar al hecho de que el mundo que conocemos esta
construido en orden y de una manera que le permite verse a si mismo. Esto es
verdaderamente sorprendente. No tanto en relacion a lo que se ve. aunque ello es
suIicientemente Iantastico. sino respecto del hecho que todo puede verse.