Autoreferència: diferència entre les revisions

Contingut suprimit Contingut afegit
m espais als encapçalaments de Vegeu també
m Aplicant la plantilla {{ISBN}} per evitar l'enllaç màgic d'ISBN
Línia 11:
==Matemàtiques==
 
En matemàtiques existeix l'autovalor, que és el valor o nombre que associem a un contenidor (com fa la computabilitat) però amb l'afegit que se li poden fer operacions de grup o similars sense perdre la condició de representar un contenidor amb propietats grupals.<ref>Raymond Smullyan (1994), ''Diagonalization and Self-Reference'', Oxford Science Publications, {{ISBN |0-19-853450-7}}. {{en}}</ref> Aquesta autoreferència ens permet representar models complexos i, en computabilitat, encara no s'ha descobert un equivalent per a la compilació de llenguatges. En llenguatges de programació podem trobar els llenguatges introspectius, que poden incorporar paraules clau que permeten reconfigurar la interpretació semàntica de les mateixes paraules clau; aconseguir aquest efecte suposa un problema a l'hora d'assegurar la fiabilitat, però és d'una potència descomunal.
 
[[Fitxer:Magritte_Pipa.jpg|thumb|right|250px|Això no és una pipa. ''La traïció de les imatges (La trahison des images)'' ([[1928]]-[[1929]])]]