Autorreferencia
La autorreferencia ocurre en lenguajes naturales o formales cuando una oración , idea o fórmula se refiere a sí misma. La referencia puede expresarse directamente, a través de alguna oración o fórmula intermedia, o por medio de alguna codificación . En filosofía , también se refiere a la capacidad de un sujeto para hablar o referirse a sí mismo, es decir, tener el tipo de pensamiento expresado por la primera persona nominativa del singular pronombre "yo" en inglés.
La autorreferencia se estudia y tiene aplicaciones en matemáticas , filosofía , programación informática , cibernética de segundo orden y lingüística , así como en el humor . Las declaraciones autorreferenciales son a veces paradójicas y también pueden considerarse recursivas .
En la filosofía clásica , las paradojas fueron creadas por conceptos autorreferenciales como la paradoja de la omnipotencia de preguntar si era posible que existiera un ser tan poderoso que pudiera crear una piedra que no podría levantar. La paradoja de Epiménides , 'Todos los cretenses son mentirosos' cuando fue pronunciada por un antiguo griego cretense fue una de las primeras versiones registradas. La filosofía contemporánea a veces emplea la misma técnica para demostrar que un supuesto concepto no tiene sentido o está mal definido. [2]
En matemáticas y teoría de la computabilidad , la autorreferencia (también conocida como impredicatividad ) es el concepto clave para demostrar las limitaciones de muchos sistemas. El teorema de Gödel lo usa para mostrar que ningún sistema formal consistente de matemáticas puede contener todas las verdades matemáticas posibles, porque no puede probar algunas verdades sobre su propia estructura. El equivalente del problema de parada, en la teoría de la computación, muestra que siempre hay alguna tarea que una computadora no puede realizar, a saber, razonar sobre sí misma. Estas pruebas se relacionan con una larga tradición de paradojas matemáticas como la paradoja de Russell y la paradoja de Berry., y en última instancia a las paradojas filosóficas clásicas.
En la teoría de juegos , pueden ocurrir comportamientos indefinidos en los que dos jugadores deben modelar los estados mentales y comportamientos del otro, lo que lleva a una regresión infinita.
En la programación de computadoras , la autorreferencia ocurre en la reflexión , donde un programa puede leer o modificar sus propias instrucciones como cualquier otro dato. [3] Numerosos lenguajes de programación admiten la reflexión hasta cierto punto con diversos grados de expresividad. Además, la autorreferencia se ve en la recursividad (relacionada con la relación de recurrencia matemática ) en la programación funcional , donde una estructura de código se refiere a sí misma durante el cálculo. [4] 'Domar' la autorreferencia de conceptos potencialmente paradójicos en recursiones de buen comportamiento ha sido uno de los grandes éxitos de la informática., y ahora se usa de forma rutinaria, por ejemplo, escribiendo compiladores usando el 'metalenguaje' ML . Usar un compilador para compilarse a sí mismo se conoce como bootstrapping . Es posible escribir código automodificable (programas que operan sobre sí mismos), tanto con ensamblador como con lenguajes funcionales como Lisp , pero generalmente se desaconseja en la programación del mundo real. El hardware informático hace un uso fundamental de la autorreferencia en flip-flops, las unidades básicas de la memoria digital, que convierten en memoria las autorelaciones lógicas potencialmente paradójicas al expandir sus términos a lo largo del tiempo. Pensar en términos de autorreferencia es una parte generalizada de la cultura de los programadores, con muchos programas y acrónimos nombrados autorreferencialmente como una forma de humor, como GNU ('GNU no es Unix') y PINE ('Pine no es Elm') . El GNU Hurd lleva el nombre de un par de acrónimos mutuamente autorreferenciales.
