Zelfreferentie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: tr:Kendine göndergeli önerme |
Geen bewerkingssamenvatting |
||
| Regel 4: | Regel 4: | ||
In de informatica hebben alle praktische ([[Turingvolledigheid|Turingvolledige]]) [[programmeertaal|programmeertalen]] de mogelijkheid van zelfreferentie; programma's kunnen zichzelf [[recursie]]f aanroepen. Ook [[compiler]]s die zichzelf kunnen compileren vertonen een vorm van zelfreferentie. |
In de informatica hebben alle praktische ([[Turingvolledigheid|Turingvolledige]]) [[programmeertaal|programmeertalen]] de mogelijkheid van zelfreferentie; programma's kunnen zichzelf [[recursie]]f aanroepen. Ook [[compiler]]s die zichzelf kunnen compileren vertonen een vorm van zelfreferentie. |
||
==Referenties== |
|||
* http://nl.wikipedia.org/w/index.php?title=Zelfreferentie |
|||
==Zie ook== |
==Zie ook== |
||
Versie van 29 nov 2007 16:16
Zelfreferentie is een term uit de formele wetenschappen, met name de logica, informatica en filosofie, die het vermogen van een formeel systeem aanduidt om naar zichzelf te verwijzen. Zelfreferentie is een complexe eigenschap, die bij veel logische paradoxen een rol speelt.
Natuurlijke talen hebben altijd de mogelijkheid van zelfreferentie; in de taal kunnen uitspraken over de taal gedaan worden.
In de informatica hebben alle praktische (Turingvolledige) programmeertalen de mogelijkheid van zelfreferentie; programma's kunnen zichzelf recursief aanroepen. Ook compilers die zichzelf kunnen compileren vertonen een vorm van zelfreferentie.